E.18.3:4.0a - Exact relation references

When another person or later use must replay how one selected relation occurrence participates in the selected transformation-flow structure or supports a separately current subject use, materialize one ordinary C.2.1 episteme. Its exact EntityOfConcern is the already-obtaining relation occurrence, its ClaimContent contains only the current reference use below, and its effective ReferenceScheme governs every designation. Transformation-flow relation reference is Plain wording for this use, not a local U-kind. Its edition and currentness remain ordinary C.2.1 and G.11 concerns; they do not add an identity field or ambient context.

transformationFlowRelationReferenceClaimContent:
  selectedCGUSRef
  exactRelationOccurrenceRef
  exactRelationKindRef
  predicateDefinitionRef: exact source that defines the obtaining predicate and participant meanings
  exactParticipantRefsInPredicateOrder[]
  currentFactOrEvidenceRefs[]
  relationSignatureRef?: exact declaration ref only when the replay needs it
  exactSupportingUseClaimOrRelationRef?: exact separately current claim or relation that uses this occurrence
  supportingUseKindOrPredicateRef?: exact kind or predicate for that claim or relation
  receivingUseRef?: only when it distinguishes the selected use
  networkEndpointBindingSets[]?:
    networkCrossFlowRelationRowRef: exact E.18.NET NetworkCrossFlowRelationRowRef
    endpointRows[]:
      relationParticipantPositionRef
      endpointMemberRef
      endpointLeafTFSRef
      endpointFlowPositionRef

The exact relation kind, predicate definition, ordered participants, current basis, and any network endpoint bindings carry the transformation-flow meaning; E.18.3 adds no separate structural-function classifier. An internal transfer is cited only as an exact U.Transfer occurrence whose positions resolve inside one TFS. A dependency is recoverable only when the exact predicate truth conditions make one admitted continuation, state, or value depend on another and the participant order preserves that direction. A cross-member connection is recoverable only from an exact obtaining relation whose ordered endpoints bind admitted positions in different selected E.18.NET members. These conditions are distinguishable by value and none relabels or substitutes for the exact relation kind or predicate. An E.18 GateCrossing is a structure-local transition, not a U.Relation occurrence, and never enters this relation-reference field. A domain condition informally called a guard enters a relation reference only when an independently defined relation kind and exact obtaining occurrence exist.

An applied constraint or condition claim is not the EntityOfConcern of this relation-reference episteme; keep it in appliedConstraintClaimRefs[] with its test and current facts. A GuardFail emitted by USM.CompareGuard or USM.LaunchGuard is an E.18 event, not a relation occurrence; recover the event and GuardOwnerGateId aggregation-assignment facts under E.18/A.21 instead. The word guard alone admits neither branch.

The optional supporting-use fields appear only when an independently current exact claim or relation says how the cited occurrence is used. That claim or relation keeps its own kind or predicate, current basis, and receiving use when the receiving use distinguishes it. No broad evidence, assurance, architecture, narrative, publication, gate, decision, comparison, currentness, or other use label makes the stronger use obtain. One selected relation occurrence may support several separately established uses without becoming several occurrences; cite each exact claim or relation that matters rather than extending a classifier.

For a selected network mapping, resolve NetworkCrossFlowRelationRowRef to exactly one row in its named current record edition. Then require that row, the relation-reference episteme and the direct occurrence to agree on exact occurrence, kind, predicate-definition source, optional signature, participant order, endpoint members, positions and bindings. The endpoint set adds no relation and makes none obtain; it preserves how the already-obtaining occurrence reaches admitted transformation positions.

A pattern identifier or reference is not a U.MethodDescription. A relation signature is carried only when the exact declaration exists and the replay needs it; citation does not make every use signature-dependent.