A.6.3.RT:4.1.a - Exact episteme-construction branch
Open this branch only when the receiving use makes exact claim identity material: the target must travel independently, be cited or disputed, cross a scheme boundary for consequential use, be considered for admission as receiving episteme Y in a generated or decode-mediated case, or meet an exact-identity requirement from a named public, evidence, or assurance receiver.
Then establish exact A.6.3 construction v : X -> Y:
- identify source episteme
Xand receiving epistemeYindependently under C.2.1 by claim content, exact EntityOfConcern, and effectiveU.ReferenceScheme; - require the same exact EntityOfConcern; a changed concern requires A.6.4;
- state how claims in
Xand any named additional source epistemes construct the claims inY; - state the relation between endpoint schemes, preserved and foregrounded content, admitted loss or recoverability, prohibited strengthening, applicability, use, and return; and
- cite every exact correspondence relation on which
vactually depends. Scheme difference, similar content, adjacency, or a visible edge proves none.
A source model, graph, publication occurrence, form, carrier, table, or display does not substitute for X; a target table, diagram, notation, page, or file does not substitute for Y. If the target has no recoverable claim content, exact EntityOfConcern, or effective reference scheme, keep it as a useful rendering or candidate carrier and do not assert exact RT yet.
An exact v performs no Work and is not a relation occurrence. A system may perform representation-transformation Work under A.15.1; methods, source-use relations, A.6.1 bindings, and any A.15.PROD inception claim remain separate. E.17.0 independently decides viewpoint conformance and dependent U.View membership. E.24.PUB independently identifies publication occurrence, form, carrier, audience, and bounded use. Completing the exact construction does not itself authorize reliance.