E.18.3:9 - Consequences

This profile lets E.18 keep its strength without swallowing every route-shaped pattern. P2W, P2S, agent-loop, gate, evidence, architecture, and currentness cases may use the same selected A.22 structure and exact transformation-flow relations. Each stronger neighboring claim obtains only when current facts or evidence satisfy its applicable definition, constraint, predicate, test, evidence rule, or assurance rule. A Method may contribute a reusable way of doing and its applicability or bounds, but any claim that using it produces, supports, evaluates, evidences, or assures a result remains separately testable under its own rule and current basis.

The cost is explicit recovery only when qualification, comparison, publication, or stronger reliance requires it. A selected CGUS qualifies for E.18.3 through its E.18 substrate case, subjects, locus-to-flow mappings, and obtaining occurrences. Current continuation judgements, description loss, publication, and stronger claims remain separate results or uses. An ordinary card can stop after naming the subject, alternatives, conditions, and missing fact or rule.

The benefit is change locality. A changed demonstration, valuation, path slice or tag usually changes only that use; it does not reidentify the selected structure. A changed selected constituent, occurrence, applied constraint or named selection-use frame changes an A.22 discriminator and therefore requires a different structure selection.