open-standards/wai/ops-conformance/vectors/split.jsonl
Transaction Science 608a1bea8d wai-ops: the conformance corpus, its generator, and the WASI and browser-engine legs
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]>
2026-10-09 19:31:38 -04:00

31 lines
40 KiB
JSON

{"decodes":[{"expect":{"outputs":[{"data":["57005","-107161","-43523","-23312","-127443","-127443","57005","-86361","0","0"],"shape":["1","5","2"]}]},"inputs":[{"data":["57005","-38955","-127443","57005","-68154","-9617","-127443","5320","-111641","-127443","57005","-107161","-43523","-23312","-127443","-127443","57005","-86361","0","0","-127443","0","-124435","-66629","57005","-127443","-68821","57005","0","57005","-28379","-127443","57005","-14565","57005","-127443","57005","57005","0","-127443"],"shape":["4","5","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-15635","-127443"],"shape":["1","1","2"]}]},"inputs":[{"data":["57005","-127443","-15635","-127443","57005","-127443","57005","57005"],"shape":["4","1","2"]}],"scalars":[]}],"graph":"574847310101000002000000010000000100010000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000100000004000000800200002d0efeffffffffffadde000000000000010000008000000000000000000000000000000000000000080101000000000001000000080000000100000001000000","id":"split/random/0","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["1306","0","-357632","-332397","-285671","-125072","0","1252","1306","-45199","-357632","-357632","1306","-236114","-98077","-89140","1306","-54426","1306","-219379","-357632","-45678","-148323","-24605"],"shape":["3","2","4"]}]},"inputs":[{"data":["1306","-41274","-357632","-355994","-357632","1306","1306","1306","-179061","-231980","-357632","1306","1306","1306","-357632","-357632","1306","0","-357632","-332397","-285671","-125072","0","1252","1306","-45199","-357632","-357632","1306","-236114","-98077","-89140","1306","-54426","1306","-219379","-357632","-45678","-148323","-24605"],"shape":["5","2","4"]}],"scalars":[]},{"expect":{"outputs":[{"data":["1306","1306","0","-285986","-357632","-357632","-263052","1306","-307006","-357632","-275915","-87385","-357632","-260286","0","1306","1306","-357632","-41099","-354777","-357632","-357632","-66840","-203063"],"shape":["3","8","1"]}]},"inputs":[{"data":["1306","-210565","-338748","1306","1306","1306","-172110","0","1306","-357632","-357632","-357632","-350962","1306","-2725","-35918","1306","1306","0","-285986","-357632","-357632","-263052","1306","-307006","-357632","-275915","-87385","-357632","-260286","0","1306","1306","-357632","-41099","-354777","-357632","-357632","-66840","-203063"],"shape":["5","8","1"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000009000000040000000000000000000000000000000000000000000000010000000500000080020000008bfaffffffffff1a05000000000000030000008000000000000000000000000000000000000000080101000000000001000000080000000200000003000000","id":"split/random/1","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["-806320","-806320","-599666","873069","-806320","-806320","873069","-806320","595544","420911","-21043","873069","-806320","531279","-362026","0","873069","-806320","-129801","792604","0"],"shape":["1","3","7"]}]},"inputs":[{"data":["-806320","-205160","873069","873069","806225","273832","873069","-806320","873069","-27652","-160770","846421","873069","873069","-806320","0","257881","-806320","445562","873069","873069","-806320","-806320","-599666","873069","-806320","-806320","873069","-806320","595544","420911","-21043","873069","-806320","531279","-362026","0","873069","-806320","-129801","792604","0"],"shape":["2","3","7"]}],"scalars":[]},{"expect":{"outputs":[{"data":["873069","203857","200796","741250","873069","-33196","0","-806320","873069","774995","873069","0","-806320","386220","873069","-745299","267667","-806320","873069","873069","-724310","873069","308829","807709","873069","873069","-806320","0"],"shape":["1","4","7"]}]},"inputs":[{"data":["-161635","643059","-806320","-622233","-480819","0","-123242","-806320","873069","671611","-806320","873069","873069","0","487115","-806320","-798809","873069","786887","873069","873069","-806320","873069","-397062","-549264","291005","-806320","873069","873069","203857","200796","741250","873069","-33196","0","-806320","873069","774995","873069","0","-806320","386220","873069","-745299","267667","-806320","873069","873069","-724310","873069","308829","807709","873069","873069","-806320","0"],"shape":["2","4","7"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000020000008002000050b2f3ffffffffff6d520d0000000000010000008000000000000000000000000000000000000000080101000000000001000000080000000100000001000000","id":"split/random/2","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"refuse":"field_range"},"inputs":[{"data":["1038612291326562","251060773290898","1038612291326562","-77222504195597","1038612291326562","1038612291326562","1038612291326562","954232322893300","-610321994392613","533693965031945","1038612291326562","-610321994392613","1038612291326562","0","915787685575501","-610321994392613","937383266336463","1038612291326562","-610321994392613","-150815217252160","1038612291326562","920984731625892","854004644732380","-67825427286589","-610321994392613","1038612291326562","1038612291326562","289396767150826","1038612291326562","-36081174571959","431847695561311","212381079422251","-477116974308534","-610321994392613","424900427958128","1038612291326562","437870269680984","-610321994392613","0","0","0","1038612291326562","-610321994392613","743966115000995","0","0","-610321994392613","-610321994392613","1038612291326562","0","156850794034054","1038612291326562","-535213734097816","1038612291326562","-610321994392613","0","-610321994392613","-610321994392613","1038612291326562","125515280128348","834400124588954","-610321994392613","1038612291326562","104220855447974","684806579262821","-610321994392613","1038612291326562","1038612291326562","1038612291326562","475234624686411","0","-610321994392613","960277134608114","511605482661739","-610321994392613","-467473563831743","-222896997346549","428143386287599","1038612291326562","564050804082113","729591690234116","-610321994392613","554583476055911","0","768695324665844","868274243790109","-610321994392613","0","1038612291326562","756942393822759","-254782098919383","-71955875687930","1038612291326562","-610321994392613","1038612291326562","-610321994392613"],"shape":["4","6","4"]}],"scalars":[]},{"expect":{"refuse":"field_range"},"inputs":[{"data":["-242423226355948","-610321994392613","-610321994392613","0","714358202181174","0","1038612291326562","-560196627347877","983868441714161","-242817477639567","-610321994392613","-553880143694940","-27926495590285","1038612291326562","370676090768658","-610321994392613","1038612291326562","1038612291326562","-610321994392613","301800053531996","1038612291326562","-453321753736973","-202953561756310","166867255644763","-610321994392613","-610321994392613","-600200702934842","-610321994392613","1038612291326562","102299990803235","1038612291326562","-149316256953616","1038612291326562","-610321994392613","-129095736560568","1038612291326562","-543690846765447","-464695689935794","-585340237350568","-610321994392613","430838939407901","-610321994392613","-276200480785223","0","86174746191595","599581135923969","-79772640117883","-610321994392613","589646541648555","-610321994392613","-12324712979196","-610321994392613","-610321994392613","0","-329512860303163","-19556033035293","-46676625482517","1038612291326562","269455072096339","-92233269140933","0","672757196500990","0","540795929033406","194861566446465","383771151629202","751694212909548","1038612291326562","-79521693521838","1038612291326562","0","451119630836853","-610321994392613","0","495874968195148","410303298406809","1038612291326562","8749702886984","1038612291326562","-609820198812654","1038612291326562","1038612291326562","0","-610321994392613","1038612291326562","-610321994392613","-610321994392613","694670797251234","-572926107396581","0","0","-610321994392613","1038612291326562","1038612291326562","742325336139138","-610321994392613","-610321994392613","-215416815054586","437182456708693","536089661553558"],"shape":["4","5","5"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000010000000400000080020000db5b5356ead4fdff6212afc49cb00300020000008002000044f5f1ffffffffffbc660a0000000000080101000000000001000000080000000200000002000000","id":"split/random/3","load":"ok","profiles":["acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["118","-231","-231","164","189","131","-144","-231","-18","0","189","0","54","170","-231","189","-112","-231","67","62","123","109","-231","-198","-73","189","-231","-231","-63","0","148","-231","-231","189","71","-50"],"shape":["3","2","6"]}]},"inputs":[{"data":["-99","-231","-231","186","-231","189","-231","-231","189","0","133","189","118","-231","-231","164","189","131","-144","-231","-18","0","189","0","54","170","-231","189","-112","-231","67","62","123","109","-231","-198","-73","189","-231","-231","-63","0","148","-231","-231","189","71","-50","189","-231","153","189","20","-231","-231","-207","0","189","189","16"],"shape":["5","2","6"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-8","124","189","-206","189","-95","189","-39","-231","0","-231","-231","-231","189","-210","189","-231","-231","-170","-180","189","189","121","189","189","128","-68","-97","189","-231","-231","-174","-231","-154","-142","-231","189","189","-146","189","189","67","-231","-231","189","-159","0","-166","-231","189","97","-231","189","-214","77","189","0","189","-146","-231","-231","-89","0","89","189","189","-88","159","0","-231","-154","75"],"shape":["3","4","6"]}]},"inputs":[{"data":["0","-231","189","-90","189","-231","-231","189","189","189","189","189","-179","159","-39","-167","189","-231","0","-216","189","189","189","0","-8","124","189","-206","189","-95","189","-39","-231","0","-231","-231","-231","189","-210","189","-231","-231","-170","-180","189","189","121","189","189","128","-68","-97","189","-231","-231","-174","-231","-154","-142","-231","189","189","-146","189","189","67","-231","-231","189","-159","0","-166","-231","189","97","-231","189","-214","77","189","0","189","-146","-231","-231","-89","0","89","189","189","-88","159","0","-231","-154","75","0","-46","0","-231","-231","189","0","189","0","0","115","-183","-231","-231","189","189","-199","0","109","-157","-231","18","189","117"],"shape":["5","4","6"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000050000008002000019ffffffffffffffbd00000000000000030000008000000000000000000000000000000000000000080101000000000001000000080000000100000003000000","id":"split/random/4","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["0","62","0","0","0","120","5","68","3","112","22","120","120","120","0","0","18","120","120","111","87","98","120","120","0","0","27","120","120","0","0","35","100","95","0","88","120","120","84","76","58","120","27","39","120","0","17","51","0","0","0","97","120","0","0","0","120","120","120","38","0","120","0","120","59","0","0","0","63","120","41","0","9","0","102","63","120","60","105","77","0","0","88","77"],"shape":["2","7","6"]}]},"inputs":[{"data":["0","62","0","0","0","120","5","68","3","112","22","120","120","120","0","0","18","120","120","111","87","98","120","120","0","0","27","120","120","0","0","35","100","95","0","88","120","120","84","76","58","120","27","39","120","0","17","51","0","0","0","97","120","0","0","0","120","120","120","38","0","120","0","120","59","0","0","0","63","120","41","0","9","0","102","63","120","60","105","77","0","0","88","77"],"shape":["2","7","6"]}],"scalars":[]},{"expect":{"outputs":[{"data":["73","0","0","72","120","68","0","120","76","0","0","17","120","0","85","0","119","107","0","120","48","17","93","2","94","120","0","120","20","71","59","13","0","120","120","46","120","58","0","88","47","46","51","0","0","120","120","92","42","43","92","0","89","85","93","0","120","0","0","120"],"shape":["2","5","6"]}]},"inputs":[{"data":["73","0","0","72","120","68","0","120","76","0","0","17","120","0","85","0","119","107","0","120","48","17","93","2","94","120","0","120","20","71","59","13","0","120","120","46","120","58","0","88","47","46","51","0","0","120","120","92","42","43","92","0","89","85","93","0","120","0","0","120"],"shape":["2","5","6"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000020000008002000000000000000000007800000000000000020000008000000000000000000000000000000000000000080101000000000001000000080000000000000002000000","id":"split/random/5","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["221822483","709932977","-837912262","-1380291638","-33560378","-2147483648"],"shape":["1","1","6"]}]},"inputs":[{"data":["2147483647","-2110066665","870158055","2147483647","-874150302","-2147483648","221822483","709932977","-837912262","-1380291638","-33560378","-2147483648"],"shape":["2","1","6"]}],"scalars":[]},{"expect":{"outputs":[{"data":["0"],"shape":["1","1","1"]}]},"inputs":[{"data":["2147483647","0"],"shape":["2","1","1"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000020000008002000000000080ffffffffffffff7f00000000010000008000000000000000000000000000000000000000080101000000000001000000080000000100000001000000","id":"split/random/6","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"refuse":"field_range"},"inputs":[{"data":["684095141","-388318431","87445485","-459208597","755818310","17052506","-459208597","458430383","755818310","602100007","-263325736","-459208597","27372402","734059956","407121850","-459208597","-190823436","-459208597","-459208597","345648699","-292983143","-459208597","0","755818310","755818310","-459208597","-459208597","-459208597","-290564639","755818310","755818310","-381654576","755818310","-125120922","755818310","755818310","707030561","-459208597","-166210096","408251838","23574432","683534002","619356234","-459208597","-459208597","-459208597","-129993454","-459208597","0","0","-459208597","755818310","44259559","-459208597","-134731973","-459208597","172756115","0","704647926","755818310"],"shape":["5","6","2"]}],"scalars":[]},{"expect":{"refuse":"field_range"},"inputs":[{"data":["755818310","535953684","-459208597","755818310","-459208597","755818310","755818310","0","-440989837","755818310","367607043","-459208597","-459208597","-185660022","755818310","524993398","0","615799480","668178565","755818310","755818310","-262335687","755818310","710593235","755818310","-422019194","0","-459208597","755818310","20922277","405993047","44482468","-459208597","0","755818310","755818310","225729406","-7279634","-459208597","0","-459208597","-459208597","-414602809","409718987","-3039648","755818310","755818310","-459208597","755818310","755818310","-459208597","709356665","211771744","755818310","193044348","329766257","623903064","-254079526","-364256383","-459208597","-205216099","486810920","-459208597","-194982449","755818310","-459208597","-249201306","755818310","-459208597","-459208597","755818310","67562184","755818310","23270347","96756344","109698325","755818310","-459208597","0","755818310","755818310","167757251","-459208597","463789280","-288275965","702762696","755818310","-459208597","0","-459208597"],"shape":["5","6","3"]}],"scalars":[]}],"graph":"574847310101000002000000010000000100010000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000100000005000000800200006b08a1e4ffffffff46df0c2d00000000030000008002000003cd8aeeffffffff8f5c850600000000080101000000000001000000080000000200000003000000","id":"split/random/7","load":"ok","profiles":["acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["-48","-91","-48","-50","-91","-91"],"shape":["1","3","2"]}]},"inputs":[{"data":["-48","-91","-48","-50","-91","-91","-83","-48","-51","-91","-68","-68","-48","-49","-91","-48","-77","-48","-91","-73","-90","-48","-91","-67"],"shape":["4","3","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-78","-66","-48","-48","-66","-83","-78","-91","-91","-91","-76","-68","-48","-85","-91","-48","-48","-73","-91","-91"],"shape":["1","4","5"]}]},"inputs":[{"data":["-78","-66","-48","-48","-66","-83","-78","-91","-91","-91","-76","-68","-48","-85","-91","-48","-48","-73","-91","-91","-48","-61","-88","-89","-57","-48","-91","-91","-91","-66","-80","-48","-77","-91","-61","-71","-91","-48","-48","-48","-59","-48","-75","-48","-84","-55","-79","-48","-48","-48","-48","-91","-85","-51","-86","-48","-48","-91","-86","-91","-86","-48","-48","-48","-91","-77","-91","-48","-91","-85","-91","-57","-65","-48","-78","-91","-51","-62","-56","-86"],"shape":["4","4","5"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000004000000050000000000000000000000000000000000000000000000010000000400000080020000a5ffffffffffffffd0ffffffffffffff010000008000000000000000000000000000000000000000080101000000000001000000080000000000000001000000","id":"split/random/8","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175"],"shape":["1","4","6"]}]},"inputs":[{"data":["92","62","92","81","92","42","0","-35","86","92","92","92","92","-35","0","-35","-35","79","-35","92","0","0","92","16"],"shape":["1","4","6"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175","-175"],"shape":["1","5","9"]}]},"inputs":[{"data":["-35","0","92","92","0","18","92","-20","24","92","85","72","92","80","92","0","-35","-21","86","0","0","-9","92","92","-29","-35","92","92","79","49","-19","76","92","7","-35","0","92","-35","-35","92","0","92","36","-35","92"],"shape":["1","5","9"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000007000000090000000000000000000000000000000000000000000000010000000100000080020000ddffffffffffffff5c00000000000000010000008001000045ffffffffffffff51ffffffffffffff080101000000000001000000080000000000000001000000","id":"split/random/9","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["0","0","3","3","3","3","2","0","0","0","3","0","0","0","0","2","0","1","3","3","0","3","3","3","1","1","3","0","3","0","3","0","0","3","0","3"],"shape":["3","3","4"]}]},"inputs":[{"data":["1","3","1","0","0","3","3","2","3","1","2","1","0","0","3","3","3","3","2","0","0","0","3","0","0","0","0","2","0","1","3","3","0","3","3","3","1","1","3","0","3","0","3","0","0","3","0","3","3","3","0","3","0","3","3","0","0","3","3","3"],"shape":["5","3","4"]}],"scalars":[]},{"expect":{"outputs":[{"data":["0","3","3","0","0","3","3","0","0"],"shape":["3","3","1"]}]},"inputs":[{"data":["3","3","0","0","3","3","0","0","3","3","0","0","3","1","0"],"shape":["5","3","1"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000500000005000000000000000000000000000000000000000000000001000000050000008002000000000000000000000300000000000000030000008000000000000000000000000000000000000000080101000000000001000000080000000100000003000000","id":"split/random/10","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["-467372594731938","-862825926240758","-862825926240758","871153382413700","-862825926240758","-862825926240758","-862825926240758","1018958084622283","-862825926240758","-862825926240758","1018958084622283","-862825926240758","866774686074873","-439065699711507","0","-472926549143498","-862825926240758","-178780429677970","0","0","1018958084622283"],"shape":["1","3","7"]}]},"inputs":[{"data":["-467372594731938","-862825926240758","-862825926240758","871153382413700","-862825926240758","-862825926240758","-862825926240758","1018958084622283","-862825926240758","-862825926240758","1018958084622283","-862825926240758","866774686074873","-439065699711507","0","-472926549143498","-862825926240758","-178780429677970","0","0","1018958084622283"],"shape":["1","3","7"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-785339757036840","470802601223797","-862825926240758","1018958084622283","1018958084622283","-637105073818337","-862825926240758","785981090413167","-241202066911748","-862825926240758","-68397818034436","1018958084622283","438369820377654","-862825926240758","845206804156946","894023457623624","1018958084622283","1018958084622283","0","615098572525993","-862825926240758","-28956701316125","852803960153055","1018958084622283","1018958084622283","-862825926240758","101528455076107","0","1018958084622283","-850705465593590","-862825926240758","1018958084622283","557495470413612","-862825926240758","1018958084622283"],"shape":["1","5","7"]}]},"inputs":[{"data":["-785339757036840","470802601223797","-862825926240758","1018958084622283","1018958084622283","-637105073818337","-862825926240758","785981090413167","-241202066911748","-862825926240758","-68397818034436","1018958084622283","438369820377654","-862825926240758","845206804156946","894023457623624","1018958084622283","1018958084622283","0","615098572525993","-862825926240758","-28956701316125","852803960153055","1018958084622283","1018958084622283","-862825926240758","101528455076107","0","1018958084622283","-850705465593590","-862825926240758","1018958084622283","557495470413612","-862825926240758","1018958084622283"],"shape":["1","5","7"]}],"scalars":[]}],"graph":"574847310101000002000000010000000100010000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000100000001000000800200000ad629af43effcffcbc7acaabc9e0300010000008000000000000000000000000000000000000000080101000000000001000000080000000000000001000000","id":"split/random/11","load":"ok","profiles":["acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["8","152","0"],"shape":["1","3","1"]}]},"inputs":[{"data":["0","0","72","8","152","0"],"shape":["2","3","1"]}],"scalars":[]},{"expect":{"outputs":[{"data":["0","21","0"],"shape":["1","1","3"]}]},"inputs":[{"data":["0","0","0","0","21","0"],"shape":["2","1","3"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000300000005000000000000000000000000000000000000000000000001000000020000008002000000000000000000009800000000000000010000008000000000000000000000000000000000000000080101000000000001000000080000000100000001000000","id":"split/random/12","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["13","3","0"],"shape":["1","3","1"]}]},"inputs":[{"data":["2","2","2","13","3","0"],"shape":["2","3","1"]}],"scalars":[]},{"expect":{"outputs":[{"data":["13","9","13","13","5","0","10","11","0","2","13","0"],"shape":["1","2","6"]}]},"inputs":[{"data":["6","5","13","13","9","0","0","10","13","13","13","13","13","9","13","13","5","0","10","11","0","2","13","0"],"shape":["2","2","6"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000400000006000000000000000000000000000000000000000000000001000000020000008002000000000000000000000d00000000000000010000008000000000000000000000000000000000000000080101000000000001000000080000000100000001000000","id":"split/random/13","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["59","-210","59"],"shape":["1","3","1"]}]},"inputs":[{"data":["10","-81","-224","59","-210","59"],"shape":["2","3","1"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-224","0","-224","0"],"shape":["1","2","2"]}]},"inputs":[{"data":["59","-209","-58","-224","-224","0","-224","0"],"shape":["2","2","2"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000900000003000000000000000000000000000000000000000000000001000000020000008002000020ffffffffffffff3b00000000000000010000008000000000000000000000000000000000000000080101000000000001000000080000000100000001000000","id":"split/random/14","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["261","-157","-135","263","0","-157","277"],"shape":["1","1","7"]}]},"inputs":[{"data":["261","-157","-135","263","0","-157","277"],"shape":["1","1","7"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-157","277","277","-157","277","0","0"],"shape":["1","1","7"]}]},"inputs":[{"data":["-157","277","277","-157","277","0","0"],"shape":["1","1","7"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000010000008002000063ffffffffffffff1501000000000000010000008000000000000000000000000000000000000000080101000000000001000000080000000000000001000000","id":"split/random/15","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["-128","40","68","0","-27","105","127","127"],"shape":["1","1","8"]}]},"inputs":[{"data":["-31","127","-128","127","127","127","-45","-109","127","-128","-128","-63","-69","127","43","-128","0","127","-99","25","-128","127","-128","-128","127","127","-114","127","0","127","97","-36","-128","40","68","0","-27","105","127","127"],"shape":["5","1","8"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-128"],"shape":["1","1","1"]}]},"inputs":[{"data":["-128","-128","-128","-128","-128"],"shape":["5","1","1"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000500000008000000000000000000000000000000000000000000000001000000050000008002000080ffffffffffffff7f00000000000000010000008000000000000000000000000000000000000000080101000000000001000000080000000400000001000000","id":"split/random/16","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["1517192672","-1322271649","-2147483648","-2147483648","-310588761","-2147483648"],"shape":["1","6","1"]}]},"inputs":[{"data":["1517192672","-1322271649","-2147483648","-2147483648","-310588761","-2147483648"],"shape":["1","6","1"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-2147483648","1121892892","-1472191055","-1288179714","0","0","2147483647","2147483647","2147483647","2147483647","711968907","-1409555981","2147483647","1355499333","-1728002914","1945695126","0","2147483647","-2147483648","-2147483648","-2147483648","2147483647","2147483647","-2147483648","2147483647","461528719","2147483647","2147483647","-2061946068","2147483647","2147483647","0","-2147483648","-2147483648","-2147483648","2147483647","-2147483648","1262851339","2147483647","-1907468290","0","-2147483648"],"shape":["1","7","6"]}]},"inputs":[{"data":["-2147483648","1121892892","-1472191055","-1288179714","0","0","2147483647","2147483647","2147483647","2147483647","711968907","-1409555981","2147483647","1355499333","-1728002914","1945695126","0","2147483647","-2147483648","-2147483648","-2147483648","2147483647","2147483647","-2147483648","2147483647","461528719","2147483647","2147483647","-2061946068","2147483647","2147483647","0","-2147483648","-2147483648","-2147483648","2147483647","-2147483648","1262851339","2147483647","-1907468290","0","-2147483648"],"shape":["1","7","6"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000010000008002000000000080ffffffffffffff7f00000000010000008000000000000000000000000000000000000000080101000000000001000000080000000000000001000000","id":"split/random/17","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"refuse":"field_range"},"inputs":[{"data":["1017500501021887","1017500501021887","-665220842771460","-660397453290027"],"shape":["2","2","1"]}],"scalars":[]},{"expect":{"refuse":"field_range"},"inputs":[{"data":["1017500501021887","0","956725283175558","-665220842771460","-658212313126520","1017500501021887"],"shape":["2","3","1"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000003000000010000000000000000000000000000000000000000000000010000000200000080020000fc2bf833fca2fdffbf14ec4b699d03000200000080020000ab3af5ffffffffffe2aa0f0000000000080101000000000001000000080000000000000002000000","id":"split/random/18","load":"ok","profiles":["acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["-2147483648","-1504302657","-1544802674","414082840","353510111","-2147483648"],"shape":["1","3","2"]}]},"inputs":[{"data":["-2147483648","-1504302657","-1544802674","414082840","353510111","-2147483648"],"shape":["1","3","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["2147483647","-2147483648"],"shape":["1","1","2"]}]},"inputs":[{"data":["2147483647","-2147483648"],"shape":["1","1","2"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000010000008002000000000080ffffffffffffff7f00000000010000008000000000000000000000000000000000000000080101000000000001000000080000000000000001000000","id":"split/random/19","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["156","0","6"],"shape":["1","3","1"]}]},"inputs":[{"data":["230","34","123","156","0","6"],"shape":["2","3","1"]}],"scalars":[]},{"expect":{"outputs":[{"data":["0","80","0","224","117","0","84","0","83","218","182","230","230","0","0"],"shape":["1","3","5"]}]},"inputs":[{"data":["74","0","30","0","22","94","0","0","138","64","197","0","224","230","0","0","80","0","224","117","0","84","0","83","218","182","230","230","0","0"],"shape":["2","3","5"]}],"scalars":[]}],"graph":"574847310101000002000000010000000100010000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000100000002000000800200000000000000000000e600000000000000010000008000000000000000000000000000000000000000080101000000000001000000080000000100000001000000","id":"split/random/20","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["60","151","62"],"shape":["1","1","3"]}]},"inputs":[{"data":["60","233","62"],"shape":["1","1","3"]}],"scalars":[]},{"expect":{"outputs":[{"data":["98","151","151","0","145","151","0","151","0"],"shape":["1","3","3"]}]},"inputs":[{"data":["98","201","233","0","145","233","0","233","0"],"shape":["1","3","3"]}],"scalars":[]}],"graph":"574847310101000002000000010000000100010000000000000000040000000000000000070000000300000000000000000000000000000000000000000000000100000001000000800200000000000000000000e900000000000000010000008001000000000000000000009700000000000000080101000000000001000000080000000000000001000000","id":"split/random/21","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["-128","127","127","-5","-128","11"],"shape":["1","1","6"]}]},"inputs":[{"data":["-128","127","127","-5","-128","11"],"shape":["1","1","6"]}],"scalars":[]},{"expect":{"outputs":[{"data":["0","-128","127","-73","127","127","-78","-128","-104","127","-7","27","-128","45","-128","102","-128","-46","-128","-106","127","112","127","-68","-128","-71","27","127","-119","127"],"shape":["1","6","5"]}]},"inputs":[{"data":["0","-128","127","-73","127","127","-78","-128","-104","127","-7","27","-128","45","-128","102","-128","-46","-128","-106","127","112","127","-68","-128","-71","27","127","-119","127"],"shape":["1","6","5"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000600000008000000000000000000000000000000000000000000000001000000010000008002000080ffffffffffffff7f000000000000000100000080010000a642c5eeffffffff2c8e8d2100000000080101000000000001000000080000000000000001000000","id":"split/random/22","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["-188426","895557","0","895557","0","453788","895557","0","589995","-40458","763375","-188426","-188426","-160123","0","-188426","-14339","604005","895557","895557","-188426","895557","345028","705630","-188426"],"shape":["1","5","5"]}]},"inputs":[{"data":["-188426","895557","0","895557","0","453788","895557","0","589995","-40458","763375","-188426","-188426","-160123","0","-188426","-14339","604005","895557","895557","-188426","895557","345028","705630","-188426"],"shape":["1","5","5"]}],"scalars":[]},{"expect":{"outputs":[{"data":["158847","895557","-18634"],"shape":["1","1","3"]}]},"inputs":[{"data":["158847","895557","-18634"],"shape":["1","1","3"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000009000000070000000000000000000000000000000000000000000000010000000100000080020000f61ffdffffffffff45aa0d0000000000010000008000000000000000000000000000000000000000080101000000000001000000080000000000000001000000","id":"split/random/23","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["-71","-46","-62","-66","-70","-71","-49","-67","-61","-71","-46","-50"],"shape":["2","3","2"]}]},"inputs":[{"data":["-71","-46","-56","-46","-53","-49","-71","-46","-62","-66","-70","-71","-49","-67","-61","-71","-46","-50"],"shape":["3","3","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-46","-71","-46","-56","-71","-67"],"shape":["2","3","1"]}]},"inputs":[{"data":["-71","-71","-46","-46","-71","-46","-56","-71","-67"],"shape":["3","3","1"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000006000000020000000000000000000000000000000000000000000000010000000300000080020000b9ffffffffffffffd2ffffffffffffff020000008001000057187a6facc0feffb4c1e93993670100080101000000000001000000080000000100000002000000","id":"split/random/24","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["-61","-8","113","-96","144","107"],"shape":["1","3","2"]}]},"inputs":[{"data":["-61","-8","113","-96","144","107"],"shape":["1","3","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["33"],"shape":["1","1","1"]}]},"inputs":[{"data":["33"],"shape":["1","1","1"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000010000000100000080020000a0ffffffffffffffd40000000000000001000000800200006c43fbffffffffffce98050000000000080101000000000001000000080000000000000001000000","id":"split/random/25","load":"ok","profiles":["acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["127","-94"],"shape":["1","2","1"]}]},"inputs":[{"data":["127","-94","-128","0","127","127"],"shape":["3","2","1"]}],"scalars":[]},{"expect":{"outputs":[{"data":["73"],"shape":["1","1","1"]}]},"inputs":[{"data":["73","127","-50"],"shape":["3","1","1"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000400000001000000000000000000000000000000000000000000000001000000030000008002000080ffffffffffffff7f00000000000000010000008000000000000000000000000000000000000000080101000000000001000000080000000000000001000000","id":"split/random/26","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["49","-188","49","0","-12","-39","-27","-167","-188","13","38","-188","0","-33","49","-188","-86","-188","6","12","49","0","49","0","-1"],"shape":["1","5","5"]}]},"inputs":[{"data":["49","-188","-152","0","-188","49","-11","-164","-188","49","-188","-27","-70","-154","-188","-188","49","-175","49","49","45","49","0","39","49","49","-188","49","0","-12","-39","-27","-167","-188","13","38","-188","0","-33","49","-188","-86","-188","6","12","49","0","49","0","-1"],"shape":["2","5","5"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-188","49","-188","-186","-41","-102","49","49","49","-188","49","-135","49","0","-188","-188","0","-188","0","-184"],"shape":["1","5","4"]}]},"inputs":[{"data":["49","0","42","-65","-184","49","-188","49","-85","49","49","49","-188","-188","-6","-24","49","-188","-150","-188","-188","49","-188","-186","-41","-102","49","49","49","-188","49","-135","49","0","-188","-188","0","-188","0","-184"],"shape":["2","5","4"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000020000008002000044ffffffffffffff3100000000000000010000008000000000000000000000000000000000000000080101000000000001000000080000000100000001000000","id":"split/random/27","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["0","0","0","133"],"shape":["1","4","1"]}]},"inputs":[{"data":["2147483647","1827571878","-2147483648","-1507695841","2147483647","1306183780","243880575","0","-2138743612","2147483647","-2147483648","2147483647","-2147483648","-2147483648","-2147483648","2147483647"],"shape":["4","4","1"]}],"scalars":[]},{"expect":{"outputs":[{"data":["0","133","0","0","0","0","133","133","133","0","133","0","0","0","133","0","0","0","133","0","133","0","133","0","0","133","0","0","133","0","0","0","0","133","0"],"shape":["1","7","5"]}]},"inputs":[{"data":["-2147483648","2147483647","-2147483648","-2147483648","2147483647","0","-1299249449","1121085843","-2147483648","-242544782","522865112","1205784998","2147483647","0","2147483647","2147483647","-2147483648","2147483647","0","2147483647","0","2029001907","-2147483648","-2147483648","2147483647","0","-2147483648","0","2147483647","-2147483648","1868060781","-616851048","-2147483648","2147483647","-2147483648","-2147483648","-1423758167","-2133398424","1229949352","659063034","-135083403","521938012","-2147483648","2147483647","-2147483648","1479594399","2147483647","-2147483648","399949966","1826884078","-2147483648","857336625","1553991709","2147483647","-2147483648","1066567059","2147483647","-1786695194","979766509","0","-2147483648","-2036149996","-1814815272","-2147483648","-2147483648","-2052157211","32658391","1957681063","0","2147483647","-2147483648","2147483647","-2147483648","0","-2147483648","-2147483648","0","2084784686","0","-2147483648","0","-2147483648","1968474422","829523750","2147483647","2147483647","-1580129178","628935095","2147483647","2147483647","1077542020","2147483647","2147483647","790086576","750342765","0","2147483647","2147483647","2147483647","-2147483648","-1481067835","2147483647","-82593737","0","2147483647","-2147483648","300704905","0","-2147483648","-2007212415","-2147483648","2147483647","1453437684","2111532696","-115420676","655911241","-2147483648","-2147483648","-2147483648","2147483647","-1617759796","-590546697","-721259302","1606422770","0","2051033747","0","2147483647","-2147483648","-2147483648","2147483647","-2147483648","-2147483648","2147483647","-1791369809","-2147483648","-2147483648","-2147483648","2147483647","-1552025217"],"shape":["4","7","5"]}],"scalars":[]}],"graph":"5748473101010000020000000100000001000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000040000008002000000000080ffffffffffffff7f00000000010000008001000000000000000000008500000000000000080101000000000001000000080000000300000001000000","id":"split/random/28","load":"ok","profiles":["acc32","acc64"]}
{"decodes":[{"expect":{"refuse":"field_range"},"inputs":[{"data":["-693208","868088","739717","-693208","108736","686778","868088","735808","868088","-693208","-693208","113402","-363167","-693208","-693208","-693208","-211223","0","868088","661734","868088","-309447","262448","-693208","108942","472638","68271","372174","-693208","-693208","-321163","-692456","587303","749039","-126805","-544543"],"shape":["1","6","6"]}],"scalars":[]},{"expect":{"refuse":"field_range"},"inputs":[{"data":["868088","156363","-693208","-128199","0","-573476","-693208","-591508","0","-245346","219534","838665","868088","-561968","868088","-196122","797029","190872","-693208","-693208","868088"],"shape":["1","3","7"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000010000000100000080020000286cf5fffffffffff83e0d000000000001000000800200000d000000000000002600000000000000080101000000000001000000080000000000000001000000","id":"split/random/29","load":"ok","profiles":["acc64"]}
{"decodes":[],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000010000000300000080020000fbffffffffffffff0500000000000000020000008000000000000000000000000000000000000000080101000000000001000000080000000200000002000000","id":"split/channels/30","load":"model_mismatch","profiles":["acc32","acc64"]}