cbc4caf7b0
Gate 5's fault (a grouped convolution finished with its neighbour channel's requantisation on the fast kernel) left the unit test green: every committed vector of rec_y, rec_uv, syn_y and syn_uv refused past A32, because the synthetic networks' multipliers grew each convolution's output by up to 2^6 per product, so no decode of those graphs ran its operators end to end. - The generator now sets each synthetic convolution's multiplier so that a weight of 32767 times its products keeps the input's magnitude (and halves the biases): every rec_y, rec_uv, syn_y and syn_uv vector of graphs/lower_jpegai.jsonl now decodes, and only the vectors one past an input's range refuse. The set's digest is 1bc0daae…; its graphs, certificate and vectors are regenerated, and both certifiers reproduce them (wai-verify vectors verify; wai_ops_check.py ops-conformance), with the tests naming the new digest. - jpegai_ops::fast_kernels::the_jpegai_networks_run_their_convolutions_on_the_fast_kernel requires a completed decode of each of the four graphs, not of any one. Co-Authored-By: Claude Opus 5.5 <[email protected]>
1 line
10 KiB
JSON
1 line
10 KiB
JSON
{"format":"wai-ops-lowered/1","sets":[{"capability":"wai.neural.int_synth","lowering":"int_synth/1","members":{"int_synth.json":"neural-conformance/vectors/gradient/int_synth.json"},"name":"gradient","note":"neural-conformance, generated","roles":["ops-conformance/certificates/wai.neural.int_synth/1c4705d17c01f865b20d785191c7f63b5c18dcc8fce77e15852cf8240b7368be/synth.whg1"],"set_sha256":"1c4705d17c01f865b20d785191c7f63b5c18dcc8fce77e15852cf8240b7368be","synthetic":false},{"capability":"wai.neural.int_synth","lowering":"int_synth/1","members":{"int_synth.json":"neural-conformance/vectors/bloom/int_synth.json"},"name":"bloom","note":"neural-conformance, generated","roles":["ops-conformance/certificates/wai.neural.int_synth/21f092964e1319eca7e494ba3f6794e3166886d50e9dd74d00935c5b317055a9/synth.whg1"],"set_sha256":"21f092964e1319eca7e494ba3f6794e3166886d50e9dd74d00935c5b317055a9","synthetic":false},{"capability":"wai.neural.int_synth","lowering":"int_synth/1","members":{"int_synth.json":"neural-conformance/vectors/facade/int_synth.json"},"name":"facade","note":"neural-conformance, generated","roles":["ops-conformance/certificates/wai.neural.int_synth/c6a362696d61605931ef4da98ae630362dcd73ea6be7864db6e61d6c5abbcd24/synth.whg1"],"set_sha256":"c6a362696d61605931ef4da98ae630362dcd73ea6be7864db6e61d6c5abbcd24","synthetic":false},{"capability":"wai.neural.int_synth","lowering":"int_synth/1","members":{"int_synth.json":"neural-conformance/vectors/photo/int_synth.json"},"name":"photo","note":"neural-conformance; its decoder was trained on images the corpus does not record (see that corpus's provenance)","roles":["ops-conformance/certificates/wai.neural.int_synth/50868e72f5f1599569c413ed1f67ab8610fa0b3c17919162cbf370f49275125c/synth.whg1"],"set_sha256":"50868e72f5f1599569c413ed1f67ab8610fa0b3c17919162cbf370f49275125c","synthetic":false},{"capability":"wai.neural.int_hyper","lowering":"whm1/1","members":{"entropy.json":"wai-rs/tests/vectors/int_hyper/tiny_entropy.json","g_s.whm":"wai-rs/tests/vectors/int_hyper/tiny_g_s.bin","h_s.whm":"wai-rs/tests/vectors/int_hyper/tiny_h_s.bin"},"name":"tiny","note":"int-payload-conformance `tiny`","roles":["ops-conformance/certificates/wai.neural.int_hyper/13e8b0d18e001eb9f0160309a02755b35a14f71ba0bcaa13f373e32b931ab818/h_s.whg1","ops-conformance/certificates/wai.neural.int_hyper/13e8b0d18e001eb9f0160309a02755b35a14f71ba0bcaa13f373e32b931ab818/g_s.whg1"],"set_sha256":"13e8b0d18e001eb9f0160309a02755b35a14f71ba0bcaa13f373e32b931ab818","synthetic":false},{"capability":"wai.video.int_hyper","lowering":"whm1/1","members":{"entropy.json":"wai-rs/tests/vectors/int_hyper/tiny_entropy.json","g_s.whm":"wai-rs/tests/vectors/int_hyper/tiny_g_s.bin","h_s.whm":"wai-rs/tests/vectors/int_hyper/tiny_h_s.bin"},"name":"tiny","note":"int-payload-conformance `video_nk`, whose keyframe decodes against `tiny`","roles":["ops-conformance/certificates/wai.video.int_hyper/13e8b0d18e001eb9f0160309a02755b35a14f71ba0bcaa13f373e32b931ab818/h_s.whg1","ops-conformance/certificates/wai.video.int_hyper/13e8b0d18e001eb9f0160309a02755b35a14f71ba0bcaa13f373e32b931ab818/g_s.whg1"],"set_sha256":"13e8b0d18e001eb9f0160309a02755b35a14f71ba0bcaa13f373e32b931ab818","synthetic":false},{"capability":"wai.audio.int_codec","lowering":"wam1/1","members":{"model.wam":"wai-rs/tests/vectors/int_audio/audio_model.bin"},"name":"audio","note":"int-payload-conformance `audio`","roles":["ops-conformance/certificates/wai.audio.int_codec/132958122b251869ad6725d24a2bb96e2733daaf3e09ef65ebc7af6f46030855/g_s.whg1"],"set_sha256":"132958122b251869ad6725d24a2bb96e2733daaf3e09ef65ebc7af6f46030855","synthetic":false},{"capability":"wai.splat.int_codec","lowering":"whm1/1","members":{"g_s.whm":"wai-rs/tests/vectors/int_splat/splat_gs.bin"},"name":"splat","note":"int-payload-conformance `splat`","roles":["ops-conformance/certificates/wai.splat.int_codec/033a37c9d29d7ea9675a0b4a3e269d74f2ab874b5a3b1425eec69bf3bad8b26f/g_s.whg1"],"set_sha256":"033a37c9d29d7ea9675a0b4a3e269d74f2ab874b5a3b1425eec69bf3bad8b26f","synthetic":false},{"capability":"wai.neural.int_mlicpp","lowering":"wmb1/1","members":{"model.wmb":"wai-rs/tests/vectors/int_mlicpp/model.wmb"},"name":"int_mlicpp","note":"wai-rs/tests/vectors/int_mlicpp","roles":["ops-conformance/certificates/wai.neural.int_mlicpp/7ef44f3b1fc4a2df6c3e3b68460f595cae3d31cb7f9018699e29e738340272a4/h_s.whg1","ops-conformance/certificates/wai.neural.int_mlicpp/7ef44f3b1fc4a2df6c3e3b68460f595cae3d31cb7f9018699e29e738340272a4/entropy.whg1","ops-conformance/certificates/wai.neural.int_mlicpp/7ef44f3b1fc4a2df6c3e3b68460f595cae3d31cb7f9018699e29e738340272a4/g_s.whg1"],"set_sha256":"7ef44f3b1fc4a2df6c3e3b68460f595cae3d31cb7f9018699e29e738340272a4","synthetic":false},{"c":"24","capability":"wai.world.model","lowering":"world/1","members":{"T.whm":"wai-rs/tests/vectors/int_world/world_T.bin","g_s.whm":"wai-rs/tests/vectors/int_world/world_gs.bin"},"name":"world","note":"wai-rs/tests/vectors/int_world, one agent","roles":["ops-conformance/certificates/wai.world.model/da046216ff9495a47fbfdf14788510bc951a266896b47234bb174cef8769ab88/T.whg1","ops-conformance/certificates/wai.world.model/da046216ff9495a47fbfdf14788510bc951a266896b47234bb174cef8769ab88/g_s.whg1"],"set_sha256":"da046216ff9495a47fbfdf14788510bc951a266896b47234bb174cef8769ab88","synthetic":false},{"c":"24","capability":"wai.world.model","lowering":"world/1","members":{"T.whm":"wai-rs/tests/vectors/int_world2/world2_T.bin","g_s.whm":"wai-rs/tests/vectors/int_world2/world2_gs.bin"},"name":"world2","note":"wai-rs/tests/vectors/int_world2, two agents","roles":["ops-conformance/certificates/wai.world.model/34986fa89648e03500ade7804e9267adc860202c114bc567fa83ed5693bd38fb/T.whg1","ops-conformance/certificates/wai.world.model/34986fa89648e03500ade7804e9267adc860202c114bc567fa83ed5693bd38fb/g_s.whg1"],"set_sha256":"34986fa89648e03500ade7804e9267adc860202c114bc567fa83ed5693bd38fb","synthetic":false},{"capability":"wai.neural.int_synth","lowering":"int_synth/1","members":{"int_synth.json":"ops-conformance/sets/synth/int_synth.json"},"name":"synth","note":"synthetic","roles":["ops-conformance/certificates/wai.neural.int_synth/00c2274be6b49039365a16a357f41162095db65ed4166a4c70f5ddb97e16b4d1/synth.whg1"],"set_sha256":"00c2274be6b49039365a16a357f41162095db65ed4166a4c70f5ddb97e16b4d1","synthetic":true},{"capability":"wai.neural.int_hyper","lowering":"whm1/1","members":{"entropy.json":"ops-conformance/sets/hyper/entropy.json","g_s.whm":"ops-conformance/sets/hyper/g_s.whm","h_s.whm":"ops-conformance/sets/hyper/h_s.whm"},"name":"hyper","note":"synthetic","roles":["ops-conformance/certificates/wai.neural.int_hyper/7aceaa1aad145d6131a92804d5f6979e5971a4f12cd173dc6828befe2d397e8a/h_s.whg1","ops-conformance/certificates/wai.neural.int_hyper/7aceaa1aad145d6131a92804d5f6979e5971a4f12cd173dc6828befe2d397e8a/g_s.whg1"],"set_sha256":"7aceaa1aad145d6131a92804d5f6979e5971a4f12cd173dc6828befe2d397e8a","synthetic":true},{"capability":"wai.audio.int_codec","lowering":"wam1/1","members":{"model.wam":"ops-conformance/sets/audio/model.wam"},"name":"audio","note":"synthetic","roles":["ops-conformance/certificates/wai.audio.int_codec/8eca5bfdc1d8098ccdcfb8e3a7280c0550c4120ea87f224f0d4269e8fd4d1896/g_s.whg1"],"set_sha256":"8eca5bfdc1d8098ccdcfb8e3a7280c0550c4120ea87f224f0d4269e8fd4d1896","synthetic":true},{"capability":"wai.neural.int_mlicpp","lowering":"wmb1/1","members":{"model.wmb":"ops-conformance/sets/mlicpp/model.wmb"},"name":"mlicpp","note":"synthetic","roles":["ops-conformance/certificates/wai.neural.int_mlicpp/07e1835da60333d5c5a586da7fc27f2db78b8ccd146b100c61362d4ce768fc1c/h_s.whg1","ops-conformance/certificates/wai.neural.int_mlicpp/07e1835da60333d5c5a586da7fc27f2db78b8ccd146b100c61362d4ce768fc1c/entropy.whg1","ops-conformance/certificates/wai.neural.int_mlicpp/07e1835da60333d5c5a586da7fc27f2db78b8ccd146b100c61362d4ce768fc1c/g_s.whg1"],"set_sha256":"07e1835da60333d5c5a586da7fc27f2db78b8ccd146b100c61362d4ce768fc1c","synthetic":true},{"c":"2","capability":"wai.world.model","lowering":"world/1","members":{"T.whm":"ops-conformance/sets/world/T.whm","g_s.whm":"ops-conformance/sets/world/g_s.whm"},"name":"world","note":"synthetic","roles":["ops-conformance/certificates/wai.world.model/5291a52bdbf2279c3350eda96b515bde66d73700c73ccb207e714cb2c6a4c45e/T.whg1","ops-conformance/certificates/wai.world.model/5291a52bdbf2279c3350eda96b515bde66d73700c73ccb207e714cb2c6a4c45e/g_s.whg1"],"set_sha256":"5291a52bdbf2279c3350eda96b515bde66d73700c73ccb207e714cb2c6a4c45e","synthetic":true},{"capability":"wai.image.jpegai","lowering":"jpegai-int/1","members":{"norm.json":"ops-conformance/sets/jpegai/norm.json","weights/hs_uv.json":"ops-conformance/sets/jpegai/weights/hs_uv.json","weights/hs_y.json":"ops-conformance/sets/jpegai/weights/hs_y.json","weights/hyp_uv.json":"ops-conformance/sets/jpegai/weights/hyp_uv.json","weights/hyp_y.json":"ops-conformance/sets/jpegai/weights/hyp_y.json","weights/mcm0_y.json":"ops-conformance/sets/jpegai/weights/mcm0_y.json","weights/mcm1_y.json":"ops-conformance/sets/jpegai/weights/mcm1_y.json","weights/mcm2_y.json":"ops-conformance/sets/jpegai/weights/mcm2_y.json","weights/mcm3_y.json":"ops-conformance/sets/jpegai/weights/mcm3_y.json","weights/synth_uv.json":"ops-conformance/sets/jpegai/weights/synth_uv.json","weights/synth_y.json":"ops-conformance/sets/jpegai/weights/synth_y.json"},"name":"jpegai","note":"synthetic","roles":["ops-conformance/certificates/wai.image.jpegai/1bc0daae512797a8817f2e77e57d009ace0d22acf4fe6945af8f4e0ee95244b9/hs_y.whg1","ops-conformance/certificates/wai.image.jpegai/1bc0daae512797a8817f2e77e57d009ace0d22acf4fe6945af8f4e0ee95244b9/hs_uv.whg1","ops-conformance/certificates/wai.image.jpegai/1bc0daae512797a8817f2e77e57d009ace0d22acf4fe6945af8f4e0ee95244b9/rec_y.whg1","ops-conformance/certificates/wai.image.jpegai/1bc0daae512797a8817f2e77e57d009ace0d22acf4fe6945af8f4e0ee95244b9/rec_uv.whg1","ops-conformance/certificates/wai.image.jpegai/1bc0daae512797a8817f2e77e57d009ace0d22acf4fe6945af8f4e0ee95244b9/syn_y.whg1","ops-conformance/certificates/wai.image.jpegai/1bc0daae512797a8817f2e77e57d009ace0d22acf4fe6945af8f4e0ee95244b9/syn_uv.whg1"],"set_sha256":"1bc0daae512797a8817f2e77e57d009ace0d22acf4fe6945af8f4e0ee95244b9","synthetic":true}]}
|