SIE.4:7 - Conformance Checklist

• Every row serves a named receiving use and consuming result.
• Both endpoints reference exact source-local senses and applicable editions/profiles.
• Candidate generation is distinguishable from relation judgment.
• The direct relation, difference, or incompatibility uses the narrowest warranted kind and states orientation.
• Inverse, symmetry, and transitivity are not inferred without support.
• Positive examples and discriminating counterexamples are present where load-bearing.
• Permitted operation, semantic loss, conditions, and forbidden reuse are explicit.
• Evidence, uncertainty/confidence, and decision authority are inspectable.
• Rejected, unresolved, and incompatible rows remain available to downstream interfaces and tests.
• The set claims neither cross-source identity nor executable transformation by implication.