A.6.3:4.5 - Distinguish direct and correspondence-mediated construction

Direct viewing. Y is constructed from X and fixed configuration only. The declaration names the exact claim selection or rewriting rule and any loss. No generic correspondence object is required.

Correspondence-mediated viewing. Y depends on several exact source epistemes or on exact relations between their claim-bearing contents. Recover each direct correspondence, realization, trace, equivalence, or consistency relation under its governing pattern before using it. Then identify the C.2.1 episteme that states or describes those relations if the construction must cite it.

Plain correspondence model may name that exact claim-bearing episteme for convenience. It is not a public U.CorrespondenceModel kind, and its graph edges or table cells do not establish the direct relations. If a needed relation lacks a governor, return the exact missing-relation blocker or use A.6.RCD.

The viewing declaration cites the exact source epistemes and exact correspondence claims on which Y depends. If Y asserts facts about a correspondence episteme, evidence, or evaluation result, those assertions belong to Y’s claim content and follow C.2.1’s identity rule. The cited objects remain independently identified, and the assertions still require the support specified by the viewing law.