{"capability":"wai.world.model","certificate":"wai-ops/1 bounds","graphs":[{"graph_sha256":"c17f643e7fce0e0061ff4395afb573f839bab1f1e473225917dabfad0a0ff9bf","inputs":[{"hi":"9223372036854775807","kind":"data","lo":"-9223372036854775808","max_h":"0","max_w":"0","policy":"check","tensor":"0"}],"name":"T","nodes":[{"acc32_params":[],"fits":["acc64"],"index":"0","intermediates":{},"npu_flags":[],"op":"fill","out":[{"bits":"64","hi":"9223372036854775807","lo":"-9223372036854775808","policy":"derived","result":{"bits":"64","hi":"9223372036854775807","lo":"-9223372036854775808"},"tensor":"1"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"1","intermediates":{},"npu_flags":[],"op":"fill","out":[{"bits":"64","hi":"9223372036854775807","lo":"-9223372036854775808","policy":"derived","result":{"bits":"64","hi":"9223372036854775807","lo":"-9223372036854775808"},"tensor":"2"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"2","intermediates":{},"npu_flags":[],"op":"fill","out":[{"bits":"64","hi":"9223372036854775807","lo":"-9223372036854775808","policy":"derived","result":{"bits":"64","hi":"9223372036854775807","lo":"-9223372036854775808"},"tensor":"3"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"3","intermediates":{},"npu_flags":[],"op":"concat","out":[{"bits":"51","hi":"683212743470724","lo":"-683212743470724","policy":"check","result":{"bits":"64","hi":"9223372036854775807","lo":"-9223372036854775808"},"tensor":"4"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"4","intermediates":{"conv.acc":{"bits":"64","hi":"4943044199010688140","lo":"-4943044199010688140"},"conv.term":{"bits":"59","hi":"204963823041217200","lo":"-204963823041217200"},"rq.p":{"bits":"75","hi":"15103937159561832910176","lo":"-15103937159561832910176"},"rq.q":{"bits":"63","hi":"3687484658096150612","lo":"-3687484658096150613"},"rq.t":{"bits":"64","hi":"4943044199010688140","lo":"-4943044199010688140"},"rq.y":{"bits":"63","hi":"3687484658096149674","lo":"-3687484658096151551"}},"k_c":"0","mac":{"a_bits":["51"],"w_bits":"10"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv","out":[{"bits":"55","hi":"14081484025732482","lo":"-14081484025732482","policy":"check","result":{"bits":"63","hi":"3687484658096149674","lo":"-3687484658096151551"},"tensor":"5"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"5","intermediates":{"leaky.p":{"bits":"64","hi":"-655","lo":"-9223372036854775710"}},"npu_flags":[],"op":"leaky","out":[{"bits":"54","hi":"8119165525400330","lo":"-2251799813685248","policy":"check","result":{"bits":"55","hi":"14081484025732482","lo":"-2251799813685248"},"tensor":"6"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"6","intermediates":{"conv.acc":{"bits":"64","hi":"4943144607903789256","lo":"-3446966351416443346"},"conv.term":{"bits":"62","hi":"2305843009213693720","lo":"-1769978084537271940"},"rq.p":{"bits":"75","hi":"16732544497754326631560","lo":"-11667981099544660726210"},"rq.q":{"bits":"63","hi":"4085093871522052400","lo":"-2848628198131020686"},"rq.t":{"bits":"64","hi":"4943144607903789256","lo":"-3446966351416443346"},"rq.y":{"bits":"63","hi":"4085093871522052157","lo":"-2848628198131020929"}},"k_c":"0","mac":{"a_bits":["54"],"w_bits":"10"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv","out":[{"bits":"63","hi":"4085093871522052157","lo":"-2848628198131020929","policy":"derived","result":{"bits":"63","hi":"4085093871522052157","lo":"-2848628198131020929"},"tensor":"7"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"7","intermediates":{},"npu_flags":[],"op":"clamp","out":[{"bits":"10","hi":"256","lo":"-256","policy":"derived","result":{"bits":"10","hi":"256","lo":"-256"},"tensor":"8"}],"saturated":false}],"scalars":[{"hi":"9223372036854775807","index":"0","lo":"-9223372036854775808"},{"hi":"9223372036854775807","index":"1","lo":"-9223372036854775808"},{"hi":"9223372036854775807","index":"2","lo":"-9223372036854775808"}]},{"graph_sha256":"4c40ffd1aabd9fd3fac2fe5d15a894ea987b52518d4fef63254e935bbc6991f3","inputs":[{"hi":"1797928272291379","kind":"data","lo":"-1797928272291379","max_h":"0","max_w":"0","policy":"check","tensor":"0"}],"name":"g_s","nodes":[{"acc32_params":[],"fits":["acc64"],"index":"0","intermediates":{"convT.acc":{"bits":"63","hi":"3042094636717013268","lo":"-3042094636717013268"},"convT.term":{"bits":"60","hi":"512409557603043015","lo":"-512409557603043015"},"rq.p":{"bits":"74","hi":"8949842421221453034456","lo":"-8949842421221453034456"},"rq.q":{"bits":"62","hi":"2185020122368518807","lo":"-2185020122368518808"},"rq.t":{"bits":"63","hi":"3042094636717013268","lo":"-3042094636717013268"},"rq.y":{"bits":"62","hi":"2185020122368518795","lo":"-2185020122368518820"}},"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":"37348641346","lo":"-37348641346","policy":"check","result":{"bits":"62","hi":"2185020122368518795","lo":"-2185020122368518820"},"tensor":"1"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"1","intermediates":{"igdn.N":{"bits":"73","hi":"3318386309878178475269","lo":"0"},"igdn.gx2":{"bits":"82","hi":"1364232748163513596498248","lo":"0"},"igdn.r":{"bits":"37","hi":"57605436461","lo":"141"},"igdn.term":{"bits":"72","hi":"1332258543128431246580","lo":"0"},"igdn.x2":{"bits":"72","hi":"1394921010392140691716","lo":"0"},"igdn.xr":{"bits":"72","hi":"2151484785961680516506","lo":"-2151484785961680516506"}},"k_c":"0","npu_flags":[],"op":"igdn","out":[{"bits":"64","hi":"8404237445162814517","lo":"-8404237445162814518","policy":"derived","result":{"bits":"64","hi":"8404237445162814517","lo":"-8404237445162814518"},"tensor":"2"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"2","intermediates":{},"npu_flags":[],"op":"clamp","out":[{"bits":"10","hi":"256","lo":"0","policy":"derived","result":{"bits":"10","hi":"256","lo":"0"},"tensor":"3"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"3","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":"4"}],"saturated":false}],"scalars":[]}],"lowering":"world/1","set_sha256":"5291a52bdbf2279c3350eda96b515bde66d73700c73ccb207e714cb2c6a4c45e","verdict":{"acc32":false,"acc32_first_failure":{"bits":"64","graph":"T","index":"0","key":"range","where":"input"},"acc64":true,"npu":false,"npu_flags":["rq_floor_mult","rq_post_bias"],"npu_reasons":["acc32","op:igdn"]}}