SIE.10:7 - Conformance Checklist

Apply the layer requirements below to the conclusion being claimed. A bounded failure or unresolved result needs sufficient evidence for that result; a positive use claim needs all of its load-bearing obligations covered.

• The subject, receiving use, and conditions required by the conclusion are identified.
• Known decisive evidence can finish a bounded failure or scoped gap; material unexamined premises remain distinct from passing ones.
• Carrier/schema pass is not reported as semantic or receiving-use pass.
• Endpoint/model adequacy includes examples and counterexamples for required distinctions.
• Correspondence judgment and mapping execution are tested separately.
• Every load-bearing identity disposition, issuer/authority condition, and unresolved branch is tested.
• Claim composition tests include conflict, non-comparability, incomplete source, and source-claim recoverability.
• Realization/interface tests cover currentness, failure, partial results, access/protection, provenance, and challenge paths as applicable.
• Quality dimensions and thresholds are selected by the use and do not replace representative Work.
• Positive, boundary, negative, unlike, and changed-source cases cover the material failure modes.
• Whole-use disposition is pass, narrow, unresolved, or stop with no score-based compensation of hard stops.
• Repairs, direct-owner returns, focused retests, affected consumers, and reopen conditions are explicit.
• No external release, acceptance, authorization, effect, or universal correctness claim is implied.