# Reasoning Surface Checklist

Use this checklist before merging reasoning-surface changes.

- [ ] Canonical template updated first when behavior changed
- [ ] Bridge template synchronized with canonical content
- [ ] Relevant docs route updated in docs/reasoning/index.md
- [ ] Required sections preserved in templates/contracts/logs/ledgers/certificates
- [ ] Alternative-hypothesis requirement remains explicit
- [ ] Unresolved-assumption visibility remains explicit
- [ ] Counterexample or no-counterexample logic remains explicit where applicable
- [ ] Added/updated tests cover modified surface
- [ ] Validation script still passes parity and section checks