96f5468eb5
jpegai-int/1 now writes six graphs (hs_y, hs_uv, rec_y, rec_uv, syn_y, syn_uv; integer-operators §13.6.2). The independent checker (tools/wai_ops_check.py), written by a separate session from §13.6.2's text without reading the Rust, lowers the eight weight files and reproduces every lowered graph and certificate byte for byte: the committed synthetic set (4e4ba5e4…) through `ops-conformance` (19 sets, 34 graphs, 19 certificates), and jpegai/v1 (3e243dc1…) through `certify --check`, with `--external jpegai/v1=DIR` recomputing it too. - The verdict: Appendix C's prediction for these networks (acc64) holds; the set meets acc64 and not acc32 (first failure rec_y node 1, conv.acc 42 bits), and the scale graphs still meet acc32 on every node. - §11's role_profiles in both certifiers: `--role-profile ROLE=PROFILE` (exit 1 when the named graph fails it), and the external-set check reads an entry's role_profiles; external.json's jpegai/v1 entry declares acc64 with acc32 for hs_y and hs_uv. wai-jpegai-e2e.yml certifies with both. - The checker's readings of the member rules made two of them explicit: a file with two members of one name at any depth is refused, and a conv member's `w` holds the product of its dims of integers that fit i64. wai-ops' parse and the parsed form's conversion (Weights::ptq) now refuse what the text refuses. - wai-jpegai-e2e.yml gains a step for tests/jpegai_nets_ops.rs on the pinned bundle (and its timeout 60 minutes); both fast-kernel steps of wai-conformance.yml run it on the committed set. - tests/jpegai_ops.rs: the scale-path certificate test reads the set's eleven members and holds the scale graphs, not the set, to acc32. Co-Authored-By: Claude Opus 5.5 <[email protected]>
1 line
1.2 KiB
JSON
1 line
1.2 KiB
JSON
{"format":"wai-ops-external/1","sets":[{"capability":"wai.neural.int_hyper","lowering":"whm1/1","members":{"entropy.json":"cond_entropy.json","g_s.whm":"int_synth_sota_model.bin","h_s.whm":"int_hs_model.bin"},"name":"sota","note":"regenerated from pinned inputs by the job that certifies it; not committed","profile":"acc64","set_sha256":"f16fd09cd79b831d7d821e030c05e99e9fb5ea216574e699944ea4e55ac0a404","workflow":".github/workflows/wai-sota-vectors.yml"},{"capability":"wai.image.jpegai","lowering":"jpegai-int/1","members":{"norm.json":"norm.json","weights/hs_uv.json":"hs_uv.json","weights/hs_y.json":"hs_y.json","weights/hyp_uv.json":"hyp_uv.json","weights/hyp_y.json":"hyp_y.json","weights/icci.json":"icci.json","weights/mcm0_y.json":"mcm0_y.json","weights/mcm1_y.json":"mcm1_y.json","weights/mcm2_y.json":"mcm2_y.json","weights/mcm3_y.json":"mcm3_y.json","weights/synth_uv.json":"synth_uv.json","weights/synth_y.json":"synth_y.json"},"name":"jpegai/v1","note":"the models root's jpegai/v1, the files tools/jpegai-e2e-v1.sha256 pins; not committed","profile":"acc64","role_profiles":{"hs_uv":"acc32","hs_y":"acc32"},"set_sha256":"3e243dc11566922f5cb7f4c628afd440b18d56a08b99b07cc33d5c8522aeec37","workflow":".github/workflows/wai-jpegai-e2e.yml"}]}
|