- expanded QUICKSTART for a real first verification pass
- added docs/SETUP_GUIDE.md
- expanded CONTRIBUTING with contribution classes and workflow guidance
- Canonical axioms and definitions frozen
- Certificate semantics stabilized
- URF Spine integration finalized
Changes are additive unless explicitly marked BREAKING.