Transaction-Science/open-standards
Watch
1
0
Fork
You've already forked open-standards
 0
Code Issues Pull requests Projects Releases 15 Packages Wiki Activity Actions 142
open-standards/wai/wai-verify
History
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Transaction Science af8479a7c8 wai-verify vectors verify: recompute only the files of vectors/, stage/ and graphs/ 
npu.jsonl is a .jsonl file that is not a vector file; step 4 already checks it
as the generator writes it.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-22 07:19:23 -04:00
..
src wai-verify vectors verify: recompute only the files of vectors/, stage/ and graphs/ 2026-10-22 07:19:23 -04:00
Cargo.lock wai-verify: the bounds certifier, the lowerings and the corpus tool 2026-10-10 09:38:32 -04:00
Cargo.toml WIV1 and WIR1 gate 7 (WIP, committed before running): the direct predictors and step leave production 2026-10-17 12:04:26 -04:00
check_shards.py wai-ops proofs: the rans64 totality proof runs where its memory fits 2026-10-12 09:50:31 -04:00