{"capability":"wai.neural.int_synth","certificate":"wai-ops/1 bounds","graphs":[{"graph_sha256":"633c99de690fc890904ad9a73f3324eef8a197d7f98e6e9b6b37dc1d9f48f8d1","inputs":[{"hi":"127","kind":"data","lo":"-128","max_h":"0","max_w":"0","policy":"check","tensor":"0"}],"name":"synth","nodes":[{"acc32_params":[],"fits":["acc32","acc64"],"index":"0","intermediates":{"convT.acc":{"bits":"10","hi":"256","lo":"-128"},"convT.term":{"bits":"8","hi":"127","lo":"-128"},"rq.p":{"bits":"10","hi":"256","lo":"-128"},"rq.q":{"bits":"2","hi":"1","lo":"-1"},"rq.t":{"bits":"10","hi":"256","lo":"-128"},"rq.y":{"bits":"2","hi":"1","lo":"-1"}},"k_c":"16777215","mac":{"a_bits":["8"],"w_bits":"2"},"npu_flags":[],"op":"conv_transpose","out":[{"bits":"2","hi":"1","lo":"-1","policy":"derived","result":{"bits":"2","hi":"1","lo":"-1"},"tensor":"1"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"1","intermediates":{"convT.acc":{"bits":"33","hi":"2147483648","lo":"-2147483648"},"convT.term":{"bits":"32","hi":"1073741824","lo":"-1073741824"},"rq.p":{"bits":"33","hi":"2147483648","lo":"-2147483648"},"rq.q":{"bits":"33","hi":"2147483648","lo":"-2147483648"},"rq.t":{"bits":"33","hi":"2147483648","lo":"-2147483648"},"rq.y":{"bits":"33","hi":"2147483648","lo":"-2147483648"}},"k_c":"1","mac":{"a_bits":["2"],"w_bits":"32"},"npu_flags":[],"op":"conv_transpose","out":[{"bits":"33","hi":"2147483648","lo":"-2147483648","policy":"derived","result":{"bits":"33","hi":"2147483648","lo":"-2147483648"},"tensor":"2"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"2","intermediates":{},"npu_flags":[],"op":"clamp","out":[{"bits":"9","hi":"255","lo":"0","policy":"derived","result":{"bits":"9","hi":"255","lo":"0"},"tensor":"3"}],"saturated":false}],"scalars":[]}],"lowering":"int_synth/1","set_sha256":"76916c8f85da7663c09fba8cb091d628ed38328b680563285b8056cec82fd1ac","verdict":{"acc32":false,"acc32_first_failure":{"bits":"33","graph":"synth","index":"1","key":"convT.acc","where":"node"},"acc64":true,"npu":false,"npu_flags":[],"npu_reasons":["acc32"]}}