DOCA.5:7 - Conformance Checklist

1. MUST bind the subject, receiving use, starting configuration, finite change, candidate configuration, horizon, and protected conditions.
2. MUST state whether the claim concerns one direction, a joint combination, a sequence, or a conditional branch.
3. MUST qualify material external premises through A.15.9 and preserve their supplying practice, use limits, currentness, and uncertainty.
4. MUST test shared resources, timing, interactions, and inherited obligations where they can change joint reachability.
5. MUST include material transition burden, reversibility, and supported or conditional option effects.
6. MUST preserve C.11.CRC’s complete coordinate basis when asserting finite contribution or dominance relations.
7. MUST distinguish supported reachability, a conditional opportunity, a ruled-out transition, and an unresolved candidate.
8. MUST localize a missing or defeated premise and retain unaffected independent alternatives.
9. MUST NOT infer holder transfer, learning, capability, authority, observed effect, or choice from a label, source description, benchmark, or reachability account.
10. SHOULD use a short result when the claim and its decisive limits are readily recoverable.