| Filename | Latest commit message | Latest commit date |
|---|---|---|
c08d66f1a9
What the certified graph now carries, deleted from int_synth: - the direct decode's fast dispatch (its own conv_transpose2d over int_kernels::conv_acc_i64) and its guard reference_output_side, which kept the fast kernel to output sizes the scalar kernel's i64 arithmetic could form: the decode runs through the operator set, whose plan forms every size in checked 64-bit arithmetic under the 2^26 caps, and whose lowering refuses a field past 32 bits; - the kernel_equivalence module that held that dispatch to the scalar kernel (retargeted at gate 5: the fast kernels are held to the interpreter); - the ops module, folded into decode_from_spec and header(). The direct decode stays, test-only (legacy_int), as the differential's oracle: legacy::decode_from_spec over the scalar kernel alone (reference:: conv_transpose2d, kept verbatim, with its hand-computed unit tests). Callers of int_synth::ops now call int_synth::decode_from_spec (both wai-rs test files and byte-exact's lowering golden). int_kernels' documentation no longer describes an int_synth dispatch or its i64 size guard. Co-Authored-By: Claude Opus 5.5 <[email protected]> |
||
| .. | ||
| src | ||
| Cargo.lock | ||
| Cargo.toml | ||
| README.md | ||
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).