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

Commits on Aug 19, 2026

retire(#242): i32.add — delete the hand-written select_default arm

avrabe
and
claude
committed
74dd59c
retire(#242): i32.sub — delete the hand-written select_default arm

avrabe
and
claude
committed
506f346
retire(#242): i32.mul — delete the hand-written select_default arm

avrabe
and
claude
committed
a55c170
retire(#242): i32.and — delete the hand-written select_default arm

avrabe
and
claude
committed
7d1a2ec
retire(#242): i32.or — delete the hand-written select_default arm

avrabe
and
claude
committed
896808e
retire(#242): i32.xor — delete the hand-written select_default arm

avrabe
and
claude
committed
b4b5467
retire(#242): i32.shl — delete the hand-written select_default arm

avrabe
and
claude
committed
fa655f2
retire(#242): i32.shr_s — delete the hand-written select_default arm

avrabe
and
claude
committed
81999ad
retire(#242): i32.shr_u — delete the hand-written select_default arm

avrabe
and
claude
committed
7cb009e
retire(#242): i32.rotl — delete the hand-written select_default arm

avrabe
and
claude
committed
703033a
retire(#242): i32.rotr — delete the hand-written select_default arm

avrabe
and
claude
committed
5db9549
retire(#242): i32.clz — delete the hand-written select_default arm

avrabe
and
claude
committed
4f9567b
retire(#242): i32.ctz — delete the hand-written select_default arm

avrabe
and
claude
committed
062af02
retire(#242): i32.popcnt — delete the hand-written select_default arm

avrabe
and
claude
committed
f86aa5b
retire(#242): i64.add — delete both hand-written arms (default + direct)

avrabe
and
claude
committed
9f615ae
retire(#242): i64.sub — delete both hand-written arms (default + direct)

avrabe
and
claude
committed
d6af702
retire(#242): i64.and — delete the hand-written select_default arm

avrabe
and
claude
committed
c3e834c
retire(#242): i64.or — delete the hand-written select_default arm

avrabe
and
claude
committed
091e1ef
retire(#242): i64.xor — delete the hand-written select_default arm

avrabe
and
claude
committed
36874fb
retire(#242): i64.{or,and,xor} — delete the hand-written direct-selector arm

avrabe
and
claude
committed
62cd76b
retire(#242): i64.eqz — delete both hand-written arms (default + direct)

avrabe
and
claude
committed
90e0dab
retire(#242): i64 comparisons x10 — delete the hand-written select_default arm

avrabe
and
claude
committed
99949af
retire(#242): i64.{shl,shr_u,shr_s} — delete the hand-written direct-selector arm

avrabe
and
claude
committed
90ed348
retire(#242): i32 comparisons x10 — retire the flag conditioning on the direct selector

avrabe
and
claude
committed
dd2a3e3
retire(#242): i32.eqz — delete the hand-written direct-selector arm

avrabe
and
claude
committed
bb45eb9
retire(#242): i32.{shl,shr_s,shr_u,rotr} — delete the hand-written direct-selector arm

avrabe
and
claude
committed
43a2942
retire(#242): i32.clz — delete the hand-written direct-selector arm

avrabe
and
claude
committed
5d41ddc
retire(#242): i32.ctz — delete the hand-written direct-selector arm

avrabe
and
claude
committed
e311e27
retire(#242): i32.popcnt — delete the hand-written direct-selector arm

avrabe
and
claude
committed
0950f6b
retire(#242): i64 comparisons x10 — delete the hand-written direct-selector arm

avrabe
and
claude
committed
069f974
retire(#242): i64.mul — delete the hand-written direct-selector arm

avrabe
and
claude
committed
82ff232
retire(#242): i64.{rotl,rotr} — delete the hand-written direct-selector arm

avrabe
and
claude
committed
f586394
retire(#242): i64.{clz,ctz,popcnt} — delete the hand-written direct-selector arm

avrabe
and
claude
committed
55bcbdc
retire(#242): the SYNTH_SEL_DSL lever itself + the now-vacuous mirror-pin gates

avrabe
and
claude
committed
8dc2c55
docs+ledger(#242): re-bank the subtraction ratchet for RQ-58-RETIRE

avrabe
and
claude
committed
2ed949b

Navigation Menu

Uh oh!

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

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

Commits on Aug 19, 2026

retire(#242): i32.add — delete the hand-written select_default arm

retire(#242): i32.sub — delete the hand-written select_default arm

retire(#242): i32.mul — delete the hand-written select_default arm

retire(#242): i32.and — delete the hand-written select_default arm

retire(#242): i32.or — delete the hand-written select_default arm

retire(#242): i32.xor — delete the hand-written select_default arm

retire(#242): i32.shl — delete the hand-written select_default arm

retire(#242): i32.shr_s — delete the hand-written select_default arm

retire(#242): i32.shr_u — delete the hand-written select_default arm

retire(#242): i32.rotl — delete the hand-written select_default arm

retire(#242): i32.rotr — delete the hand-written select_default arm

retire(#242): i32.clz — delete the hand-written select_default arm

retire(#242): i32.ctz — delete the hand-written select_default arm

retire(#242): i32.popcnt — delete the hand-written select_default arm

retire(#242): i64.add — delete both hand-written arms (default + direct)

retire(#242): i64.sub — delete both hand-written arms (default + direct)

retire(#242): i64.and — delete the hand-written select_default arm

retire(#242): i64.or — delete the hand-written select_default arm

retire(#242): i64.xor — delete the hand-written select_default arm

retire(#242): i64.{or,and,xor} — delete the hand-written direct-selector arm

retire(#242): i64.eqz — delete both hand-written arms (default + direct)

retire(#242): i64 comparisons x10 — delete the hand-written select_default arm

retire(#242): i64.{shl,shr_u,shr_s} — delete the hand-written direct-selector arm

retire(#242): i32 comparisons x10 — retire the flag conditioning on the direct selector

retire(#242): i32.eqz — delete the hand-written direct-selector arm

retire(#242): i32.{shl,shr_s,shr_u,rotr} — delete the hand-written direct-selector arm

retire(#242): i32.clz — delete the hand-written direct-selector arm

retire(#242): i32.ctz — delete the hand-written direct-selector arm

retire(#242): i32.popcnt — delete the hand-written direct-selector arm

retire(#242): i64 comparisons x10 — delete the hand-written direct-selector arm

retire(#242): i64.mul — delete the hand-written direct-selector arm

retire(#242): i64.{rotl,rotr} — delete the hand-written direct-selector arm

retire(#242): i64.{clz,ctz,popcnt} — delete the hand-written direct-selector arm

retire(#242): the SYNTH_SEL_DSL lever itself + the now-vacuous mirror-pin gates

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