Skip to content

synth v0.64.0

Choose a tag to compare

@github-actions github-actions released this 07 Sep 18:42
· 71 commits to main since this release
8242621

What's Changed

  • plan(v0.64): scope the release — "The number you plan from" (9 artifacts, 4 carried) by @avrabe in #1177
  • fix(rivet): RQ-64-FLOORPROSE was scoped from a wrong premise — corrected before any work was done by @avrabe in #1178
  • feat(aarch64): RQ-64-ARM64LINUX — the arm64-Linux host-library claim, linked by ld.lld and EXECUTED (natively, qemu-user, unicorn) vs wasmtime by @avrabe in #1179
  • RQ-64-HISTOGRAM (#1159): mask hex payloads in the census collapse, assert the sum invariant, wire the self-test — arm's non-rotated-immediate gap is rank 3 at 9, not rank 5 at 4 by @avrabe in #1181
  • RQ-64-SCOPEGAP (#1085): unscoped artifacts get a staleness rule — S1/S2, red-first on VCR-REACH-002 + the proof-count class (23 → 0 undated) by @avrabe in #1182
  • feat(ci): RQ-64-FLOORPROSE — add the check instead of promising it (and it caught its own author) by @avrabe in #1185
  • fix(ci): RQ-64-DEPS — the MINORHOLD exit said nothing about the tree the suite ran on by @avrabe in #1186
  • feat(aarch64): RQ-64-MACHO — a Mach-O MH_OBJECT over the SAME ObjectPlan, linked by Apple ld and EXECUTED on macOS by @avrabe in #1184
  • RQ-64-CFOBLIG (#1057): Block/End — WASM half landed, ARM obligation stated with its obstruction kernel-pinned (done-when branch B) by @avrabe in #1187
  • chore(deps): bump wit-parser from 0.257.1 to 0.258.0 by @dependabot[bot] in #1106
  • chore(deps): bump pulseengine/rivet from 0.34.0 to 0.35.0 by @dependabot[bot] in #1107
  • fix(#1189): if/else join register aliased a local's home register on the ARM direct selector — measured, oracle red-first, one-site fix, corpus byte-identical by @avrabe in #1190
  • chore(deps): bump wast from 257.0.1 to 258.0.0 by @dependabot[bot] in #1110
  • feat(selector): RQ-64-MVLOWER (#1093) — parameter-taking block types LOWER on the ARM direct selector (--relocatable), proven per shape by the #1097 oracle; every other leg stays declined with its measured reason by @avrabe in #1188
  • chore(rivet): close RQ-64-DEPS and record WHY RQ-64-ARCHMODEL defers by @avrabe in #1192
  • release(v0.64.0): "The number you plan from" — 10 artifacts, 9 implemented by @avrabe in #1193
  • fix(release): v0.64 cold-review corrections — retract a fabricated attribution, state the selector growth by @avrabe in #1194

Full Changelog: v0.63.0...v0.64.0