E.14:5.6 - Purpose-selected support for a single Working-Model statement

Start with the direct Working-Model arrow A –Component-of→ B. If no assurance-bearing reliance question is current, the author may stop there. If a profile or named current requirement is active, add only the support it calls for:

1. Mapping, when source-word alignment matters, shows that A and B are the chosen labels for their model values and records background labels without making them Working-Model names.
2. Logical, when the relation reading needs assurance, states what Component-of means here and the boundaries of that use.
3. Constructive, when B.3.5 is elected for this structural assertion, links the readable claim to one current C.2.1 trace episteme that reports the participants, direct relation occurrences, construction rule, and identity conditions in a C.13 sum form; the author declares validationMode=axiomatic. The direct relation and identity tests remain decisive.
4. Empirical Validation, when the current reliance needs observation, names the empirical claim and scope, domain result and result episteme, dated evaluation or measurement Work, actual bindings required by the measurement rule, qualification window, A.10 evidence-provenance path, and any separately current B.3 assurance claim. Those objects support this bounded use.

The selected support stays below the readable claim. It makes the needed basis inspectable without forcing unused assurance machinery into the Working-Model.