| Filename | Latest commit message | Latest commit date |
|---|---|---|
446865697c
A stage-only decode has no fast kernel behind an interpreter. What a faster
fabric runs instead is E9's 32-bit form (§5E E9, Width): the form D3b's
integer GPU legs take. Gate 5 holds it to the exact form.
- wai-ops: residual_step_i32 and i32_form_fits behind the new i32_forms
feature (and cfg(test), cfg(kani), so the unit tests and K29 keep them);
residual_step_by_i32, E9 through its 32-bit form for a driver whose
operands are i64. wai-verify declares the feature name its included
sources test.
- wai-rs i32_forms: int_video::ops::{decode_typed_i32,
decode_pframes_typed_i32} and staged::wir1::ops::apply_unit_i32, the
drivers with E9 as a parameter.
- Parity: every committed clip and layer through the 32-bit form as through
the exact form (tests/int_video_ops.rs, tests/wir1_ops.rs), changed
streams too; the differential compares the 32-bit form on every random
case; byte-exact-conformance (i32_forms on by default) decodes WIV1 and the
staged sets through it to the pinned digests on every leg.
- CI: the fast-kernel steps carry i32_forms, appended so gate.sh's grep
still finds them.
Gate 4's falsification, for the record: ops::frame's block grid taken as
w / block, which only a grid with a partial last column reaches (every
committed clip's sides are multiples of its block). Gates 1 to 3 stayed
green (int_video_ops 5, wir1_ops 5); int_video_random_clips_decode_alike
failed at seed 3372 (h 5, w 3, block 4). Timed 300 s, seed 20261017: debug
2,402,935 clips and 408,439 layers, release 11,948,953 and 3,322,036,
alike.
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).