open-standards/wai/byte-exact-conformance
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Transaction Science 8dfaec1147 int_mlicpp gate 2: the bundle decodes through wmb1/1 to its goldens
The decode's stage steps (int_mlicpp::check, hyper_latent, latent: the header and the
networks' geometry, the z stream, the y stream's slices and passes with y 0 where not
yet decoded, t2/lenient/final_only) are shared by two decodes: int_mlicpp::legacy, the
direct decode (run_net_checked per network, to_rgb8), unchanged, and int_mlicpp::ops,
through the integer operator set: check, then the three networks lowered and loaded
(load), then each graph's run-time plan on the payload's shapes (fit), then
decode_loaded (h_s's graph; the entropy graph before every pass, its output split into
sigma and mu by the driver; g_s's graph with the RGB8 step). int_mlicpp::decode still
calls the direct decode (the switch is gate 6).

Goldens: tests/int_mlicpp_ops.rs, the committed vector (both envelopes) through the
lowering equals the direct decode, bucket for bucket, symbol for symbol and byte for
byte, and every digest in expected.json; byte-exact-conformance
int_mlicpp_through_its_lowering_is_golden, under the reference and the fast kernels.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-15 21:44:10 -04:00
..
src int_mlicpp gate 2: the bundle decodes through wmb1/1 to its goldens 2026-10-15 21:44:10 -04:00
Cargo.lock D2c M1 gate 2: int_synth's decode through its lowering equals every golden 2026-10-13 02:50:33 -04:00
Cargo.toml D2c M3 gate 5: the fast kernels behind the interpreter, held to it, for the audio set 2026-10-14 11:23:42 -04:00
README.md wai: every corpus states the provenance of its content 2026-10-07 10:09:21 -04:00

byte-exact-conformance — cross-architecture byte equality

A crate that compiles WAI's pure-integer decode paths (the rANS entropy coder and the integer fixed-point syntheses, #[path]-included from wai-rs) without the system codec libraries, so the byte-equality matrices (.github/workflows/wai-byte-equality.yml, and cross-arch byte-equality in wai-conformance.yml) run them on every OS and architecture. cargo test --release here decodes the committed vectors and the staged-delivery corpus to the goldens in src/*_golden.rs, generated once on a reference machine, and must match them on every machine.

Provenance. The goldens are digests of decodes of the vectors under ../wai-rs/tests/vectors/ and of the staged-delivery corpus; that directory's README states each vector's provenance. Among them, the int_video half-pel clip (video_real) is not generated content (see there).