diff options
| author | Yuren Hao <yurenh2@illinois.edu> | 2026-07-09 23:08:09 -0500 |
|---|---|---|
| committer | Yuren Hao <yurenh2@illinois.edu> | 2026-07-09 23:08:09 -0500 |
| commit | 813235213786e4e9e6a6fd81f5a2d7db902b650f (patch) | |
| tree | de14d44dc852a17516c8b14c2c09b7325eb608da /ep_run/t2fix_freezer.py | |
| parent | d227a9ef87ab75e839ebc773a680c52196006f7c (diff) | |
BP-free formal audit (5.6-sol): EP update verified local (108 bitwise 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
Diffstat (limited to 'ep_run/t2fix_freezer.py')
0 files changed, 0 insertions, 0 deletions