E.18.NET:4.1 - Select a dependent non-agentive structure

TransformationFlowStructureNetwork@Context is a dependent, non-agentive specialization of U.Structure defined by E.18.NET and selected through the A.22 identity law. It is not a root U-kind, acting system, holon, workflow, graph, record, publication, FlowValuation, WorkPlan, or performed Work. The @Context suffix qualifies retrieval and use; it adds no identity discriminator.

For N : TransformationFlowStructureNetwork, recover exactly:

StructureIdentity(N) = <
  directMemberRefs[],
  selectedCrossFlowRelationOccurrenceRefs[],
  selectedNetworkConstraintRefs[],
  networkUseFrame
>

The four field names have the same meanings as in the first-use result: exact direct members, exact selected obtaining cross-flow occurrence refs, exact applied network constraints, and one concrete use frame. returnCondition is not a fifth identity discriminator; it records when the current use must return and reselect. stopOrReturnCondition states the boundary of the action or use within networkUseFrame; returnCondition names a change that reopens selection.

forbiddenOverread?, also named groundedForbiddenOverread?, carries one optional explanatory guard under F.19:4’s plausible-reader test. It remains outside networkUseFrame and structure identity. A change to that explanation alone leaves the network unchanged; if its content changes an applied constraint or a use-frame value, compare that existing discriminator.

The direct-member set contains at least two exact values. Each member is one independently identified TransformationFlowStructure or one independently identified E.18.NET-conforming TransformationFlowStructureNetwork. At least one selected relation occurrence binds positions in different direct members or in different leaf TFS members reached through them. The use frame states the concrete question or action, how this selection will be used, and its stop or return condition. “Current use”, “appropriate network”, and the title of a diagram are not use frames.

The direct-member discriminator identifies the selected members; record rows cite those independently identified values. If a future receiver needs a separately re-identifiable world-side membership occurrence, apply the direct relation pattern that defines its participants, predicate, applicability, and identity rule. When that governor is missing, reopen the relation question under A.6.RCD.