synth v0.62.0

What's Changed

• plan(v0.62): scope the release — "Reach is part of correctness" (7 artifacts) by @avrabe in #1134
• chore(rivet): RQ-62-CLAIMCHECK absorbs the required-context redundancy invariant a live incident proved by @avrabe in #1137
• RQ-62-TABLEDANGLE (#1102 residual): refuse a funcref table naming a DECLINED function on the host-linked paths by @avrabe in #1138
• RQ-62-EMBEDDER (#1131): the --relocatable embedder ABI, derived from the emitter and bound to it by @avrabe in #1139
• fix(ci): authenticate the federated externals sync — for QUOTA, not for access (#1143) by @avrabe in #1144
• chore(rivet): close RQ-62-EMBEDDER on the integrator's confirmation, and add the sentence they asked for by @avrabe in #1141
• chore(roadmap): VCR-RA-002 gains an ABI collision it did not have, and a second option from Wasmi 2.0 by @avrabe in #1142
• plan(v0.62): RQ-62-FEDAUTH — un-red main's R10, which caught my own commit exactly as designed by @avrabe in #1147
• plan(v0.62): reach stays but stops being the headline, and gets a gating rule (9 -> 10) by @avrabe in #1146
• chore(rivet): flip RQ-62-TABLEDANGLE to implemented — the hole was worse than the artifact predicted by @avrabe in #1140
• plan(v0.62): scope #1145 — per-memory MPU isolation is unreachable BY CONSTRUCTION (10 -> 11) by @avrabe in #1148
• RQ-62-VERIFYEMBED (#1132): synth verify-embedder — the embedder side of the register contract, mechanically checked by @avrabe in #1149
• RQ-62-LOOPCONFORM (#1136): release loop-conformance derived from existing traces — red-first both directions by @avrabe in #1150
• RQ-62-MEMISOLATE (#1145): per-memory region table as data (option 3) — red-first two-tenant oracle, embedder obligations documented, envelope fact stated by @avrabe in #1151
• plan(v0.63): defer three artifacts with measured reasons — and fix the gate my own deferral silently disabled (#1152) by @avrabe in #1154
• RQ-62-REACH increment 1 (#242): reachable-corpus acceptance census — denominator first, ranked blockers, honest non-comparability to the 805 by @avrabe in #1156
• RQ-62-ROADMAPGATE (#1133): programme artifacts get their own status rules — P0/P1/P2 + floor, red-first on the two statusless VCR-WCET items by @avrabe in #1155
• RQ-62-CLAIMCHECK (#1062): Claim Check runs self-hosted — and the runner-redundancy invariant is enforced, not remembered by @avrabe in #1153
• plan(v0.63): scope the release — "Raise the percentage, and say which percentage" (8 artifacts) by @avrabe in #1157
• release(v0.62.0): "Reach is part of correctness" — 9 artifacts, 8 implemented by @avrabe in #1158
• chore(release): fill v0.62's step-8 attestation with the measured result (0-line diff) by @avrabe in #1160

Full Changelog: v0.61.0...v0.62.0