608a1bea8d
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]>
42 lines
38 KiB
JSON
42 lines
38 KiB
JSON
{"decodes":[{"expect":{"outputs":[{"data":["17908335","-23337300","19994964","14608044","-10289152","39321600","-35979264","1376256"],"shape":["2","4","1"]}]},"inputs":[{"data":["65536","12255","-65536","-65536"],"shape":["2","1","2"]},{"data":["300","-300","249","279","-143","-300","300","-300"],"shape":["2","4","1"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff00000100000000000200000080020000d4feffffffffffff2c010000000000000200000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000001000000020000010000000000","id":"apply/random/0","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-3834424420682","0","0","3565810127140"],"shape":["1","4","1"]}]},"inputs":[{"data":["46045"],"shape":["1","1","1"]},{"data":["-666204699","0","0","619534825"],"shape":["1","4","1"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000100000001000000000000000000000000000000000000000000000001000000060000000200000000000000000000000000000000000000000000000200000001000000800200000000ffffffffffff00000100000000000100000080020000000000c0ffffffff00000040000000000100000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000001000000000000010000000003","id":"apply/random/1","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-1433534464","-3430973440","498335744","934543360","-2437152768","2212757504","-1623261184","1255702528","4294967296","-2147483648","-4007002112","-2888859648","803241984","2044624896","-3797024768","-2147483648","2861432832","863993856","-498335744","-3360423936","-1857814528","727515136","2671706112","3039264768","0","2147483648","-287965184","60719104","-3491725312","-2250342400","-497942528","2147483648","3216809635","2120683624","-2147483648","3567157248","0","-2147483648","1814336060","3567157248","-3567157248","0","1419673600","-3567157248","-3567157248","-1131707361","1077367853","-1291208348","721411259","243384552","-2147483648","254181376","0","-2147483648","2591775268","254181376","-254181376","0","-1893302272","-254181376","-254181376","-3502141193","101815357","-3289427804"],"shape":["4","4","4"]}]},"inputs":[{"data":["-65536","-65536","-65536","65536","65536","-43325","65536","57779"],"shape":["4","1","2"]},{"data":["-21788","39169","0","37016","65536","-44865","-15998","-65536","-65536","0","65536","43154","41023","3139","65536","0","65536","65536","-15208","-65536","8840","-22663","65536","27215","-65536","65536","56748","45007","-65536","-65536","50340","65536","65536","40168","-65536","65536","0","-65536","65536","65536","-65536","0","0","-65536","-65536","-65536","20121","-65536","-49363","-37136","0","-65536","0","0","15379","-65536","65536","0","-65536","65536","65536","-46891","-19298","-39528"],"shape":["4","4","4"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000004000000800200000000ffffffffffff000001000000000004000000800200000000ffffffffffff00000100000000000400000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000002000000000000010000000001","id":"apply/random/2","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0","0","0","0"],"shape":["1","4","1"]}]},"inputs":[{"data":["-53095"],"shape":["1","1","1"]},{"data":["-300","-300","-300","-300"],"shape":["1","4","1"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000100000001000000000000000000000000000000000000000000000001000000050000000300000000000000000000000000000000000000000000000200000001000000800200000000ffffffffffff00000100000000000100000080020000d4feffffffffffff2c010000000000000100000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000001000000010000010000000020","id":"apply/random/3","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["19","34","37","-9","-1","-28","-38","0","19","22","26","-8","-1","-16","-26","12","-6","-4","-6","-6","-4","-1","5","6","-24","-31","-38","-38","-12","-19","6","33"],"shape":["4","4","2"]}]},"inputs":[{"data":["65536","-65536","65536","-24383","1830","19535","65536","65536"],"shape":["4","1","2"]},{"data":["300","244","300","-118","-19","-144","-300","300","0","-300","-291","20","0","300","300","300","-77","-300","-300","-300","0","-300","-199","230","-300","-191","-300","-300","-197","0","300","300"],"shape":["4","4","2"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000004000000800200000000ffffffffffff00000100000000000400000080020000d4feffffffffffff2c010000000000000400000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000002000000020000010000000014","id":"apply/random/4","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-74","-7","0","-10","62","-64","0","-90","-114","0","-128","128","-30","-7","-48","-51","63","-16","-48","-71","-76","-48","-80","80","-77","26","-68","64","26","-51","29","-24","-36","25","77","25","0","64","22","-32","-124","64","-118","36","100","-128","0","-128"],"shape":["4","4","3"]}]},"inputs":[{"data":["65536","65536","16207","65536","52100","26818","-65536","65536"],"shape":["4","1","2"]},{"data":["-976467596","0","1073741824","911927254","-41650207","-1073741824","1073741824","-444010396","-833395641","1073741824","-1073741824","1073741824","-263400939","-120979954","-1073741824","-1073741824","1073741824","0","-1073741824","-1073741824","-1073741824","-1073741824","-1073741824","1073741824","-1073741824","0","-1073741824","1073741824","1073741824","-1073741824","1073741824","-539007356","-1073741824","1073741824","1073741824","1073741824","-1073741824","1073741824","-698045375","529353108","-1013953695","0","-910194078","62781950","596841845","-1073741824","1073741824","-1073741824"],"shape":["4","4","3"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000100000002000000000000000000000000000000000000000000000001000000060000000400000000000000000000000000000000000000000000000200000004000000800200000000ffffffffffff00000100000000000400000080020000000000c0ffffffff00000040000000000400000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000002000000010000010000000028","id":"apply/random/5","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["10419750","1949420","1552670","-10419750","-3046950","589350","-9865761","9241050","-589350","0","-4128768","4227072","0","7372800","-9830400","-9240576","19660800","9830400","19573500","299798","9612028","-18112035","-87300","2162688","-2263259","-4017017","-19573500","17357700","2087210","7396228","-16228605","-2303100","2162688","-3984197","-5339111","-17357700"],"shape":["4","3","3"]}]},"inputs":[{"data":["-3929","-65536","65536","-65536","64954","65536","50182","65536"],"shape":["4","1","2"]},{"data":["-300","-175","77","300","300","-300","18","300","300","-300","-49","-52","300","75","0","300","-300","0","300","-242","300","-255","300","0","233","179","-300","300","249","-4","-300","-300","66","-300","-300","-300"],"shape":["4","3","3"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000100000002000000000000000000000000000000000000000000000001000000040000000300000000000000000000000000000000000000000000000200000004000000800200000000ffffffffffff00000100000000000400000080020000d4feffffffffffff2c010000000000000400000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000002000000020000010000000001","id":"apply/random/6","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0","0","0"],"shape":["1","1","3"]}]},"inputs":[{"data":["65536"],"shape":["1","1","1"]},{"data":["-22496","0","-65536"],"shape":["1","1","3"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000100000001000000000000000000000000000000000000000000000001000000020000000500000000000000000000000000000000000000000000000200000001000000800200000000ffffffffffff000001000000000001000000800200000000ffffffffffff00000100000000000100000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000001000000020000010000000028","id":"apply/random/7","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["12880540","11681536","13217332","-11681536","-11999565","-9709312","-14867647","9709312"],"shape":["2","1","4"]}]},"inputs":[{"data":["-60085","14454","65536","-27609"],"shape":["2","1","2"]},{"data":["-65536","-65536","-53968","65536","-44300","-65536","9753","65536"],"shape":["2","1","4"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff000001000000000002000000800200000000ffffffffffff00000100000000000200000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000001000000000000010000000008","id":"apply/random/8","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["50295","-50295","-109705","-29595","0","0","65536","65536","-19928","19928","19928","-19928","-65536","75105","75105","-72754"],"shape":["4","4","1"]}]},"inputs":[{"data":["65536","50295","-65536","0","0","-19928","9569","-65536"],"shape":["4","1","2"]},{"data":["0","0","-65536","-65536","65536","-65536","-57553","46832","0","65536","65536","-49433","65536","-65536","-65536","65536"],"shape":["4","4","1"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000004000000800200000000ffffffffffff000001000000000004000000800200000000ffffffffffff00000100000000000400000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000002000000020000010000000010","id":"apply/random/9","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-2","2","2","-2","-1","-1"],"shape":["2","1","3"]}]},"inputs":[{"data":["0","-65536","65536","-16414"],"shape":["2","1","2"]},{"data":["-60227","-65536","-65536","65536","-65536","-65536"],"shape":["2","1","3"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff000001000000000002000000800200000000ffffffffffff00000100000000000200000080000000000000000000000000000000000000001e0201000000000001000000020000000d0000000100000001000001000000001f","id":"apply/random/10","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-60521","-7876","113166","41960","-23576","-107496","12648","103496","0","53044","5391","-108887"],"shape":["4","3","1"]}]},"inputs":[{"data":["52645","60521","-65536","-41960","-65536","65536","65536","43351"],"shape":["4","1","2"]},{"data":["0","65536","65536","-65536","-65536","65536","26890","-37960","-65536","39538","65536","-65536"],"shape":["4","3","1"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000004000000800200000000ffffffffffff000001000000000004000000800200000000ffffffffffff00000100000000000400000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000002000000010000010000000010","id":"apply/random/11","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0","0","0","0"],"shape":["1","1","4"]}]},"inputs":[{"data":["65536"],"shape":["1","1","1"]},{"data":["65536","-26998","0","0"],"shape":["1","1","4"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000100000001000000000000000000000000000000000000000000000001000000020000000500000000000000000000000000000000000000000000000200000001000000800200000000ffffffffffff000001000000000001000000800200000000ffffffffffff00000100000000000100000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000001000000010000010000000028","id":"apply/random/12","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0","750160320","3442729056","34359738368","-19751070800","32233077088","-2608857088","-2910965568","699586038","-16446390272","10563111416","-15589930141"],"shape":["2","2","3"]}]},"inputs":[{"data":["65536","-65536","-26393","36345"],"shape":["2","1","2"]},{"data":["-1073741824","-1026856804","1073741824","1073741824","-160700101","940825494","-1073741824","-1073741824","858571258","-1073741824","1073741824","-1073741824"],"shape":["2","2","3"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff00000100000000000200000080020000000000c0ffffffff00000040000000000200000080000000000000000000000000000000000000001e0201000000000001000000020000000d0000000100000002000001000000000c","id":"apply/random/13","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["1","1","1","0","-1","0"],"shape":["2","3","1"]}]},"inputs":[{"data":["65536","41919"],"shape":["2","1","1"]},{"data":["65536","65536","65536","26828","-65536","0"],"shape":["2","3","1"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff000001000000000002000000800200000000ffffffffffff00000100000000000200000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000002000000020000010000000020","id":"apply/random/14","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["34529255129088","0","35184372088832","0","-18782301913088","23326761058304","-35044008230912","32022023045120","35184372088832","-35184372088832","-7442861621248","35184372088832"],"shape":["1","4","3"]}]},"inputs":[{"data":["65536"],"shape":["1","1","1"]},{"data":["1053749241","0","1073741824","0","-573190366","711876253","-1069458259","977234590","1073741824","-1073741824","-227138111","1073741824"],"shape":["1","4","3"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000100000001000000000000000000000000000000000000000000000001000000050000000500000000000000000000000000000000000000000000000200000001000000800200000000ffffffffffff00000100000000000100000080020000000000c0ffffffff00000040000000000100000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000001000000000000010000000001","id":"apply/random/15","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-178657","280612","0","0","-255358","280612","-280613","68282","280612"],"shape":["1","3","3"]}]},"inputs":[{"data":["14966"],"shape":["1","1","1"]},{"data":["-191","300","0","0","-273","300","-300","73","300"],"shape":["1","3","3"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000001000000800200000000ffffffffffff00000100000000000100000080020000d4feffffffffffff2c010000000000000100000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000001000000000000010000000004","id":"apply/random/16","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-25","60","-61","60","33","60","-53","57","18","-61","60","60","-48","0","64","64","18","33","64","-64","9","64","-64","0"],"shape":["2","4","3"]}]},"inputs":[{"data":["61680","65536"],"shape":["2","1","1"]},{"data":["-429054911","1073741824","-1073741824","1073741824","603642260","1073741824","-929227840","1018066937","324621263","-1073741824","1073741824","1073741824","-797783425","10146823","1073741824","1073741824","306001282","553930138","1073741824","-1073741824","155586254","1073741824","-1073741824","0"],"shape":["2","4","3"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff00000100000000000200000080020000000000c0ffffffff00000040000000000200000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000002000000000000010000000028","id":"apply/random/17","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-1073741824","294203039","0"],"shape":["1","1","3"]}]},"inputs":[{"data":["-65536"],"shape":["1","1","1"]},{"data":["1073741824","-294203039","0"],"shape":["1","1","3"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000001000000800200000000ffffffffffff00000100000000000100000080020000000000c0ffffffff00000040000000000100000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000001000000000000010000000010","id":"apply/random/18","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-60658","-53776","-61893","-28182","1996","66961","4396","-61140","-25731","5006","-20725","25731","4217","61319","65536","-4217"],"shape":["4","1","4"]}]},"inputs":[{"data":["33711","61893","-65536","-4396","-20725","-5006","65536","-61319"],"shape":["4","1","2"]},{"data":["2400","-65536","0","65536","-65536","-21246","-65536","-65536","65536","0","65536","-65536","65536","-65536","0","-65536"],"shape":["4","1","4"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000100000002000000000000000000000000000000000000000000000001000000020000000600000000000000000000000000000000000000000000000200000004000000800200000000ffffffffffff000001000000000004000000800200000000ffffffffffff00000100000000000400000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000002000000020000010000000010","id":"apply/random/19","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],"shape":["2","4","3"]}]},"inputs":[{"data":["0","60884"],"shape":["2","1","1"]},{"data":["300","-199","300","200","253","300","213","-300","300","300","300","300","-300","-192","-300","300","0","61","-300","258","102","112","300","-231"],"shape":["2","4","3"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff00000100000000000200000080020000d4feffffffffffff2c010000000000000200000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000002000000010000010000000028","id":"apply/random/20","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-2457600","0","0","-2615421","1972763","-322218"],"shape":["2","1","3"]}]},"inputs":[{"data":["0","65536","-52607","65536"],"shape":["2","1","2"]},{"data":["24","-300","49","-300","0","0"],"shape":["2","1","3"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000100000002000000000000000000000000000000000000000000000001000000030000000500000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff00000100000000000200000080020000d4feffffffffffff2c010000000000000200000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000001000000010000010000000003","id":"apply/random/21","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0","0","0","0","0","0","0","0","0","0","0","0"],"shape":["1","4","3"]}]},"inputs":[{"data":["65536"],"shape":["1","1","1"]},{"data":["-69","300","134","-300","132","-64","237","0","300","0","227","-300"],"shape":["1","4","3"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000001000000800200000000ffffffffffff00000100000000000100000080020000d4feffffffffffff2c010000000000000100000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000001000000020000010000000028","id":"apply/random/22","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-1202381","-1202381","857699","-1202381","685357","1202381","-432857","-1202381","1403288","1096771","-841646","1054312","-525928","-1228800","267880","1403288","546674","-1566862","890738","-726898","890738","1566862","-845682","-890738","373777","171150","406762","-391055","406762","-171150","-402443","-406762"],"shape":["4","4","2"]}]},"inputs":[{"data":["0","-64127","-9306","65536","65536","18030","6283","-15411"],"shape":["4","1","2"]},{"data":["-300","227","-60","300","-300","0","300","-300","300","300","-214","300","-171","-300","108","300","216","-300","300","-260","300","300","-289","-300","-300","-300","-300","300","-300","300","300","300"],"shape":["4","4","2"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000100000002000000000000000000000000000000000000000000000001000000050000000300000000000000000000000000000000000000000000000200000004000000800200000000ffffffffffff00000100000000000400000080020000d4feffffffffffff2c010000000000000400000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000002000000020000010000000004","id":"apply/random/23","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0","0"],"shape":["2","1","1"]}]},"inputs":[{"data":["-65536","35028","0","-60632"],"shape":["2","1","2"]},{"data":["300","234"],"shape":["2","1","1"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff00000100000000000200000080020000d4feffffffffffff2c010000000000000200000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000001000000020000010000000028","id":"apply/random/24","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0","-31057445388288","33314457413371","-37104369008640"],"shape":["4","1","1"]}]},"inputs":[{"data":["0","65536","-57849","64236","44990","65536","-65536","-65536"],"shape":["4","1","2"]},{"data":["1073741824","0","368919653","763415827"],"shape":["4","1","1"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000004000000800200000000ffffffffffff00000100000000000400000080020000000000c0ffffffff00000040000000000400000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000002000000010000010000000001","id":"apply/random/25","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["2147483648","769425408"],"shape":["2","1","1"]}]},"inputs":[{"data":["-65536","-65536"],"shape":["2","1","1"]},{"data":["-65536","-23481"],"shape":["2","1","1"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000100000001000000000000000000000000000000000000000000000001000000010000000100000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff000001000000000002000000800200000000ffffffffffff00000100000000000200000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000002000000020000010000000001","id":"apply/random/26","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["64","-26","-18","64","14","14","3","-15"],"shape":["2","1","4"]}]},"inputs":[{"data":["65536","14931"],"shape":["2","1","1"]},{"data":["1073741824","-430874193","-301680564","1073741824","1073741824","1073741824","288441860","-1073741824"],"shape":["2","1","4"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff00000100000000000200000080020000000000c0ffffffff00000040000000000200000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000002000000000000010000000028","id":"apply/random/27","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-268435456","268435456","0"],"shape":["1","1","3"]}]},"inputs":[{"data":["65536"],"shape":["1","1","1"]},{"data":["-65536","65536","0"],"shape":["1","1","3"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000100000001000000000000000000000000000000000000000000000001000000010000000300000000000000000000000000000000000000000000000200000001000000800200000000ffffffffffff000001000000000001000000800200000000ffffffffffff00000100000000000100000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000001000000010000010000000004","id":"apply/random/28","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-36460544","956416","-22821585","36460544","-88167424","46050304","-57921163","88167424","-13698631","48485858","29812787","-15897600","12013092","-35257926","27022878","67108864"],"shape":["4","2","2"]}]},"inputs":[{"data":["-17336","-18270","-20565","-65536","15525","-49470","-65536","43383"],"shape":["4","1","2"]},{"data":["1073741824","1073741824","603179750","-1073741824","1073741824","-1073741824","737462609","-1073741824","0","-146660261","-1073741824","-1073741824","290358900","-1073741824","-968886493","0"],"shape":["4","2","2"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000004000000800200000000ffffffffffff00000100000000000400000080020000000000c0ffffffff00000040000000000400000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000002000000000000010000000014","id":"apply/random/29","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["1383989248","-1383989248","1383989248","2910978048","2910978048","1384466224","0","0","0","-4294967296","-4294967296","-1912078336","93192192","-317175198","2828895600","-35174434","0","1433169688","4229169152","-341409792","349469016","-2129002784","0","-2586181632"],"shape":["4","2","3"]}]},"inputs":[{"data":["-65536","-23300","65536","65536","58040","-60884","-63528","-65536"],"shape":["4","1","2"]},{"data":["-65536","65536","-65536","-65536","-65536","-33368","65536","-65536","65536","-65536","-65536","-24984","-65536","0","42786","33192","0","65536","-65536","10419","-52140","32797","0","15396"],"shape":["4","2","3"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000004000000800200000000ffffffffffff000001000000000004000000800200000000ffffffffffff00000100000000000400000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000002000000020000010000000001","id":"apply/random/30","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-64568390844416","-10879899877462"],"shape":["1","1","2"]}]},"inputs":[{"data":["60134"],"shape":["1","1","1"]},{"data":["-1073741824","-180927593"],"shape":["1","1","2"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000100000001000000000000000000000000000000000000000000000001000000030000000400000000000000000000000000000000000000000000000200000001000000800200000000ffffffffffff00000100000000000100000080020000000000c0ffffffff00000040000000000100000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000001000000020000010000000000","id":"apply/random/31","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-1843800577","-514097152","-58425344","-623116288","634154503","1073741824","-58425344","931192205","-1076188526","39902272","-498909184","-47501345","226062726","860848128","-498909184","331950412","0","1073741824","-1427406848","-223084544","-1625456640","2016034816","1717518336","2147483648","-580632576","-384368640","-69662046","539856060","1234074","-141049809","-266695928","-188104704"],"shape":["4","4","2"]}]},"inputs":[{"data":["61970","-65536","22091","-52542","-65536","-65536","-11979","23460"],"shape":["4","1","2"]},{"data":["-58283","-65536","65536","-65536","40933","0","65536","60106","57425","-30592","65536","-23938","0","-65536","65536","0","65536","0","65536","-51920","65536","-65536","-39293","-65536","-65536","-65536","21586","65536","33674","-57513","-65536","-65536"],"shape":["4","4","2"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000004000000800200000000ffffffffffff000001000000000004000000800200000000ffffffffffff00000100000000000400000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000002000000010000010000000002","id":"apply/random/32","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0","0"],"shape":["2","1","1"]}]},"inputs":[{"data":["-65536","65536","-12387","65536"],"shape":["2","1","2"]},{"data":["65536","65536"],"shape":["2","1","1"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff000001000000000002000000800200000000ffffffffffff00000100000000000200000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000001000000000000010000000028","id":"apply/random/33","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-30587342556789","-19047244102831","-23972493875717","-20535993281269","18443369715326","13359361562900","-10316469917473","13363429185104","33620830355456","-1717354004480","10848628473856","12871400718336","-43507075186688","-22871530405888","-11449299730432","-37844609925120"],"shape":["2","4","2"]}]},"inputs":[{"data":["-20446","-58794","65536","65536"],"shape":["2","1","2"]},{"data":["-22178310","-1073741824","-742667957","-468798100","-1073741824","-373384048","-1073741824","-1073741824","1048204627","1021332339","1073741824","861602077","-253988742","-324599668","724336925","-81184016"],"shape":["2","4","2"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff00000100000000000200000080020000000000c0ffffffff00000040000000000200000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000001000000010000010000000001","id":"apply/random/34","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["-4020","1543"],"shape":["2","1","1"]}]},"inputs":[{"data":["64318","24683"],"shape":["2","1","1"]},{"data":["-65536","65536"],"shape":["2","1","1"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff000001000000000002000000800200000000ffffffffffff00000100000000000200000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000002000000010000010000000014","id":"apply/random/35","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["6570738","9042300","-9042300"],"shape":["1","1","3"]}]},"inputs":[{"data":["60282"],"shape":["1","1","1"]},{"data":["218","300","-300"],"shape":["1","1","3"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000001000000800200000000ffffffffffff00000100000000000100000080020000d4feffffffffffff2c010000000000000100000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000001000000000000010000000001","id":"apply/random/36","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],"shape":["4","3","4"]}]},"inputs":[{"data":["-65536","21603","0","-30364","31651","-65536","65536","-65536"],"shape":["4","1","2"]},{"data":["31844","-40293","-65536","-65536","0","-64816","59638","-65536","-23967","45919","-65536","65536","41480","19665","0","54318","65536","18345","65536","65536","65536","13063","-34486","0","-65536","-8633","-65536","65536","-30828","65536","0","-44163","65536","65536","52537","-65536","65536","65536","65536","-65536","-65536","-65536","-65536","-65536","-65536","-13715","-65536","65536"],"shape":["4","3","4"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000100000002000000000000000000000000000000000000000000000001000000050000000500000000000000000000000000000000000000000000000200000004000000800200000000ffffffffffff000001000000000004000000800200000000ffffffffffff00000100000000000400000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000002000000020000010000000028","id":"apply/random/37","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["65844","-25646","-60817","-73750","32972","110538","-48018","-131072"],"shape":["4","1","2"]}]},"inputs":[{"data":["65536","-43756","14003","65536","-65536","45002","65536","-65536"],"shape":["4","1","2"]},{"data":["22088","-65536","-65536","-59747","0","-65536","48018","65536"],"shape":["4","1","2"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000004000000800200000000ffffffffffff000001000000000004000000800200000000ffffffffffff00000100000000000400000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000002000000000000010000000010","id":"apply/random/38","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["15","-128","-47","12"],"shape":["2","1","2"]}]},"inputs":[{"data":["65536","65536","53751","-65536"],"shape":["2","1","2"]},{"data":["-288760221","-1073741824","545519286","-1073741824"],"shape":["2","1","2"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000100000002000000000000000000000000000000000000000000000001000000030000000400000000000000000000000000000000000000000000000200000002000000800200000000ffffffffffff00000100000000000200000080020000000000c0ffffffff00000040000000000200000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000001000000010000010000000028","id":"apply/random/39","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"geometry_mismatch"},"inputs":[{"data":["1","1","1","1","1","1"],"shape":["2","1","3"]},{"data":["1","1","1","1","1","1","1","1"],"shape":["2","2","2"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000200000080020000fbffffffffffffff05000000000000000200000080020000fbffffffffffffff05000000000000000200000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000001000000010000010000000001","id":"apply/geometry/40","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["1","1","1","1","1","1","1","1"],"shape":["2","2","2"]}]},"inputs":[{"data":["1","1","1","1"],"shape":["2","1","2"]},{"data":["1","1","1","1","1","1","1","1"],"shape":["2","2","2"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000200000080020000fbffffffffffffff05000000000000000200000080020000fbffffffffffffff05000000000000000200000080000000000000000000000000000000000000001e0201000000000001000000020000000d00000001000000010000010000000001","id":"apply/geometry/41","load":"ok","profiles":["acc32","acc64"]}
|