Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 09:25:05 UTC
A.6.4:9 - Consequences
Viewing and retargeting separate cleanly. A viewing arrow preserves the EntityOfConcern. A retargeting arrow relates epistemes with independently different EntitiesOfConcern; q states one bounded-use proposition, and the separate current-case judgement says whether the facts satisfy it.
StructuralReinterpretation receives one core rule. E.18 can place r and q without duplicating their identities; the A.6.4 current-case basis remains the exact facts and separate judgement.
Loss becomes usable information. A lossy mapping can serve one bounded purpose; reversibility and semantic identity remain separately established claims.
Optional apparatus stays optional. F.9 enters only for cross-local-sense correspondence; route-equivalence, evidence, assurance, gate, publication, and Work branches enter only when their own claims are current.
Description boundaries remain visible. Claim content, scheme, grounding, scope, operating condition, and viewpoint changes do not disappear into one retargeting bundle.