E.18.NET:4.6 - Record the network without replacing it
When the selected answer must survive beyond the immediate work, describe it with a separate C.2.1 episteme:
TransformationFlowStructureNetworkRecord@Context <: U.Episteme:
entityOfConcernRef: one exact TransformationFlowStructureNetwork ref
entityOfConcernKindRef: TransformationFlowStructureNetwork
claimScope?: U.ClaimScope
effectiveReferenceScheme: U.ReferenceScheme
directMemberRows[]:
memberRef: TransformationFlowStructureRef | TransformationFlowStructureNetworkRef
exposedFlowPositionRows[]:
exposedFlowPositionRef: ExposedFlowPositionRef
memberPath[]
leafTransformationFlowStructureRef
leafFlowPositionRef
crossFlowRelationRows[]:
exactRelationOccurrenceRef: U.RelationRef
exactRelationKindRef: U.KindRef
subjectPatternLocator: U.EntityRef, locating the pattern that defines or tests this relation
relationFunctionClaimRef?: U.EntityRef, referencing the exact defining or constraining ClaimGraph when the recorded use depends on that rule identity
endpointRows[]:
relationParticipantPositionRef
memberRef
flowPositionRef: FlowPositionRef | ExposedFlowPositionRef
positionBindingRef
architectureCorrespondenceRowRefs[]?: C.32.CONWAY episteme refs
selectedNetworkConstraintRefs[]
networkUseFrame
preservedNetworkStructure
lostOrHiddenNetworkStructure
returnCondition
The record describes the network; it is not the network. Its member and relation rows cite objects that already exist and occurrences that already obtain. An architecture-correspondence row is a qualified reading only. It contributes no member or selected cross-flow relation unless an exact separately grounded relation occurrence and endpoint bindings also satisfy the network identity.
E.18.NET defines this composite locator for one nested cross-flow row:
NetworkCrossFlowRelationRowRef := <
transformationFlowStructureNetworkRecordRef: U.EpistemeRef, referencing one exact current TransformationFlowStructureNetworkRecord@Context edition,
exactRelationOccurrenceRef: U.RelationRef,
orderedEndpointBindingIdentity[]: <
relationParticipantPositionRef,
memberRef,
flowPositionRef: FlowPositionRef | ExposedFlowPositionRef,
positionBindingRef
>
>
Resolve the record ref first, then match crossFlowRelationRows[] by the exact occurrence ref and the complete ordered endpoint-binding identity. Exactly one row must match. Zero matches or several matches leave the locator unresolved and stop that consumer; never fall back to the containing record, the occurrence alone, or a prose pointer. NetworkCrossFlowRelationRowRef is a reference shape, not a U-kind, episteme, or relation occurrence. Its U.EpistemeRef targets the containing record, never the nested row.