synth v0.58.0

What's Changed

• chore(deps): bump taiki-e/install-action from 2.85.10 to 2.85.13 by @dependabot[bot] in #983
• chore(deps): bump wit-parser from 0.255.0 to 0.256.0 by @dependabot[bot] in #985
• chore(deps): bump thiserror from 2.0.19 to 2.0.20 by @dependabot[bot] in #987
• chore(deps): bump wit-component from 0.255.0 to 0.256.0 by @dependabot[bot] in #988
• chore(deps): bump wasm-encoder from 0.255.0 to 0.256.0 by @dependabot[bot] in #986
• plan(v0.58): "Delete the thing you replaced" — the North Star, corrected by measurement by @avrabe in #982
• fix(#973): ARM select on an i64-comparison returns the then-arm — and an ARM leg for the corpus CI never compiled by @avrabe in #992
• chore(deps): bump dtolnay/rust-toolchain from 1.96.1 to 1.100.0 by @dependabot[bot] in #984
• feat(#242): make subtraction measurable — 7 directed ratchets on the patch pile (RQ-58-METRIC) by @avrabe in #991
• RQ-58-MIRRORS (#242): generate, don't mirror — the freshness gate can now see template-vs-code drift by @avrabe in #993
• chore(deps): bump taiki-e/install-action from 2.85.13 to 2.86.1 by @dependabot[bot] in #995
• chore(deps): bump wast from 255.0.0 to 256.0.0 by @dependabot[bot] in #996
• chore(deps): bump ordeal from 0.16.1 to 0.18.0 by @dependabot[bot] in #997
• feat(#1000): ship 'synth verify' in released artifacts + non-vacuity smoke gate (RQ-58-SHIPVERIFY) by @avrabe in #1002
• RQ-58-RETIRE (#242): delete the hand-written arms the 50 Rocq-proved DSL rules replaced (-1,312 lines, byte-identical) by @avrabe in #999
• plan(v0.58): add RQ-58-SHIPVERIFY (#1000) — we ship a verifier nobody can run by @avrabe in #1001
• fix(#946): selector wildcard classification — the wasm_stack_effect wildcard was a LIVE executed miscompile (RQ-58-WILDCARD) by @avrabe in #1003
• RQ-58-SELDSL (#242): 24 new Rocq-proved rules (50 -> 74) — dynamic-imm folds, width conversions, select family — each deleting the hand-written emission it supersedes by @avrabe in #1004
• RQ-58-VERIFYWIRE (#981): wire the i32 shift/rotate verify rules to the #975-modelled ops, retire the stale immediate-shift-encoding decline by @avrabe in #1005
• RQ-58-FLAKE (#977): the flake was a shared output path — and the silent direction was reading a STALE ELF and passing by @avrabe in #1006
• RQ-58-OBJECT (#938): compile against object 0.40 — three newtype surfaces, 16 errors, 4 files by @avrabe in #1008
• chore(rivet): mark RQ-58-SELDSL and RQ-58-FLAKE implemented (#242) by @avrabe in #1007
• RQ-58-SPLIT (#242): split the selector along the #197 seam — family-metric ratchet + two pure relocations, byte-identical by @avrabe in #1009
• release(v0.58.0): "Delete the thing you replaced" by @avrabe in #1010

Full Changelog: v0.57.0...v0.58.0