{"capability":"wai.neural.int_synth","certificate":"wai-ops/1 bounds","graphs":[{"graph_sha256":"98d845410a6af26ba1fbaa4b4c8b9cf1416e3036442fc8cc1f8499f765a4d0ea","inputs":[{"hi":"127","kind":"data","lo":"-128","max_h":"0","max_w":"0","policy":"check","tensor":"0"}],"name":"synth","nodes":[{"acc32_params":[],"fits":["acc64"],"index":"0","intermediates":{"convT.acc":{"bits":"37","hi":"42128471623","lo":"-42460191872"},"convT.term":{"bits":"37","hi":"42128471623","lo":"-42460191872"},"rq.p":{"bits":"37","hi":"42128471623","lo":"-42460191872"},"rq.q":{"bits":"37","hi":"42128471623","lo":"-42460191872"},"rq.t":{"bits":"37","hi":"42128471623","lo":"-42460191872"},"rq.y":{"bits":"37","hi":"42128471623","lo":"-42460191872"}},"k_c":"0","mac":{"a_bits":["8"],"w_bits":"30"},"npu_flags":[],"op":"conv_transpose","out":[{"bits":"37","hi":"42128471623","lo":"-42460191872","policy":"derived","result":{"bits":"37","hi":"42128471623","lo":"-42460191872"},"tensor":"1"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"1","intermediates":{},"npu_flags":[],"op":"relu","out":[{"bits":"37","hi":"42128471623","lo":"0","policy":"derived","result":{"bits":"37","hi":"42128471623","lo":"0"},"tensor":"2"}],"saturated":false},{"acc32_params":[],"fits":[],"index":"2","intermediates":{"convT.acc":{"bits":"65","hi":"9223372036854775808","lo":"0"},"convT.term":{"bits":"64","hi":"9223372036854775807","lo":"0"},"rq.p":{"bits":"65","hi":"9223372036854775808","lo":"0"},"rq.q":{"bits":"65","hi":"9223372036854775808","lo":"0"},"rq.t":{"bits":"65","hi":"9223372036854775808","lo":"0"},"rq.y":{"bits":"65","hi":"9223372036854775808","lo":"0"}},"k_c":"0","mac":{"a_bits":["37"],"w_bits":"29"},"npu_flags":[],"op":"conv_transpose","out":[{"bits":"65","hi":"9223372036854775808","lo":"0","policy":"derived","result":{"bits":"65","hi":"9223372036854775808","lo":"0"},"tensor":"3"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"3","intermediates":{},"npu_flags":[],"op":"clamp","out":[{"bits":"9","hi":"255","lo":"0","policy":"derived","result":{"bits":"9","hi":"255","lo":"0"},"tensor":"4"}],"saturated":false}],"scalars":[]}],"lowering":"int_synth/1","set_sha256":"b35460f39f31a559e97e66b8dde4597a309cbc44199c40097f935dd8e6e7305a","verdict":{"acc32":false,"acc32_first_failure":{"bits":"37","graph":"synth","index":"0","key":"convT.acc","where":"node"},"acc64":false,"acc64_first_failure":{"bits":"65","graph":"synth","index":"2","key":"convT.acc","where":"node"},"npu":false,"npu_flags":[],"npu_reasons":["acc32"]}}