Transaction-Science/open-standards
Watch
1
0
Fork
You've already forked open-standards
 0
Code Issues Pull requests Projects Releases 17 Packages Wiki Activity Actions 99
open-standards/wai/ops-conformance/certificates/wai.neural.int_hyper/f16fd09cd79b831d7d821e030c05e99e9fb5ea216574e699944ea4e55ac0a404.json
Transaction Science 0acf8193c1 ops-conformance: certificates of the sets held outside the tree, by digest 
The CI-regenerated wai.neural.int_hyper set and the jpegai/v1 bundle are not
committed, so their bounds certificates are, under each set's digest, listed
in certificates/external.json. wai-sota-vectors.yml certifies the set it
regenerates and wai-jpegai-e2e.yml the bundle it fetches, and each requires
the committed bytes (--check) and its profile: acc64 for the int_hyper set,
whose three files had the same digests in every logged run and here, and acc32
for the bundle's scale path, whose set digest is the listing digest its
set-form pin already covers. `vectors verify` checks what it can without the
sets: each such certificate is canonical, names its set and meets its profile.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-10 09:42:31 -04:00

1 line
No EOL
9.7 KiB
JSON
Raw Permalink Blame History

{"capability":"wai.neural.int_hyper","certificate":"wai-ops/1 bounds","graphs":[{"graph_sha256":"57833bd8c4036043adec6428b32601847f088aec89fd5cb68cc588b8bbc19854","inputs":[{"hi":"938708276019","kind":"data","lo":"-938708276019","max_h":"0","max_w":"0","policy":"check","tensor":"0"}],"name":"h_s","nodes":[{"acc32_params":[],"fits":["acc64"],"index":"0","intermediates":{"convT.acc":{"bits":"59","hi":"225429853777686831","lo":"-225429853777686831"},"convT.term":{"bits":"52","hi":"1921535841010893","lo":"-1921535841010893"},"rq.p":{"bits":"72","hi":"1679990979497800375896","lo":"-1679990979497800375896"},"rq.q":{"bits":"48","hi":"100135265558826","lo":"-100135265558827"},"rq.t":{"bits":"59","hi":"225429853777686831","lo":"-225429853777686831"},"rq.y":{"bits":"48","hi":"100135265560731","lo":"-100135265556922"}},"k_c":"0","mac":{"a_bits":["41"],"w_bits":"12"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv_transpose","out":[{"bits":"48","hi":"100135265560731","lo":"-100135265556922","policy":"check","result":{"bits":"48","hi":"100135265560731","lo":"-100135265556922"},"tensor":"1"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"1","intermediates":{"leaky.p":{"bits":"57","hi":"-655","lo":"-65588598939783910"}},"npu_flags":[],"op":"leaky","out":[{"bits":"41","hi":"563224965611","lo":"-563224965611","policy":"check","result":{"bits":"48","hi":"100135265560731","lo":"-1000802596128"},"tensor":"2"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"2","intermediates":{"convT.acc":{"bits":"61","hi":"582355464792943226","lo":"-582355464792943226"},"convT.term":{"bits":"52","hi":"1152921504605717","lo":"-1152921504605717"},"rq.p":{"bits":"74","hi":"5261083649050897081260","lo":"-5261083649050897081260"},"rq.q":{"bits":"50","hi":"313585022035294","lo":"-313585022035295"},"rq.t":{"bits":"61","hi":"582355464792943226","lo":"-582355464792943226"},"rq.y":{"bits":"50","hi":"313585022036575","lo":"-313585022034014"}},"k_c":"0","mac":{"a_bits":["41"],"w_bits":"12"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv_transpose","out":[{"bits":"50","hi":"313585022036575","lo":"-313585022034014","policy":"check","result":{"bits":"50","hi":"313585022036575","lo":"-313585022034014"},"tensor":"3"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"3","intermediates":{"leaky.p":{"bits":"59","hi":"-655","lo":"-205398189432279170"}},"npu_flags":[],"op":"leaky","out":[{"bits":"41","hi":"1043009195576","lo":"-1043009195576","policy":"check","result":{"bits":"50","hi":"313585022036575","lo":"-3134127646367"},"tensor":"4"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"4","intermediates":{"conv.acc":{"bits":"60","hi":"569198279274103752","lo":"-569198279274103752"},"conv.term":{"bits":"52","hi":"2135039823344072","lo":"-2135039823344072"},"rq.p":{"bits":"76","hi":"36158509277380092942360","lo":"-36158509277380092942360"},"rq.q":{"bits":"52","hi":"2155215101085906","lo":"-2155215101085907"},"rq.t":{"bits":"60","hi":"569198279274103752","lo":"-569198279274103752"},"rq.y":{"bits":"52","hi":"2155215101090341","lo":"-2155215101081472"}},"k_c":"0","mac":{"a_bits":["41"],"w_bits":"12"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv","out":[{"bits":"52","hi":"2155215101090341","lo":"-2155215101081472","policy":"derived","result":{"bits":"52","hi":"2155215101090341","lo":"-2155215101081472"},"tensor":"5"}],"saturated":false}],"scalars":[]},{"graph_sha256":"b2fcecfef162a7baa4a21be6870e743bf33004ef71b72ec68b9cfde0c6677bdb","inputs":[{"hi":"563224965611","kind":"data","lo":"-563224965611","max_h":"0","max_w":"0","policy":"check","tensor":"0"}],"name":"g_s","nodes":[{"acc32_params":[],"fits":["acc64"],"index":"0","intermediates":{"convT.acc":{"bits":"58","hi":"124948079271006684","lo":"-124948079271006684"},"convT.term":{"bits":"52","hi":"1152921504605717","lo":"-1152921504605717"},"rq.p":{"bits":"72","hi":"1293019994137330423734","lo":"-1293019994137330423734"},"rq.q":{"bits":"48","hi":"77069997438033","lo":"-77069997438034"},"rq.t":{"bits":"58","hi":"124948079271006684","lo":"-124948079271006684"},"rq.y":{"bits":"48","hi":"77069997437275","lo":"-77069997438792"}},"k_c":"0","mac":{"a_bits":["41"],"w_bits":"12"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv_transpose","out":[{"bits":"39","hi":"222158029149","lo":"-222158029149","policy":"check","result":{"bits":"48","hi":"77069997437275","lo":"-77069997438792"},"tensor":"1"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"1","intermediates":{"igdn.N":{"bits":"71","hi":"595690372055908745247","lo":"0"},"igdn.gx2":{"bits":"85","hi":"9870837983073586732840200","lo":"0"},"igdn.r":{"bits":"36","hi":"24406768980","lo":"4"},"igdn.term":{"bits":"69","hi":"150617034653832805371","lo":"0"},"igdn.x2":{"bits":"77","hi":"49354189915367933664201","lo":"0"},"igdn.xr":{"bits":"74","hi":"5422159694491748998020","lo":"-5422159694491748998020"}},"k_c":"0","npu_flags":[],"op":"igdn","out":[{"bits":"41","hi":"938708276019","lo":"-938708276019","policy":"check","result":{"bits":"62","hi":"1323769456663024657","lo":"-1323769456663024658"},"tensor":"2"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"2","intermediates":{"convT.acc":{"bits":"60","hi":"336862035807350283","lo":"-336862035807350283"},"convT.term":{"bits":"52","hi":"1921535841010893","lo":"-1921535841010893"},"rq.p":{"bits":"73","hi":"2458876774503350596176","lo":"-2458876774503350596176"},"rq.q":{"bits":"49","hi":"146560476690730","lo":"-146560476690731"},"rq.t":{"bits":"60","hi":"336862035807350283","lo":"-336862035807350283"},"rq.y":{"bits":"49","hi":"146560476690748","lo":"-146560476690713"}},"k_c":"0","mac":{"a_bits":["41"],"w_bits":"12"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv_transpose","out":[{"bits":"38","hi":"91362748885","lo":"-91362748885","policy":"check","result":{"bits":"49","hi":"146560476690748","lo":"-146560476690713"},"tensor":"3"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"3","intermediates":{"igdn.N":{"bits":"72","hi":"1688127915469323427149","lo":"0"},"igdn.gx2":{"bits":"87","hi":"58363285971694392652629200","lo":"0"},"igdn.r":{"bits":"37","hi":"41086833845","lo":"4"},"igdn.term":{"bits":"71","hi":"890553069636450083200","lo":"0"},"igdn.x2":{"bits":"74","hi":"8347151883823568743225","lo":"0"},"igdn.xr":{"bits":"73","hi":"3753806083060454012825","lo":"-3753806083060454012825"}},"k_c":"0","npu_flags":[],"op":"igdn","out":[{"bits":"41","hi":"938708276019","lo":"-938708276019","policy":"check","result":{"bits":"61","hi":"916456563247181155","lo":"-916456563247181156"},"tensor":"4"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"4","intermediates":{"convT.acc":{"bits":"60","hi":"442247059122899337","lo":"-442247059122899337"},"convT.term":{"bits":"52","hi":"1921535841010893","lo":"-1921535841010893"},"rq.p":{"bits":"72","hi":"2241157162608569296944","lo":"-2241157162608569296944"},"rq.q":{"bits":"48","hi":"133583376563106","lo":"-133583376563107"},"rq.t":{"bits":"60","hi":"442247059122899337","lo":"-442247059122899337"},"rq.y":{"bits":"48","hi":"133583376563077","lo":"-133583376563136"}},"k_c":"0","mac":{"a_bits":["41"],"w_bits":"12"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv_transpose","out":[{"bits":"36","hi":"32461896744","lo":"-32461896744","policy":"check","result":{"bits":"48","hi":"133583376563077","lo":"-133583376563136"},"tensor":"5"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"5","intermediates":{"igdn.N":{"bits":"78","hi":"94186134156856156797757","lo":"0"},"igdn.gx2":{"bits":"90","hi":"462306785154791551300866240","lo":"0"},"igdn.r":{"bits":"40","hi":"306897595554","lo":"4"},"igdn.term":{"bits":"74","hi":"7054241716839470692457","lo":"0"},"igdn.x2":{"bits":"71","hi":"1053774740218117801536","lo":"0"},"igdn.xr":{"bits":"75","hi":"9962478057855821476176","lo":"-9962478057855821476176"}},"k_c":"0","npu_flags":[],"op":"igdn","out":[{"bits":"41","hi":"938708276019","lo":"-938708276019","policy":"check","result":{"bits":"63","hi":"2432245619593706415","lo":"-2432245619593706416"},"tensor":"6"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"6","intermediates":{"convT.acc":{"bits":"60","hi":"301042805411017281","lo":"-301042805411017281"},"convT.term":{"bits":"52","hi":"1921535841010893","lo":"-1921535841010893"},"rq.p":{"bits":"71","hi":"1168325338503655114533","lo":"-1168325338503655114533"},"rq.q":{"bits":"47","hi":"69637616783598","lo":"-69637616783599"},"rq.t":{"bits":"60","hi":"301042805411017281","lo":"-301042805411017281"},"rq.y":{"bits":"47","hi":"69637616783870","lo":"-69637616783327"}},"k_c":"0","mac":{"a_bits":["41"],"w_bits":"12"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv_transpose","out":[{"bits":"47","hi":"69637616783870","lo":"-69637616783327","policy":"derived","result":{"bits":"47","hi":"69637616783870","lo":"-69637616783327"},"tensor":"7"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"7","intermediates":{},"npu_flags":[],"op":"clamp","out":[{"bits":"14","hi":"4096","lo":"0","policy":"derived","result":{"bits":"14","hi":"4096","lo":"0"},"tensor":"8"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"8","intermediates":{"rq.p":{"bits":"21","hi":"1046528","lo":"0"},"rq.q":{"bits":"9","hi":"255","lo":"0"},"rq.t":{"bits":"14","hi":"4096","lo":"0"},"rq.y":{"bits":"9","hi":"255","lo":"0"}},"npu_flags":[],"op":"rescale","out":[{"bits":"9","hi":"255","lo":"0","policy":"derived","result":{"bits":"9","hi":"255","lo":"0"},"tensor":"9"}],"saturated":false}],"scalars":[]}],"lowering":"whm1/1","set_sha256":"f16fd09cd79b831d7d821e030c05e99e9fb5ea216574e699944ea4e55ac0a404","verdict":{"acc32":false,"acc32_first_failure":{"bits":"41","graph":"h_s","index":"0","key":"range","where":"input"},"acc64":true,"npu":false,"npu_flags":["rq_floor_mult","rq_post_bias"],"npu_reasons":["acc32","op:igdn"]}}
Reference in a new issue View git blame Copy permalink