L7: traceability repair — rivet ours-errors 2 → 0, VCR-RA-004/SEL-005 de-staled, VCR-VER-004 filed (#893) - #913

Merged

avrabe merged 14 commits into

mainfrom

lane/v0.55-L7-traceability

Aug 6, 2026

Commits on Aug 5, 2026

fix(rivet): VCR-DEC-003 traces-to an ARTIFACT, not a GitHub issue number

avrabe
and
claude
committed
6f85147
fix(rivet): GI-FPU-002 was declared TWICE — the `proposed` copy silently won

avrabe
and
claude
committed
dc9e7dd
fix(#893): VCR-RA-004 was `proposed` for a resolver that shipped in v0.11.38

avrabe
and
claude
committed
911ded9
fix(#893): VCR-SEL-005 spans THREE backends, and both ledger counts had drifted

avrabe
and
claude
committed
9bab337
docs(roadmap): file VCR-VER-004 — a shipped North-Star component had NO roadmap entry

avrabe
and
claude
committed
7579bf5
docs(README): the aarch64 crate row still said "integer subset"

avrabe
and
claude
committed
613b72e
ci(#893): the Rivet Validation gate could not see either error this lane fixed

avrabe
and
claude
committed
0b288e8
docs(CHANGELOG): v0.55 L7 — traceability repair + the honest-N/A backlog

avrabe
and
claude
committed
f810b1a
fix(#893): GI-FPU-VER-002 — close the gap the GI-FPU-002 status flip revealed

avrabe
and
claude
committed
5802785
docs(CHANGELOG): record the two verification artifacts + the rivet coverage delta

avrabe
and
claude
committed
3e99332
docs(roadmap): disambiguate the aarch64 ledger count (5 entries, not 4 named)

avrabe
and
claude
committed
9df092d
docs(CLAUDE.md): de-stale the three aarch64 claims

avrabe
and
claude
committed
0f0c232
docs(CHANGELOG): record the CLAUDE.md aarch64 de-staling, incl. the rotted premise

avrabe
and
claude
committed
f43f579

Commits on Aug 6, 2026

merge: origin/main into lane/v0.55-L7-traceability
avrabe
committed
4d55a35