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]>
41 lines
34 KiB
JSON
41 lines
34 KiB
JSON
{"decodes":[{"expect":{"outputs":[{"data":["1354496","-4129633","-2652736","-2744320","-1564352","4194304","4194304","0"],"shape":["4","1","2"]}]},"inputs":[{"data":["-65536","2923","-65536","65536","-65536","-65536","65536","0"],"shape":["4","1","2"]},{"data":["-24087","-65536","65536","22656","65536","-41093","0","-65536"],"shape":["4","1","2"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000100000002000000000000000000000000000000000000000000000001000000010000000200000000000000000000000000000000000000000000000200000004000000800200000000ffffffffffff000001000000000004000000800200000000ffffffffffff00000100000000000400000080000000000000000000000000000000000000001d0201000000000001000000020000000d0000000200000002000001000000000a","id":"gram/random/0","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-14","352","-677","-352","-238","-660","230","683"],"shape":["4","1","2"]}]},"inputs":[{"data":["300","-300","-300","-290","-280","-300","300","300"],"shape":["4","2","1"]},{"data":["288","300","300","0","-104","300","300","283"],"shape":["4","2","1"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000020000000100000000000000000000000000000000000000000000000100000002000000010000000000000000000000000000000000000000000000020000000400000080020000d4feffffffffffff2c010000000000000400000080020000d4feffffffffffff2c010000000000000400000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000002000000020000010000000008","id":"gram/random/1","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-52050"],"shape":["1","1","1"]}]},"inputs":[{"data":["300","300"],"shape":["1","2","1"]},{"data":["-300","-47"],"shape":["1","2","1"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000020000000300000000000000000000000000000000000000000000000100000002000000030000000000000000000000000000000000000000000000020000000100000080020000d4feffffffffffff2c010000000000000100000080020000d4feffffffffffff2c010000000000000100000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000001000000000000010000000001","id":"gram/random/2","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-337"],"shape":["1","1","1"]}]},"inputs":[{"data":["-36"],"shape":["1","1","1"]},{"data":["300"],"shape":["1","1","1"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000020000000100000000000000000000000000000000000000000000000100000002000000010000000000000000000000000000000000000000000000020000000100000080020000d4feffffffffffff2c010000000000000100000080020000d4feffffffffffff2c010000000000000100000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000001000000010000010000000005","id":"gram/random/3","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["37272563176439808"],"shape":["1","1","1"]}]},"inputs":[{"data":["268435456","268435456","-268435456"],"shape":["1","1","3"]},{"data":["-174599152","268435456","-45014814"],"shape":["1","1","3"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000040000000300000000000000000000000000000000000000000000000100000004000000030000000000000000000000000000000000000000000000020000000100000080020000000000f0ffffffff00000010000000000100000080020000000000f0ffffffff00000010000000000100000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000001000000010000010000000000","id":"gram/random/4","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["65536","-131072","0","-5221","35371","36811","-2061","-36811"],"shape":["4","1","2"]}]},"inputs":[{"data":["65536","0","-65536","0","-60315","-65536","-65536","-65536","-65536","65536","0","65536"],"shape":["4","1","3"]},{"data":["65536","0","0","-65536","-65536","65536","14277","-33310","-16338","22237","0","-59048"],"shape":["4","1","3"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000400000004000000000000000000000000000000000000000000000001000000040000000400000000000000000000000000000000000000000000000200000004000000800200000000ffffffffffff000001000000000004000000800200000000ffffffffffff00000100000000000400000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000002000000000000010000000010","id":"gram/random/5","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0"],"shape":["1","1","1"]}]},"inputs":[{"data":["0"],"shape":["1","1","1"]},{"data":["-29016"],"shape":["1","1","1"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000100000002000000000000000000000000000000000000000000000001000000010000000200000000000000000000000000000000000000000000000200000001000000800200000000ffffffffffff000001000000000001000000800200000000ffffffffffff00000100000000000100000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000001000000000000010000000003","id":"gram/random/6","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0"],"shape":["1","1","1"]}]},"inputs":[{"data":["-52","300"],"shape":["1","2","1"]},{"data":["271","-188"],"shape":["1","2","1"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000020000000400000000000000000000000000000000000000000000000100000002000000040000000000000000000000000000000000000000000000020000000100000080020000d4feffffffffffff2c010000000000000100000080020000d4feffffffffffff2c010000000000000100000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000001000000020000010000000028","id":"gram/random/7","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0","0"],"shape":["2","1","1"]}]},"inputs":[{"data":["203","-300"],"shape":["2","1","1"]},{"data":["-300","119"],"shape":["2","1","1"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000010000000100000000000000000000000000000000000000000000000100000001000000010000000000000000000000000000000000000000000000020000000200000080020000d4feffffffffffff2c010000000000000200000080020000d4feffffffffffff2c010000000000000200000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000002000000010000010000000028","id":"gram/random/8","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["17","19"],"shape":["2","1","1"]}]},"inputs":[{"data":["-75","-65"],"shape":["2","1","1"]},{"data":["-228","-300"],"shape":["2","1","1"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000010000000100000000000000000000000000000000000000000000000100000001000000010000000000000000000000000000000000000000000000020000000200000080020000d4feffffffffffff2c010000000000000200000080020000d4feffffffffffff2c010000000000000200000080000000000000000000000000000000000000001d0201000000000001000000020000000d0000000200000002000001000000000a","id":"gram/random/9","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-430292992","143106048"],"shape":["2","1","1"]}]},"inputs":[{"data":["65536","-17469"],"shape":["2","1","1"]},{"data":["-52526","-65536"],"shape":["2","1","1"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000400000001000000000000000000000000000000000000000000000001000000040000000100000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff000001000000000002000000800200000000ffffffffffff00000100000000000200000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000002000000000000010000000003","id":"gram/random/10","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-4957121498054656","1973777866923545","9007199254740992","-632797728591035","8021068197934636","12286435642048512","-3861947653029888","0"],"shape":["4","1","2"]}]},"inputs":[{"data":["-147733733","-268435456","268435456","18888588","268435456","-97728860","-268435456","-268435456"],"shape":["4","1","2"]},{"data":["268435456","0","-15312718","-50395794","205963952","-90868943","268435456","-268435456"],"shape":["4","1","2"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000040000000200000000000000000000000000000000000000000000000100000004000000020000000000000000000000000000000000000000000000020000000400000080020000000000f0ffffffff00000010000000000400000080020000000000f0ffffffff00000010000000000400000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000002000000020000010000000003","id":"gram/random/11","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["76"],"shape":["1","1","1"]}]},"inputs":[{"data":["264","-300","0","297"],"shape":["1","2","2"]},{"data":["300","300","-300","300"],"shape":["1","2","2"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000020000000300000000000000000000000000000000000000000000000100000002000000030000000000000000000000000000000000000000000000020000000100000080020000d4feffffffffffff2c010000000000000100000080020000d4feffffffffffff2c010000000000000100000080000000000000000000000000000000000000001d0201000000000001000000020000000d0000000100000001000001000000000a","id":"gram/random/12","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-8356699900477197"],"shape":["1","1","1"]}]},"inputs":[{"data":["-4760226","-268435456","-268435456","-268435456","232342863","0","268435456","-268435456","-169049677","0","181005993","-37306848"],"shape":["1","4","3"]},{"data":["-110978353","-268435456","268435456","268435456","-39027996","-268435456","268435456","103043001","268435456","-268435456","-268435456","94884879"],"shape":["1","4","3"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000040000000400000000000000000000000000000000000000000000000100000004000000040000000000000000000000000000000000000000000000020000000100000080020000000000f0ffffffff00000010000000000100000080020000000000f0ffffffff00000010000000000100000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000001000000000000010000000004","id":"gram/random/13","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["772227072"],"shape":["1","1","1"]}]},"inputs":[{"data":["65536","65536"],"shape":["1","2","1"]},{"data":["0","47133"],"shape":["1","2","1"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000200000001000000000000000000000000000000000000000000000001000000020000000100000000000000000000000000000000000000000000000200000001000000800200000000ffffffffffff000001000000000001000000800200000000ffffffffffff00000100000000000100000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000001000000010000010000000002","id":"gram/random/14","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-4503599627370496"],"shape":["1","1","1"]}]},"inputs":[{"data":["-268435456","0"],"shape":["1","2","1"]},{"data":["268435456","268435456"],"shape":["1","2","1"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000020000000400000000000000000000000000000000000000000000000100000002000000040000000000000000000000000000000000000000000000020000000100000080020000000000f0ffffffff00000010000000000100000080020000000000f0ffffffff00000010000000000100000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000001000000000000010000000004","id":"gram/random/15","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["73383583204272","-12411769126912"],"shape":["2","1","1"]}]},"inputs":[{"data":["219596407","268435456","-268435456","-268435456","268435456","-268435456","-24101308","-268435456","268435456","-182933846","-64284152","-105726789","-268435456","-219288720","221010266","268435456","0","268435456","-268435456","-268435456","195242408","268435456","268435456","68358470"],"shape":["2","3","4"]},{"data":["90408352","268435456","1403990","-268435456","0","268435456","82870256","-268435456","164813872","-268435456","-268435456","-268435456","3282701","268435456","268435456","-268435456","-268435456","134685377","268435456","54077333","0","0","268435456","0"],"shape":["2","3","4"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000030000000400000000000000000000000000000000000000000000000100000003000000040000000000000000000000000000000000000000000000020000000200000080020000000000f0ffffffff00000010000000000200000080020000000000f0ffffffff00000010000000000200000080000000000000000000000000000000000000001d0201000000000001000000020000000d0000000200000001000001000000000c","id":"gram/random/16","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["41715","-5321","-41715","5321","65536","-65536","41900","-41900"],"shape":["4","1","2"]}]},"inputs":[{"data":["268435456","-268435456","-268435456","-171624031"],"shape":["4","1","1"]},{"data":["170863159","-21795747","-268435456","268435456"],"shape":["4","1","1"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000010000000200000000000000000000000000000000000000000000000100000001000000020000000000000000000000000000000000000000000000020000000400000080020000000000f0ffffffff00000010000000000400000080020000000000f0ffffffff00000010000000000400000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000002000000010000010000000028","id":"gram/random/17","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-28154753108244","-26863057196567","-13948177874944","-5174189918362","5303729527120","-15145983031919","12038329335808","14789137072128"],"shape":["4","1","2"]}]},"inputs":[{"data":["268435456","21883558","268435456","152209208","0","268435456","-59118806","184088355","167198365","161890816","-50979639","-268435456","-268435456","0","268435456","161383212"],"shape":["4","4","1"]},{"data":["-1799974","-87862755","-268435456","-268435456","-268435456","-268435456","-233694082","201253344","-76638084","-147228938","268435456","-268435456","-116178342","-228744056","109485981","0"],"shape":["4","4","1"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000040000000100000000000000000000000000000000000000000000000100000004000000010000000000000000000000000000000000000000000000020000000400000080020000000000f0ffffffff00000010000000000400000080020000000000f0ffffffff00000010000000000400000080000000000000000000000000000000000000001d0201000000000001000000020000000d0000000200000002000001000000000c","id":"gram/random/18","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0","-2883846144"],"shape":["2","1","1"]}]},"inputs":[{"data":["0","44004"],"shape":["2","1","1"]},{"data":["0","-65536"],"shape":["2","1","1"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000200000001000000000000000000000000000000000000000000000001000000020000000100000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff000001000000000002000000800200000000ffffffffffff00000100000000000200000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000002000000020000010000000000","id":"gram/random/19","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["2100","-6325"],"shape":["2","1","1"]}]},"inputs":[{"data":["0","0","-300","-300","-300","-300","300","300","-300","129","-82","213","300","-300","-199","-300"],"shape":["2","2","4"]},{"data":["-257","300","136","-248","300","300","300","300","-69","300","300","172","-300","0","-37","300"],"shape":["2","2","4"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000030000000400000000000000000000000000000000000000000000000100000003000000040000000000000000000000000000000000000000000000020000000200000080020000d4feffffffffffff2c010000000000000200000080020000d4feffffffffffff2c010000000000000200000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000002000000010000010000000004","id":"gram/random/20","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["6864","15566","3042","6898","-65536","-58198","-65536","-58198"],"shape":["4","1","2"]}]},"inputs":[{"data":["85873037","38054607","-268435456","-268435456"],"shape":["4","1","1"]},{"data":["87883040","199311070","268435456","238378291"],"shape":["4","1","1"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000020000000300000000000000000000000000000000000000000000000100000002000000030000000000000000000000000000000000000000000000020000000400000080020000000000f0ffffffff00000010000000000400000080020000000000f0ffffffff00000010000000000400000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000002000000020000010000000028","id":"gram/random/21","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-20182513","58281573","9800622","69638631","9398676","11938046","-50437564","-61000094"],"shape":["4","1","2"]}]},"inputs":[{"data":["-124762504","-260304559","-242096572","-103909857","-268435456","-35197936","173117667","-107325131","268435456","-90337199","-268435456","268435456","-27861834","0","0","147751438","90911437","11191322","-247172087","227313562","208519609","-268435456","-268435456","-4496571"],"shape":["4","3","2"]},{"data":["-102826040","252016670","268435456","68213237","-268435456","-268435456","-239457509","-268435456","134273647","60899597","-268435456","221998891","76151924","-268435456","0","268435456","-157871695","-268435456","193065280","268435456","-268435456","65083667","268435456","-268435456"],"shape":["4","3","2"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000030000000200000000000000000000000000000000000000000000000100000003000000020000000000000000000000000000000000000000000000020000000400000080020000000000f0ffffffff00000010000000000400000080020000000000f0ffffffff00000010000000000400000080000000000000000000000000000000000000001d0201000000000001000000020000000d0000000200000001000001000000001f","id":"gram/random/22","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["1","0","0","0"],"shape":["2","1","2"]}]},"inputs":[{"data":["65536","-65536","-64362","-29060","27991","30253"],"shape":["2","3","1"]},{"data":["-23394","-65536","-65536","2658","42062","10268"],"shape":["2","3","1"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000300000004000000000000000000000000000000000000000000000001000000030000000400000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff000001000000000002000000800200000000ffffffffffff00000100000000000200000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000001000000020000010000000021","id":"gram/random/23","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-1","0"],"shape":["2","1","1"]}]},"inputs":[{"data":["69","-300","300","-229"],"shape":["2","2","1"]},{"data":["300","232","156","-289"],"shape":["2","2","1"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000020000000400000000000000000000000000000000000000000000000100000002000000040000000000000000000000000000000000000000000000020000000200000080020000d4feffffffffffff2c010000000000000200000080020000d4feffffffffffff2c010000000000000200000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000002000000000000010000000028","id":"gram/random/24","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-404"],"shape":["1","1","1"]}]},"inputs":[{"data":["-300","-119"],"shape":["1","2","1"]},{"data":["78","-88"],"shape":["1","2","1"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000040000000200000000000000000000000000000000000000000000000100000004000000020000000000000000000000000000000000000000000000020000000100000080020000d4feffffffffffff2c010000000000000100000080020000d4feffffffffffff2c010000000000000100000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000001000000000000010000000005","id":"gram/random/25","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["178566","-167203","104488","431"],"shape":["2","1","2"]}]},"inputs":[{"data":["92281591","268435456","268435456","109198778","173131433","174315780","268435456","268435456","268435456","0","0","-268435456","-169208645","-158949079","42366113","268435456","268435456","0","268435456","-267293236","99715175","268435456","268435456","268435456"],"shape":["2","4","3"]},{"data":["0","0","230136266","-80066148","141234811","268435456","268435456","268435456","0","268435456","-207521330","268435456","-268435456","-268435456","24472073","-151611408","-268435456","171045942","24017454","-210657674","-26211185","122151689","-268435456","12033204"],"shape":["2","4","3"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000040000000300000000000000000000000000000000000000000000000100000004000000030000000000000000000000000000000000000000000000020000000200000080020000000000f0ffffffff00000010000000000200000080020000000000f0ffffffff00000010000000000200000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000001000000010000010000000028","id":"gram/random/26","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-5785"],"shape":["1","1","1"]}]},"inputs":[{"data":["-116","171","-81"],"shape":["1","3","1"]},{"data":["44","-300","-125"],"shape":["1","3","1"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000030000000100000000000000000000000000000000000000000000000100000003000000010000000000000000000000000000000000000000000000020000000100000080020000d4feffffffffffff2c010000000000000100000080020000d4feffffffffffff2c010000000000000100000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000001000000010000010000000003","id":"gram/random/27","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["5067026004911301"],"shape":["1","1","1"]}]},"inputs":[{"data":["0","-205257642","115736182"],"shape":["1","1","3"]},{"data":["-83887589","-253903224","-100049689"],"shape":["1","1","3"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000040000000400000000000000000000000000000000000000000000000100000004000000040000000000000000000000000000000000000000000000020000000100000080020000000000f0ffffffff00000010000000000100000080020000000000f0ffffffff00000010000000000100000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000001000000000000010000000003","id":"gram/random/28","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["950796288","-950796288","2147483648","-2147483648","-894205952","-894205952","708542464","708542464"],"shape":["4","1","2"]}]},"inputs":[{"data":["29016","65536","27289","-21623"],"shape":["4","1","1"]},{"data":["65536","-65536","-65536","-65536"],"shape":["4","1","1"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000100000002000000000000000000000000000000000000000000000001000000010000000200000000000000000000000000000000000000000000000200000004000000800200000000ffffffffffff000001000000000004000000800200000000ffffffffffff00000100000000000400000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000002000000010000010000000001","id":"gram/random/29","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["25341853","-366047322"],"shape":["2","1","1"]}]},"inputs":[{"data":["31179","65536","-65536","0","-65536","0","9999","-41174","63843","65536","65536","65536"],"shape":["2","3","2"]},{"data":["51907","0","65536","65536","-53215","-17444","-65536","65144","26645","-27886","-65536","-60342"],"shape":["2","3","2"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000300000002000000000000000000000000000000000000000000000001000000030000000200000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff000001000000000002000000800200000000ffffffffffff00000100000000000200000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000002000000010000010000000005","id":"gram/random/30","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0","-1"],"shape":["2","1","1"]}]},"inputs":[{"data":["38185","65536","-65536","0","-65536","-65536","64225","12914"],"shape":["2","2","2"]},{"data":["17152","65536","65536","-42249","-65536","49612","-32073","-65536"],"shape":["2","2","2"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000300000002000000000000000000000000000000000000000000000001000000030000000200000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff000001000000000002000000800200000000ffffffffffff00000100000000000200000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000002000000000000010000000028","id":"gram/random/31","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["22500","-103200","38250","-23873"],"shape":["2","1","2"]}]},"inputs":[{"data":["300","300","300","0","300","222","-300","-183"],"shape":["2","4","1"]},{"data":["-150","300","0","-300","-115","-273","-300","233"],"shape":["2","4","1"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000040000000200000000000000000000000000000000000000000000000100000004000000020000000000000000000000000000000000000000000000020000000200000080020000d4feffffffffffff2c010000000000000200000080020000d4feffffffffffff2c010000000000000200000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000001000000000000010000000001","id":"gram/random/32","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["536870912","0","-118579200","-118579200","-65851392","247488512","28667266","-247488512"],"shape":["4","1","2"]}]},"inputs":[{"data":["65536","65536","0","-28950","0","-65536","9863","65536"],"shape":["4","1","2"]},{"data":["65536","65536","-65536","65536","-60321","16077","0","-60422"],"shape":["4","1","2"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000100000003000000000000000000000000000000000000000000000001000000010000000300000000000000000000000000000000000000000000000200000004000000800200000000ffffffffffff000001000000000004000000800200000000ffffffffffff00000100000000000400000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000002000000010000010000000004","id":"gram/random/33","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-192200525312"],"shape":["1","1","1"]}]},"inputs":[{"data":["-57375577","0","-268435456","-268435456","268435456","0","0","-268435456"],"shape":["1","4","2"]},{"data":["268435456","268435456","0","156536813","-268435456","84766888","113105457","268435456"],"shape":["1","4","2"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000040000000200000000000000000000000000000000000000000000000100000004000000020000000000000000000000000000000000000000000000020000000100000080020000000000f0ffffffff00000010000000000100000080020000000000f0ffffffff00000010000000000100000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000001000000000000010000000014","id":"gram/random/34","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["921184108544","-3889104999513","34782843174912","-21091900295837","8602880245760","-6309730516992","17592186044416","17592186044416"],"shape":["4","1","2"]}]},"inputs":[{"data":["56863228","70919382","-262308611","268435456","-268435456","-96278847","0","268435456"],"shape":["4","2","1"]},{"data":["-268435456","268435456","54648719","-268435456","-227548382","268435456","0","268435456"],"shape":["4","2","1"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000030000000100000000000000000000000000000000000000000000000100000003000000010000000000000000000000000000000000000000000000020000000400000080020000000000f0ffffffff00000010000000000400000080020000000000f0ffffffff00000010000000000400000080000000000000000000000000000000000000001d0201000000000001000000020000000d0000000200000000000001000000000c","id":"gram/random/35","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["372399798","342532964","-305482075","-214501521","1011335168","171676099","-263558277","-843227136"],"shape":["4","1","2"]}]},"inputs":[{"data":["-16580","65536","10453","-35851","-12092","-31842","65439","-65536","0","-65536","-65536","30121"],"shape":["4","3","1"]},{"data":["65536","65536","-21925","65536","65536","-44783","65536","-58015","-53636","46919","25893","-65536"],"shape":["4","3","1"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000300000001000000000000000000000000000000000000000000000001000000030000000100000000000000000000000000000000000000000000000200000004000000800200000000ffffffffffff000001000000000004000000800200000000ffffffffffff00000100000000000400000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000002000000000000010000000003","id":"gram/random/36","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["4","3","1","0"],"shape":["2","1","2"]}]},"inputs":[{"data":["0","65536","0","65536","52904","-65536","-51106","65536","31630","65536","0","0","65536","65536","0","46673"],"shape":["2","2","4"]},{"data":["11792","65536","27117","65536","-1315","-65536","603","65536","65536","65536","-8250","3852","-14799","-65536","-64870","19616"],"shape":["2","2","4"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000300000004000000000000000000000000000000000000000000000001000000030000000400000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff000001000000000002000000800200000000ffffffffffff00000100000000000200000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000001000000020000010000000020","id":"gram/random/37","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-2474737370304147","-7516312351282070"],"shape":["2","1","1"]}]},"inputs":[{"data":["106103497","-268435456","-114885370","268435456","-83224070","119138065","-268435456","268435456","117022766","-109213407","-268435456","0","-105933827","-268435456","0","-268435456","268435456","268435456","268435456","-64018195","230107700","9016328","0","268435456"],"shape":["2","4","3"]},{"data":["-266922944","199230167","268435456","31104784","-268435456","-268435456","-268435456","-209213119","-116375638","0","-268435456","-268435456","268435456","265838919","0","-268435456","-268435456","-103433613","0","152021982","-228605479","-268435456","-268435456","268435456"],"shape":["2","4","3"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000040000000400000000000000000000000000000000000000000000000100000004000000040000000000000000000000000000000000000000000000020000000200000080020000000000f0ffffffff00000010000000000200000080020000000000f0ffffffff00000010000000000200000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000002000000020000010000000004","id":"gram/random/38","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-4","-6","1","1","-4","1","3","-9"],"shape":["4","1","2"]}]},"inputs":[{"data":["300","-300","-300","300","-300","5","300","300","300","1","-300","-300","-300","-209","300","-300","300","300","300","50","260","-300","-282","-30","-300","-162","300","300","-300","145","-300","-300","-300","-300","300","-300","-269","300","54","-88","300","300","300","74","252","300","300","-51","-231","300","-260","-89","300","254","-288","-243","-300","-300","-58","-300","300","0","-300","257"],"shape":["4","4","4"]},{"data":["-101","0","-300","-300","0","6","-241","-300","-300","-300","300","-300","183","147","81","-175","-300","-300","275","-300","95","0","-300","-126","-175","0","-267","-8","-300","-46","-300","300","300","248","6","32","0","-32","0","-300","-300","-279","-279","0","280","16","300","-300","284","-289","251","7","137","-232","192","272","113","300","58","-300","-82","-300","300","-300"],"shape":["4","4","4"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000040000000400000000000000000000000000000000000000000000000100000004000000040000000000000000000000000000000000000000000000020000000400000080020000d4feffffffffffff2c010000000000000400000080020000d4feffffffffffff2c010000000000000400000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000002000000010000010000000010","id":"gram/random/39","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"geometry_mismatch"},"inputs":[{"data":["1","1","1","1","1","1","1","1"],"shape":["2","2","2"]},{"data":["1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","2","3"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000030000000300000000000000000000000000000000000000000000000100000003000000030000000000000000000000000000000000000000000000020000000200000080020000fbffffffffffffff05000000000000000200000080020000fbffffffffffffff05000000000000000200000080000000000000000000000000000000000000001d0201000000000001000000020000000d00000001000000010000010000000001","id":"gram/geometry/40","load":"ok","profiles":["acc32","acc64"]}
|