E.18.3:12 - Relations

Specializes: the A.22.CGUS use of one selected U.Structure when the same exact constituents, selected obtaining relation occurrences, applied constraints, and named selection-use frame use exact positions, bindings, and obtaining occurrences from one independently identified E.18 substrate branch and satisfy the transformation-flow unfolding condition. E.18.3 creates no second structure or ambient context identity, and no substrate ref resolves to selectedCGUSRef.

Builds on: E.18 for one-TFS substrates, positions, transfers, valuations, paths, slices, and SubflowRef; E.18.NET for network substrates, member paths, exposed positions, and cross-member occurrences; A.22.CGUS for structure identity, CGUS-local locus bindings, potential continuation topology, separate current judgements, and description/slice separation; and A.3.4, A.22, and E.17 for transformation, structure, and publication discipline.

Coordinates with: E.18.1, C.32.P2S, C.30.TFS-REL, C.32.CONWAY, E.23, C.18, C.19, G.5, A.15, A.15.PROD, A.10, B.3, A.20, A.21, A.6.3.NAR, exact source-use patterns and G.11. A network demonstration consumes only already-current E.18.3 position mappings and relation-reference epistemes; one C.32.CONWAY occurrence can fill at most one qualified network row.

Does not replace: the definitions, constraints, predicates, membership or occurrence tests, evidence rules, and assurance rules governing Method, MethodDescription, Work, transformation, production, evidence, assurance, gate, architecture, decision, publication, mathematical-lens, source-use, E.18 slice-local refresh, or G.11 currentness claims. Nor does it replace a Method’s reusable way of doing and applicability or bounds. A Method or MethodDescription supplies no truth, result, evidence, or assurance criterion merely by being cited; any such stronger claim retains its separate applicable rule and current basis. A pattern ref only locates content, and a contribution-form label does not state that content; exact content identity is required only when it changes the selected use. Pattern refs, selected continuations, imperative wording, graph adjacency and intended realization admit none of those objects.