synth v0.65.0

What's Changed

• chore(deps): bump serde from 1.0.228 to 1.0.229 by @dependabot[bot] in #1195
• chore(deps): bump clap from 4.5.60 to 4.6.6 by @dependabot[bot] in #1197
• chore(deps): bump tracing-subscriber from 0.3.20 to 0.3.23 by @dependabot[bot] in #1199
• chore(deps): bump taiki-e/install-action from 2.87.0 to 2.87.5 by @dependabot[bot] in #1200
• plan(v0.65): scope the release — "How much of this is correct by accident?" (7 artifacts) by @avrabe in #1201
• chore(deps): get z3 0.21 a real verdict (#965) — the v0.64 retraction promised one and recreate never fired by @avrabe in #1202
• fix(release): record the z3 verdict — the bump is fine, and the hold has still never caught anything by @avrabe in #1212
• RQ-65-FUNCN (#1180): symbol binding lives in the shared ObjectPlan — two synth aarch64 objects link into one program unaided, ELF and Mach-O by @avrabe in #1218
• RQ-65-PARITY (#197): selector parity oracle — optimized vs direct vs wasmtime over the spec corpus; 11 findings, #1203 fixed, the rest pinned red-first by @avrabe in #1216
• plan(v0.65): RQ-65-DECLINE artifact + the #1217 comment correction by @avrabe in #1219
• fix(gate): RQ-65-FLOORSHAPE (#1183) — anchor the status-evidence population floors at the release tag; 28 against 67 was blind from depth 79 by @avrabe in #1220
• fix(gate): #1136 — release-scope the steps-1-2 slot; a previous release's filing was discharging this one by @avrabe in #1224
• fix(selector): RQ-65-DECLINE (#1208) — narrow i64 memory ops, i64 select and computed-condition value-if decline to the direct selector by @avrabe in #1228
• feat(reach): RQ-65-MVPCORE (#1017) — MVP core re-derived on the executed path: single-module .wast routing (oracle first), merge refusals, start-function invocation; 14/114 -> 12/80 by @avrabe in #1232
• fix(selector): RQ-65-ALIASCLASS (#1189) — enumerate every uncopied home-register consumer on four legs; fix aarch64 rotl (#1221) and i64-param local.set (#1222) red-first; pin #1223/#1226 open by @avrabe in #1227
• feat(mutants): RQ-65-MUTANTS (#1189) — mutation survey: 4 of 21 byte-changing mutants survive a named suite (19 %, upper bound); 3 controls KILLED; survivors enumerated; ledger CI-pinned by @avrabe in #1233
• release(v0.65.0): "How much of this is correct by accident?" — 8 artifacts, 7 implemented by @avrabe in #1234
• fix(release): #1189 — land the v0.65 cold review and correct the four prose defects it found by @avrabe in #1235

Full Changelog: v0.64.0...v0.65.0