Source changed 2026-10-03 10:39:28 UTC · snapshot created 2026-10-03 10:40:04 UTC · last check 2026-10-03 11:10:20 UTC
E.14:6.1 - U.System — Working‑Model first, Constructive grounding available
Publication (Working‑Model). Authors state structure using familiar relations (e.g., Impellerut:ComponentOfPump; Pumput:ComponentOfSkid). Nothing else is required for readers to follow the design.
Assurance (downward grounding). When the publication elects B.3.5, first recover the exact skid, parts, direct fastening, coupling, enclosure, terminal, flange, and seal occurrences, the applicable skid assembly rule, and the skid reidentification rule. Then link the readable claim to one current C.2.1 sum trace that reports those facts and declare validationMode=axiomatic. If another named current requirement calls for a construction account, follow its stated obligations instead of borrowing B.3.5 automatically. The account remains below the Working-Model; order and time stay in their own relation families.
Canonization move. Readers continue to see Working‑Model relations as the primary Working-Model text; the constructive story is supporting, not defining.