fix(drv): the cross-arch gate was green because it could not see the defect - #313

Closed

avrabe wants to merge 5 commits into

fix/varve-pin-digestfrom

fix/cross-arch-gate-strict

Commits on Aug 28, 2026

fix(drv): the cross-arch gate was green because it could not see the defect

avrabe
and
claude
committed
2aea209
docs(xarch): cite synth#1102 and confirm the defect on 0.60.0

avrabe
and
claude
committed
ccfaa82
docs(ci): correct the cross-arch workflow header — it stated the claim this PR disproves

avrabe
and
claude
committed
d9d52e0
docs(plan): REQ-OS-TARGET-RV32-001 is blocked — you cannot execute what does not link

avrabe
and
claude
committed
53c8afb
fix(ci): the cross-arch gate needs wasm-tools, which its workflow never installed

avrabe
and
claude
committed
aca3d41