Transaction-Science/open-standards
Watch
1
0
Fork
You've already forked open-standards
 0
Code Issues Pull requests Projects Releases 15 Packages Wiki Activity Actions 166
open-standards/wai/ops-conformance/graphs/lower_wmb1.jsonl
Transaction Science 603a0b803d wai-ops: a tensor a ReLU reads inside a WHM1 network is derived, as §13.2 says 
§13.2 gives `check` only to an x_ℓ that a layer of tag 0, 1, 2 or 4 reads,
and `check [−2^63, I64]` to a network input that no such layer reads; every
other tensor is `derived`. The lowering and the checker both gave every x_ℓ a
ReLU reads `check [−2^63, I64]`, so a reader of the text could not reproduce
three committed graphs.

Both now follow the text. The checker's `x_record` is rewritten from the
§13.2 wording, not from the crate. Regenerated: the h_s graph of the int_hyper
set 7aceaa1a… and of the int_mlicpp sets 07e1835d… and 7ef44f3b…, and the
lower_whm1 and lower_wmb1 vectors that embed them. No output changes: the
range they drop held every i64.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-09 19:31:39 -04:00

6 lines
12 KiB
JSON
Raw Permalink Blame History

{"decodes":[{"expect":{"outputs":[{"data":["0","7159","13787","0","0","7159","3183","0","7897","0","0","0","1570","0","0","0","0","0","6132","21194","0","0","19956","2418","3885","12872","450","149","12133","1669","174","524","7902","0","0","4655","0","0","21804","0","0","2509","0","0","12742","0","0","0","0","0","6340","9288","12498","14473","0","0","3445","5204","0","0","0","0","0","0"],"shape":["4","4","4"]}]},"inputs":[{"data":["289","-300","-179","6"],"shape":["1","2","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["0","7462","0","7462","0","7462","0","7462","13787","0","0","7462","3183","0","0","7462","0","6110","0","3378","0","6110","0","3378","0","0","0","0","0","0","0","0","6132","21194","0","0","19956","2418","0","0","0","0","0","0","0","0","0","0","8228","0","8228","0","0","0","0","0","0","4655","8228","0","21804","0","0","0","6775","0","3841","0","0","0","0","0","0","0","0","0","13005","15056","13005","15056","6340","9288","0","0","0","0","13005","15056","0","0","0","0","10744","12460","6176","7215"],"shape":["4","6","4"]}]},"inputs":[{"data":["300","300","-300","300","251","152"],"shape":["1","3","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["0","2881","7021","0","0","0","5025","0","0","2881","1330","0","0","0","783","0","0","0","3551","11634","562","562","2790","8814","0","0","10970","1558","562","562","8319","1304","3307","0","0","2190","0","0","0","1463","0","0","11394","0","0","0","8323","0","0","0","3015","4597","0","0","2034","3213","5346","6262","0","0","0","0","0","0"],"shape":["4","2","8"]}]},"inputs":[{"data":["134","-161","0","-120"],"shape":["1","1","4"]}],"scalars":[]}],"graph":"574847310101000003000000020000000100010000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000200000001000000800200003a40bba3910de3ffc6bf445c6ef21c0004000000800000000000000000000000000000000000000004000000800000000000000000000000000000000000000011010100000000000100000091000000040000000200000002000000020000000200000000000000000000000000000000000000020000000002020108080000f604000000000000010b0000000000003c040000000000006b030000000000000cd0fcffffffffffff320200000000000068fdffffffffffffbbfcffffffffffff63ff5900d5ff5900e5ff9cffa2fff7ff7000bdffe5fe040090ff62ffd800f8000c010100010000000200000000000000","id":"lower_wmb1/mlicpp/h_s/0","load":"ok","profiles":["acc64"]}
{"decodes":[{"expect":{"refuse":"field_range"},"inputs":[{"data":["8147855156232135","84","300","300"],"shape":["1","2","2"]}],"scalars":[]}],"graph":"574847310101000003000000020000000100010000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000200000001000000800200003a40bba3910de3ffc6bf445c6ef21c0004000000800000000000000000000000000000000000000004000000800000000000000000000000000000000000000011010100000000000100000091000000040000000200000002000000020000000200000000000000000000000000000000000000020000000002020108080000f604000000000000010b0000000000003c040000000000006b030000000000000cd0fcffffffffffff320200000000000068fdffffffffffffbbfcffffffffffff63ff5900d5ff5900e5ff9cffa2fff7ff7000bdffe5fe040090ff62ffd800f8000c010100010000000200000000000000","id":"lower_wmb1/mlicpp/h_s/range/1","load":"ok","profiles":["acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["290210","11604","45171","127810","9972","3480","5012","6956","166991","14774","49961","60960","21036","5171","1657","2213"],"shape":["4","2","2"]}]},"inputs":[{"data":["-300","-300","0","300","0","0","300","-300","285","-300","300","300","300","-292","273","252","300","-300","-300","-114","300","-182","-300","-300"],"shape":["6","2","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["66877","18957","67422","187639","8306","13202","3855","14759","6820","8259","4604","17446","22154","88582","7321","23391","3081","8793","29202","24471","3013","826","10522","4412"],"shape":["4","3","2"]}]},"inputs":[{"data":["-300","-228","300","-246","131","-300","300","300","300","300","300","-87","-300","-300","199","155","-300","-18","-132","-68","300","0","300","-300","300","-176","-300","-300","-218","223","-52","0","-216","-300","-300","64"],"shape":["6","3","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["2897","797","14358","2030","19457","4765","36699","28711","5205","14051","23487","117974","3910","5988","3504","6169"],"shape":["4","1","4"]}]},"inputs":[{"data":["0","-300","300","300","0","300","-207","-300","0","0","300","-300","35","-300","-300","239","-152","300","-285","300","-300","193","300","-300"],"shape":["6","1","4"]}],"scalars":[]}],"graph":"5748473101010000030000000200000001000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000002000000060000008002000033df7feb2ff3fdffcd208014d00c02000400000080020000fe7ffd7ffd7ffdff02800280028002000400000080000000000000000000000000000000000000000101010000000000010000001d0200000400000003000000030000000100000001000000010000000100000001000000020000000002020108080000fb0a0000000000007c0200000000000002070000000000000f010000000000000c4ffcffffffffffff1bfcffffffffffff1d03000000000000affcffffffffffff75ff70ff31006f007cff27ff44ff9effbc00b1002c007c0021000100e7ff7900b10043ffa9ff04ff7b009400e5ff9cff5bff2200ebff82ffaaffaf00930059007bff18ff15011eff1501effe1affa300d2002e00c400e4ffefff6d000f0188003800d200b8ff67ff7000c50021ff5100a3000201bc0054ff280158004effedffd8fe9f0018fff3feddfe7d001cfff7ff2f0012ffacff0700f5ffe7ffe6fe5bff61ff72ff8b0053008bffe4fe8effecfec6000c0049001e01a3ff9f006cff15011f01ff00dcfeaefff7006500b1001800e800b80096ff14ffe4ffcaff25ffd8febe0086fff1001aff2701fc00f6fe1eff1aff41fffefe5200aeff54ff61ffcfffeeff1afff8ff9000670001005000050144ff7a0026ff04011900230092ff79006700830020ffebff190136000b0147ff2400b2ff01ff3e00030073ff3cff68ffe0fe8bff1900f900c100ecff500050ff880026fffaffdafef7ffbfff3400a1006100340005005100bfff9200e7fece002dff6fffd6ff2101dcfe79ff86009dff86ff490091ff0b010700ca00d3005800e4ff5600f300a6ff3a0067ff11ff61002a00e6ffe4fef0ff450068ff98ff59ff0d01010001000000020000000c000000cdccffffffffffff10000000","id":"lower_wmb1/mlicpp/entropy/2","load":"ok","profiles":["acc64"]}
{"decodes":[{"expect":{"refuse":"field_range"},"inputs":[{"data":["577037790093518","300","-300","-300","-300","214","-300","-300","-266","49","10","257","86","-289","-300","-300","300","-300","-300","125","0","-123","-41","101"],"shape":["6","2","2"]}],"scalars":[]}],"graph":"5748473101010000030000000200000001000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000002000000060000008002000033df7feb2ff3fdffcd208014d00c02000400000080020000fe7ffd7ffd7ffdff02800280028002000400000080000000000000000000000000000000000000000101010000000000010000001d0200000400000003000000030000000100000001000000010000000100000001000000020000000002020108080000fb0a0000000000007c0200000000000002070000000000000f010000000000000c4ffcffffffffffff1bfcffffffffffff1d03000000000000affcffffffffffff75ff70ff31006f007cff27ff44ff9effbc00b1002c007c0021000100e7ff7900b10043ffa9ff04ff7b009400e5ff9cff5bff2200ebff82ffaaffaf00930059007bff18ff15011eff1501effe1affa300d2002e00c400e4ffefff6d000f0188003800d200b8ff67ff7000c50021ff5100a3000201bc0054ff280158004effedffd8fe9f0018fff3feddfe7d001cfff7ff2f0012ffacff0700f5ffe7ffe6fe5bff61ff72ff8b0053008bffe4fe8effecfec6000c0049001e01a3ff9f006cff15011f01ff00dcfeaefff7006500b1001800e800b80096ff14ffe4ffcaff25ffd8febe0086fff1001aff2701fc00f6fe1eff1aff41fffefe5200aeff54ff61ffcfffeeff1afff8ff9000670001005000050144ff7a0026ff04011900230092ff79006700830020ffebff190136000b0147ff2400b2ff01ff3e00030073ff3cff68ffe0fe8bff1900f900c100ecff500050ff880026fffaffdafef7ffbfff3400a1006100340005005100bfff9200e7fece002dff6fffd6ff2101dcfe79ff86009dff86ff490091ff0b010700ca00d3005800e4ff5600f300a6ff3a0067ff11ff61002a00e6ffe4fef0ff450068ff98ff59ff0d01010001000000020000000c000000cdccffffffffffff10000000","id":"lower_wmb1/mlicpp/entropy/range/3","load":"ok","profiles":["acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["0","0","0","255","0","0","0","0","255","255","0","255","255","0","0","0","0","255","0","255","255","0","0","0","0","0","0","255","255","255","255","0","0","0","255","0","255","255","0","0","255","255","255","255","255","255","0","0"],"shape":["3","4","4"]}]},"inputs":[{"data":["275","300","0","300","-275","-79","300","0"],"shape":["2","2","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["0","0","255","255","0","255","255","0","255","0","0","255","255","255","255","0","255","255","255","0","255","0","255","255","0","255","255","0","255","0","0","255","255","255","0","0","255","255","255","0","255","0","255","0","0","255","0","255","0","0","255","255","0","0","255","255","0","0","255","255","255","255","0","0","255","255","0","0","255","255","255","255"],"shape":["3","6","4"]}]},"inputs":[{"data":["300","-300","-273","300","-300","-103","-300","300","-213","190","300","0"],"shape":["2","3","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["255","0","0","0","0","0","0","255","0","255","0","0","0","0","255","0","255","255","0","255","0","255","0","0","0","255","255","0","255","0","255","0","0","0","0","0","255","0","255","255","255","255","0","0","0","0","0","0"],"shape":["3","2","8"]}]},"inputs":[{"data":["-300","300","300","300","-300","-255","0","300"],"shape":["2","1","4"]}],"scalars":[]}],"graph":"57484731010100000500000004000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000040000000200000080020000c582cfd520e4f9ff3b7d302adf1b06000300000080020000fc312641f7ffffff04ced9be08000000030000008000000000000000000000000000000000000000030000008000000000000000000000000000000000000000030000008000000000000000000000000000000000000000110101000000000001000000cd0000000300000003000000030000000200000002000000010000000100000001000000010000000200000000020201080800005207000000000000f40e000000000000ad0a0000000000000c94fcffffffffffffe9010000000000006a0000000000000080ff5fff89ff7fffd6fe6400f1ff69ff81ff9cfffefe0b00faff02ff2900280086004eff5b00bafffbfe03ff6e000c008b0089ffe5fe5d00d2006a00e3fec60022010f0022015aff15015e00b40077003fff40ff170003001800c9ff2301bc0082ffa1000f0161ff7100a9ff1201010001000000020000004c0000000a000000080000000400000000000000bc03000002020000fd0100000e010000a3030000970000008603000056020000680100005b6b0000000000006798000000000000b5c20000000000000b010100020000000300000010000000000000000000000000010000000000000201010003000000040000000d0000000100010104000000ff00000008","id":"lower_wmb1/mlicpp/g_s/4","load":"ok","profiles":["acc64"]}
{"decodes":[{"expect":{"refuse":"field_range"},"inputs":[{"data":["1719495159741756","184","300","300","-140","300","211","88"],"shape":["2","2","2"]}],"scalars":[]}],"graph":"57484731010100000500000004000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000040000000200000080020000c582cfd520e4f9ff3b7d302adf1b06000300000080020000fc312641f7ffffff04ced9be08000000030000008000000000000000000000000000000000000000030000008000000000000000000000000000000000000000030000008000000000000000000000000000000000000000110101000000000001000000cd0000000300000003000000030000000200000002000000010000000100000001000000010000000200000000020201080800005207000000000000f40e000000000000ad0a0000000000000c94fcffffffffffffe9010000000000006a0000000000000080ff5fff89ff7fffd6fe6400f1ff69ff81ff9cfffefe0b00faff02ff2900280086004eff5b00bafffbfe03ff6e000c008b0089ffe5fe5d00d2006a00e3fec60022010f0022015aff15015e00b40077003fff40ff170003001800c9ff2301bc0082ffa1000f0161ff7100a9ff1201010001000000020000004c0000000a000000080000000400000000000000bc03000002020000fd0100000e010000a3030000970000008603000056020000680100005b6b0000000000006798000000000000b5c20000000000000b010100020000000300000010000000000000000000000000010000000000000201010003000000040000000d0000000100010104000000ff00000008","id":"lower_wmb1/mlicpp/g_s/range/5","load":"ok","profiles":["acc64"]}
Reference in a new issue View git blame Copy permalink