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
ops-conformance: npu.jsonl, each graph vector's place in wai-ops/1-npu
2026-10-22 07:12:32 -04:00
wai: D2c M7b gate 1: the networks' lowering and certificate, reproduced from the text
2026-10-18 01:02:55 -04:00
WIV1 and WIR1 gate 7 (WIP, committed before running): the direct predictors and step leave production
2026-10-17 12:04:26 -04:00
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
wai-ops: i64 sums where a bound shows they fit, one scan for a node's weight range, byte stores in the writer
2026-10-15 12:48:49 -04:00
wai-ops: the writer stores each value as one array; test tidying
2026-10-15 12:50:06 -04:00
wai-ops: the reference crate for wai-ops/1 (WHG1, plans, interpreter, stage operators, lowerings)
2026-10-09 19:31:38 -04:00
wai-ops: the writer stores each value as one array; test tidying
2026-10-15 12:50:06 -04:00
wai-ops: a run holds each tensor only until its last reader
2026-10-14 10:11:10 -04:00
wai-ops: the reference crate for wai-ops/1 (WHG1, plans, interpreter, stage operators, lowerings)
2026-10-09 19:31:38 -04:00
wai-ops: the bounds pass in closed form for conv, conv_transpose and igdn (WIP, committed before the first build)
2026-10-15 12:30:39 -04:00
wai-ops: limb32, the 32-bit fabric's acc32 product and epilogue
2026-10-10 18:19:13 -04:00
wai-ops: the plan's shape rules as functions; the graph harnesses call kernels
2026-10-11 03:37:44 -04:00
wai-ops: the reference crate for wai-ops/1 (WHG1, plans, interpreter, stage operators, lowerings)
2026-10-09 19:31:38 -04:00
wai-ops: load step 8, the bounds pass and the certificate (D2b)
2026-10-10 09:26:27 -04:00
wai-ops: the seams the model checker needs, with no change in behaviour
2026-10-10 18:19:13 -04:00
cb1515d96d