Repository navigation

Add a rules registry that makes every enforced and unenforced rule visible - #752

Draft

anth-volk wants to merge 6 commits into

phase-0-enforcementfrom

Draft

Add a rules registry that makes every enforced and unenforced rule visible#752
anth-volk wants to merge 6 commits into
phase-0-enforcementfrom
rules-registry

Commits on Oct 12, 2026
- Add rules registry tool
  
  anth-volk
  and
  claude
  committed
  82656ac
- Run the rules registry guard in CI
  
  anth-volk
  and
  claude
  committed
  868f1f5
- Register existing simulation rules in the rules registry
  
  anth-volk
  and
  claude
  committed
  13429bd
- Render rules and document the rules registry
  
  anth-volk
  and
  claude
  committed
  ecc6ed2
- Check that proof tests run in CI
  
  anth-volk
  and
  claude
  committed
  f192413
- Update the simulation rules registry for Phase 0
  
  anth-volk
  and
  claude
  committed
  665c34f