open-standards/wai/wai-ops
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Transaction Science cb1515d96d ops-conformance: npu.jsonl, each graph vector's place in wai-ops/1-npu
One line per graph vector of vectors/ and graphs/ whose graph loads, with the
npu, npu_flags and npu_reasons of its graph's own verdict (§8.5): the vectors an
operator implementation of the accelerator subset must reproduce, and the
features each exercises. The generator (wai-verify vectors gen) writes it, so
vectors verify requires its bytes; the independent checker computes it from
its own bounds pass and requires the same bytes. 733 of the 1635 graph vectors
that load are in the subset.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-22 07:12:32 -04:00
..
node wai-verify: the bounds certifier, the lowerings and the corpus tool 2026-10-10 09:38:32 -04:00
src ops-conformance: npu.jsonl, each graph vector's place in wai-ops/1-npu 2026-10-22 07:12:32 -04:00
tests wai: gate 5's falsification found the synthetic networks refuse every decode 2026-10-18 01:43:32 -04:00
Cargo.lock wai-ops: the reference crate for wai-ops/1 (WHG1, plans, interpreter, stage operators, lowerings) 2026-10-09 19:31:38 -04:00
Cargo.toml WIV1 and WIR1 gate 5 (WIP, committed before running): the 32-bit form behind a feature, held to the exact form 2026-10-17 11:28:23 -04:00