A.6.3.NAR:4.0.1 - Exact construction branch
Open this branch only when the receiving use makes exact identity material: the narrative must travel independently or be cited; an exact interpretation is disputed; a material cross-scheme reuse is consequential; generated-output admission requires claim-level identity; consequential reliance is current; or another named public, evidence, or assurance receiver explicitly requires exact identity. Public distribution by itself is not such a requirement. Apply E.24.PUB separately when an actual publication occurrence, form, carrier, audience, or bounded publication use is current.
Then establish exact A.6.3 construction n : X -> Y:
- identify source episteme
Xand receiving narrative epistemeYindependently under C.2.1 by claim content, exact EntityOfConcern, and effectiveU.ReferenceScheme; - require the same exact EntityOfConcern; a narrative about another concern requires A.6.4;
- state how exact claims in
Xand any named additional source epistemes construct the sequential claim content ofY; - state the endpoint scheme relation, ordering rule, preserved and foregrounded content, admitted loss, prohibited strengthening, applicability, and return; and
- cite every exact correspondence relation on which the construction actually depends and test it under its direct predicate.
Recover X as the exact source episteme whose claim content and EntityOfConcern supply the narrative source, and recover Y as the exact receiving narrative episteme. Treat input models and publications according to their source claims and keep forms and carriers in their direct roles. If the receiving item lacks recoverable claim content, an exact EntityOfConcern, or an effective reference scheme, keep it as candidate prose or a carrier and stop before asserting exact NAR.
Use this fuller local record for the construction account only when the trigger above is present:
StructureToNarrativeRenderingCase:
sourceEpistemeRef: X
receivingNarrativeEpistemeRef: Y
viewingConstructionRefOrStatement: n : X -> Y
additionalSourceEpistemeRefs?:
exactCorrespondenceRelationRefs?:
selectedSourceStructureRefs:
sourceStructureSelectionRationale:
sourceTemporalPosture?:
renderingMediationMode?: direct-source-claims | architecture-mediated | mixed
architectureMediationEpistemeRef?:
sourceStructureDefinitionClaimEpistemeRefs?:
sourceStructureConstraintClaimEpistemeRefs?:
narrativeConstructionWorkRef?:
narratingOrRenderingSystemRef?: U.EntityRef resolving to an admitted U.System
narratingOrRenderingSystemRoleKindRef?: U.KindRef resolving to one exact local system-role kind
narratingOrRenderingSystemRoleAssignmentRef?: U.RelationRef constrained to U.SystemRoleAssignment
readerOrListenerSystemRefs[]?: U.EntityRef values resolving to admitted systems
readerOrListenerSystemRoleKindRefs[]?: U.KindRef values resolving to exact local system-role kinds
readerOrListenerSystemRoleAssignmentRefs[]?: U.RelationRef values constrained to U.SystemRoleAssignment
readerInterestOrUseHypothesis:
intendedReaderOrListenerUse:
orderingRationaleOrTraversalRule:
preservedStructure:
foregroundedStructure:
coarsenedOrLostStructure:
unsupportedStrengtheningBlocked:
epiplexityOrStructuralInformationRef?:
recoverabilityClassOrSourceBasisReturnCondition:
eventModelSupport?:
engagementOrMotivationClaim?:
admissibleUse:
nonAdmissibleDownstreamUse?:
strongerClaimQuestionsAndActions[]?:
selectedSourceStructureRefs identifies the selected structures. A PatternID mentioned in sourceStructureSelectionRationale or surrounding prose only locates the content used to recognize or test them; it is not another structure reference. Include sourceStructureDefinitionClaimEpistemeRefs or sourceStructureConstraintClaimEpistemeRefs only when the exact identity of one or more definition or constraint claims changes reconstruction, comparison, dispute, or reliance. Both lists may be present and each resolves only to claim-bearing C.2.1 epistemes of the named kind.
Resolve X and Y to their complete C.2.1 identities and use this record only for the construction account. When actual production history matters, recover each precise performer’s A.13 core and independently admit dated narrative-construction Work under A.15.1; add F.6 afterward only when precise assignment-bound attribution is current. readerInterestOrUseHypothesis remains the working hypothesis. Include each optional System, system-role-kind, or assignment reference only when its exact referent and direct claim obtain independently. Connect source epistemes, parameters, methods, tools, and Y through exact direct relations or A.6.1 bindings. If the Work first constitutes Y and that inception claim matters, use A.15.PROD to test that separate local claim.
epiplexityOrStructuralInformationRef? refers to a qualified C.2.8 comparison or estimate when the narrative use depends on structural amount. Identify the receiving narrative episteme, its expressing form, the observer and relevant preparation, access and budget. A formal epiplexity or other mathematical estimate uses the C.29 model-to-characteristic correspondence; a domain estimate retains its scale and evaluation conditions. The field remains optional for the ordinary narrative and note.
nonAdmissibleDownstreamUse?, also named groundedNonAdmissibleDownstreamUse?, is one optional explanatory field governed by F.19:4’s plausible-reader test.
Publication remains separate. E.24.PUB identifies any occurrence that makes selected episteme Y available to an audience and bounded use through a publication form and U.PresentationCarrier. C.2.1 identifies Y, A.6.3 governs the construction n, and E.17.0 independently decides whether Y has U.View membership.
Use this optional unfolding block when an independently identified selected structure must be carried into a reader-facing sequence with explicit loss and return:
NarrativeUnfoldingStructureBlock:
sourceEpistemeRef: X
structureBeingRenderedRef:
unfoldingStructureBeingRenderedRef?:
narrativeOrderingStructureRef:
readerActSequenceHypothesis?:
receivingNarrativeEpistemeRef: Y
preservedStructure:
lostOrCoarsenedStructure:
narrativeStructureUseReturnCondition: return to exact source episteme X, then through its designation relations to the selected source structure when an omitted branch or exact order matters; apply the relevant pattern for any stronger claim
blockedOverread?: optional explanatory guard under F.19:4's plausible-reader test
structureBeingRenderedRef, narrativeOrderingStructureRef, and any receiving narrative episteme occupy different positions. Use unfoldingStructureBeingRenderedRef only when the source structure is itself a constraint-governed unfolding structure. Treat the block as an A.22.CGUS U.Structure specialization only when CGUS admission and identity tests pass; ordinary NAR does not require it. returnCondition names the same value as narrativeStructureUseReturnCondition, not a second return rule.