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 207
open-standards/wai/ops-conformance/sets/jpegai/weights/mcm2_y.json
Transaction Science cbc4caf7b0 wai: gate 5's falsification found the synthetic networks refuse every decode 
Gate 5's fault (a grouped convolution finished with its neighbour channel's
requantisation on the fast kernel) left the unit test green: every committed
vector of rec_y, rec_uv, syn_y and syn_uv refused past A32, because the synthetic
networks' multipliers grew each convolution's output by up to 2^6 per product, so
no decode of those graphs ran its operators end to end.

- The generator now sets each synthetic convolution's multiplier so that a weight
  of 32767 times its products keeps the input's magnitude (and halves the biases):
  every rec_y, rec_uv, syn_y and syn_uv vector of graphs/lower_jpegai.jsonl now
  decodes, and only the vectors one past an input's range refuse. The set's digest
  is 1bc0daae…; its graphs, certificate and vectors are regenerated, and both
  certifiers reproduce them (wai-verify vectors verify; wai_ops_check.py
  ops-conformance), with the tests naming the new digest.
- jpegai_ops::fast_kernels::the_jpegai_networks_run_their_convolutions_on_the_fast_kernel
  requires a completed decode of each of the four graphs, not of any one.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-18 01:43:32 -04:00

1 line
14 KiB
JSON
Raw Permalink Blame History

