synth v0.61.0

What's Changed

• plan(v0.61): scope the release — "the capability exists; aim it where it is needed" (6 artifacts) by @avrabe in #1094
• plan(v0.61): scope the five triaged issues that had NO artifact — 6 -> 11 by @avrabe in #1098
• RQ-61-EVIDENCE (#1085): R7/R8/R9 — evidence must belong to the release, the release field must match the file, code-existence is not a predicate by @avrabe in #1099
• RQ-61-MVPANIC (#1093): parameter-taking block types decline loudly on ARM and RV32 — the aarch64 VCR-A64-CF-001 refusal ported by @avrabe in #1096
• RQ-61-CICAP (#1062) increment 1: retarget ONE non-required job to the idle rust-cpu pool by @avrabe in #1101
• plan(v0.61): scope #1102 and #1100 (11 -> 13), and un-red main's R4 by @avrabe in #1103
• RQ-61-DANGLE (#1102): a retained function relocating against a DECLINED function refuses loudly on every backend by @avrabe in #1104
• chore(deps): bump taiki-e/install-action from 2.86.5 to 2.87.0 by @dependabot[bot] in #1105
• chore(deps): bump scry-sai-core from 3.2.4 to 3.2.7 by @dependabot[bot] in #1109
• fix(oracle): #1104 shadowed the aarch64 builder guard and left its oracle pinned to the superseded wording by @avrabe in #1112
• RQ-61-SPECCLAIM (#1095): the advertised spec-suite compile rate now exists — exact-pinned census + the first workflow that checks out the submodule by @avrabe in #1114
• RQ-61-VCLOSURE (#1091): rivet coverage asserts (V-closure floor, red-first) + v0.60 sys-verification backfill pilot by @avrabe in #1115
• fix(#1040): A32 BL sites carry R_ARM_CALL with a -8 addend — a real linker turned the pre-fix call into a plain branch to garbage by @avrabe in #1116
• fix(rivet): un-red main's R4 — RQ-61-VCLOSURE's landed: named the ISSUE, not the PR by @avrabe in #1118
• RQ-61-IMMRANGE (#1072): per-site closure of the six release-invisible immediate-range guards — one genuinely unguarded (aarch64 expected class id), four demonstrated, one unreachable by @avrabe in #1117
• chore(rivet): flip RQ-61-A32RELOC and RQ-61-ORACLEFLOOR to implemented — their work shipped in #1116 and #1112 by @avrabe in #1120
• RQ-61-EXTRACT (#1080): delete 98 stale extraction snapshot files + the dune tree nothing runs; docs stop contradicting their own headers by @avrabe in #1121
• RQ-61-MVORACLE (#1097): promote the #1093-class silent-miscompile differential into a CI-wired red-first oracle by @avrabe in #1122
• RQ-61-FUZZWINDOW (#1055): the param-clobber window checked 'before FIRST read' — strengthened to while-live and composed with the #1054 preservation oracle, pre-fix bytes replayed red by @avrabe in #1123
• RQ-61-R4BLIND (#1119): R4-issue scope resolution + R10 window attribution floor — red-first on b4860e4/eefa19ef (+ RQ-61-EXTRACT flip) by @avrabe in #1124
• RQ-61-WASMOP (#1057): proof-inventory universe extended to the shipped WasmOp enum — 279 rows, 141 modeled:false (schema v2) by @avrabe in #1125
• RQ-61-MCDCFLOOR (#1100): MC/DC gate distinguishes branch-deletion alarm from reconstruction drift; floor movements ledgered with evidence by @avrabe in #1126
• RQ-61-CICAP (#1062) increment 2: move the required Clippy context to the idle rust-cpu pool by @avrabe in #1127
• RQ-61-CICAP (#1062): re-state the done-when on measurement — Test is not plain-cargo — and close the artifact by @avrabe in #1128
• RQ-61-VCLOSURE (#1091) increment 2: v0.61 verifies links, floors 69->82 / 496->509, flip to implemented by @avrabe in #1129
• chore(release): v0.61.0 assembly — "The capability exists; aim it where it is needed" by @avrabe in #1130

Full Changelog: v0.60.0...v0.61.0