E.18:1 - Intent
Provide a notation-independent pattern for TransformationFlowStructure: a selected compound structure whose loci may bind independently identified actual U.Transformation values and adjacent values whose definitions or constraints are identified independently. The EntityOfConcern is the selected structure itself: loci for those transformations and adjacent values, one typed U.Transfer relation, and Eulerian or declarative valuations over paths or path slices inside the same selected structure. A locus may designate or bind an actual U.Transformation only after A.3.4 independently grounds the exact occurrence from its changed referent, temporal extent or formal ordering boundary, boundary conditions, actual change facts, and continuity or reidentification rule; neither the locus nor the use admits that occurrence. A locus may express, constrain, or locate that bounded transformation, or it may bind a signature, mechanism, work plan, performed work, check, structural reinterpretation, publication, evidence, independently identified result entity or relation occurrence, or refresh value that participates in or constrains transformations without becoming the transformation. The selected structure, a flow arrow, adjacency, shared work, a selected or desired structure, a method, MethodDescription, WorkPlan, model, description, evaluation result, publication, transfer, or common affected referent establishes neither an actual transformation nor transformation composition. GateCrossings mark selected-structure state changes at gates; publication faces appear through MVPK; comparable claims pin editions, reference planes, the exact definitions or tests used by the comparison, and refresh scope. An F.9 Bridge appears only when two exact F.17 SchemeSenseCell values from different semantic contexts satisfy one exact Bridge predicate; the Bridge, any bounded-use claim, optional Bridge Card, and optional CL evidence shorthand remain separate from the structural crossing. Use E.18.2 for mathematical descriptions of this selected structure, including graph, algebra, category, tuple, path, slice, morphism, quotient, fold, refinement, factorization, or wiring expressions; use C.29 when mathematical-lens adequacy matters.
Use this when. Use E.18 when project work needs one exact selected transformation-flow structure, an internal position or portion of it, a path or path slice, a crossing or gate, a flow valuation, or a refresh locus over its internal U.Transfer occurrences. Several valuations belong here only when they resolve to that same TFS; a detailed portion belongs here as a SubflowRef only while all of its positions and transfers resolve inside one exact parent TFS. If the case needs two independently identified TFS values, or nested networks of them, plus an exact relation across their boundaries, use E.18.NET. When the current EntityOfConcern is a work plan, performed work, method semantics, publication face, mathematical description, or wording-use cue rather than the selected structure, apply the pattern whose Solution answers that exact question.
First useful structure use. Name the selected transformation-flow structure, its locus kinds, the single internal U.Transfer relation, and the current position, path, or path slice when one is needed. Stop there when the application makes no separate crossing, launch, publication, comparison or selection, cycle or refresh, or assurance claim. A profile may strengthen a check for one of those current claims; it does not make an absent claim, object, record, or Work occurrence current.
First-use slice:
TransformationFlowStructure:
selectedStructure: cooling-loop stabilization path for one reactor subsystem review.
loci:
L1: Transformation locus -> U.Transformation; actual cooling-loop operating-state stabilization only after A.3.4 occurrence grounding.
L2: U.Mechanism, control-law mechanism that stabilizes the controlled value.
L3: U.WorkPlan, planned measurement and setting-change work.
L4: one dated test-run Work individual admitted under U.Work, only after that world-side occurrence exists; any run record remains a separate U.Episteme.
transferRelationKind: U.Transfer.
currentPathSlice: emergency-load-change review slice.
crossingOrGate: safety-review gate only when one selected-structure state binding changes and its local account states the from/to values, establishing basis, and any applicable declaration, rule, and current application; no semantic Bridge is inferred.
mathematicalDescriptionRef?: E.18.2 only if a graph, algebra, or category expression is being used.
This slice names the selected structure and its identified loci first. If dated L4 is claimed to cause or realize L1, first use A.6.RCD disposition 1 when a current exact work-to-change predicate and the case facts answer that question. Use disposition 2 only when no current direct predicate expresses the needed compound claim, the admitted base predicates and constructor semantics support it, and one local C.2.1 claim closes this receiving use. That local claim admits no reusable predicate, relation kind, RelationSignature, or occurrence semantics. Keep the dated Work, actual Transformation, and claim-bearing episteme distinct; shared time, adjacency, or structure membership is insufficient. If production-work participation, entity-identity inception, or production completion is current, cite the corresponding local A.15.PROD claim and the facts that satisfy its test. Those references do not become E.18 relation kinds or locus semantics. Publication faces, TEVB viewpoint mapping, GateDecision records, and conformance rows are applied only when that use actually publishes, maps viewpoints, crosses a gate, or consumes assurance checks.
Structure ontology. E.18 keeps these distinctions primary:
| Construct | What it carries | Boundary |
|---|---|---|
TransformationFlowStructure | the selected compound structure, positioned locus kinds, one U.Transfer relation, and structure-wide budgets or edition pins | not a work procedure, method sequence, mathematical graph expression, or one U.Transformation |
| transformation locus | an E.18 locus, path, path slice, substructure, or valuation used to express, constrain, or locate one independently identified actual bounded U.Transformation | actual only after the A.3.4 occurrence basis is grounded; placement, adjacency, shared work, or a common affected referent establishes neither actuality nor composition |
| functional behavior in a flow | a required-behavior claim positioned in the selected structure, or an actual functioning claim whose bounded change is independently grounded as one U.Transformation, with any selected flow position, path, slice, crossing, or valuation named by value | required behavior is not actual change. A selected functional structure, its ArchitectureStructuralView and FunctionalElementClaim epistemes, an actual transformation, the transformer system, a module allocation, a method, and a Work occurrence remain distinct; C.30.ASV links view use by reference rather than merging them into one functional-element individual |
| slot-filler locus | a structure-positioned signature, mechanism, work plan, performed work, check, structural reinterpretation, publication, evidence, independently identified result entity or relation occurrence, refresh, or other identified value | not a transformation or a result merely by structure membership. Before calling it a result, say what it is a result of or for and point to the exact fact or binding that makes that reading true. If either answer is missing, stop; the flow position supplies neither. |
| flow valuation | an Eulerian or declarative valuation over a path, path slice, state, guard, comparator, or budget over one exact selected structure | not a flowing object, imperative action sequence, second structure kind, performed work, or evidence that two named flows share one TFS identity |
FlowPositionRef | the pair <transformationFlowStructureRef, localFlowPositionId> locating one structural position in one exact TFS | a valuation, path, slice, filling, DesignRunTag, value kind, or reference mode may bind a use of the position but does not enter its identity |
SubflowRef | one parent-relative internal portion selected by exact parent-TFS, included-position, included-parent-transfer, and boundary-position refs | not a new U-kind, standalone structure, second TFS, valuation, graph, view, or generic containment relation |
| crossing or gate | one structure-local transition between exact source and receiving positions and CtxState bindings, selected at one OperationalGate(profile) | not an F.9 semantic Bridge, scope-membership fact, plane conversion, edition change, A.6.4 arrow or use claim, gate decision, permission, penalty, or publication merely by being drawn or named; each changed binding states its from/to values and establishing basis, while any rule application, gate decision, and permission claim remain separate |
| MVPK face | publication of selected structure, path, or crossing material | not the structure semantics and not evidence by itself |
| refresh locus | the smallest path slice, crossing, edition pin, or publication face affected by change | not a whole-flow rewrite unless the whole flow is the changed locus |
Result-claim assurance. Apply this expansion only after the Plain test above identifies what the value is a result of or for. The category-correct direct basis is exactly one of:
- an obtaining relation occurrence, with its predicate and occurrence-identity rule plus exact participants, applicability, and case facts;
- an
A.6.1operation-application binding, with operation, application, and argument or result binding; or - an
A.6.RCDlocalC.2.1claim, with polarity, substrate or constructor, base predicates and the patterns or declarations that define them, participants, case facts, and any support required by the receiving use.
When a sentence says that a system performs an actual functional transformation at one point in a flow, E.18 carries only the selected flow structure, locus, path, slice, crossing, valuation, and pins. The independently identified bounded transformation, transformer or candidate bearer, affected referent, input and output boundary, functional-port boundary, functioning relation, method or algorithm, mechanism, and performed work are recovered through A.3.4, A.6.F, C.30.ASV, A.6.M, A.6.1, and the A.15 family as applicable. A desired state, method, MethodDescription, WorkPlan, architecture selection, model, description, evaluation result, publication, or transfer does not ground the actual transformation. When exact dated work is claimed to cause or realize the change, use the current exact predicate and case facts under A.6.RCD disposition 1, or—only when no direct predicate expresses the compound claim and admitted base-predicate semantics support it—one local C.2.1 claim under disposition 2. Keep the Work, Transformation, and claim separate. When production-work participation, entity-identity inception, or production completion is claimed, cite the separate local A.15.PROD claim; E.18 does not derive it from structure membership. A computational algorithm may fill MethodRef? or MethodDescriptionRef?; a physical-world way of transforming may fill U.Method; neither is inferred from E.18 structure membership.
Not this pattern when. Use A.20 for internal step validity, A.21 for gate decisions, E.20 for mechanism-governing-definition placement, A.3.4 for bounded transformation under conditions, E.18.2 for mathematical descriptions of the selected structure, C.27.TA for temporal aspects, C.27 for temporal-claim adequacy or supported-use claims, the A.15 family for work planning, performed work, or work-entry readiness (A.15.5), E.17 for publication faces, and E.10 for wording-use repair when the current EntityOfConcern is not the selected structure, path, crossing, or flow valuation.
What goes wrong if missed. A practitioner may treat a reference flow, a wording-use cue such as transition, or a tool pipeline as a new graph kind or a hidden prescribed procedure, then lose comparability, crossing evidence, and slice-local refresh boundaries.
What this buys. E.18 keeps selected structure, publication pins, crossings, the separation of internal constraint results from GateFit results, and refresh locality in one structure pattern without turning every path into its own flow doctrine or every mathematical graph description into the selected structure.