chore(release): v0.45.0 — the Mega-Hub epic (all 3 North-Star tracks)

[avrabe]

The Mega-Hub epic: 5 oracle-gated lanes across all three North-Star tracks, each coordinator-re-verified before merge.

Lane	PR	Track	What
VCR-WASM-001	#771	B	WasmCert-Coq source anchor (i32.add refinement; 474→476 Qed)
VCR-ISA-001	#773	B	generate-not-mirror 41→50 ops (476→485 Qed, byte-invisible)
#538	#769	A	AArch64 m2 — 7→50 integer ops, 175/175 native diff, honest div/rem decline
#494	#770	C	proof-carrying rem_u elision — 12× beat over clang -Os (2 B vs 24 B)
#396	#774	C	synth-provenance-v1 MC/DC source-to-object map (byte-identical ELF)

485 Qed / 50 rules / 19 claims. Pin sweep 0.44.0→0.45.0 (workspace + path-deps + MODULE.bazel + npm). fmt clean.

Documented residuals (honest)

• 0.43.0: #746 fix relocates but MISCOMPILES the wide-static copy path — silent wrong bytes (was: skip) #757 — accepted residual, second disproof: 7 faithful RawVec-grow+memmove reconstructions all byte-correct (investigate(#757): 7 faithful RawVec-grow+memmove reconstructions — all GREEN (bug needs gale's module; NO FIX) #772 lands them as regression guards); needs the reporter's exact module. Stays OPEN, NOT fixed.
• i64.trunc_f64 live-VC — still blocked on selector lowering (not VC work).
• Self-contained --cortex-m: full-page linmem view can overlap R9 globals table at top of SRAM (latent, impact unverified) #761 — latent linmem/globals overlap, unverified.

🤖 Generated with Claude Code