fix: comprehensive quality audit — docs, tests, proofs, traceability#81

Merged

avrabe merged 11 commits intomainfrom

fix/quality-audit-2026-04-12

Apr 13, 2026

Commits on Apr 6, 2026

feat: add opt-in recursive reentrance for fused component instances

avrabe
and
claude
committed
docs: add P3 async built-in imports and multi-memory handling

avrabe
and
claude
committed
docs: P3 async codegen design for ARM reentrancy guard

avrabe
and
claude
committed

Commits on Apr 12, 2026

fix: correct documentation inaccuracies, fix rivet STPA traceability, remove stale artifacts

avrabe
and
claude
committed
fix: correct Rocq proof counts (241/3 not 237/2), f64 status, axiom inventory

avrabe
and
claude
committed
fix: add semantic tests, fix silent miscompilation, make CI blocking, connect STPA chain

avrabe
and
claude
committed