Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 07:00:10 UTC
A.6.9:4.7 - Coordination boundaries
Naming and endpoint objects: F.18 selects designators; F.17 governs exact scheme-based cells and rows. A SchemeSenseCell, C.2.1 description episteme, designator, and resolving reference remain distinct; none creates a Bridge.
Reference scheme and scope: C.2.1 is the pattern for the effective U.ReferenceScheme; A.2.6 is the pattern for U.ClaimScope, widen, narrow, refit, and translate. A.2.6 translation may consume an exact Bridge plus its affirmative bounded-use claim but is not representation Work or structure crossing.
Grounding: C.2.1 alone supplies an EpistemeEmpiricalGroundingRelation. Its grounding holon is the participant against which covered empirical claims are grounded; it is not assumed identical to the episteme’s EntityOfConcern.
Time: the qualification window is part of the exact temporal or subject predicate and assertion. F.9 profile applicability or Γ_time does not become a generic context or time participant for another claim.
Project wording: A.15.6 recovers an actual project as one exact composite U.Work after A.15.1 admission and exact work parthood. Project label, plan, situation word, or Bridge supplies no project identity.
Viewpoint: E.17.0 governs the direct EpistemeViewpointConformanceRelation; one U.ViewpointRef resolves exact viewpoint episteme P. The viewpoint, its reference, candidate/View episteme, and evaluator remain distinct.
Evidence and assurance: A.10 is the pattern for evidence provenance and local reliance; B.3 is the pattern for assurance claims, records, and explicit dispositions.
Representations and publications: E.17.0 is the pattern for conformance-dependent View membership, E.24.PUB is the pattern for publication occurrence/form/carrier, and C.29 is the pattern for mathematical-representation objects. A.6.3.RT starts an ordinary same-concern representation move with content to survive, source comparison, loss, admissible use, and the source-return trigger and destination; its triggered exact construction independently identifies X, Y, and v; actual representation-transformation Work is required only for the six-participant occurrence.
Kinds and classifications: C.3.3 establishes the exact KindBridge between source and target local kinds. C.3.2 separately judges the candidate under the target kind, target KindSignature edition, and target slice; the result may be true, false, or unknown. F.9 supplies only local-sense correspondence needed by that use.
Structures: A.1.1/A.22 independently select each exact BoundedModelUseStructure; §4.8 applies the descriptive A.22 conditional cross-structure rule only after exact governed crossings and all four structure discriminators are recoverable. A SenseCell Bridge cannot substitute for that architecture.
Direct subject relations, Work, and system-role claims: every world-side relation has its own exact predicate, participant bindings, and assertion. A.2.1, F.6, A.15.1, and A.15.6 define assignment and exact performed or composite Work predicates; semantic relation, context wording, and use claim have no enactment effect.
Permission: apply A.2.8.PER and cite the exact result the proposed use needs—an obtaining strong grant, weak non-prohibition finding, exercise relation, or conflict result. Policy and direct predicates supply conditions or grounds but are not the permission result. Any required authority relation remains separate.