| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2026-07-09 | BP-free formal audit (5.6-sol): EP update verified local (108 bitwise ↵ | Yuren Hao | |
| zero-influence checks); fixes — gate_every<=0 = true off switch, governor reaction now opt-in (--gate_govern, default observe-only), dFdtheta restored as self-sealing invariant-test surface; test_bp_free.py 4/4 green Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_014FAPDWQ49M5Ye3NpTndTpn | |||
