DOCA.6:7 - Conformance Checklist

1. For a retained opportunity or proposed path, MUST bind the subject, receiving use, relevant horizon or horizons, and protected conditions. Retaining material for further inquiry without a known later opportunity uses the C.40 return in :4.2.
2. MUST preserve each retained opportunity’s contribution, conditions, lineage, retention reason, material burden, and revisit or discard condition.
3. MUST distinguish preserving a description from maintaining an obtainable option and identify actual resources or authority where the latter requires them.
4. MUST state the later option or region, enabling transition, and evidence for a stepping-stone claim; a candidate connection may remain explicitly unqualified.
5. MUST describe each material path step from its own starting configuration, finite change, and candidate result, including inherited uncertainty and continuing obligations.
6. MUST preserve step-specific transition burden, reversibility, option effects, and the complete C.11.CRC basis when making finite comparison claims.
7. MUST qualify joint reachability through DOCA.5 or the adequate direct domain result before asserting it.
8. MUST distinguish archive retention, current-front membership, live-pool treatment, local choice, and actual Work when those questions occur.
9. MUST NOT force one scalar winner, universal horizon taxonomy, selected programme, or work permission from a retained set.
10. MUST localize changed-premise effects, retire defeated retention claims, and preserve unaffected independent opportunities.
11. SHOULD return the next discriminating question and keep the account no larger than its receiving use requires.