A.6.6:3 - Forces · fpf.tools

Force	Tension
Universality vs precision	One discipline must cover calibration, evidence linking, reference selection, attribution, gating, etc., without collapsing them into one pseudo-relation.
Minimal kernel vs decision auditability	Few primitives are preferred, but decision-relevant declarations must expose the basis required by the decision, including witnesses, pins, or explicit time selectors when that use needs them.
Two perspectives, one reality	Dependent-view and base-view must both be expressible without renaming relation-end meanings or flipping meaning.
Compatibility with A.6.5	When a reusable base-relation declaration needs SlotSpecs or edit history, keep SlotKind, ValueKind, and RefKind distinct and do not collapse slot edits with semantic re-declarations.
Lexical guardrails	Umbrella metaphors can hide participants, direction, and the applicable relation rule; the wording must recover those values.
Cross-local integrity	When a declaration actually depends on a relation between different local kinds, local senses, scopes, or planes, that exact relation must remain explicit and reviewable; different sources alone do not create a Bridge.