9d31aad609
The wai.audio.int_codec vector (wai-rs/tests/vectors/int_audio/) is now an
export of tools/wai_int_audio_export.py on its own generated signal:
python tools/wai_int_audio_export.py <out> --seed 1 --channels 16 \
--samples 8192 --steps 2500
Two runs with seed 1 gave byte-identical audio_model.bin,
audio_bitstream.json, audio.json and decoded PCM. Every file that depends
on the vector was regenerated through its own generator, from it:
- int_audio/sha256.json — WAI_WRITE_SHA256_SIDECARS=1 cargo test
--test int_kernels_vectors int_audio_clip (the Rust decode equals the
Python integer reference's PCM first);
- int_audio/audio_bitstream.wia1, int-payload-conformance/vectors.json and
the thirteen wia1_* refusal fixtures — wai_int_payload_vectors gen;
- staged-conformance/cases/audio_int_codec_1l/ (base.wai, L1.wai,
stage0.bin, case.json) and index.json — wai_staged_vectors gen;
- staged-measure-conformance/fixtures/audio/ (source, layers, references,
expect.json, title.json), goldens.json and sim/results.json —
wai_stage_measure gen-fixtures, then generate-goldens. quality.json is
regenerated unchanged (it holds no audio).
The format, the payload layout and the capability are unchanged; the
model's shape is the same (16 channels, 512 latent samples, 8192 output
samples at 16 kHz). Verified: the six affected Rust corpus verifiers
(int-payload, staged, staged-measure, http, claims, pin), the Python
verifiers int_payload_verify.py, staged_verify.py, measure_verify.py,
sim_verify.py, http_verify.py and pin_verify.py, and the integer-kernel,
int_audio, int_payload and stage_measure tests. The provenance check now
passes: the stage 0 and the measurement source correlate at most 0.22
with any reference recording.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
1 line
No EOL
3.5 KiB
JSON
1 line
No EOL
3.5 KiB
JSON
{"n_ch": 16, "lat_len": 512, "t_out": 8192, "afrac": 12, "lo": -6, "cdfs": [[0, 1, 2, 3, 4, 5, 6, 65529, 65530, 65531, 65532, 65533, 65534, 65535, 65536], [0, 1, 2, 3, 4, 5, 7811, 64123, 65530, 65531, 65532, 65533, 65534, 65535, 65536], [0, 1, 2, 3, 4, 5, 6, 65529, 65530, 65531, 65532, 65533, 65534, 65535, 65536], [0, 1, 2, 3, 4, 5, 1924, 63355, 65530, 65531, 65532, 65533, 65534, 65535, 65536], [0, 1, 2, 3, 4, 5, 6, 65529, 65530, 65531, 65532, 65533, 65534, 65535, 65536], [0, 1, 2, 3, 2050, 5505, 19582, 45698, 58239, 63869, 65532, 65533, 65534, 65535, 65536], [0, 1, 2, 3, 4, 5, 1028, 32772, 52224, 65405, 65532, 65533, 65534, 65535, 65536], [0, 1, 2, 3, 4, 4483, 18304, 35324, 53633, 62463, 65278, 65533, 65534, 65535, 65536], [0, 1, 2, 3, 4, 9474, 22271, 39171, 54144, 64893, 65532, 65533, 65534, 65535, 65536], [0, 1, 2, 3, 2178, 3329, 19965, 47105, 61694, 64893, 65532, 65533, 65534, 65535, 65536], [0, 1, 2, 3, 4, 5, 6, 65529, 65530, 65531, 65532, 65533, 65534, 65535, 65536], [0, 3967, 7934, 11133, 15996, 21626, 26233, 33015, 40309, 45939, 53762, 56577, 60544, 65535, 65536], [0, 1, 2, 3, 1922, 10880, 22653, 41986, 53631, 63229, 65532, 65533, 65534, 65535, 65536], [0, 1, 2, 3, 4, 5, 11650, 35197, 63612, 65531, 65532, 65533, 65534, 65535, 65536], [0, 1, 2, 3, 7681, 17663, 26237, 39546, 54784, 65405, 65532, 65533, 65534, 65535, 65536], [0, 1, 2, 3, 4, 5, 2436, 33282, 57213, 65531, 65532, 65533, 65534, 65535, 65536]], "median_q": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -4096, 4096, -4096], "rans_b64": "bh7fxT8AAAATELnUjf3O5eE8XGMF/sJWJaIlOwjg5Q6m3Q4X3ewuSNs28cUZsE7mhJR3RNRP6UC7HDfTHQEwCLUGqBry9mB0xLaXxuuSBjkKI4XjzUIn0v0jgDCAdGXp47PxXfaChT4s0U7/mA+KjLRJzGcawpnA0xRwgfVHzl8yEQs3Lz0gEbrnDP1eH5LgYuGhm3rr9ONe/0Pzgg8ueDYTkgYgCHsUsmhOnpumjTpkc28Mblcnf1+S5owQr+KX4Ydh75ejd7k0wE0JmWyyZknIAYWTrC9fcSnwZfuIGs2eyHzNW5KPKBKtByoGVF4In/cqV1zywnhyqf5oij87K11yE4IsWsImI3Ay346C0rG+Q5KVhST/USnzxkPt/izl6/z4ts4h/C4WEQ9o2T9VVbiDVo24XWNNjpSTw2kRJLx3fizkkcYUxUnC+FmepYb6kaLS/n/2lxquX/Ujgplb2pqDpGrWwAgCHcTNij96PGFHDfu19VBmsizQZsvlos5Opwk7LtTfJr+2bofB9thKPueG9uLEnf5OVt0PzSEMRYJ+t1SQaV/s5G0LDXq1v14RKevagbsJIRYLSFm8QbTV2IcBvCv7X6fWfe1zEsYuQXBSYzHVlb2XG1Rgw34AaL5jheA5URliccP9ciehjZEieG0hbkC6U7bHm1iL0aqjoW6Lpj4DKOrcPqo7BPa9vyxrxlLqbZThUA6oAghHtYkFLwa+gOJnfhkZwCg9zquMzPJ2+h3BmfjEyPFAqvtAEz95X48iBUfv5qxBjIaObD3AX88ui7hM4Z8nOnxgw4k/qeGCSI3dVd0TeE5HLb8SDqkgY8QiwxjHroAz4vNb6P7hK6r4fMTzXeupbgn6X5x+Ez5fFMaHzMzhZRjYt5Tf2gPi4WRkZhLvrACOsGugwTWVQLszQnApN6zDol5C9dQOBrxv9mmkjGTMx/isoAveVgr6ysJuSnkm/tbyyamfgS41GmrdBdRzTR6UNriuSO1s+lxnoBqdI3SLbnpRryifit2mRywFk7xzlvIfus/tTIDCFZa5AZzmRA9EvbZHYh8uWMHim1+eLmyzds3OEFEHLYuL9s7GcOg5IsxcjDUNlq5KEXEfTQ69U8WlIGckTwjJLnASv6rcfJQ/0p9r+NMcpKZuH7eqiKY7XTjZjkTPn5gqlNSYG0jY6eLK+NdkIk9d/K5OJTBS3BjvdkwFY2lJBhXsaCfFXxPmMp8V//U/+PnuRJf6TTxkQmM60SH5m9IcilxNBKpOKSTObD9C4skikkKDirdgGIr0QQQp8cC4Ne5kzBOvZlfUcd9B8E3rlQw8x7cPH/8VobcJqRTotUaIpnjBE1fbSFrEVQ750bTT2UsHM137BCZoovofJlma3puAtqd9HggazBj81hH9u5f1HPkmbtQrIOTyEfscB8VRJSuZf9KsKSPkWhyNbTesD16MopfA1WSGCuU9qjjMSGCCO91vkRsFQGFBW8v6xr3htOh/8l60kmDrY3JNQykSgKiWRbh9rlRTN4w4cAYtbErSYTZfwbmOD0HABwpUt7dZ7cmJBI8kdAXw/ziMMImTwu0KSxn2D+BXBCtyul08lcc7UNt35ebuFy1RpZ9yVsfaTQXwNLcqs5zCCCHJINEG8iOIuR6w2YSkFp5WcarOz7tRgN07A6NoebHOdgdkfH5AVKpLBsW6Fn9oZNCwRYgg641XDL8ld9S3GbGa3cj4mP/rqGjYBOtrgVqMqrCvU1hS4Vo/GdYkjn/1ZevBJJhD0YLcppAjFJJLA4WFCmmgLrkw0tjr86PmHeOznGLxMMk5Dph+4M7BOYGxIAkLxnlBDPeZCy2OF01wZME8wMdL0gHVHj0hld/asUQm8CBxyt9oA5pqSag+9Jdc6e8MGCqcytXMnZ7/E54KfP0niIlBxg0wODrdkJWvLBnpXGW7NrPqMBTek7UTwSyTOJePsIGcOdDWhjxTxnoDVY8DtYd+p5fJmg1j3s3HoifvmmwXppyJWrUf0F2OJmns5pxPE6W71dOB5WqP9hvW"} |