wai/ops-conformance/, in integer-operators §14.1's format, written by `wai-ops vectors gen`: - vectors/<operator>.jsonl: one-operator graph vectors for every graph operator: random cases over several magnitudes, and the coverage classes of §14.1: bound-attaining inputs, rounding ties at every mode and the shifts the class names, geometry, the i32 limits and one past them, check and scalar ranges at their ends and one past, every run-time shape refusal, and the distinguishing cases (per-term igdn floors, leaky floors, softmax rows, elu(0), a half mean in layernorm_c, ε = 2^64 − 1, exp at n = 62 and 63). - stage/<operator>.jsonl: E1–E13. E1 under every mode, with each strict refusal alone and in each pair one symbol can give, under both end rules; E8 with zero tails, short streams, and escapes at bounds of 128 and 255. - graphs/: the phase form against conv_transpose (the generator checks the two outputs agree), a state carried across three decodes, a refusal at each load check (steps 1–7) and at each run step, and every lowering on a small set. - certificates/<capability>/<set digest>/<role>.whg1: the lowered graphs of every committed set and of the small sets, with certificates/index.json. Every vector's `profiles` is the profiles its graph meets under §7 and §8.3, from the generator's own tagger; a case that meets neither is not written (its load refusal is a D2b vector). The certifier must agree with every tag. `wai-ops vectors verify` recomputes every vector file, re-lowers every set and regenerates the corpus, and requires every byte to match. It passes natively, as the same binary built for wasm32-wasip2 under wasmtime, and through wai-ops/node, the recomputation as a wasm32-unknown-unknown module run by Node. Co-Authored-By: Claude Opus 5.5 <[email protected]>
34 lines
45 KiB
JSON
34 lines
45 KiB
JSON
{"decodes":[{"expect":{"outputs":[{"data":["118","120","145","145","153","110","145","145","116","110","110","110","110","128","152","152","110","146","152","152","110","130","153","153","146","140","110","110","146","140","110","110"],"shape":["1","8","4"]}]},"inputs":[{"data":["118","120","145","153","110","145","116","110","110","110","128","152","110","146","152","110","130","153","146","140","110"],"shape":["1","7","3"]}],"scalars":[]},{"expect":{"outputs":[{"data":["130","153","110","110","110","153","110","110","153","114","153","153","121","153","126","126","123","110","152","152","123","110","152","152","123","110","152","152","123","110","152","152"],"shape":["1","8","4"]}]},"inputs":[{"data":["130","153","110","110","153","110","153","114","153","121","153","126","123","110","152"],"shape":["1","5","3"]}],"scalars":[]}],"graph":"574847310101000002000000010000000100010000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000100000001000000800200006e0000000000000099000000000000000100000080000000000000000000000000000000000000000e01010000000000010000000400000004000000","id":"pad_rep/random/0","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"field_range"},"inputs":[{"data":["397557","0","-235764","375577","577522","0","577522","577522","577522","-763834","577522","455291","0","514556","130735","-592264","577522","577522","577522","577522","577522","577522","-763834","0","0","-85129","577522","-763834","-763834","-763834","577522","-763834","204466","-194015","577522","0","81877","-763834","577522","108108","-408312","577522","577522","-763834","-321871","-558545","-466341","572240","-266434","-247626","302713","577522","-763834","-58208"],"shape":["3","3","6"]}],"scalars":[]},{"expect":{"refuse":"field_range"},"inputs":[{"data":["-213652","127099","-117966","577522","577522","-763834","0","0","-763834","0","-364408","-763834","577522","328163","248716","-763834","-763834","0","577522","577522","-763834","-409985","-763834","-608968","-147594","137028","0","577522","280916","-763834","577522","-629773","0","0","577522","0","-54229","577522","0","577522","146937","-763834","577522","577522","577522","577522","259799","577522","577522","-763834","-593193","577522","577522","262853","268328","577522","-69142","-763834","567469","0","571899","577522","-704296","-112469","338532","577522","577522","0","-476591","-167539","577522","-763834","-763834","-600580","577522","-703003","-70625","-763834","577522","577522","-378938","577522","-466806","577522","-763834","-623281","-763834","-547473","-346999","-763834"],"shape":["3","6","5"]}],"scalars":[]}],"graph":"574847310101000002000000010000000100010000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000100000003000000800200004658f4fffffffffff2cf08000000000003000000800200006cffffffffffffff13010000000000000e01010000000000010000000400000004000000","id":"pad_rep/random/1","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["154","0","0","154","0","0","0","0","0","154","0","0","101","32","32","32","103","0","84","0","0","0","0","0","0","0","26","154","0","62","62","62","154","154","154","119","0","26","26","26","0","21","154","0","0","154","154","154","110","98","122","0","0","17","17","17","0","0","65","154","0","154","154","154","67","154","0","5","0","16","16","16","95","154","38","0","0","0","0","0","0","0","154","154","27","154","154","154","154","75","154","0","0","154","154","154"],"shape":["3","4","8"]}]},"inputs":[{"data":["154","0","0","154","0","0","0","154","0","0","101","32","103","0","84","0","0","0","0","0","26","154","0","62","154","154","154","119","0","26","0","21","154","0","0","154","110","98","122","0","0","17","0","0","65","154","0","154","67","154","0","5","0","16","95","154","38","0","0","0","0","0","154","154","27","154","154","75","154","0","0","154"],"shape":["3","4","6"]}],"scalars":[]},{"expect":{"outputs":[{"data":["154","86","0","0","154","0","154","154","0","125","0","0","145","89","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","49","1","1","0","154","0","0","24","0","0","0","13","154","154","154","27","154","22","22","27","154","22","22","27","154","22","22","27","154","22","22","154","84","154","154","154","0","0","0","0","0","0","0","0","10","154","154","132","0","153","153","132","0","153","153","132","0","153","153","132","0","153","153"],"shape":["3","8","4"]}]},"inputs":[{"data":["154","86","0","154","0","154","0","125","0","145","89","0","0","0","0","0","49","1","0","154","0","24","0","0","13","154","154","27","154","22","154","84","154","154","0","0","0","0","0","0","10","154","132","0","153"],"shape":["3","5","3"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000030000008002000000000000000000009a000000000000000300000080000000000000000000000000000000000000000e01010000000000010000000400000004000000","id":"pad_rep/random/2","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-10","-10","-10","-10","-10","-10","-10","-10","-10","0","0","0","0","0","0","0","0","0","-11","-11","-11","-11","-11","-11","-11","-11","-11"],"shape":["3","3","3"]}]},"inputs":[{"data":["-10","0","-11"],"shape":["3","1","1"]}],"scalars":[]},{"expect":{"outputs":[{"data":["62","62","62","-33","-33","-33","-33","-33","-33","-33","-33","-33","110","110","110","110","110","110","166","166","166","29","29","29","29","29","29"],"shape":["3","3","3"]}]},"inputs":[{"data":["62","-33","-33","110","166","29"],"shape":["3","2","1"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000003000000060000000000000000000000000000000000000000000000010000000300000080020000dfffffffffffffffa6000000000000000300000080000000000000000000000000000000000000000e01010000000000010000000400000003000000","id":"pad_rep/random/3","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0","153328725278846","153328725278846","153328725278846","-43892737641929","257747084382743","257747084382743","257747084382743","-43892737641929","387041345325645","387041345325645","387041345325645","387041345325645","279120713918541","279120713918541","279120713918541","109309724730197","44356151712348","44356151712348","44356151712348","217274842814047","266927713397256","266927713397256","266927713397256","-43892737641929","387041345325645","387041345325645","387041345325645","-43892737641929","0","0","0"],"shape":["2","4","4"]}]},"inputs":[{"data":["0","153328725278846","-43892737641929","257747084382743","-43892737641929","387041345325645","387041345325645","279120713918541","109309724730197","44356151712348","217274842814047","266927713397256","-43892737641929","387041345325645","-43892737641929","0"],"shape":["2","4","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["179863527879787","-43892737641929","387041345325645","0","282643564263976","207515497574873","207515497574873","207515497574873","-43892737641929","291592225372027","-524937899807","301973114509768","-43892737641929","-43892737641929","-43892737641929","-43892737641929","0","-21100367069638","-43892737641929","186834281874964","173336528783006","0","0","0","168709842575311","387041345325645","0","-43892737641929","387041345325645","387041345325645","387041345325645","387041345325645","224905707609344","208161806529171","262540476558306","93884209935034","387041345325645","387041345325645","387041345325645","387041345325645","387041345325645","0","159842147927764","387041345325645","387041345325645","-2534732492365","-2534732492365","-2534732492365","387041345325645","0","159842147927764","387041345325645","387041345325645","-2534732492365","-2534732492365","-2534732492365","387041345325645","0","159842147927764","387041345325645","387041345325645","-2534732492365","-2534732492365","-2534732492365","124683608182120","74211651202836","321792549794443","-43892737641929","-43892737641929","-43892737641929","-43892737641929","-43892737641929","161955921882849","387041345325645","190811847165425","0","387041345325645","0","0","0","-43892737641929","387041345325645","387041345325645","-43892737641929","387041345325645","387041345325645","387041345325645","387041345325645","164635032185490","13895798572014","0","-43892737641929","387041345325645","241244810120030","241244810120030","241244810120030","189754186338960","69485311044483","-43892737641929","387041345325645","-43892737641929","387041345325645","387041345325645","387041345325645","207478490242179","-43892737641929","-43892737641929","332619059904719","-43892737641929","387041345325645","387041345325645","387041345325645","207478490242179","-43892737641929","-43892737641929","332619059904719","-43892737641929","387041345325645","387041345325645","387041345325645","207478490242179","-43892737641929","-43892737641929","332619059904719","-43892737641929","387041345325645","387041345325645","387041345325645"],"shape":["2","8","8"]}]},"inputs":[{"data":["179863527879787","-43892737641929","387041345325645","0","282643564263976","207515497574873","-43892737641929","291592225372027","-524937899807","301973114509768","-43892737641929","-43892737641929","0","-21100367069638","-43892737641929","186834281874964","173336528783006","0","168709842575311","387041345325645","0","-43892737641929","387041345325645","387041345325645","224905707609344","208161806529171","262540476558306","93884209935034","387041345325645","387041345325645","387041345325645","0","159842147927764","387041345325645","387041345325645","-2534732492365","124683608182120","74211651202836","321792549794443","-43892737641929","-43892737641929","-43892737641929","161955921882849","387041345325645","190811847165425","0","387041345325645","0","-43892737641929","387041345325645","387041345325645","-43892737641929","387041345325645","387041345325645","164635032185490","13895798572014","0","-43892737641929","387041345325645","241244810120030","189754186338960","69485311044483","-43892737641929","387041345325645","-43892737641929","387041345325645","207478490242179","-43892737641929","-43892737641929","332619059904719","-43892737641929","387041345325645"],"shape":["2","6","6"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000020000008002000037f2f66c14d8ffff4dcae615036001000200000080000000000000000000000000000000000000000e01010000000000010000000400000004000000","id":"pad_rep/random/4","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["118","-36","-36","28","15","15","28","15","15","-128","127","127","-128","20","20","-128","20","20","95","127","127","48","127","127","48","127","127"],"shape":["3","3","3"]}]},"inputs":[{"data":["118","-36","28","15","-128","127","-128","20","95","127","48","127"],"shape":["3","2","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["93","-128","-128","-30","127","127","127","-65","-65","8","-128","-128","8","-128","-128","8","-128","-128","-128","0","0","-14","-90","-90","-14","-128","-128","-128","-71","-71","-128","-71","-71","-128","-71","-71","0","-85","-85","0","127","127","42","-128","-128","-128","55","55","-128","55","55","-128","55","55"],"shape":["3","6","3"]}]},"inputs":[{"data":["93","-128","-30","127","127","-65","8","-128","-128","0","-14","-90","-14","-128","-128","-71","0","-85","0","127","42","-128","-128","55"],"shape":["3","4","2"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000400000003000000000000000000000000000000000000000000000001000000030000008002000080ffffffffffffff7f000000000000000300000080000000000000000000000000000000000000000e01010000000000010000000400000003000000","id":"pad_rep/random/5","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-157","0","-158","-276","-86","282","282"],"shape":["1","1","7"]}]},"inputs":[{"data":["-157","0","-158","-276","-86","282","282"],"shape":["1","1","7"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-130","282","282","152","-276","-276","161","0","282","234","-276","282","246","226","282","282","-276","254"],"shape":["1","2","9"]}]},"inputs":[{"data":["-130","282","282","152","-276","-276","161","0","282","234","-276","282","246","226","282","282","-276","254"],"shape":["1","2","9"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000002000000090000000000000000000000000000000000000000000000010000000100000080020000ecfeffffffffffff1a010000000000000100000080000000000000000000000000000000000000000e01010000000000010000000400000001000000","id":"pad_rep/random/6","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["899442787","305525136","-102889285","942634577","942634577","0"],"shape":["2","1","3"]}]},"inputs":[{"data":["899442787","305525136","-102889285","942634577","942634577","0"],"shape":["2","1","3"]}],"scalars":[]},{"expect":{"outputs":[{"data":["0","337360386","-172032485","374532587","942634577","942634577","942634577","942634577","96003505","942634577","-172032485","0"],"shape":["2","3","2"]}]},"inputs":[{"data":["0","337360386","-172032485","374532587","942634577","942634577","942634577","942634577","96003505","942634577","-172032485","0"],"shape":["2","3","2"]}],"scalars":[]}],"graph":"574847310101000002000000010000000100010000000000000000040000000000000000080000000300000000000000000000000000000000000000000000000100000002000000800200001bfebef5ffffffff51762f38000000000200000080000000000000000000000000000000000000000e01010000000000010000000400000001000000","id":"pad_rep/random/7","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0","0","0","0","247","247","247","247","213","213","213","213","213","213","213","213"],"shape":["1","4","4"]}]},"inputs":[{"data":["0","247","213"],"shape":["1","3","1"]}],"scalars":[]},{"expect":{"outputs":[{"data":["88","188","188","188","247","157","157","157","224","0","0","0","224","0","0","0"],"shape":["1","4","4"]}]},"inputs":[{"data":["88","188","247","157","224","0"],"shape":["1","3","2"]}],"scalars":[]}],"graph":"574847310101000002000000010000000100010000000000000000040000000000000000030000000600000000000000000000000000000000000000000000000100000001000000800200000000000000000000f7000000000000000100000080000000000000000000000000000000000000000e01010000000000010000000400000004000000","id":"pad_rep/random/8","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0","225","225","181","174","76","114","0","0","225","225","225","36","225","225","0","98","225","225","225","225","225","225","225","225","225","225"],"shape":["1","9","3"]}]},"inputs":[{"data":["0","225","225","181","174","76","114","0","0","225","225","225","36","225","225","0","98","225","225","225","225"],"shape":["1","7","3"]}],"scalars":[]},{"expect":{"outputs":[{"data":["225","0","0","225","0","225","98","0","225","0","0","59","0","0","59","0","0","59"],"shape":["1","6","3"]}]},"inputs":[{"data":["225","0","0","225","0","225","98","0","225","0","0","59"],"shape":["1","4","3"]}],"scalars":[]}],"graph":"574847310101000002000000010000000100010000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000100000001000000800200000000000000000000e1000000000000000100000080000000000000000000000000000000000000000e01010000000000010000000400000003000000","id":"pad_rep/random/9","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0","-818620578","-2147483648"],"shape":["1","1","3"]}]},"inputs":[{"data":["0","-818620578","-2147483648"],"shape":["1","1","3"]}],"scalars":[]},{"expect":{"outputs":[{"data":["2147483647","0"],"shape":["1","1","2"]}]},"inputs":[{"data":["2147483647","0"],"shape":["1","1","2"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000600000006000000000000000000000000000000000000000000000001000000010000008002000000000080ffffffffffffff7f000000000100000080000000000000000000000000000000000000000e01010000000000010000000400000001000000","id":"pad_rep/random/10","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-1329652698","2147483647","0","0","-1329652698","2147483647","0","0"],"shape":["1","2","4"]}]},"inputs":[{"data":["-1329652698","2147483647","0"],"shape":["1","1","3"]}],"scalars":[]},{"expect":{"outputs":[{"data":["153184279","153184279","2081512825","2081512825","-2147483648","-2147483648","-2147483648","-2147483648"],"shape":["1","4","2"]}]},"inputs":[{"data":["153184279","2081512825","-2147483648"],"shape":["1","3","1"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000300000005000000000000000000000000000000000000000000000001000000010000008002000000000080ffffffffffffff7f000000000100000080000000000000000000000000000000000000000e01010000000000010000000400000002000000","id":"pad_rep/random/11","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-17","92","0","92","92","92","70","92","92","-36","-36","-13","92","92"],"shape":["2","7","1"]}]},"inputs":[{"data":["-17","92","0","92","92","92","70","92","92","-36","-36","-13","92","92"],"shape":["2","7","1"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-8","92","92","-36","-36","72","0","49","-36","92","-36","92"],"shape":["2","1","6"]}]},"inputs":[{"data":["-8","92","92","-36","-36","72","0","49","-36","92","-36","92"],"shape":["2","1","6"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000010000000200000080020000dcffffffffffffff5c000000000000000200000080000000000000000000000000000000000000000e01010000000000010000000400000001000000","id":"pad_rep/random/12","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["2147483647","2147483647","-2147483648","-2147483648","-1233810067","526823417","-2147483648","-2147483648","-2147483648","-570356434","-2147483648","-2147483648","2147483647","2147483647","860267334","860267334","0","1765365730","-2147483648","-2147483648","0","1765365730","-2147483648","-2147483648","0","1765365730","-2147483648","-2147483648","0","1765365730","-2147483648","-2147483648"],"shape":["1","8","4"]}]},"inputs":[{"data":["2147483647","2147483647","-2147483648","-1233810067","526823417","-2147483648","-2147483648","-570356434","-2147483648","2147483647","2147483647","860267334","0","1765365730","-2147483648"],"shape":["1","5","3"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-762447296","-2147483648","2147483647","2147483647","0","0","-2147483648","-2147483648","-1080678093","0","2147483647","2147483647","238876951","2147483647","-2147483648","-2147483648","-2147483648","-2147483648","-2147483648","-2147483648","1887612361","0","-832124427","-832124427","2147483647","-1611836582","-2147483648","-2147483648","2147483647","-1611836582","-2147483648","-2147483648"],"shape":["1","8","4"]}]},"inputs":[{"data":["-762447296","-2147483648","2147483647","0","0","-2147483648","-1080678093","0","2147483647","238876951","2147483647","-2147483648","-2147483648","-2147483648","-2147483648","1887612361","0","-832124427","2147483647","-1611836582","-2147483648"],"shape":["1","7","3"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000010000008002000000000080ffffffffffffff7f000000000100000080000000000000000000000000000000000000000e01010000000000010000000400000004000000","id":"pad_rep/random/13","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["131","131","131","131","131","131","131","131","131"],"shape":["1","3","3"]}]},"inputs":[{"data":["279"],"shape":["1","1","1"]}],"scalars":[]},{"expect":{"outputs":[{"data":["131","131","131","131","131","131","131","131","131","131","131","131","131","131","131","131","131","131"],"shape":["1","3","6"]}]},"inputs":[{"data":["279","279","279","279","279","279","279","279","279","279","279","279"],"shape":["1","3","4"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000010000000100000080020000170100000000000017010000000000000100000080010000000000000000000083000000000000000e01010000000000010000000400000003000000","id":"pad_rep/random/14","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0","670265114287568","181223297876222","181223297876222","488601671720711","705653813648523","705653813648523","705653813648523","705653813648523","323203275186236","472622226169352","472622226169352","-661950769044453","0","-661950769044453","-661950769044453","705653813648523","-661950769044453","-661950769044453","-661950769044453","-661950769044453","176981641350896","187687717155182","187687717155182","-661950769044453","176981641350896","187687717155182","187687717155182","-661950769044453","176981641350896","187687717155182","187687717155182"],"shape":["1","8","4"]}]},"inputs":[{"data":["0","670265114287568","181223297876222","488601671720711","705653813648523","705653813648523","705653813648523","323203275186236","472622226169352","-661950769044453","0","-661950769044453","705653813648523","-661950769044453","-661950769044453","-661950769044453","176981641350896","187687717155182"],"shape":["1","6","3"]}],"scalars":[]},{"expect":{"outputs":[{"data":["6508535530629","50735403817754","705653813648523","-661950769044453","-28004157207024","-661950769044453","463558595741015","-661950769044453","-661950769044453","705653813648523","705653813648523","39781505229926","-661950769044453","705653813648523","705653813648523","39781505229926"],"shape":["1","4","4"]}]},"inputs":[{"data":["6508535530629","50735403817754","705653813648523","-661950769044453","-28004157207024","-661950769044453","463558595741015","-661950769044453","-661950769044453","705653813648523","705653813648523","39781505229926"],"shape":["1","3","4"]}],"scalars":[]}],"graph":"574847310101000002000000010000000100010000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000100000001000000800200001b648d93f5a5fdff8b9ce5d4c98102000100000080000000000000000000000000000000000000000e01010000000000010000000400000004000000","id":"pad_rep/random/15","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"field_range"},"inputs":[{"data":["-197954","-197954","315651","-197954","-197954","276071","329321","220172","329321","155359","-197954","117161","-197954","-64009","-81310","0","-197954","-128060","-107305","329321","-197954","315924","329321","179770","-146177","-69739","110523","151909","0","-197954","27071","-89420","329321","-104712","329321","139062","33008","-197954","329321","0","-184880","0"],"shape":["3","2","7"]}],"scalars":[]},{"expect":{"refuse":"field_range"},"inputs":[{"data":["-197954","305980","138263","78517","-197954","13492"],"shape":["3","1","2"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000010000000300000080020000befafcffffffffff690605000000000003000000800200002dffffffffffffff27010000000000000e01010000000000010000000400000002000000","id":"pad_rep/random/16","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0","-27","-27","98","180","0","115","111","10","192","192","110","-27","192","-27","-27","69","111","192","-27","-27","113","192","21","44","192","0","5","39","119","192","151"],"shape":["2","4","4"]}]},"inputs":[{"data":["0","-27","-27","98","180","0","115","111","10","192","192","110","-27","192","-27","-27","69","111","192","-27","-27","113","192","21","44","192","0","5","39","119","192","151"],"shape":["2","4","4"]}],"scalars":[]},{"expect":{"outputs":[{"data":["192","29","0","0","192","192","192","192","-14","152","71","18","-27","-27","-27","-27","192","192","119","23","135","135","135","135","144","40","192","32","-27","-27","-27","-27","169","-27","-27","-4","145","145","145","145","87","-27","192","30","192","192","192","192","192","172","-13","159","192","192","192","192","0","-27","-27","192","-27","-27","-27","-27"],"shape":["2","4","8"]}]},"inputs":[{"data":["192","29","0","0","192","-14","152","71","18","-27","192","192","119","23","135","144","40","192","32","-27","169","-27","-27","-4","145","87","-27","192","30","192","192","172","-13","159","192","0","-27","-27","192","-27"],"shape":["2","4","5"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000010000000200000080020000e5ffffffffffffffc0000000000000000200000080000000000000000000000000000000000000000e01010000000000010000000400000004000000","id":"pad_rep/random/17","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["831049","-276959","831049","-523711","-497268","-523711","831049","0","831049","831049","-523711","-334621","-180233","-523711","-523711","322097","831049","-493567","-523711","831049","-523711","648343","-523711","-381609","-188881","831049","831049","0"],"shape":["2","7","2"]}]},"inputs":[{"data":["831049","-276959","831049","-523711","-497268","-523711","831049","0","831049","831049","-523711","-334621","-180233","-523711","-523711","322097","831049","-493567","-523711","831049","-523711","648343","-523711","-381609","-188881","831049","831049","0"],"shape":["2","7","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["87311","321395","-424322","806579","-523711","704126","831049","831049","0","-523711","-317519","831049","-523711","831049","831049","739534","555275","-42242","831049","-347246","317168","831049","-215036","481966","-379781","831049","831049","-523711","-523711","750428","-523711","633402","831049","-523711","-523711","177515","-179293","112218","0","831049","831049","-523711","-523711","-523711","-523711","-523711","409746","0","-325448","764050","-523711","281273","284446","831049","220010","683763"],"shape":["2","7","4"]}]},"inputs":[{"data":["87311","321395","-424322","806579","-523711","704126","831049","831049","0","-523711","-317519","831049","-523711","831049","831049","739534","555275","-42242","831049","-347246","317168","831049","-215036","481966","-379781","831049","831049","-523711","-523711","750428","-523711","633402","831049","-523711","-523711","177515","-179293","112218","0","831049","831049","-523711","-523711","-523711","-523711","-523711","409746","0","-325448","764050","-523711","281273","284446","831049","220010","683763"],"shape":["2","7","4"]}],"scalars":[]}],"graph":"574847310101000002000000010000000100010000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000100000002000000800200004102f8ffffffffff49ae0c00000000000200000080000000000000000000000000000000000000000e01010000000000010000000400000001000000","id":"pad_rep/random/18","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["557199","149060","557199","557199","-14221","-14221","-14221","-14221","557199","149060","557199","557199","-14221","-14221","-14221","-14221","557199","149060","557199","557199","-14221","-14221","-14221","-14221","557199","149060","557199","557199","-14221","-14221","-14221","-14221","-115085","540788","0","0","-115085","-115085","-115085","-115085","-115085","540788","0","0","-115085","-115085","-115085","-115085","-115085","540788","0","0","-115085","-115085","-115085","-115085","-115085","540788","0","0","-115085","-115085","-115085","-115085"],"shape":["2","4","8"]}]},"inputs":[{"data":["557199","149060","557199","557199","-14221","-115085","540788","0","0","-115085"],"shape":["2","1","5"]}],"scalars":[]},{"expect":{"outputs":[{"data":["114648","114667","355732","557199","-112208","557199","557199","557199","-115085","-53726","0","0","-115085","355374","355374","355374","232712","441555","556167","-115085","374699","-115085","-115085","-115085","557199","-115085","557199","311673","-115085","557199","557199","557199","557199","-115085","-115085","557199","-115085","434164","434164","434164","557199","0","-115085","-115085","0","83708","83708","83708","-94589","355652","152763","517345","78798","38125","38125","38125","-94589","355652","152763","517345","78798","38125","38125","38125","129253","557199","294574","-115085","-115085","557199","557199","557199","557199","-115085","146191","0","557199","488616","488616","488616","-115085","130742","-84643","-115085","539811","557199","557199","557199","-57548","-8335","159325","0","-115085","-115085","-115085","-115085","-115085","29521","-115085","557199","311465","557199","557199","557199","-115085","549352","557199","0","235824","28322","28322","28322","-115085","-115085","557199","-5419","-115085","425397","425397","425397","-115085","-115085","557199","-5419","-115085","425397","425397","425397"],"shape":["2","8","8"]}]},"inputs":[{"data":["114648","114667","355732","557199","-112208","557199","-115085","-53726","0","0","-115085","355374","232712","441555","556167","-115085","374699","-115085","557199","-115085","557199","311673","-115085","557199","557199","-115085","-115085","557199","-115085","434164","557199","0","-115085","-115085","0","83708","-94589","355652","152763","517345","78798","38125","129253","557199","294574","-115085","-115085","557199","557199","-115085","146191","0","557199","488616","-115085","130742","-84643","-115085","539811","557199","-57548","-8335","159325","0","-115085","-115085","-115085","29521","-115085","557199","311465","557199","-115085","549352","557199","0","235824","28322","-115085","-115085","557199","-5419","-115085","425397"],"shape":["2","7","6"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000010000000200000080020000733efeffffffffff8f800800000000000200000080000000000000000000000000000000000000000e01010000000000010000000400000004000000","id":"pad_rep/random/19","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["226","212","0","0","0"],"shape":["1","1","5"]}]},"inputs":[{"data":["226","212","0","0","0"],"shape":["1","1","5"]}],"scalars":[]},{"expect":{"outputs":[{"data":["0","244","244","244","244","187","26","244","220","191"],"shape":["1","2","5"]}]},"inputs":[{"data":["0","244","244","244","244","187","26","244","220","191"],"shape":["1","2","5"]}],"scalars":[]}],"graph":"574847310101000002000000010000000100010000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000100000001000000800200000000000000000000f4000000000000000100000080000000000000000000000000000000000000000e01010000000000010000000400000001000000","id":"pad_rep/random/20","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"field_range"},"inputs":[{"data":["-183334147","0","-183334147","-183334147","-183334147","-183334147","479493273","80613458","-51103586","570244765","500239222","292693291","570244765","-183334147","224157525","262925290","-89060679","-183334147","-66118656","-183334147","-8112520","0","-183334147","570244765","-183334147","34610640","0","570244765"],"shape":["2","7","2"]}],"scalars":[]},{"expect":{"refuse":"field_range"},"inputs":[{"data":["0","-183334147","-183334147","570244765","-27466477","466209051","-183334147","-183334147","570244765","0","-142856380","139296067","-183334147","0","-183334147","-183334147","382213502","570244765","-183334147","570244765","-183334147","-24751240","570244765","-183334147","0","0","570244765","570244765","570244765","481305754","-183334147","79670084","570244765","-183334147","122943340","0","115416795","363567110","0","-183334147","0","-183334147","570244765","-183334147","237023549","570244765","-172221786","-183334147","363129768","-183334147","570244765","-183334147","518361812","-183334147","-175632186","424426507","89368057","155117780","154514654","570244765","570244765","0","570244765","570244765","570244765","570244765","297579540","121019779","-66708603","570244765","3637288","180989330","-183334147","75285753","-183334147","570244765","28336947","535394745","-183334147","-183334147","-180889342","570244765","570244765","-112580656","238985699","0","570244765","-183334147","-183334147","0","74619279","570244765","420883883","465435767","0","570244765","570244765","-183334147"],"shape":["2","7","7"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000010000000200000080020000fd8a12f5ffffffff9d3efd2100000000020000008002000063f5f2ffffffffff97030f00000000000e01010000000000010000000400000001000000","id":"pad_rep/random/21","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-688918","-688918"],"shape":["2","1","1"]}]},"inputs":[{"data":["-688918","-688918"],"shape":["2","1","1"]}],"scalars":[]},{"expect":{"outputs":[{"data":["0","-45687","-288691","247524","291086","-92006","-688918","160391","385736","-87221","-683660","-688918"],"shape":["2","6","1"]}]},"inputs":[{"data":["0","-45687","-288691","247524","291086","-92006","-688918","160391","385736","-87221","-683660","-688918"],"shape":["2","6","1"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000007000000010000000000000000000000000000000000000000000000010000000200000080020000ea7cf5ffffffffffc8e20500000000000200000080000000000000000000000000000000000000000e01010000000000010000000400000001000000","id":"pad_rep/random/22","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-171","-160","-165","-158","-163","-160","-158","-170","-166","-158","-165","-158","-172","-161","-167","-158","-177","-167","-175","-177","-177"],"shape":["1","7","3"]}]},"inputs":[{"data":["-171","-160","-165","-158","-163","-160","-158","-170","-166","-158","-165","-158","-172","-161","-167","-158","-177","-167","-175","-177","-177"],"shape":["1","7","3"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-165","-177","-158","-158","-170","-175","-172","-169","-177","-177","-158","-176","-177","-175","-158","-177","-170","-158","-158","-177","-160","-159","-161","-162","-177","-177","-177","-158","-158","-158","-158","-158","-177","-177","-168","-177","-169","-174","-177","-158","-169","-169"],"shape":["1","7","6"]}]},"inputs":[{"data":["-165","-177","-158","-158","-170","-175","-172","-169","-177","-177","-158","-176","-177","-175","-158","-177","-170","-158","-158","-177","-160","-159","-161","-162","-177","-177","-177","-158","-158","-158","-158","-158","-177","-177","-168","-177","-169","-174","-177","-158","-169","-169"],"shape":["1","7","6"]}],"scalars":[]}],"graph":"574847310101000002000000010000000100010000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000100000001000000800200004fffffffffffffff62ffffffffffffff0100000080000000000000000000000000000000000000000e01010000000000010000000400000001000000","id":"pad_rep/random/23","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-85","-92","-82","-98","-100","-81","-81","-81","-81","-81","-95","-84","-83","-81","-82","-93","-93","-93","-84","-81","-82","-87","-81","-100","-100","-100","-100","-92","-90","-100","-95","-81","-98","-100","-100","-100","-86","-81","-88","-97","-81","-87","-100","-100","-100","-89","-100","-90","-81","-88","-96","-90","-90","-90"],"shape":["2","3","9"]}]},"inputs":[{"data":["-85","-92","-82","-98","-100","-81","-81","-81","-95","-84","-83","-81","-82","-93","-84","-81","-82","-87","-81","-100","-100","-92","-90","-100","-95","-81","-98","-100","-86","-81","-88","-97","-81","-87","-100","-89","-100","-90","-81","-88","-96","-90"],"shape":["2","3","7"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-81","-100","-83","-100","-100","-87","-85","-85","-85","-81","-100","-83","-100","-100","-87","-85","-85","-85","-81","-100","-83","-100","-100","-87","-85","-85","-85","-100","-81","-95","-81","-96","-87","-87","-87","-87","-100","-81","-95","-81","-96","-87","-87","-87","-87","-100","-81","-95","-81","-96","-87","-87","-87","-87"],"shape":["2","3","9"]}]},"inputs":[{"data":["-81","-100","-83","-100","-100","-87","-85","-100","-81","-95","-81","-96","-87","-87"],"shape":["2","1","7"]}],"scalars":[]}],"graph":"574847310101000002000000010000000100010000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000100000002000000800200009cffffffffffffffafffffffffffffff0200000080000000000000000000000000000000000000000e01010000000000010000000400000003000000","id":"pad_rep/random/24","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-94","-138","-138","22","-61","-61","-138","104","104","-18","118","118","-98","-128","-128","118","-36","-36","0","118","118","0","118","118","0","118","118","40","-138","-138","37","0","0","-129","-71","-71","-138","118","118","118","-138","-138","67","0","0","-43","118","118","-43","118","118","-43","118","118","0","-74","-74","-38","118","118","-95","-21","-21","-138","118","118","66","-93","-93","118","-138","-138","69","-138","-138","69","-138","-138","69","-138","-138"],"shape":["3","9","3"]}]},"inputs":[{"data":["-94","-138","22","-61","-138","104","-18","118","-98","-128","118","-36","0","118","40","-138","37","0","-129","-71","-138","118","118","-138","67","0","-43","118","0","-74","-38","118","-95","-21","-138","118","66","-93","118","-138","69","-138"],"shape":["3","7","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["98","98","98","118","118","118","50","50","50","118","118","118","118","118","118","118","118","118","-138","-138","-138","-31","-31","-31","77","77","77","31","31","31","-131","-131","-131","0","0","0","-100","-100","-100","0","0","0","118","118","118","-101","-101","-101","0","0","0","-138","-138","-138"],"shape":["3","6","3"]}]},"inputs":[{"data":["98","118","50","118","118","118","-138","-31","77","31","-131","0","-100","0","118","-101","0","-138"],"shape":["3","6","1"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000700000003000000000000000000000000000000000000000000000001000000030000008002000076ffffffffffffff76000000000000000300000080000000000000000000000000000000000000000e01010000000000010000000400000003000000","id":"pad_rep/random/25","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-241","151","-28","-28","-241","151","-28","-28","-241","151","100","100","-241","151","100","100"],"shape":["2","2","4"]}]},"inputs":[{"data":["-241","151","-28","-241","151","100"],"shape":["2","1","3"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-241","-241","-241","-241","-241","-241","151","-241","1","-217","151","-241","-241","-63","151","108","-241","85","-241","-195","151","151","-142","-241","151","-194","-231","131","151","-194","-231","131","-164","-241","-145","-75","151","151","92","-218","151","151","151","-241","151","151","-241","0","-71","-241","151","-241","-241","0","-241","0","81","-85","0","111","81","-85","0","111"],"shape":["2","8","4"]}]},"inputs":[{"data":["-241","-241","-241","-241","-241","-241","151","-241","1","-217","151","-241","-241","-63","151","108","-241","85","-241","-195","151","151","-142","-241","151","-194","-231","131","-164","-241","-145","-75","151","151","92","-218","151","151","151","-241","151","151","-241","0","-71","-241","151","-241","-241","0","-241","0","81","-85","0","111"],"shape":["2","7","4"]}],"scalars":[]}],"graph":"574847310101000002000000010000000100010000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000100000002000000800200000fffffffffffffff97000000000000000200000080000000000000000000000000000000000000000e01010000000000010000000400000002000000","id":"pad_rep/random/26","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["554199826","554199826","554199826","554199826","554199826","554199826","554199826","554199826","554199826"],"shape":["1","3","3"]}]},"inputs":[{"data":["554199826"],"shape":["1","1","1"]}],"scalars":[]},{"expect":{"outputs":[{"data":["554199826","554199826","554199826","554199826","554199826","554199826","554199826","554199826","554199826"],"shape":["1","3","3"]}]},"inputs":[{"data":["554199826","554199826"],"shape":["1","2","1"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000002000000060000000000000000000000000000000000000000000000010000000100000080020000134ca9d8ffffffff126b0821000000000100000080000000000000000000000000000000000000000e01010000000000010000000400000003000000","id":"pad_rep/random/27","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["140","140","140","140","16","16","16","16","16","16","16","16","16","16","16","16"],"shape":["1","4","4"]}]},"inputs":[{"data":["140","16"],"shape":["1","2","1"]}],"scalars":[]},{"expect":{"outputs":[{"data":["0","0","0","0","140","140","140","140","16","16","16","16","16","16","16","16"],"shape":["1","4","4"]}]},"inputs":[{"data":["0","140","16"],"shape":["1","3","1"]}],"scalars":[]}],"graph":"574847310101000002000000010000000100010000000000000000040000000000000000030000000700000000000000000000000000000000000000000000000100000001000000800200006fffffffffffffff8c000000000000000100000080000000000000000000000000000000000000000e01010000000000010000000400000004000000","id":"pad_rep/random/28","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["231","231","231","231","0","231","231","231","0","231","231","231","0","231","231","231","0","0","0","0","0","158","158","158","0","158","158","158","0","158","158","158","143","231","231","231","130","231","231","231","130","231","231","231","130","231","231","231"],"shape":["3","4","4"]}]},"inputs":[{"data":["231","231","0","231","0","0","0","158","143","231","130","231"],"shape":["3","2","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["0","0","183","0","55","0","77","0","55","0","77","0","55","0","77","0","73","231","188","231","57","231","189","92","57","231","189","92","57","231","189","92","0","2","0","198","231","0","231","0","231","0","231","0","231","0","231","0"],"shape":["3","4","4"]}]},"inputs":[{"data":["0","0","183","0","55","0","77","0","73","231","188","231","57","231","189","92","0","2","0","198","231","0","231","0"],"shape":["3","2","4"]}],"scalars":[]}],"graph":"574847310101000002000000010000000100010000000000000000040000000000000000020000000500000000000000000000000000000000000000000000000100000003000000800200000000000000000000e7000000000000000300000080000000000000000000000000000000000000000e01010000000000010000000400000004000000","id":"pad_rep/random/29","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-17","-14","-11","-8","-5","-2","1","4","7","10","13","16"],"shape":["1","3","4"]}]},"inputs":[{"data":["-17","-14","-11","-8","-5","-2","1","4","7","10","13","16"],"shape":["1","3","4"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000010000000100000080020000ceffffffffffffff32000000000000000100000080000000000000000000000000000000000000000e01010000000000010000000400000001000000","id":"pad_rep/multiple/30","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-17","-14","-11","-8","-5","-2","1","4","7","10","13","16","7","10","13","16"],"shape":["1","4","4"]}]},"inputs":[{"data":["-17","-14","-11","-8","-5","-2","1","4","7","10","13","16"],"shape":["1","3","4"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000010000000100000080020000ceffffffffffffff32000000000000000100000080000000000000000000000000000000000000000e01010000000000010000000400000002000000","id":"pad_rep/multiple/31","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-17","-14","-11","-8","-8","-8","-5","-2","1","4","4","4","7","10","13","16","16","16"],"shape":["1","3","6"]}]},"inputs":[{"data":["-17","-14","-11","-8","-5","-2","1","4","7","10","13","16"],"shape":["1","3","4"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000010000000100000080020000ceffffffffffffff32000000000000000100000080000000000000000000000000000000000000000e01010000000000010000000400000003000000","id":"pad_rep/multiple/32","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-17","-14","-11","-8","-8","-5","-2","1","4","4","7","10","13","16","16","7","10","13","16","16","7","10","13","16","16"],"shape":["1","5","5"]}]},"inputs":[{"data":["-17","-14","-11","-8","-5","-2","1","4","7","10","13","16"],"shape":["1","3","4"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000010000000100000080020000ceffffffffffffff32000000000000000100000080000000000000000000000000000000000000000e01010000000000010000000400000005000000","id":"pad_rep/multiple/33","load":"ok","profiles":["acc32","acc64"]}
|