fix(proof): pin determinism lock to numpy 2.4.2 (match published hash)#886

Merged

ruvnet merged 7 commits into

mainfrom

fix/proof-determinism-numpy-lock

Jun 2, 2026

Commits on May 31, 2026

fix(proof): pin lock to numpy 2.4.2 to match the published proof hash
ruvnet
committed
ci(verify-pipeline): re-run determinism gate on lock changes
ruvnet
committed
diag(proof): make hash precision configurable + CI cross-microarch sweep
ruvnet
committed
fix(proof): cross-platform tolerance gate for verify.py determinism
ruvnet
committed
diag(proof): characterize cross-microarch divergence on FAIL
ruvnet
committed
fix(proof): exclude argmax-unstable doppler from determinism comparison
ruvnet
committed
docs(proof): update hash + note cross-platform determinism gate
ruvnet
committed