51810ba161
- int_ops equivalence: the committed audio synthesis through wam1/1 runs all four of its one-dimensional transposed convolutions on the fast kernel under every fast policy (counted), and every sample is the interpreter's. Its inverse GDNs and its PCM step run on the interpreter under every policy (the host lends no IGDN kernel; that arm is M4's, and the audio decode does not need it to be exact). - tests/int_audio_ops.rs: under the reference kernels and four fast policies the decode through the lowering gives the same samples, or the same refusal, on the committed vector as WIA1 and as its JSON form, and on clips with a channel moved to the input's check range and one past it, at each end. - byte-exact-conformance declares audio_int (on by default) beside splat_int: it always includes int_audio, so the new unit test runs on every leg too. Co-Authored-By: Claude Opus 5.5 <[email protected]>
40 lines
1.7 KiB
TOML
40 lines
1.7 KiB
TOML
# Cross-architecture byte-equality conformance for WAI's integer-exact paths.
|
|
#
|
|
# Deliberately a SEPARATE tiny crate: it #[path]-includes the pure-integer
|
|
# sources from wai-rs (rans.rs, int_synth.rs — single source of truth, no copy)
|
|
# so it compiles with NO system codec libraries and NO ONNX runtime. That is
|
|
# what lets the CI matrix run it on every OS/arch in about a minute, proving
|
|
# the `replicate` determinism contract on real silicon rather than asserting it.
|
|
[package]
|
|
name = "wai-byte-exact-conformance"
|
|
version = "0.1.0"
|
|
edition = "2024"
|
|
rust-version = "1.97"
|
|
license = "Apache-2.0"
|
|
publish = false
|
|
|
|
# The included wai-rs sources carry `cfg(kani)` items (set only by the model
|
|
# checker in wai-verify). Declared so this crate's builds do not warn on it.
|
|
[lints.rust]
|
|
unexpected_cfgs = { level = "warn", check-cfg = ["cfg(kani)"] }
|
|
|
|
[dependencies]
|
|
serde = { version = "1", features = ["derive"] }
|
|
serde_json = "1"
|
|
sha2 = "0.10"
|
|
# The integer operator set the included decoders run their networks through
|
|
# (`wai-rs/src/int_ops.rs`, included at the crate root). no_std, no dependencies.
|
|
wai-ops = { path = "../wai-ops" }
|
|
|
|
[features]
|
|
# wai-rs's test-only switch for the integer decoders' direct decodes (`int_synth::legacy`),
|
|
# declared so the included source's `cfg` names a known feature. The goldens here decode
|
|
# as a sink does, through the integer operator set; the crate's own tests compile the
|
|
# direct decode's unit tests under `cfg(test)`.
|
|
legacy_int = []
|
|
# wai-rs's features for the splat and audio decoders (`int_splat`, `int_audio`), which
|
|
# this crate always includes: on by default, so the included sources' tests that need
|
|
# them run here too.
|
|
splat_int = []
|
|
audio_int = []
|
|
default = ["splat_int", "audio_int"]
|