open-standards/wai/ops-conformance

ops-conformance — the integer operator set

Vectors for wai-ops/1, the integer operator set (extensions/integer-operators.md): its graph operators (§5), its stage operators (§5E), the WHG1 graph form (§10), and the canonical lowerings of the registered integer network forms (§13).

Provenance. Generated here by wai-verify vectors gen from fixed SplitMix64 sequences: every graph, parameter, input and stream under vectors/, stage/, graphs/ and sets/ is generated integers, with no media. The lowered graphs under certificates/ are those of the sets this corpus generates and of the parameter sets other corpora commit, which keep their own provenance (certificates/index.json names each one's corpus).

Equivalence. An operator implementation of a profile (§7) conforms when it reproduces every vector tagged with that profile, refusals included: the same load outcome, and for every decode the same output integers or the same refusal code. A lowering conforms when it writes every lowered graph byte for byte.

Layout

• vectors/<operator>.jsonl — graph vectors whose graph has one operator (§14.1).
• stage/<operator>.jsonl — stage-operator vectors (§14.1).
• graphs/<name>.jsonl — graph vectors whose graph has several operators (§14.2):
  • phase — a transposed convolution and the same computed as phase convolutions, interleaved by pixel_shuffle and cropped (§9.3), as the graph's two outputs;
  • state — state inputs carried across decodes (§10.3), a refused decode among them;
  • load — a graph refused at each load check of §10.5, steps 1–7, and a crop planned at load (§5.10);
  • run — a decode refused at each step of §4's run, and the order between them and within step 3 (the caps, then the shape rule, then max_elems);
  • lower_<form> — each lowering of §13 on a small set from sets/.
• sets/<name>/ — the small parameter sets the lower_* vectors lower, one per lowering, in their registered forms.
• certificates/<capability>/<set digest>.json — each set's bounds certificate (§8.5, §14.3), and beside it certificates/<capability>/<set digest>/<role>.whg1, each lowered graph.
• certificates/index.json — every set lowered here: its capability, its lowering, its members (the name in the set and the file, relative to wai/, that holds it), its digest, and the path of each lowered graph, in §13.0's role order.
• certificates/falsification.json — the two sets of §14.3 that a certifier must reject, in the same form, each with claim, the profile it is checked against: overflow_acc64, whose accumulator passes i64 by one unit, and claim_acc32, whose pin claims acc32 and whose accumulator passes i32 by one unit, one weight past a set that meets it. Their members are under sets/. A sink refuses both under the profile they are checked against (§8.6).
• certificates/external.json — the sets whose certificates are here although the sets are not: the CI-regenerated wai.neural.int_hyper set and the jpegai/v1 bundle of the models root. Each entry gives the set's members (the name in the set, then the file the job that holds it reads), its digest, the profile its verdict meets, and that job's workflow, which certifies the set and requires these bytes. Here, vectors verify and the independent checker check only what they can without the set: that each such certificate is canonical, names its set, and meets its profile. The job that holds the set certifies it with both certifiers.

Files are compared as bytes; .gitattributes turns off line-ending conversion.

This corpus has no sha256.json sidecar (SPEC §7 Digests). Every vector states its output integers in full, or its refusal code, and never a digest of them. The only digest in certificates/ is each set's SHA-256, which identifies a parameter set. The output digests that a capability reproduces through its lowering (integer-operators §14.4) stay in that capability's own corpus.

The vector files

Every file follows integer-operators §14.1, which is normative for every field: the graph vector and its decodes, the stage vector with its modes, each operator's in and expect (the predictors' layouts included), and the refusal index at. In short:

