verify(falcon): v1.129 → P05 + OCI-P01 verified - #322

Merged

avrabe merged 3 commits into

mainfrom

verify/mathf32-p05-cos

Jul 29, 2026

Commits on Jul 29, 2026

verify(falcon): v1.129 → P05 + OCI-P01 verified (cos proof pair, component publish)

avrabe
and
claude
committed
fix(verify): make FV-FALCON-OCI-001's cited steps actually runnable

avrabe
and
claude
committed
fix(verify): teach the gate that wasm-tools/cargo-component/rate-loop-proof are bench-only

avrabe
and
claude
committed