C.3.3:8.2 - Review playbook (10 minutes)

1. Identity checked first? Same kind reused without a bridge, or two distinct kinds and the obtaining correspondence shown? Add Scope or F.9 relations only when the receiving use consumes them.
2. Order claims honest? Any ⊑ inversions? Collapses disclosed?
3. CL^k plausible? Based on preserved properties, not name similarity?
4. Loss notes present? Will they force narrowing of Scope or extra tests?
5. Definedness area clear? Guard will fail closed outside it?
6. Penalties wired to R? No hidden tweaks to F/G?