{"capability":"wai.neural.int_synth","certificate":"wai-ops/1 bounds","graphs":[{"graph_sha256":"293aee268c980f56cb13fd77816693aa8fdef0e3c5fc4955a4f81e433a02e105","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":"16","hi":"16895","lo":"-16956"},"convT.term":{"bits":"13","hi":"2304","lo":"-2286"},"rq.p":{"bits":"16","hi":"16895","lo":"-16956"},"rq.q":{"bits":"12","hi":"1055","lo":"-1060"},"rq.t":{"bits":"16","hi":"16895","lo":"-16956"},"rq.y":{"bits":"12","hi":"1055","lo":"-1060"}},"k_c":"932067","mac":{"a_bits":["8"],"w_bits":"6"},"npu_flags":[],"op":"conv_transpose","out":[{"bits":"12","hi":"1055","lo":"-1060","policy":"derived","result":{"bits":"12","hi":"1055","lo":"-1060"},"tensor":"1"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"1","intermediates":{},"npu_flags":[],"op":"relu","out":[{"bits":"12","hi":"1055","lo":"0","policy":"derived","result":{"bits":"12","hi":"1055","lo":"0"},"tensor":"2"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"2","intermediates":{"convT.acc":{"bits":"20","hi":"41145","lo":"-310318"},"convT.term":{"bits":"16","hi":"6330","lo":"-18990"},"rq.p":{"bits":"20","hi":"41145","lo":"-310318"},"rq.q":{"bits":"15","hi":"1285","lo":"-9698"},"rq.t":{"bits":"20","hi":"41145","lo":"-310318"},"rq.y":{"bits":"15","hi":"1285","lo":"-9698"}},"k_c":"113084","mac":{"a_bits":["12"],"w_bits":"6"},"npu_flags":[],"op":"conv_transpose","out":[{"bits":"15","hi":"1285","lo":"-9698","policy":"derived","result":{"bits":"15","hi":"1285","lo":"-9698"},"tensor":"3"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"3","intermediates":{},"npu_flags":[],"op":"relu","out":[{"bits":"12","hi":"1285","lo":"0","policy":"derived","result":{"bits":"12","hi":"1285","lo":"0"},"tensor":"4"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"4","intermediates":{"convT.acc":{"bits":"20","hi":"51400","lo":"-514100"},"convT.term":{"bits":"16","hi":"7710","lo":"-23130"},"rq.p":{"bits":"20","hi":"51400","lo":"-514100"},"rq.q":{"bits":"16","hi":"3212","lo":"-32132"},"rq.t":{"bits":"20","hi":"51400","lo":"-514100"},"rq.y":{"bits":"16","hi":"3212","lo":"-32132"}},"k_c":"92844","mac":{"a_bits":["12"],"w_bits":"6"},"npu_flags":[],"op":"conv_transpose","out":[{"bits":"16","hi":"3212","lo":"-32132","policy":"derived","result":{"bits":"16","hi":"3212","lo":"-32132"},"tensor":"5"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"5","intermediates":{},"npu_flags":[],"op":"clamp","out":[{"bits":"9","hi":"255","lo":"0","policy":"derived","result":{"bits":"9","hi":"255","lo":"0"},"tensor":"6"}],"saturated":false}],"scalars":[]}],"lowering":"int_synth/1","set_sha256":"c6a362696d61605931ef4da98ae630362dcd73ea6be7864db6e61d6c5abbcd24","verdict":{"acc32":true,"acc64":true,"npu":true,"npu_flags":[],"npu_reasons":[]}}