{"capability":"wai.neural.int_hyper","certificate":"wai-ops/1 bounds","graphs":[{"graph_sha256":"a907e0440876458a45cf0662560b1b057a55ca0728963529f1facd1c63c02292","inputs":[{"hi":"1725284705734151","kind":"data","lo":"-1725284705734151","max_h":"0","max_w":"0","policy":"check","tensor":"0"}],"name":"h_s","nodes":[{"acc32_params":[],"fits":["acc64"],"index":"0","intermediates":{"conv.acc":{"bits":"64","hi":"5170678263085250547","lo":"-5170678263085250547"},"conv.term":{"bits":"60","hi":"512409557603042847","lo":"-512409557603042847"},"rq.p":{"bits":"76","hi":"18938734886820221661915","lo":"-18938734886820221661915"},"rq.q":{"bits":"64","hi":"4623714571977593179","lo":"-4623714571977593180"},"rq.t":{"bits":"64","hi":"5170678263085250547","lo":"-5170678263085250547"},"rq.y":{"bits":"64","hi":"4623714571977593632","lo":"-4623714571977592727"}},"k_c":"0","mac":{"a_bits":["52"],"w_bits":"10"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv","out":[{"bits":"64","hi":"4623714571977593632","lo":"-4623714571977592727","policy":"derived","result":{"bits":"64","hi":"4623714571977593632","lo":"-4623714571977592727"},"tensor":"1"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"1","intermediates":{},"npu_flags":[],"op":"relu","out":[{"bits":"51","hi":"868490775598378","lo":"0","policy":"check","result":{"bits":"64","hi":"4623714571977593632","lo":"0"},"tensor":"2"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"2","intermediates":{"convT.acc":{"bits":"62","hi":"1404349584142577226","lo":"-1560677923750285266"},"convT.term":{"bits":"59","hi":"256204778801521510","lo":"-250993834147931242"},"rq.p":{"bits":"73","hi":"3328308514417908025620","lo":"-3187576532158395657744"},"rq.q":{"bits":"61","hi":"812575320902809576","lo":"-778216926796483315"},"rq.t":{"bits":"62","hi":"1404349584142577226","lo":"-1560677923750285266"},"rq.y":{"bits":"61","hi":"812575320902808927","lo":"-778216926796484338"}},"k_c":"0","mac":{"a_bits":["51"],"w_bits":"10"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv_transpose","out":[{"bits":"61","hi":"812575320902808927","lo":"-778216926796484338","policy":"derived","result":{"bits":"61","hi":"812575320902808927","lo":"-778216926796484338"},"tensor":"3"}],"saturated":false}],"scalars":[]},{"graph_sha256":"d962c22698aae16dc6c8e7a5bd25a588caa4e81575256851e8fecea67a06f664","inputs":[{"hi":"1713744339809508","kind":"data","lo":"-1713744339809508","max_h":"0","max_w":"0","policy":"check","tensor":"0"}],"name":"g_s","nodes":[{"acc32_params":[],"fits":["acc64"],"index":"0","intermediates":{"convT.acc":{"bits":"62","hi":"2130184214383218444","lo":"-2130184214383218444"},"convT.term":{"bits":"60","hi":"512409557603042892","lo":"-512409557603042892"},"rq.p":{"bits":"73","hi":"4576273205389562354688","lo":"-4576273205389562354688"},"rq.q":{"bits":"61","hi":"1117254200534561121","lo":"-1117254200534561122"},"rq.t":{"bits":"62","hi":"2130184214383218444","lo":"-2130184214383218444"},"rq.y":{"bits":"61","hi":"1117254200534561544","lo":"-1117254200534560699"}},"k_c":"0","mac":{"a_bits":["52"],"w_bits":"10"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv_transpose","out":[{"bits":"37","hi":"37320054535","lo":"-37320054535","policy":"check","result":{"bits":"61","hi":"1117254200534561544","lo":"-1117254200534560699"},"tensor":"1"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"1","intermediates":{"igdn.N":{"bits":"73","hi":"2653639066344213714446","lo":"0"},"igdn.gx2":{"bits":"82","hi":"1366323527555961958966725","lo":"0"},"igdn.r":{"bits":"37","hi":"51513484315","lo":"198"},"igdn.term":{"bits":"72","hi":"1334300319878869100553","lo":"0"},"igdn.x2":{"bits":"72","hi":"1392786470495374066225","lo":"0"},"igdn.xr":{"bits":"72","hi":"1922486043923667118525","lo":"-1922486043923667118525"}},"k_c":"0","npu_flags":[],"op":"igdn","out":[{"bits":"55","hi":"14081484025732482","lo":"-14081484025732482","policy":"check","result":{"bits":"64","hi":"7509711109076824681","lo":"-7509711109076824682"},"tensor":"2"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"2","intermediates":{"leaky.p":{"bits":"64","hi":"-655","lo":"-9223372036854775710"}},"npu_flags":[],"op":"leaky","out":[{"bits":"55","hi":"11386879057845402","lo":"-2251799813685248","policy":"check","result":{"bits":"55","hi":"14081484025732482","lo":"-2251799813685248"},"tensor":"3"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"3","intermediates":{"conv.acc":{"bits":"64","hi":"3491757551090684724","lo":"-4676170893091885362"},"conv.term":{"bits":"63","hi":"2744237852940741882","lo":"-3074457345618258540"},"rq.p":{"bits":"75","hi":"10655004286560992135480","lo":"-10224198942285986174148"},"rq.q":{"bits":"63","hi":"2601319405898679720","lo":"-2496142319894039594"},"rq.t":{"bits":"64","hi":"3491757551090684724","lo":"-4676170893091885362"},"rq.y":{"bits":"63","hi":"2601319405898680095","lo":"-2496142319894039151"}},"k_c":"0","mac":{"a_bits":["55"],"w_bits":"10"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv","out":[{"bits":"63","hi":"2601319405898680095","lo":"-2496142319894039151","policy":"derived","result":{"bits":"63","hi":"2601319405898680095","lo":"-2496142319894039151"},"tensor":"4"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"4","intermediates":{},"npu_flags":[],"op":"clamp","out":[{"bits":"10","hi":"256","lo":"0","policy":"derived","result":{"bits":"10","hi":"256","lo":"0"},"tensor":"5"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"5","intermediates":{"rq.p":{"bits":"17","hi":"65408","lo":"0"},"rq.q":{"bits":"9","hi":"255","lo":"0"},"rq.t":{"bits":"10","hi":"256","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":"6"}],"saturated":false}],"scalars":[]}],"lowering":"whm1/1","set_sha256":"7aceaa1aad145d6131a92804d5f6979e5971a4f12cd173dc6828befe2d397e8a","verdict":{"acc32":false,"acc32_first_failure":{"bits":"52","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"]}}