Skip to content

RQ-58-RETIRE (#242): delete the hand-written arms the 50 Rocq-proved DSL rules replaced (-1,312 lines, byte-identical) - #999

Merged
avrabe merged 35 commits into
mainfrom
feat/retire-dsl-covered-arms-242
Aug 19, 2026
Merged

RQ-58-RETIRE (#242): delete the hand-written arms the 50 Rocq-proved DSL rules replaced (-1,312 lines, byte-identical)#999
avrabe merged 35 commits into
mainfrom
feat/retire-dsl-covered-arms-242

docs+ledger(#242): re-bank the subtraction ratchet for RQ-58-RETIRE

2ed949b
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Aug 19, 2026 in 1s

100.00% of diff hit (target 87.60%)

View this Pull Request on Codecov

100.00% of diff hit (target 87.60%)

View more details on Codecov