C.38:7 - Conformance and practical checks
A use conforms only when the checks needed by its claimed comparison pass:
- One governed result, receiver, use, situation or configuration, horizon, acceptance basis, deciding System, and authority boundary are explicit.
- At least two materially different complete-enough ways seek that same result. Duplicate labels merge and material differences under one label split.
- Every decision-bearing premise is visibly supported now, proposed, or unknown; proposed or unknown premises establish no actual capability, authority, Work, provision, delivery, acceptance, availability, or use.
- The same decision-changing parity questions are applied to every way; an omitted group is justified by irrelevance to this choice.
- A decision-reversing unknown remains a gap or probe. Protected conditions are not hidden inside one unexplained scalar.
A.19.CPMorA.19.SelectorMechanismis used only when its evidence-gating, incomparability, abstention, or set-return contribution is actually needed.- Only complete-enough whole ways enter the finite
OptionSet;C.11alone makes the local choice and emits theChoiceResult. - The rule for retaining the comparison prevents a duplicate episteme when an owning domain result already carries the complete comparison.
- A retained way names its first unsupported realization branch, but no realization or later Work is claimed by the comparison.
- The reopen condition names a changed premise or result that can alter the comparison or choice.
Recognition check. Give a cold reader a build/buy/provider/AI list. The reader should be able to name one common result and expose at least one hidden difference or duplicate without inventing an arrangement taxonomy.
Assurance check. For a consequential use, inspect each actual premise under its direct evidence and authority patterns, challenge one omitted burden that could reverse the choice, and verify that the selected domain assurance and acceptance Methods remain outside C.38.