• Every file is JSON Lines: one canonical JSON value per line (§8.5's rules), each line ending with one line feed.
• A graph vector's decodes list the graph's data inputs only; the decodes of one vector are one sequence, and a refused decode changes no state (§10.3).
• load is the outcome of load steps 1–8 (§10.5), under every profile the vector lists. A vector whose load is refused, at any step, has no decodes and lists both profiles; one that loads lists exactly the profiles its verdict meets.
• at is −1 for a refusal before any symbol or element, the symbol's index for rans64_decode (the number of symbols for a refusal after the last one), and, for mans_decode, the position whose step refuses, or, for a flush that belongs to no single position, the last position whose in step ran.
• A vector of graphs/lower_<form>.jsonl has the id <file>/<set>/<role>/…: its graph is that role of the set sets/<set>/ as lowered.

The vectors load step 8 decides

Whether a graph loads, and under which profiles, is the verdict of its bounds pass (§8). Besides every other vector's profiles, these depend on it alone (§14.1 item 6), each in its operator's file, with an id that names the class:

• sigmoid/step8/…, elu/step8/…: an input range that reaches −2^63, refused at load (exp.negx passes i64); the ranges that stop at −(2^63 − 1) decode;
• <op>/step8_q/…: an rq whose q passes 64 bits, refused under acc64; with a post bias (conv, conv_transpose, rescale) y fits while q does not, and beside each, the same graph one unit inside, which decodes;
• l2norm/eps/… and layernorm_c's cases with ε = 2^64 − 1, which load under acc64 only;
• <op>/acc32_param/…: a graph that fails acc32 by one parameter condition of §7.2 alone (rq.mult, rq.shift, rq.post_bias, weights, chscale.m, chscale.s, igdn.gamma, igdn.shift, leaky.a), every interval within i32;
• lut16/step8/…: an input range that reaches ±32768 (§5.6);
• graphs/load.jsonl, load/step8/…: a check range its producer cannot meet, one that its producer meets at one value (loads, under acc64 only), and an accumulator past i64.

The lowered sets

certificates/index.json lists every set. A set of one file is identified by its file's SHA-256, and a set of several files by the SHA-256 of its wai.prior.set listing over the member names the index gives (SPEC §3.1). wai.world.model has no registered set yet: its two networks are named T.whm and g_s.whm here, and its lowering's latent channel count, which the initial latent fixes, is the entry's c.

Generation and verification

cd wai/wai-verify
cargo run --release --features cli --bin wai-verify -- vectors gen ..

writes every file here but this README, .gitattributes, and external.json with the certificates it lists.

cargo run --release --features cli --bin wai-verify -- vectors verify ..

recomputes every vector file from its inputs, re-lowers every set and recomputes its certificate from the committed lowered graphs, checks that each falsification set fails the profile it claims, and regenerates the corpus, and requires every byte to equal the committed one. The same check runs built for wasm32-wasip2 under a WASI runtime, and, for the vector files, wai-ops/node/verify.mjs runs the recomputation as a wasm32-unknown-unknown module under a browser's engine.

wai-verify bounds <set> --capability <name> [--profile acc32|acc64] [--check <cert>]

certifies one set (or WHG1 graphs on their own), and exits 0 when its verdict meets the profile, 1 when it does not, and 3 when --check finds a difference.

python3 -I tools/wai_ops_check.py ops-conformance

is the independent checker: Python standard library only, sharing no code with wai-ops, and held to the extension's text: where the two disagree, the text decides, and the disagreement is a bug in one of them. It rewrites every vector file from its inputs, load (steps 1–8) and profiles from its own bounds pass and verdict (§8.1–§8.5) included; re-lowers every set and requires each lowered graph, and that each loads; and requires each lowering vector's graph to be the role its id names. It is also a second certifier (§1): from each set's lowered graphs it writes the set's certificate (§8.5) and requires the committed bytes, for every set of index.json and both falsification sets, each of which must fail the profile it claims. Every byte must equal the committed one.

python3 -I tools/wai_ops_check.py ops-conformance --external <name>=<dir>
python3 -I tools/wai_ops_check.py certify --capability <name> --lowering <id> \
    --member <name>=<path>... [--profile acc32|acc64] [--out <cert>] [--check <cert>]

certify an external set from the directory that holds its files, and one set (or WHG1 graphs on their own, with --whg1 <role>=<path>), with the exit statuses of wai-verify bounds: 0, 1, 3 as above; 2 when a graph is malformed or refused at load; 4 when the lowering refuses the set; 5 for usage.