wai-rs depends on wai-ops (behind neural_int) and gains src/int_ops.rs, the
bridge every integer decoder will load its lowered graphs through: from their
canonical bytes, under acc64, load steps 1-8 with the bounds certificate.
tests/int_synth_ops.rs: every committed int_synth set (the neural-conformance
corpus and the ops-conformance set) lowers through int_synth/1 to the committed
graph, the committed certificate is that graph's, and loading it gives the
certificate's verdict: acc64 for all, acc32 for facade, gradient, bloom and the
small set, not for photo, as the design predicted. The browser demo's sets are
byte copies of the corpus's. The two falsification sets fail the profile they
claim: overflow_acc64 is refused at load step 8, claim_acc32 loads under acc64
and does not meet acc32. The independent checker re-lowers and re-certifies
every set byte for byte (wai-ops.yml, unchanged).
CI: the fast-kernels steps (both profiles) name the new test; wai-conformance,
wai-web-wasm and wai-neural-gates fire on wai-ops changes. wai-pack, wai-rs and
wai-web lockfiles gain wai-ops.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
c2cac5b28a