A.6.3:7 - Rationale and SoTA-Echoing

Source or practice line	Adopted move	Rejected overread	Practical effect
Lenses, optics, and compositional transformation research	Use identity, composition, conservativity, and explicit loss as checks over episteme-to-episteme construction.	The mathematical construction does not itself establish that a direct world-side relation obtains.	Viewing arrows can be composed and replayed while operation applications, Work occurrences, and world-side relations remain separately governed.
Bidirectional transformation and model-synchronization practice	Make cross-model correspondence dependencies explicit and test path agreement.	A generic correspondence record or graph edge does not establish correspondence.	Coverage and consistency viewing declarations cite exact source relations, so broken dependencies can be repaired locally.
Model-based view-as-query practice	Treat query and projection as common construction routes.	Query execution does not establish E.17.0 conformance.	Generated and directly authored epistemes meet the same independent E.17.0 membership rule.
FPF C.2.1 and E.17.0 architecture	Keep episteme identity, viewing construction, conformance, evaluation, work, production, and publication separate.	—	The next engineering action can rely on the exact relation it actually needs.