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]>
3 lines
6.9 KiB
JSON
3 lines
6.9 KiB
JSON
{"decodes":[{"expect":{"outputs":[{"data":["256","256","256","256","256","256","256","256"],"shape":["2","2","2"]}]},"inputs":[{"data":["0","300","-211","300","-109","0","300","-300"],"shape":["2","2","2"]}],"scalars":["3084","-3152","-504"]},{"expect":{"outputs":[{"data":["256","256","256","256","256","256","256","256","256","256","256","256"],"shape":["2","3","2"]}]},"inputs":[{"data":["300","-300","-300","-198","-300","-300","-214","18","286","300","-300","-155"],"shape":["2","3","2"]}],"scalars":["-3846","-7004","-801"]},{"expect":{"outputs":[{"data":["-256","-256","-256","-256","-256","-256","-256","-256"],"shape":["2","1","4"]}]},"inputs":[{"data":["-300","-300","300","-245","300","-177","-300","-300"],"shape":["2","1","4"]}],"scalars":["-5344","4857","4949"]}],"graph":"57484731010100000900000008000000010001000300000000000004000000000000000000000080ffffffffffffff7f0000000000000080ffffffffffffff7f0000000000000080ffffffffffffff7f00000000000000000000000000000000000000000000000000000000000000000800000002000000800200000000000000000080ffffffffffffff7f01000000800000000000000000000000000000000000000001000000800000000000000000000000000000000000000001000000800000000000000000000000000000000000000005000000800200007c911e239f92fdff846ee1dc606d020004000000800200007e62bc02f7f8cdff829d43fd080732000400000080020000f664fc76a927e3ff0a9b038956d81c0002000000800000000000000000000000000000000000000002000000800000000000000000000000000000000000000017010100000000000100000010000000010000000000000000000000000000001701010000000000020000001000000001000000000000000100000000000000170101000000000003000000100000000100000000000000020000000000000006040100000000000100000002000000030000000400000000000000010101000400000005000000d501000004000000030000000300000001000000010000000100000001000000010000000200000000020201080800000c01000000000000ce010000000000002804000000000000910c0000000000000cb0ffffffffffffff5a00000000000000c30000000000000056fcffffffffffff9cffa900d5fea6ffd90020011bff2c0124ff9c00eefe2b01dfff26ff4dfff5003100d2ff510001002f00b800f4fe7800e9ff5900caff9200ca001d0089003000aeffa6ff3e00d6fefa004c004e00620092007eff23012e00d600a8ffd400ed007eff8800b000f5fe4c000cfff2fe5b0029006f0088ff3eff05ff18ff17017dff1cff96002e001b00e8009e008d001fffb3ff1e0091ffa9ff38fff1fee4fe5eff57ffc4009eff28ff15ffdeff14018a0074ffeeff8eff2a00670019002c0112003afff4ff62002501b700b4ffdbffec00fa0086ff05ff04ff07ff780037ffce007eff30001500a9ff66fff1ff6c00f3ff5f008effe1000d016aff37ff95ff92ffa0003000c60085007fff3b00c3ff7dff7800c000ee0012fff1ffeeff930055007dff85ffeefe22015f008d0072ff31ff2f00c80075ffd300acffc6004fffb1ffddffa3ff5cffa90048fff5fef1fe68ff5c00e7ffd8febeffba005300abff20ff1b001c01bc0003010d01010005000000060000000c0000008f020000000000000c0000000101010006000000070000005d0000000200000001000000010000000100000001000000000000000000000001000000020000000002020108080000390d00000000000040070000000000000c0dffffffffffffff6a0000000000000026fff800c5ff1c01d000faff3700fa000b01010007000000080000001000000000ffffffffffffff0001000000000000","id":"lower_world/world/T/0","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0","255","255","0","0","0","0","0","0","0","0","255","255","0","255","255","255","0","0","255","0","255","255","0","255","0","255","0","255","0","0","255","0","255","0","255","0","0","0","0","0","255","255","0","255","255","255","0"],"shape":["3","4","4"]}]},"inputs":[{"data":["36","300","-300","-300","-300","-70","-300","163"],"shape":["2","2","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["0","0","255","255","255","0","255","255","255","255","255","0","0","255","0","0","0","255","0","0","255","0","0","0","255","0","0","0","255","0","0","255","0","0","0","255","0","255","0","255","255","255","255","255","255","255","255","0","0","255","255","0","255","255","255","0","255","0","0","255","0","255","0","255","0","255","0","255","255","255","255","255"],"shape":["3","6","4"]}]},"inputs":[{"data":["0","-117","-49","300","-23","173","-300","300","300","-99","-300","-300"],"shape":["2","3","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["0","255","0","0","0","255","255","0","0","0","0","0","255","255","0","255","255","255","255","255","255","0","0","255","255","0","255","0","255","0","0","255","0","255","0","255","0","255","255","0","255","0","255","255","255","0","0","0"],"shape":["3","2","8"]}]},"inputs":[{"data":["296","300","-300","189","-300","-300","-300","300"],"shape":["2","1","4"]}],"scalars":[]}],"graph":"57484731010100000500000004000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000040000000200000080020000cd99ff33cb9cf9ff336600cc346306000300000080020000bef5d84df7ffffff420a27b208000000030000008000000000000000000000000000000000000000030000008000000000000000000000000000000000000000030000008000000000000000000000000000000000000000110101000000000001000000cd0000000300000003000000030000000200000002000000010000000100000001000000010000000200000000020201080800007e0b000000000000a008000000000000a9090000000000000cf4ffffffffffffff3300000000000000b4030000000000001c013400bf00be00e700b3ffbb00e3fee5fe1f0029007700e6ff79ff3300520003004bffc1000e01ebfffcffb1ff3700f5fe3fff2d0013ff240037ff0800f0001600b0ffd5ffe500e200f6004cffc4ff28ff0d0090ff9cff8800abff0f0130ff4b00700089ffacff26ff92ff1201010001000000020000004c0000000a000000080000000400000000000000470000002a010000d0030000d2030000230200008f030000a5010000ad0100001c010000224e0000000000006480000000000000a6570000000000000b010100020000000300000010000000000000000000000000010000000000000201010003000000040000000d0000000100010104000000ff00000008","id":"lower_world/world/g_s/1","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"field_range"},"inputs":[{"data":["1797928272291380","0","-300","0","300","-300","-300","-300"],"shape":["2","2","2"]}],"scalars":[]}],"graph":"57484731010100000500000004000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000040000000200000080020000cd99ff33cb9cf9ff336600cc346306000300000080020000bef5d84df7ffffff420a27b208000000030000008000000000000000000000000000000000000000030000008000000000000000000000000000000000000000030000008000000000000000000000000000000000000000110101000000000001000000cd0000000300000003000000030000000200000002000000010000000100000001000000010000000200000000020201080800007e0b000000000000a008000000000000a9090000000000000cf4ffffffffffffff3300000000000000b4030000000000001c013400bf00be00e700b3ffbb00e3fee5fe1f0029007700e6ff79ff3300520003004bffc1000e01ebfffcffb1ff3700f5fe3fff2d0013ff240037ff0800f0001600b0ffd5ffe500e200f6004cffc4ff28ff0d0090ff9cff8800abff0f0130ff4b00700089ffacff26ff92ff1201010001000000020000004c0000000a000000080000000400000000000000470000002a010000d0030000d2030000230200008f030000a5010000ad0100001c010000224e0000000000006480000000000000a6570000000000000b010100020000000300000010000000000000000000000000010000000000000201010003000000040000000d0000000100010104000000ff00000008","id":"lower_world/world/g_s/range/2","load":"ok","profiles":["acc64"]}
|