{"conv.0.weight":{"kind":"conv","dims":[5,320,1,1],"mult":408,"shift":31,"w":[-24815,22215,-2991,-14066,-6510,-7901,-32043,19442,27607,27453,-29929,-24986,-14310,-17169,-17968,-13824,3447,-22384,30884,6901,11983,-29756,19508,-22365,8034,19449,-25833,17388,19670,13402,-12219,-19354,-4726,-10963,-17680,26008,1938,2072,2713,28970,11612,-30897,-18785,-10323,17037,-7737,-1086,13319,-13514,-14334,13662,-1876,1600,32748,20206,-6118,1167,-10168,-5073,17658,-5314,-8170,-12465,23940,20397,16734,-8618,15374,-15530,-9344,-8656,1260,-31427,-30268,-6548,11976,11151,7849,7764,6534,16081,-7651,-12974,28641,7447,12653,408,30990,18160,-20108,98,-24427,-2825,9424,6919,1860,10870,10574,-5410,28816,-6344,5019,-9290,19092,10744,-2412,-18477,-3914,822,-20394,5500,-1411,28710,12545,-6914,18175,-29216,-21434,25787,19232,-28160,8910,8796,15275,-7301,20575,-30740,-11414,-20192,23786,-3588,-12911,15683,-27598,1747,-8067,8088,13880,5370,13633,-23518,-12292,-19720,11467,20652,24285,-29439,572,16938,-13568,-7454,2727,18786,11616,-30820,-24828,28975,-5663,-4188,8050,-22059,-10784,25185,-6959,23279,-27970,25749,17786,-17097,11757,-29060,13915,-28261,-21900,425,-21320,-23549,10551,-2547,14352,13054,12133,5921,13703,4693,-22358,-12337,-21289,-5679,32466,20749,-3776,2476,-14227,253,591,11384,-19105,8934,2023,-25616,25285,-27148,18627,24731,-620,585,-10904,-6228,-22313,-11972,4344,18501,-27653,148,-24787,-32393,7485,6022,-21381,19203,5323,8428,-25523,27704,-18503,-146,13758,20748,-17292,-25439,4123,18760,-17257,5930,6452,-11823,19356,23020,-10736,-26283,18204,-5970,22150,11717,1570,16900,-2960,12741,8613,-27857,-30877,-26203,6038,18602,20573,7860,-7260,32099,-5516,-16824,-23672,23306,1119,-31511,-24944,29209,12207,-25493,-18826,19076,-24146,22495,-1190,26522,11915,-3118,22331,15477,25568,-6045,3937,25806,18196,-4430,6158,5780,-25435,-13155,-31913,-8377,11746,-555,-13379,13262,-18916,-1699,-434,-15835,21067,-2569,8663,-27476,6490,12538,-29601,10973,-17753,671,19076,-25777,15457,26573,-192,-12081,18275,-26904,24117,10501,-11047,20960,-31421,-23904,-13300,10178,-15194,26255,17015,4176,11380,28999,8402,28302,-3949,3010,26570,-10087,-7208,23593,-30497,7941,10295,-11276,2919,23079,-24044,14273,3113,-3489,-192,-20779,17918,-18779,28751,15210,749,14849,30727,-22331,-16050,13766,-15153,-203,12506,-20509,-16406,13960,31332,-3170,-18456,-31125,6883,-13344,32103,15315,28303,-5547,-6449,2383,-2811,-12535,-8467,14815,32629,24083,27998,22173,25328,281,-27846,29608,26579,13414,23178,-3954,2919,-9286,-11637,762,-11989,-13043,1982,28017,20407,-6424,31372,19341,-8055,7658,12480,-25965,23695,-8289,-23509,-22281,-6957,-2167,-2060,-4712,13956,-29700,-11927,5760,-7449,3382,11474,22221,5715,27611,-22688,8858,-23474,-16467,6078,-3127,-7690,1371,2263,-13038,26406,-16764,-12090,6380,20627,8395,124,20229,28572,-5635,-23104,-326,27351,22299,3489,31926,16818,-15079,-19778,-12012,19321,-4456,16458,-20208,17382,-30256,601,30160,-3173,-25585,24034,17763,2805,32441,23167,-23262,-15874,-25383,-28268,-27606,25033,-19869,10191,5374,-1943,584,26994,19572,7733,20719,26182,16979,-2899,-14680,-23850,-15269,30921,-31834,-13658,-29000,-11895,13222,18303,2361,2000,-7096,-11829,-2836,-6146,-16434,17647,14932,-30041,-10447,-8149,25088,10788,-5213,-31874,-23588,22108,30190,17311,-7704,12043,5719,9081,-21115,18640,19120,-20685,-3222,-24645,-16811,14005,-14894,-28971,28435,-21951,-14710,-8875,-4866,32547,22417,-32136,26205,11506,16241,-18485,18334,-19588,11143,28508,-18598,-6799,23671,12567,8053,-20807,7855,28067,9243,-26332,-23242,-12530,9799,23019,25431,751,-2047,31251,16821,-31615,1657,-15572,14667,19374,-15933,-1410,-13168,-14633,-21859,-10697,-13618,843,-30974,4313,-2437,3772,-16910,25402,5753,15270,-5709,-9702,32140,-12556,27886,-17706,3768,28188,23182,-6059,-14734,-23280,15632,19165,1267,-3113,3850,12280,13040,-10407,11999,13519,12384,-14811,147,-27522,-6706,-28368,22656,5026,-26167,-25973,4098,14129,12741,-9689,2392,26519,-6456,-24005,4369,-22459,19679,-30596,29182,23094,8307,32255,27016,14752,-833,-18968,-23302,17742,-22076,25813,22166,12627,14578,24580,24799,-24668,11639,10764,9227,-26666,21582,26420,-13773,-25318,438,18094,31682,-12502,22828,-21836,-31108,30876,19967,7843,30265,26924,-155,27400,-295,1160,739,-32569,10582,8715,-30318,-5189,12208,-30425,13048,-1097,28460,-2061,22999,8778,8837,-28213,5534,11594,26257,-4414,31534,-9007,-20335,5284,-12382,-29806,-26112,-23335,4504,15907,6791,-2061,-16630,-3658,-22001,-8376,29107,16757,-12692,17989,-18997,11683,4277,-27540,27728,9885,23932,-7038,-11833,-18511,30318,-15038,22211,-23651,19816,7202,-21328,26561,1300,9535,-7156,22386,16220,22293,-211,1031,-29926,4487,21664,3160,-21145,-12577,12978,-21897,-22632,-17087,17454,-28938,25305,-15226,17956,-31044,-1340,9976,7155,28377,7380,-16758,-20023,-15293,-32246,8295,-25462,-4868,5819,-9901,-22968,1725,890,3752,-5381,22923,-9530,15752,-31040,-14153,26385,-15981,-2732,1000,2210,-29679,-23917,32155,11572,-6083,-8871,11261,17131,13856,21969,-29312,28119,8579,-4348,18878,-22816,8717,-15052,26376,6345,-9102,-27260,11858,4358,-23411,9961,1297,-30590,22187,4105,24169,-1639,21301,-9910,32649,-29363,-21242,2648,-28892,6949,9911,17697,24654,-28276,8865,-30425,-15726,-27068,-30023,18835,-4575,-9445,29680,1998,-26530,13086,-202,-18710,-26479,-30371,194,14465,-4903,-31979,-15517,-4220,-16796,30657,-3031,5155,-7582,15369,25548,-3236,28908,-30448,19446,-5305,-25220,550,30792,-15679,-23004,-18989,21015,-8748,3001,27079,32359,13079,23179,8206,32363,-27133,15824,12472,23144,8166,-20828,22627,-9513,-25372,31575,-24010,-9033,24241,717,-13409,22110,-17735,-14345,-23229,26922,27675,7260,18364,721,1272,-28339,-26336,5006,7062,6957,-3867,-9419,14791,14983,-22782,2901,14224,21491,1000,15104,-2567,-21412,-20061,-20616,-19970,-16881,-18512,-10378,32244,28066,2770,-6050,-11598,-11902,-21200,-25710,10684,21377,-31442,24505,-26227,-2776,-26568,9140,10434,16629,1246,-20322,-14593,21472,1394,-29777,17420,-30470,-28839,271,11644,31534,-26386,-8022,-19898,25993,5442,20889,-16981,-9098,-3242,3679,-22873,29528,-30115,26783,-31292,26300,-16895,3493,23304,-9033,-27022,2955,11171,18612,-932,18128,3548,26026,-1161,19867,-10751,-7328,-11566,7588,20177,-20178,-17895,31862,15706,30471,12138,-8402,-7700,21531,-13891,10915,28889,23665,23894,24382,265,-32316,17588,15831,30200,-1677,-19994,-2381,-28301,20518,-30855,-17886,-4494,-15040,4178,-17903,57,-15628,-2029,-19181,-5491,8117,15614,-14413,-29469,1339,-6465,14734,23753,32285,-2863,-19835,21515,11135,14567,-20490,32505,30106,-6973,21439,-13327,-9140,-9849,18362,-2101,5455,24353,31852,400,-11001,-27443,-30461,-15077,22189,-29169,19132,-9707,9516,5355,2806,-22626,5536,-1804,5643,-30871,-30355,-22365,29026,-26556,7696,12584,814,-12986,2055,-15567,30253,-11010,-12867,32540,-25020,7478,-10182,3721,-32144,22439,-21259,7455,-15992,-29238,-14627,832,-31287,15849,-24248,-15455,13297,9440,27110,690,-2575,18014,24575,5322,-19033,-20047,2971,-18804,-24515,-13090,-26662,23246,-8787,-10572,11590,28150,9263,26448,6137,17800,-30297,-14655,30399,17886,-21457,9474,12564,-19864,-11780,-29244,-26202,25814,31096,14785,28883,-4194,7580,-22767,-28698,10615,-9572,-12063,-18414,8331,1822,5897,19095,31762,17426,19322,-24551,-32342,-21134,-30962,2953,3894,21992,14105,28658,-30205,-5345,17824,-28319,28220,16601,-28258,12945,17015,-17150,9456,-19393,-31116,17784,22573,29907,-6137,-9165,28373,26165,-32664,-31965,-2284,10525,30016,7628,-30194,-31935,21830,-6837,-283,2050,-29004,-12479,16777,6146,-4587,25829,-13006,30120,-30645,-6553,23564,-11832,30007,22871,20401,31059,23146,-17481,691,17406,-12457,-1697,-19472,-25275,-22304,27474,15747,-19374,-5448,19273,13102,-4033,-29817,15541,9701,-25346,-11181,-31368,-30593,7084,5772,-28820,25399,5221,29158,4877,17807,-13427,31841,7804,15557,-3727,-15925,20031,3439,25692,-23084,31203,28393,-13184,763,5052,-27982,22137,-7079,14412,4514,14857,-29584,-11845,-3412,7463,28549,-7128,3098,5691,10636,-32380,-14793,27859,-29045,5961,6259,12325,20432,-8661,21401,8249,28434,-5837,30533,-13246,26085,-21637,580,-24149,28506,-26983,-31908,-6139,13472,6274,-12938,7982,-11858,11380,14007,-23960,-19846,-12209,-29670,30735,-25153,-30116,2554,-15042,-16828,-22053,-7085,-10482,29580,3475,8973,-2454,-25889,18542,-21970,-16653,-4543,-12702,32050,30741,16343,9050,-1232,17753,17426,-28905,-3470,-7370,5064,23527,29559,-29940,5677,-8935,19640,25777,-32302,28823,2929,-26535,27485,-25925,-26070,9601,-18842,-24581,-9440,-16944,22728,-1541,-13765,-25557,14897,24919,-15148,29216,-12448,13834,23612,24258,-12995,-23530,-18896,29223,-7170,-15221,29527,4846,-1394,11016,-31708,3269,-28933,-22372,5463,-1937,-15725,-30932,-11621,6510,-27992,-31069,3220,-8078,23386,9748,-11177,3418,18477,-15570,2760,-13054,387,-13308,-9455,767,-5334,-8060,-12812,-8452,-5736,9887,-14588,24223,17743,-30864,-14816,-19991,-26101,20056,-17154,10075,26428,23590,8411,-24407,-14561,16248,20076,21757,-148,-28191,-31967,-21837,-13848,-3864,13359,-18521,-18174,21645,25145,-31246,11229,-25452,-28439,19105,12757,17244,5038,8653,-27686,9929,6581,11732,19520,-19973,-11642,-19190,-24023,20442,-9053,17227,22354,20212,-26707,22384,-12103,2182,15299,-27039,-14130,-23207,-10986,-7035,18397,-4311,7456,12752,505,22360,15097,-9503,-26312,13291,8129,-3784,-25706,-20710,-29311,17453,-24064,-20521,-14457,-12925,7390,-19924,30234,14632,-31872,-19542,960,28898,-6397,-23424,-3233,21397,5921,11121,-18011,24982,2711,23965,-29787,17114,-31594,31514,-13951,15522,-19300,9042,3076,27423,-26570,21353,-7222,-8634,-1043,2030,-28875,11720,-6223,-19161,-9246,26475,18722,27838,23361,6074,2778,-4922,-1213,-27535,-19011,24746,28564,18762,-26063,6280,-9184,-5459,2147,-8429,5746,-26203,-25828,16802,-566,25157,-17069,-32742,-26185,2271,23509,-1109,-13114,23357,3921,12414,26792,23117,-9109,-13415,-13364,2970,16601,18514,20361,-21309,-28597,10251,-9839,-20202,946,-3248,-4423,-27196,-27083,-24823,9775,-8532,23044,-32362,10,19673,2379,21276,26442,-30914]},"conv.1.weight":{"kind":"conv","dims":[5,1,3,3],"mult":227,"shift":26,"w":[458,12051,-16720,31251,7756,2014,18132,-16436,22291,4128,32587,-24100,-12433,226,30307,-24530,-6997,2247,14002,-3266,12059,9676,-26269,-12854,-15200,-12270,15241,-5509,-17734,-788,-21142,-13926,22345,-4444,3014,-12192,-9275,32034,-3225,-3848,-9531,28049,-23470,967,3552]},"conv.1.bias":{"kind":"q16","dims":[5],"v":[36281,35503,-40959,-39277,-48071]},"fusion_pred_net.conv1.weight":{"kind":"conv","dims":[2,165,1,1],"mult":48,"shift":27,"w":[-8962,-29439,-9915,-10548,5435,24994,-1520,-23654,24404,-324,-10790,-22649,-26338,15956,-10792,5486,1900,-12259,-19220,-17700,-10582,14548,-25975,28830,16364,13017,-6554,18374,2435,-18340,16262,-10575,-2311,18508,15469,-5525,13525,-4246,30903,-20555,-30208,15718,24727,15084,-15252,7570,16886,-4263,-26386,28221,1926,-28696,-32101,-32430,-9062,18925,1812,16909,23776,30,32766,13524,8881,17297,-17309,-23019,24475,-17986,16187,7059,31275,26160,-28360,-21623,31812,7496,-16155,8298,-24826,-28448,-26880,21685,-15240,31916,-4390,-13619,-6019,-30335,-11134,28536,-26591,30721,-27792,1058,14408,20066,-25492,11927,-23172,-16669,29089,-10637,25150,19822,28448,-11666,-16250,-12533,28256,-28334,-18281,-20014,-17488,-27971,22132,-15717,29395,12367,-8715,-20243,-10978,24691,26970,20304,-21856,18522,-9592,22713,26324,26155,-1559,7547,-18687,21692,-16990,-23982,22820,-24836,-32317,-17159,15003,-56,13466,12641,10192,3451,16210,14343,-6489,-22142,25505,-30874,30377,-19652,-30741,-27958,-17678,-17398,8942,-17759,15181,-1678,18582,785,-21998,15409,29040,-1933,1876,-5221,-6462,27821,-30846,-19539,17754,15712,-451,-18171,32500,1735,19590,6076,-6700,-12002,-17310,-12461,24509,15752,-12489,8969,23511,-26142,-6495,-26609,15915,-18094,8719,-21602,1869,-29806,7103,-19387,16084,25460,-6032,16670,20675,-32124,8503,18347,-20492,24346,-27878,-17100,-1702,4392,1410,-300,-8845,-30103,7622,4383,6875,-20530,2061,-22450,-10721,26849,-18592,-29926,22331,-26271,-31350,-13919,-11294,21485,27874,25252,-32675,11580,22221,-12941,31547,-12570,28245,-26301,6991,-9286,16317,-23075,17368,-19912,-24269,18077,-4923,32713,31448,-11522,17690,4037,29046,-12950,15422,15481,-25603,-9607,32168,-16542,2322,28458,796,31489,-7946,-20135,-22849,-1366,-30124,1754,-15695,-17592,18133,-18200,23374,-4692,4037,-10932,9050,18468,-22730,29868,6571,-21325,5768,-18350,-10833,-32334,28770,15348,30976,217,-10116,-28748,1342,19246,-10483,-13412,30437,20110,-18386,20304,-27241,9974,-17234,-11405,-19378,-21565,14739,-4991,-22019,-23875,12131,-32191,-525,15515,-12615,-25638,-17590,3360,22960,-17971]},"fusion_pred_net.conv2.weight":{"kind":"conv","dims":[2,2,1,1],"mult":4096,"shift":27,"w":[-25549,-9083,17966,-6928]},"fusion_pred_net.conv3.weight":{"kind":"conv","dims":[160,2,1,1],"mult":8192,"shift":28,"w":[24983,5734,-23813,30935,-4222,-23563,21855,18890,26315,-2930,1427,6602,-7496,22749,-20605,23280,-19005,1965,-2953,-29261,29832,16017,-10596,18744,-15998,18977,-11416,5647,27688,-18896,-29517,16932,-6339,15054,-2540,16648,28608,15480,-17021,-28266,-29269,-403,-5248,15044,25731,-7070,9762,14184,-15749,-29549,8344,415,-15360,-11013,-20224,5756,-21745,29537,-28862,10939,-2740,31318,31654,26831,-1062,6214,21244,-9011,16328,-28907,14353,-19581,-851,-23788,12158,-27492,-12885,4410,9104,-2902,15428,13034,22035,-16451,-1921,-9839,-16345,11343,13471,22521,8900,13055,-31132,5337,-27840,2274,-3102,19280,-4337,-1563,-13001,-6518,19994,-14388,-18697,-2204,-27763,30312,29863,25077,-10788,674,-19978,-179,7249,-20463,22824,6566,12170,11616,766,-26276,22362,13208,24122,17133,9828,-11775,-23761,-15449,-4838,31700,18820,10819,-27643,-29207,3186,19140,-3930,-23180,7694,-31412,-17849,20298,12615,-25944,-29846,-6524,-29755,-15364,-11115,-3667,-21165,1995,-23132,-30120,-27330,-14093,-25661,21266,-19940,14847,-22978,23924,-31164,30401,24453,-24400,31329,-23224,-5772,-14139,-16057,-31919,-28214,13202,-26614,17541,12016,29176,-7749,16290,-27789,-20165,17504,26910,32425,-16534,14971,-16358,31970,14724,11414,9442,29136,-21069,-27960,-4699,-29690,22582,-31997,29498,5562,29888,-14859,30294,-9281,-1747,-2106,-17899,-18550,-21566,22165,15516,30224,30794,12488,14014,-24715,11466,-7016,-31863,20323,-9086,-24,-10876,26208,27450,7770,-10058,-16629,23376,1063,-8281,-12999,-19461,2217,-20978,17707,-3795,-10402,-6407,2008,-19656,15593,12669,-22,20889,-32290,-2086,25861,-14526,-652,25522,-14135,32439,-5952,2671,4305,-21928,20971,12330,1312,21150,24640,29541,-2970,9740,3914,22141,-18130,10656,-15479,-30237,24221,-17255,6422,17866,19202,-28578,27436,-19811,5873,-6971,-7246,-18993,24188,-7128,7665,29798,29646,29565,6507,4215,8565,-18688,4699,29389,829,26513,19940,-17645,15384,-20199,-32213,-16067,-24080,13537,4725,-6395,30781,-2257,29272,-32507,4787,28850,-6550,5819,18859,-29448]}}
Reference in a new issue View git blame Copy permalink