Transaction-Science/open-standards
Watch
1
0
Fork
You've already forked open-standards
 0
Code Issues Pull requests Projects Releases 17 Packages Wiki Activity Actions 114
open-standards/wai/ops-conformance/graphs/lower_whm1.jsonl
Transaction Science 603a0b803d wai-ops: a tensor a ReLU reads inside a WHM1 network is derived, as §13.2 says 
§13.2 gives `check` only to an x_ℓ that a layer of tag 0, 1, 2 or 4 reads,
and `check [−2^63, I64]` to a network input that no such layer reads; every
other tensor is `derived`. The lowering and the checker both gave every x_ℓ a
ReLU reads `check [−2^63, I64]`, so a reader of the text could not reproduce
three committed graphs.

Both now follow the text. The checker's `x_record` is rewritten from the
§13.2 wording, not from the crate. Regenerated: the h_s graph of the int_hyper
set 7aceaa1a… and of the int_mlicpp sets 07e1835d… and 7ef44f3b…, and the
lower_whm1 and lower_wmb1 vectors that embed them. No output changes: the
range they drop held every i64.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-09 19:31:39 -04:00

4 lines
11 KiB
JSON
Raw Permalink Blame History

{"decodes":[{"expect":{"outputs":[{"data":["2639207","26152868","6946445","24402611","-3490626","-3835039","-17923331","-16337867","10231929","5963409","2611633","7802696","1598695","-12406340","-4897649","-4412103","-4325753","3080652","-2137182","20010835","3146059","11766576","1460243","25288115","-5703461","6927892","6488427","8586679","4530557","15388378","-3035139","9797028","66607","-847828","-2330225","-1314746","871641","-7155078","2153292","111087","611561","-750082","-927024","449136","1432232","-230151","1293409","985898","2842861","-40468","8443205","31132101","-4921296","-10761319","-3580604","865684","4001610","8041714","-934682","7602014","-6836371","-282086","-2990150","3128394"],"shape":["4","4","4"]}]},"inputs":[{"data":["-286","300","-300","55","300","300","-300","300"],"shape":["2","2","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["9080123","34470852","-18267708","32217381","-5428141","25079161","-35487070","33163461","-4385164","69369180","113272","40159137","-10622962","13665886","-14140083","-12792225","20786726","6229706","99951","6587588","-810250","-18945601","-3509901","-2348690","872115","7371256","-22232099","-122133","8318512","11713456","34298997","-27442613","-5336363","21946851","-39819649","19766759","3573928","-1773172","19049920","16007551","-5598739","16156549","5244395","5670822","7861157","25128077","-3198848","6289140","760674","-4200798","-4226396","-2485801","1756786","-3552643","8862557","-17634987","-1013787","-4304059","-2862367","-6081441","412362","-7181245","3400930","-3812020","1137361","-1662983","-891458","475967","2709768","1294065","854191","611740","324948","-5177913","18039938","27590373","-1731182","260161","37327101","-918993","4329892","-1699050","28775997","44036791","-2000349","-10431947","12744436","-16979794","5430400","17078960","-964846","4622420","-14209207","6564858","-1049501","1591752"],"shape":["4","6","4"]}]},"inputs":[{"data":["-144","149","300","-68","-40","-300","-300","300","300","300","-300","188"],"shape":["2","3","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["-3790792","17880516","-5034550","16171977","-1266882","28055117","-10998741","19396526","-3844235","7216896","-4558941","5207756","-2120093","11723653","-9959587","6407095","-4027499","1593138","-6126697","1871643","-4559416","3605048","-13385410","-73790","1580402","3181737","2576977","-304477","2292261","7824592","5631190","-2268013","-980897","-1528229","-1164064","-1234383","-510433","-2960913","-2544259","-1496309","569773","-2050228","625048","-1906054","521506","-2751204","1364761","-3425867","3643993","3106742","4971209","6173424","3432403","-1660144","10861292","16611268","4939209","-9690521","6699091","-9163415","2760022","-13013048","14636529","-15565363"],"shape":["4","2","8"]}]},"inputs":[{"data":["196","5","300","0","27","-139","29","261"],"shape":["2","1","4"]}],"scalars":[]}],"graph":"57484731010100000400000003000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000030000000200000080020000f971fad9dcdef9ff078e0526232106000400000080000000000000000000000000000000000000000400000080020000d66ad4bb1ceafcff2a952b44e3150300040000008000000000000000000000000000000000000000010101000000000001000000fd0000000400000003000000030000000100000001000000010000000100000001000000020000000002020108080000480a0000000000004105000000000000c904000000000000970e0000000000000cd101000000000000affcffffffffffff66fcffffffffffffc5010000000000006f0014016a0069ffbbff1e00e600cd000601f7fec600e1ffd4000f00f600d8fe9aff48ffbcff45ff88ff25fff7ffe2fe04ff9100ba002901260108000001380085ffa0ff6fff06ff9dffa900fdffd9fecfff41ff5100fe0039ff50ff1a00fcfede0097ffecff85ff8dff6600b1ffd4ff2501ce009100d800300048ff1fff1cff9cffd8fefbff2501b8ff710024019cff0c01010001000000020000000000000011010100020000000300000091010000040000000300000003000000020000000200000001000000010000000100000001000000020000000002020108080000f60a00000000000042090000000000001b020000000000005a070000000000000c01fcffffffffffff77fdfffffffffffffb02000000000000e40000000000000002ffb9ff7b00e800f300330097ff43001fff9e002500c3fffe002cff180137ff9f00f400e1006000f5fe2500720033ff97008d008b00adff7fff7c004f009a00ec006e001affb7007bffcaff1eff1d0004000501d7ff75ffa3ff030083ff860026fff6000a01b7006aff2701ecfedffe3900630048ff620005ffb0007e002500b1ff5700f1ffc7ff1101f2fec2ff5e008500d7ff4dff28ff00010effd1ff26fffbffd6ff6700990093ff1801dbffc60043009800b3ff6fff79006e0067007500fffe300036001201b8ff0300b1ff7aff190114fff1fe8300b500afff4c00070181ffe00085008dff4a009effa50071ff1d0049ffffff61004d00e1ffa4ffa40008ff74ff67ffa6ff85ff520032ff7e00bd00a70089ffbb001e0157fffc00f4fe","id":"lower_whm1/hyper/h_s/0","load":"ok","profiles":["acc64"]}
{"decodes":[{"expect":{"refuse":"field_range"},"inputs":[{"data":["1725284705734152","-85","-300","53","300","-300","-300","300"],"shape":["2","2","2"]}],"scalars":[]}],"graph":"57484731010100000400000003000000010001000000000000000004000000000000000000000000000000000000000000000000000000000000000000000000030000000200000080020000f971fad9dcdef9ff078e0526232106000400000080000000000000000000000000000000000000000400000080020000d66ad4bb1ceafcff2a952b44e3150300040000008000000000000000000000000000000000000000010101000000000001000000fd0000000400000003000000030000000100000001000000010000000100000001000000020000000002020108080000480a0000000000004105000000000000c904000000000000970e0000000000000cd101000000000000affcffffffffffff66fcffffffffffffc5010000000000006f0014016a0069ffbbff1e00e600cd000601f7fec600e1ffd4000f00f600d8fe9aff48ffbcff45ff88ff25fff7ffe2fe04ff9100ba002901260108000001380085ffa0ff6fff06ff9dffa900fdffd9fecfff41ff5100fe0039ff50ff1a00fcfede0097ffecff85ff8dff6600b1ffd4ff2501ce009100d800300048ff1fff1cff9cffd8fefbff2501b8ff710024019cff0c01010001000000020000000000000011010100020000000300000091010000040000000300000003000000020000000200000001000000010000000100000001000000020000000002020108080000f60a00000000000042090000000000001b020000000000005a070000000000000c01fcffffffffffff77fdfffffffffffffb02000000000000e40000000000000002ffb9ff7b00e800f300330097ff43001fff9e002500c3fffe002cff180137ff9f00f400e1006000f5fe2500720033ff97008d008b00adff7fff7c004f009a00ec006e001affb7007bffcaff1eff1d0004000501d7ff75ffa3ff030083ff860026fff6000a01b7006aff2701ecfedffe3900630048ff620005ffb0007e002500b1ff5700f1ffc7ff1101f2fec2ff5e008500d7ff4dff28ff00010effd1ff26fffbffd6ff6700990093ff1801dbffc60043009800b3ff6fff79006e0067007500fffe300036001201b8ff0300b1ff7aff190114fff1fe8300b500afff4c00070181ffe00085008dff4a009effa50071ff1d0049ffffff61004d00e1ffa4ffa40008ff74ff67ffa6ff85ff520032ff7e00bd00a70089ffbb001e0157fffc00f4fe","id":"lower_whm1/hyper/h_s/range/1","load":"ok","profiles":["acc64"]}
{"decodes":[{"expect":{"outputs":[{"data":["255","0","0","0","255","0","0","255","255","255","0","0","255","0","255","255","255","0","0","0","255","0","0","255","255","255","0","0","255","0","255","255","0","255","255","0","0","255","255","0","0","0","255","0","0","255","0","0"],"shape":["3","4","4"]}]},"inputs":[{"data":["-273","-222","-300","-210","0","-218","300","-257"],"shape":["2","2","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["255","255","0","0","0","255","0","255","0","0","255","255","0","255","0","0","0","255","255","255","255","255","0","0","255","255","0","0","255","255","255","0","0","255","0","255","0","255","0","0","0","255","0","255","255","255","0","0","0","0","255","0","0","255","0","255","255","0","255","0","255","0","255","0","255","0","255","0","0","0","255","0"],"shape":["3","6","4"]}]},"inputs":[{"data":["-195","165","210","300","-300","300","0","-279","-300","78","-192","0"],"shape":["2","3","2"]}],"scalars":[]},{"expect":{"outputs":[{"data":["255","255","255","255","255","255","0","0","0","0","255","0","255","255","0","255","255","0","255","0","255","255","0","0","0","0","255","0","255","255","0","255","0","255","0","255","0","0","255","0","255","0","0","255","0","0","255","0"],"shape":["3","2","8"]}]},"inputs":[{"data":["300","-13","-300","22","300","300","-53","-300"],"shape":["2","1","4"]}],"scalars":[]}],"graph":"574847310101000007000000060000000100010000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000600000002000000800200001ccb63cd5be9f9ffe4349c32a41606000300000080020000f9288d4ff7ffffff07d772b00800000003000000800200007e62bc02f7f8cdff829d43fd0807320003000000800200006623a89eb18bd7ff9adc57614e742800030000008000000000000000000000000000000000000000030000008000000000000000000000000000000000000000030000008000000000000000000000000000000000000000110101000000000001000000cd000000030000000300000003000000020000000200000001000000010000000100000001000000020000000002020108080000b00a00000000000030030000000000009b030000000000000ca701000000000000cafeffffffffffff79feffffffffffff490046009bff9100a2ff40007b0071ff86ff060125ff03007a00f800eaff15ff1000acff56ff6a00e7ff6bffaeff0a0064ff48ffe200ed00920020003eff08016c008f000b006fff0000fdff36ff9effd1ff1401f8ffd6ff11002900bc00effebb00ca00d5fe6bff6dffcb001201010001000000020000004c0000000a000000080000000400000000000000a300000097000000d50300006703000092020000a60100000e020000560100003400000071af000000000000129a000000000000cef00000000000000d01010002000000030000000c0000008f020000000000000c0000000101010003000000040000006f0000000300000001000000010000000100000001000000000000000000000001000000020000000002020108080000cf0b000000000000cc0d000000000000ef020000000000000cbb0100000000000077010000000000009800000000000000e90019000afff100f4ff93fff2fe960091ff0b010100040000000500000010000000000000000000000000010000000000000201010005000000060000000d0000000100010104000000ff00000008","id":"lower_whm1/hyper/g_s/2","load":"ok","profiles":["acc64"]}
{"decodes":[{"expect":{"refuse":"field_range"},"inputs":[{"data":["1713744339809509","143","-143","-300","0","300","0","300"],"shape":["2","2","2"]}],"scalars":[]}],"graph":"574847310101000007000000060000000100010000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000600000002000000800200001ccb63cd5be9f9ffe4349c32a41606000300000080020000f9288d4ff7ffffff07d772b00800000003000000800200007e62bc02f7f8cdff829d43fd0807320003000000800200006623a89eb18bd7ff9adc57614e742800030000008000000000000000000000000000000000000000030000008000000000000000000000000000000000000000030000008000000000000000000000000000000000000000110101000000000001000000cd000000030000000300000003000000020000000200000001000000010000000100000001000000020000000002020108080000b00a00000000000030030000000000009b030000000000000ca701000000000000cafeffffffffffff79feffffffffffff490046009bff9100a2ff40007b0071ff86ff060125ff03007a00f800eaff15ff1000acff56ff6a00e7ff6bffaeff0a0064ff48ffe200ed00920020003eff08016c008f000b006fff0000fdff36ff9effd1ff1401f8ffd6ff11002900bc00effebb00ca00d5fe6bff6dffcb001201010001000000020000004c0000000a000000080000000400000000000000a300000097000000d50300006703000092020000a60100000e020000560100003400000071af000000000000129a000000000000cef00000000000000d01010002000000030000000c0000008f020000000000000c0000000101010003000000040000006f0000000300000001000000010000000100000001000000000000000000000001000000020000000002020108080000cf0b000000000000cc0d000000000000ef020000000000000cbb0100000000000077010000000000009800000000000000e90019000afff100f4ff93fff2fe960091ff0b010100040000000500000010000000000000000000000000010000000000000201010005000000060000000d0000000100010104000000ff00000008","id":"lower_whm1/hyper/g_s/range/3","load":"ok","profiles":["acc64"]}
Reference in a new issue View git blame Copy permalink