Source changed 2026-10-03 14:36:52 UTC · snapshot created 2026-10-03 14:38:14 UTC · last check 2026-10-03 14:40:20 UTC
A.6.4:8 - Common Anti-Patterns and How to Avoid Them
Anti-pattern
Why it fails
Correct action
Retargeting as viewing
A changed EntityOfConcern is treated as the same object under another viewpoint.
Resolve EntityOfConcernRef to the exact entity: use A.6.3 when that entity is preserved, and A.6.4 only when the independently identified entities differ.
Retargeting as publication rendering
A diagram, export, or face is treated as the arrow or as support for its use.
Keep publication forms in E.17 and E.24.PUB; state r and the separate use claim q only when each is current.
Universal Bridge as admission
A KindBridge, F.9 Bridge, CL, mapping, or optic is required or used to inherit every downstream claim.
Use the A.6.4 minimum basis; add F.9 only for a separate local-sense relation and state every neighboring claim under its own rule.
Mathematical notation decides retargeting
A Fourier, graph, path, or category representation is treated as proof that the EntityOfConcern changed.
Use C.29 for the mathematical lens and repeat the C.2.1 identity test. Use A.6.3.RT when the entity is preserved; use A.6.4 only for independently different entities.