bef055304b
A review found rules that only the crate and the README settled, and that no vector pinned: changing the checker to another reading of each changed no committed byte. integer-operators now states each one, and each now has a vector that a different reading fails: - state: a refused decode changes no state; until a decode completes, a state input is `init`, sized by input 0 of the decode being made (§10.3). - run step 1 runs input by input; an input with a dimension of 0 is model_mismatch (§4). - run step 3: conv_transpose's uncropped output of cout planes is capped, not one plane; the caps come before the shape rule, both for that output and for an uncropped side; the shape rule comes before max_elems (crop_to) (§4, §5.3). - crop: a scalar start of −1 is refused though −1 + h ≤ H, and at load a scalar start is planned at 0, not at its range's low end (§5.10). - load step 5: chscale's m_bytes and layernorm_c's g_bytes of 2 are refused, and 4 loads (§10.4). subpos_merge now caps its output sides before its shape rule, in the crate and the checker, as §4 states for every operator. No input within the caps can tell the two orders apart. Co-Authored-By: Claude Opus 5.5 <[email protected]>
24 lines
21 KiB
JSON
24 lines
21 KiB
JSON
{"decodes":[{"expect":{"outputs":[{"data":["2","2","2","2","2","2","2","2","2","2","2","2"],"shape":["2","2","3"]}]},"inputs":[{"data":["4","4","4","4","4","4","4","4","4","4","4","4","4","4","4","4","4","4"],"shape":["2","3","3"]},{"data":["-2","-2","-2","-2","-2","-2","-2","-2","-2","-2","-2","-2","-2","-2","-2","-2","-2","-2"],"shape":["2","3","3"]}],"scalars":["2","3"]}],"graph":"5748473101010000050000000300000002000100020000003000000000000000010000000000000004000000000000000100000000000000040000000000000000000000040000000400000000000000000000000000000000000000000000000100000004000000040000000000000000000000000000000000000000000000040000000200000080020000f7ffffffffffffff09000000000000000200000080020000f7ffffffffffffff09000000000000000200000080000000000000000000000000000000000000000200000080000000000000000000000000000000000000000200000080020000f6ffffffffffffff0a0000000000000005020100000000000100000002000000000000001401010002000000030000002000000000000000000000000000000000000000010000000000000001000000010000000c010100030000000400000000000000","id":"run/ok/0","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"model_mismatch"},"inputs":[{"data":["1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["3","3","3"]},{"data":["1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","3","3"]}],"scalars":["1","1"]}],"graph":"5748473101010000050000000300000002000100020000003000000000000000010000000000000004000000000000000100000000000000040000000000000000000000040000000400000000000000000000000000000000000000000000000100000004000000040000000000000000000000000000000000000000000000040000000200000080020000f7ffffffffffffff09000000000000000200000080020000f7ffffffffffffff09000000000000000200000080000000000000000000000000000000000000000200000080000000000000000000000000000000000000000200000080020000f6ffffffffffffff0a0000000000000005020100000000000100000002000000000000001401010002000000030000002000000000000000000000000000000000000000010000000000000001000000010000000c010100030000000400000000000000","id":"run/step1/1","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"too_large"},"inputs":[{"data":["1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","5","3"]},{"data":["1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","5","3"]}],"scalars":["1","1"]}],"graph":"5748473101010000050000000300000002000100020000003000000000000000010000000000000004000000000000000100000000000000040000000000000000000000040000000400000000000000000000000000000000000000000000000100000004000000040000000000000000000000000000000000000000000000040000000200000080020000f7ffffffffffffff09000000000000000200000080020000f7ffffffffffffff09000000000000000200000080000000000000000000000000000000000000000200000080000000000000000000000000000000000000000200000080020000f6ffffffffffffff0a0000000000000005020100000000000100000002000000000000001401010002000000030000002000000000000000000000000000000000000000010000000000000001000000010000000c010100030000000400000000000000","id":"run/step1/2","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["2","2"],"shape":["2","1","1"]}]},"inputs":[{"data":["1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","4","4"]},{"data":["1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","4","4"]}],"scalars":["1","1"]}],"graph":"5748473101010000050000000300000002000100020000003000000000000000010000000000000004000000000000000100000000000000040000000000000000000000040000000400000000000000000000000000000000000000000000000100000004000000040000000000000000000000000000000000000000000000040000000200000080020000f7ffffffffffffff09000000000000000200000080020000f7ffffffffffffff09000000000000000200000080000000000000000000000000000000000000000200000080000000000000000000000000000000000000000200000080020000f6ffffffffffffff0a0000000000000005020100000000000100000002000000000000001401010002000000030000002000000000000000000000000000000000000000010000000000000001000000010000000c010100030000000400000000000000","id":"run/step1/3","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"too_large"},"inputs":[{"data":["1","1","1","1","1","1","1","1","1","1"],"shape":["2","5","1"]},{"data":["1","1","1","1","1","1","1","1","1","1"],"shape":["2","5","1"]}],"scalars":["9","9"]}],"graph":"5748473101010000050000000300000002000100020000003000000000000000010000000000000004000000000000000100000000000000040000000000000000000000040000000400000000000000000000000000000000000000000000000100000004000000040000000000000000000000000000000000000000000000040000000200000080020000f7ffffffffffffff09000000000000000200000080020000f7ffffffffffffff09000000000000000200000080000000000000000000000000000000000000000200000080000000000000000000000000000000000000000200000080020000f6ffffffffffffff0a0000000000000005020100000000000100000002000000000000001401010002000000030000002000000000000000000000000000000000000000010000000000000001000000010000000c010100030000000400000000000000","id":"run/order/4","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"field_range"},"inputs":[{"data":["1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","3","3"]},{"data":["1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","3","3"]}],"scalars":["0","1"]}],"graph":"5748473101010000050000000300000002000100020000003000000000000000010000000000000004000000000000000100000000000000040000000000000000000000040000000400000000000000000000000000000000000000000000000100000004000000040000000000000000000000000000000000000000000000040000000200000080020000f7ffffffffffffff09000000000000000200000080020000f7ffffffffffffff09000000000000000200000080000000000000000000000000000000000000000200000080000000000000000000000000000000000000000200000080020000f6ffffffffffffff0a0000000000000005020100000000000100000002000000000000001401010002000000030000002000000000000000000000000000000000000000010000000000000001000000010000000c010100030000000400000000000000","id":"run/step2/5","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"field_range"},"inputs":[{"data":["1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","3","3"]},{"data":["1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","3","3"]}],"scalars":["1","5"]}],"graph":"5748473101010000050000000300000002000100020000003000000000000000010000000000000004000000000000000100000000000000040000000000000000000000040000000400000000000000000000000000000000000000000000000100000004000000040000000000000000000000000000000000000000000000040000000200000080020000f7ffffffffffffff09000000000000000200000080020000f7ffffffffffffff09000000000000000200000080000000000000000000000000000000000000000200000080000000000000000000000000000000000000000200000080020000f6ffffffffffffff0a0000000000000005020100000000000100000002000000000000001401010002000000030000002000000000000000000000000000000000000000010000000000000001000000010000000c010100030000000400000000000000","id":"run/step2/6","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"field_range"},"inputs":[{"data":["1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","3","3"]},{"data":["1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","2","3"]}],"scalars":["0","1"]}],"graph":"5748473101010000050000000300000002000100020000003000000000000000010000000000000004000000000000000100000000000000040000000000000000000000040000000400000000000000000000000000000000000000000000000100000004000000040000000000000000000000000000000000000000000000040000000200000080020000f7ffffffffffffff09000000000000000200000080020000f7ffffffffffffff09000000000000000200000080000000000000000000000000000000000000000200000080000000000000000000000000000000000000000200000080020000f6ffffffffffffff0a0000000000000005020100000000000100000002000000000000001401010002000000030000002000000000000000000000000000000000000000010000000000000001000000010000000c010100030000000400000000000000","id":"run/order/7","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"geometry_mismatch"},"inputs":[{"data":["1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","3","3"]},{"data":["1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","2","3"]}],"scalars":["1","1"]}],"graph":"5748473101010000050000000300000002000100020000003000000000000000010000000000000004000000000000000100000000000000040000000000000000000000040000000400000000000000000000000000000000000000000000000100000004000000040000000000000000000000000000000000000000000000040000000200000080020000f7ffffffffffffff09000000000000000200000080020000f7ffffffffffffff09000000000000000200000080000000000000000000000000000000000000000200000080000000000000000000000000000000000000000200000080020000f6ffffffffffffff0a0000000000000005020100000000000100000002000000000000001401010002000000030000002000000000000000000000000000000000000000010000000000000001000000010000000c010100030000000400000000000000","id":"run/step3/8","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"geometry_mismatch"},"inputs":[{"data":["1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","2","3"]},{"data":["1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","2","3"]}],"scalars":["3","1"]}],"graph":"5748473101010000050000000300000002000100020000003000000000000000010000000000000004000000000000000100000000000000040000000000000000000000040000000400000000000000000000000000000000000000000000000100000004000000040000000000000000000000000000000000000000000000040000000200000080020000f7ffffffffffffff09000000000000000200000080020000f7ffffffffffffff09000000000000000200000080000000000000000000000000000000000000000200000080000000000000000000000000000000000000000200000080020000f6ffffffffffffff0a0000000000000005020100000000000100000002000000000000001401010002000000030000002000000000000000000000000000000000000000010000000000000001000000010000000c010100030000000400000000000000","id":"run/step3/9","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"geometry_mismatch"},"inputs":[{"data":["99","99","99","99","99","99","99","99","99","99","99","99"],"shape":["2","2","3"]},{"data":["1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","2","3"]}],"scalars":["3","1"]}],"graph":"5748473101010000050000000300000002000100020000003000000000000000010000000000000004000000000000000100000000000000040000000000000000000000040000000400000000000000000000000000000000000000000000000100000004000000040000000000000000000000000000000000000000000000040000000200000080020000f7ffffffffffffff09000000000000000200000080020000f7ffffffffffffff09000000000000000200000080000000000000000000000000000000000000000200000080000000000000000000000000000000000000000200000080020000f6ffffffffffffff0a0000000000000005020100000000000100000002000000000000001401010002000000030000002000000000000000000000000000000000000000010000000000000001000000010000000c010100030000000400000000000000","id":"run/order/10","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"field_range"},"inputs":[{"data":["10","10","10","10","10","10","10","10","10","10","10","10","10","10","10","10","10","10"],"shape":["2","3","3"]},{"data":["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],"shape":["2","3","3"]}],"scalars":["1","1"]}],"graph":"5748473101010000050000000300000002000100020000003000000000000000010000000000000004000000000000000100000000000000040000000000000000000000040000000400000000000000000000000000000000000000000000000100000004000000040000000000000000000000000000000000000000000000040000000200000080020000f7ffffffffffffff09000000000000000200000080020000f7ffffffffffffff09000000000000000200000080000000000000000000000000000000000000000200000080000000000000000000000000000000000000000200000080020000f6ffffffffffffff0a0000000000000005020100000000000100000002000000000000001401010002000000030000002000000000000000000000000000000000000000010000000000000001000000010000000c010100030000000400000000000000","id":"run/step4/11","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"field_range"},"inputs":[{"data":["9","9","9","9","9","9","9","9","9","9","9","9","9","9","9","9","9","9"],"shape":["2","3","3"]},{"data":["9","9","9","9","9","9","9","9","9","9","9","9","9","9","9","9","9","9"],"shape":["2","3","3"]}],"scalars":["1","1"]}],"graph":"5748473101010000050000000300000002000100020000003000000000000000010000000000000004000000000000000100000000000000040000000000000000000000040000000400000000000000000000000000000000000000000000000100000004000000040000000000000000000000000000000000000000000000040000000200000080020000f7ffffffffffffff09000000000000000200000080020000f7ffffffffffffff09000000000000000200000080000000000000000000000000000000000000000200000080000000000000000000000000000000000000000200000080020000f6ffffffffffffff0a0000000000000005020100000000000100000002000000000000001401010002000000030000002000000000000000000000000000000000000000010000000000000001000000010000000c010100030000000400000000000000","id":"run/step4/12","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["10","10"],"shape":["2","1","1"]}]},"inputs":[{"data":["5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5"],"shape":["2","3","3"]},{"data":["5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5"],"shape":["2","3","3"]}],"scalars":["1","1"]}],"graph":"5748473101010000050000000300000002000100020000003000000000000000010000000000000004000000000000000100000000000000040000000000000000000000040000000400000000000000000000000000000000000000000000000100000004000000040000000000000000000000000000000000000000000000040000000200000080020000f7ffffffffffffff09000000000000000200000080020000f7ffffffffffffff09000000000000000200000080000000000000000000000000000000000000000200000080000000000000000000000000000000000000000200000080020000f6ffffffffffffff0a0000000000000005020100000000000100000002000000000000001401010002000000030000002000000000000000000000000000000000000000010000000000000001000000010000000c010100030000000400000000000000","id":"run/step4/13","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","2","4"]}]},"inputs":[{"data":["1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","2","4"]}],"scalars":[]},{"expect":{"refuse":"too_large"},"inputs":[{"data":["1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","3","3"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000010000000200000080020000f7ffffffffffffff09000000000000000200000080000000000000000000000000000000000000000c010100000000000100000000000000","id":"run/step1/14","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["1","8","8"]}]},"inputs":[{"data":["1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["4","4","4"]}],"scalars":[]},{"expect":{"refuse":"too_large"},"inputs":[{"data":["1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["4","4","5"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000040000000000000000000000000000000000000000000000000000000000000000000000000000000010000000400000080020000f7ffffffffffffff09000000000000000100000080000000000000000000000000000000000000000901010000000000010000000400000002000000","id":"run/step3/15","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"too_large"},"inputs":[{"data":["1","1","1","1","1","1","1","1","1"],"shape":["1","3","3"]},{"data":["1","1","1","1","1","1","1","1"],"shape":["2","2","2"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000020000000200000000000000000000000000000000000000000000000100000002000000020000000000000000000000000000000000000000000000020000000100000080020000f7ffffffffffffff09000000000000000100000080020000f7ffffffffffffff09000000000000000100000080000000000000000000000000000000000000000502010000000000010000000200000000000000","id":"run/step1/16","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"model_mismatch"},"inputs":[{"data":["1","1","1","1"],"shape":["1","2","2"]},{"data":[],"shape":["1","0","2"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000000000040000000000000000020000000200000000000000000000000000000000000000000000000100000002000000020000000000000000000000000000000000000000000000020000000100000080020000f7ffffffffffffff09000000000000000100000080020000f7ffffffffffffff09000000000000000100000080000000000000000000000000000000000000000502010000000000010000000200000000000000","id":"run/step1/17","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"too_large"},"inputs":[{"data":["3"],"shape":["1","1","1"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000010000000100000080020000f7ffffffffffffff0900000000000000030000008000000000000000000000000000000000000000110101000000000001000000340000000300000001000000010000000100000001000000c4090000c4090000881300008813000001000000000000010000000000010101","id":"run/caps/18","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"too_large"},"inputs":[{"data":["3"],"shape":["1","1","1"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000010000000100000080020000f7ffffffffffffff0900000000000000030000008000000000000000000000000000000000000000110101000000000001000000340000000300000001000000010000000100000001000000c5090000c5090000881300008813000001000000000000010000000000010101","id":"run/caps/19","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"too_large"},"inputs":[{"data":["3"],"shape":["1","1","1"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000010000000100000080020000f7ffffffffffffff090000000000000001000000800000000000000000000000000000000000000011010100000000000100000032000000010000000100000001000000010000000100000000000004000000000a000004000000000100000000000001000000000001","id":"run/caps/20","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["0"],"shape":["1","1","1"]}]},"inputs":[{"data":["3"],"shape":["1","1","1"]}],"scalars":[]}],"graph":"57484731010100000200000001000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000010000000100000080020000f7ffffffffffffff0900000000000000010000008000000000000000000000000000000000000000110101000000000001000000320000000100000001000000010000000100000001000000c4090000c409000088130000881300000100000000000001000000000001","id":"run/caps/21","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"geometry_mismatch"},"inputs":[{"data":["1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["4","2","2"]},{"data":["1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["1","8","8"]}],"scalars":[]}],"graph":"574847310101000003000000010000000200010000000000400000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000400000080020000f7ffffffffffffff09000000000000000100000080020000f7ffffffffffffff09000000000000000400000080000000000000000000000000000000000000000f02010000000000010000000200000000000000","id":"run/order/22","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"geometry_mismatch"},"inputs":[{"data":["1","2","3","4","5","6","7","8","9"],"shape":["1","3","3"]}],"scalars":["-1"]},{"expect":{"outputs":[{"data":["7"],"shape":["1","1","1"]}]},"inputs":[{"data":["1","2","3","4","5","6","7","8","9"],"shape":["1","3","3"]}],"scalars":["2"]}],"graph":"5748473101010000020000000100000001000100010000000000000400000000fcffffffffffffff04000000000000000000000000000000000000000000000000000000000000000000000000000000010000000100000080020000f7ffffffffffffff0900000000000000010000008000000000000000000000000000000000000000140101000000000001000000200000000100000000000000000000000000000000000000010000000000000001000000","id":"run/step3/23","load":"ok","profiles":["acc32","acc64"]}
|