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]>
7 lines
7 KiB
JSON
7 lines
7 KiB
JSON
{"decodes":[{"expect":{"outputs":[{"data":["-33","-95","21","47","-95","-95","55","99","105","105","5","-95"],"shape":["2","2","3"]}]},"inputs":[{"data":["-38","-100","16","42","-100","-100","50","94","100","100","0","-100"],"shape":["2","2","3"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-133","-177","-30","47","5","5","24","99","5","205","97","-195"],"shape":["2","2","3"]}]},"inputs":[{"data":["-100","-82","-51","0","100","100","-31","0","-100","100","92","-100"],"shape":["2","2","3"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-128","-107","-130","140","-95","-95","124","60","5","105","197","-95"],"shape":["2","2","3"]}]},"inputs":[{"data":["5","70","-100","93","-100","-100","100","-39","0","-100","100","100"],"shape":["2","2","3"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000001000000000000000000000005000000000000000200000002000000800200009cffffffffffffff6400000000000000020000008002000018fcffffffffffffe8030000000000000200000080000000000000000000000000000000000000000502010000000000010000000200000000000000","id":"state/carry/0","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["47","93","-107","-107","-7","-107","93","3"],"shape":["2","1","4"]}]},"inputs":[{"data":["54","100","-100","-100","0","-100","100","10"],"shape":["2","1","4"]}],"scalars":[]},{"expect":{"outputs":[{"data":["3","11","-107","-27","80","-150","121","-97"],"shape":["2","1","4"]}]},"inputs":[{"data":["-44","-82","0","80","87","-100","28","-100"],"shape":["2","1","4"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-97","10","-150","-127","150","-150","150","-42"],"shape":["2","1","4"]}]},"inputs":[{"data":["-100","-1","-100","-100","100","-100","79","55"],"shape":["2","1","4"]}],"scalars":[]}],"graph":"57484731010100000300000001000000020001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000010000000000000000000000f9ffffffffffffff0200000002000000800200009cffffffffffffff6400000000000000020000008002000018fcffffffffffffe80300000000000002000000800100006affffffffffffff96000000000000000502010000000000010000000200000000000000","id":"state/carry/1","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["100","100","100","100"],"shape":["2","1","2"]}]},"inputs":[{"data":["100","100","100","100"],"shape":["2","1","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["160","160","160","160"],"shape":["2","1","2"]}]},"inputs":[{"data":["60","60","60","60"],"shape":["2","1","2"]}],"scalars":[]},{"expect":{"refuse":"field_range"},"inputs":[{"data":["1","1","1","1"],"shape":["2","1","2"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000001000000000000000000000000000000000000000200000002000000800200009cffffffffffffff640000000000000002000000800200006affffffffffffff96000000000000000200000080000000000000000000000000000000000000000502010000000000010000000200000000000000","id":"state/check/2","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["2","2","2","2","2","2","2","2"],"shape":["2","2","2"]}]},"inputs":[{"data":["1","1","1","1","1","1","1","1"],"shape":["2","2","2"]}],"scalars":[]},{"expect":{"refuse":"geometry_mismatch"},"inputs":[{"data":["1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","2","3"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000001000000000000000000000001000000000000000200000002000000800200009cffffffffffffff6400000000000000020000008002000018fcffffffffffffe8030000000000000200000080000000000000000000000000000000000000000502010000000000010000000200000000000000","id":"state/shape/3","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["6","26","-2","22","-14","2","26","-24","-17"],"shape":["1","3","3"]},{"data":["12","53","-5","43","-27","3","53","-47","-34"],"shape":["1","3","3"]}]},"inputs":[{"data":["9","50","-8","40","-30","0","50","-50","-37"],"shape":["1","3","3"]}],"scalars":[]},{"expect":{"outputs":[{"data":["28","52","-5","-4","12","26","14","2","-17"],"shape":["1","3","3"]},{"data":["57","103","-10","-7","23","53","28","3","-34"],"shape":["1","3","3"]}]},"inputs":[{"data":["45","50","-5","-50","50","50","-25","50","0"],"shape":["1","3","3"]}],"scalars":[]},{"expect":{"outputs":[{"data":["44","52","-30","-28","-14","2","0","0","-22"],"shape":["1","3","3"]},{"data":["89","103","-60","-57","-27","3","-1","1","-43"],"shape":["1","3","3"]}]},"inputs":[{"data":["32","0","-50","-50","-50","-50","-29","-2","-9"],"shape":["1","3","3"]}],"scalars":[]}],"graph":"57484731010100000400000002000000020002000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000010000000100000000000000030000000000000003000000020000000100000080020000ceffffffffffffff3200000000000000010000008002000070feffffffffffff9001000000000000010000008001000070feffffffffffff9001000000000000010000008000000000000000000000000000000000000000050201000000000001000000020000000000000002010100020000000300000009000000020000010000000001","id":"state/carry/4","load":"ok","profiles":["acc32","acc64"]}
|
|
{"decodes":[{"expect":{"outputs":[{"data":["5","5","5","5"],"shape":["2","1","2"]}]},"inputs":[{"data":["5","5","5","5"],"shape":["2","1","2"]}],"scalars":[]},{"expect":{"refuse":"field_range"},"inputs":[{"data":["100","100","100","100"],"shape":["2","1","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["6","6","6","6"],"shape":["2","1","2"]}]},"inputs":[{"data":["1","1","1","1"],"shape":["2","1","2"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000001000000000000000000000000000000000000000200000002000000800200009cffffffffffffff6400000000000000020000008002000018fcffffffffffffe8030000000000000200000080020000ceffffffffffffff32000000000000000502010000000000010000000200000000000000","id":"state/refused/5","load":"ok","profiles":["acc64"]}
|
|
{"decodes":[{"expect":{"refuse":"field_range"},"inputs":[{"data":["101","101","101","101"],"shape":["2","1","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["8","8","8","8","8","8","8","8","8","8","8","8"],"shape":["2","2","3"]}]},"inputs":[{"data":["1","1","1","1","1","1","1","1","1","1","1","1"],"shape":["2","2","3"]}],"scalars":[]}],"graph":"5748473101010000030000000100000002000100000000000000000400000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000001000000000000000000000007000000000000000200000002000000800200009cffffffffffffff6400000000000000020000008002000018fcffffffffffffe8030000000000000200000080000000000000000000000000000000000000000502010000000000010000000200000000000000","id":"state/refused/6","load":"ok","profiles":["acc32","acc64"]}
|