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 82
open-standards/wai/ops-conformance/sets/jpegai/weights/mcm1_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
9.5 KiB
JSON
Raw Permalink Blame History

{"conv.0.weight":{"kind":"conv","dims":[5,160,1,1],"mult":25,"shift":27,"w":[30964,-11617,30831,-9351,2873,-428,2518,-11025,-10040,8042,29351,-12625,32053,-12780,12078,-30952,3308,-16187,-11838,18818,22045,-29786,7355,25828,20210,-10488,8235,1587,-6985,-8184,26516,-15860,28314,-18074,7292,-22986,-12182,-14985,-23331,-16657,17931,-1874,26305,-32143,28161,-28245,20926,10678,12343,21621,23286,-24217,-19885,27998,5026,-7527,-25380,20796,20941,-6930,-14380,26093,-10347,-17555,6793,-16186,-334,-16282,-27186,-23234,-29980,-21751,25280,-6510,7774,5299,27744,13979,-13247,-31564,-12096,-1509,-12942,16539,-29932,-18405,-357,-16548,-15875,-29830,-30902,-10845,-32119,-24573,-31018,30689,4005,1538,-24562,5787,-17988,-23612,-16558,-11481,13166,13319,11325,-6350,-12311,-12000,236,-6405,8362,25676,19639,-16175,17864,-27470,14177,27375,25809,-21003,-10831,11316,32350,-15984,31359,1097,-20073,16487,-25326,26612,-10438,22739,-10844,30390,31733,13152,4673,1225,-182,-4447,-17165,-25821,-19151,16437,-29580,122,-12578,7315,-12477,3222,-9237,-17567,-7658,-21843,26112,-14964,-26728,-20829,29040,23301,11536,700,11319,10485,12903,22921,-16214,-23323,11334,-17820,-4787,-13636,13988,14642,-19373,-13846,15549,-17223,-2611,7016,15929,25477,-30925,8292,14843,-10952,10584,17486,-1093,-29712,6555,31872,20407,11261,7982,-10654,11329,-13645,22623,-13094,-29373,30233,8691,-13896,24479,13070,-29579,-8466,-14543,32753,26730,30722,7983,32589,24591,-10478,-17752,-15574,6151,-25749,-19000,-21544,3905,-10576,-1029,-26831,16636,1754,20457,-755,4620,-16868,-28275,4621,-20247,-6438,13851,-25736,-24417,11555,-32756,-18018,23982,-6902,-8211,-4458,41,9605,-28223,24894,1922,-2441,-12422,12848,18883,-4558,-23170,13598,11149,-21653,27989,3420,29203,24762,16117,-2648,1756,29804,-200,-29782,26514,19099,29379,-14808,-27796,-15169,17461,4270,-22523,24257,-16194,31321,-16972,-31591,-4581,4442,5167,24087,5523,28936,-30439,-25324,-31973,27405,-18079,1452,-7320,28462,25695,-15000,26295,30053,23096,-26623,-22072,26868,-13128,-20885,9855,-4706,11292,24819,27240,-21136,-16379,-26529,6212,-17308,2189,-16543,-20389,23811,-8494,-14942,23846,20231,19755,-3208,8668,7493,-26087,-30007,12793,6384,7000,-28,25951,9798,26164,-17843,-2544,24183,-28725,-6525,-21110,1204,32050,-22581,-26840,3480,1454,-29821,-16489,8837,10856,-15309,13887,14384,-6617,31930,14955,14135,-12002,6936,-30299,8387,-22226,21725,-29920,11652,3863,-14920,-377,2699,-8287,-13197,-15521,29066,-30974,-15865,-27884,-18914,-24189,-3978,625,-8358,3004,-135,2419,-10015,-16424,13628,24140,-31757,-2009,7453,31587,-1771,-29656,8250,19941,27301,3232,29923,25397,-8088,29994,-5020,31764,-18026,29575,6851,26468,-13226,-15826,18781,-2074,-23061,-21375,9084,9929,-4386,-18956,-9062,-24613,16861,11035,-26549,3925,3401,-11635,-25311,22604,28360,-25827,24104,616,-10993,-29899,30801,-3826,31387,-22019,-16248,24726,10329,3782,-26538,21397,-4299,-27599,-25833,-5241,-24958,10494,-17812,-21000,21133,-20274,-12916,24733,3285,-14885,-9795,26543,-23924,7119,1013,-10339,17414,-30672,-23678,18380,9071,26995,11492,-10687,-12001,-7070,8091,-171,7689,-5236,-23160,745,-20545,-20103,-6465,8450,2092,1830,-6323,3661,-9230,6861,-3945,5685,24560,15551,18298,11531,-24448,2782,3619,26816,15940,7617,28871,27154,-26109,-23067,-31306,8986,28354,17081,2272,21364,10495,12553,-9864,-22131,19004,-10427,3183,18912,-25486,-4907,13693,27028,-25684,11607,24606,-1330,22068,-3973,30781,-6498,-3157,-10923,-21549,-16386,30017,-23037,21524,28693,25429,29648,-32687,-26363,-25335,21789,-7456,-10322,3015,-3520,6388,3080,-7310,-17136,11071,-28938,-26234,-25113,-25961,11019,-20074,26186,-24058,31514,-4072,-15459,8361,-21576,1961,22471,14096,27064,-11091,-8019,6712,-31922,-21209,26296,-8753,-9510,22341,12061,-19257,-27252,-20019,-22410,-21682,-29276,24326,-22185,-6517,30406,15015,-19382,23631,-22990,8344,-29546,30157,-13013,12822,831,-26951,-15040,21511,2774,-23023,801,25813,-15166,-28356,-30605,-2832,-4560,-6212,24055,6539,6859,-3652,18257,18122,10112,7514,13,-3600,-23409,23706,21603,25981,-1562,-16023,4727,22750,-23405,29826,-28012,-26329,-26615,10218,-907,14798,3545,-22263,-16244,-26372,32142,-4047,19284,4488,-25849,28365,25050,-29484,-19772,-27022,12447,-18252,-20794,-26839,23431,-16836,22562,-21928,1734,-26926,-21984,4384,-6192,-486,13179,-5435,13966,-26054,20332,32583,28503,-10879,-7741,-30341,32655,17220,-5556,-16901,-12899,30339,19638,-25643,-5011,-9558,-2079,19336,-28440,17392,28351,27411,-23635,-25701,29580,-10350,25148,-21011,827,26551,-5217,32431,16406,8482,5142,-19366,18200,-24122,-5914,-28,-11370,18725,26295,-12671,-8999,29263,30924,23052,21198,-28161,-18947,16142,11057,9411,7552,-3521,13691,-26507,-21330,27587,-29640,-30567,23208,-3699,23180,27642,8322,8475,-5642,21603,10582,2252,18820,12252,17714,7117,-21224,21571,4401,14327,11262,-19459,13088,-19622,30411,-25882,-5331,-11549,-18701,-5928,-4298,-9650,32197,9029,-16596,30822,-19964,20370,-29000,-30425,-16960,-16669,25927,-26097,-4636,20285,-14385,-4265,-24426,-1800,-20575,28290,-17814,27593,14699,-18925,-17464,-18477,32023,7256]},"conv.1.weight":{"kind":"conv","dims":[5,1,3,3],"mult":227,"shift":26,"w":[-24950,10238,-24075,10520,-22403,26954,-14132,3476,30113,31900,-20734,3475,-1076,14958,-2224,-50,11913,-14326,7212,-19620,15178,-1806,29394,22020,-10166,-15331,-24509,-27613,-5277,-23408,13198,-16851,-5831,-11163,15631,-14625,-2891,9712,-17958,13045,-7634,-30133,17570,-31247,-8477]},"conv.1.bias":{"kind":"q16","dims":[5],"v":[-53064,24600,-29369,28127,1938]},"fusion_pred_net.conv1.weight":{"kind":"conv","dims":[2,165,1,1],"mult":24,"shift":27,"w":[21835,30084,4313,4216,9673,22824,32334,11412,30017,17016,-22768,-29692,1723,21420,-17282,27373,-12493,-16296,32226,4263,-14082,15761,-14703,15813,-26242,24442,24337,12201,-7367,-24866,32709,26,-16078,-14267,-22648,31686,19269,-32385,-9898,-27153,-3825,-7849,-844,-29960,9401,25466,25616,-5740,-30272,-8711,23927,-21237,-16505,9810,-23778,-4578,-18493,17448,23485,10954,-32098,-16110,-31945,-18013,-31659,-27477,24587,8732,-6706,24943,-19414,15487,1086,-17131,-11546,17272,-13899,10027,-1317,-28187,-1594,-15621,32483,31440,-17739,25145,32697,-15720,-28072,-31689,-24871,6659,-26984,29486,-19269,17059,-20532,25661,-27952,5080,-8851,-24685,3487,9130,7993,11924,-15815,16669,9192,-11044,-23340,10052,24604,29707,5681,8540,-29940,-30410,29307,-4259,-10369,20506,23997,30124,19723,20687,29050,31577,22307,13575,-26722,-30132,-32289,-23234,-30891,13677,-23953,5980,-28573,-27718,29761,-27316,18516,-25796,-6436,-23626,30751,-10911,14288,-13854,-23882,-30904,19256,14280,-23522,6596,-26795,-6276,21667,29303,-5376,1718,-19507,26088,-19616,-19605,-24144,4328,-6706,-17174,-15124,-18444,5145,-5128,-26181,11919,12030,-13579,24235,32246,-387,22196,-15303,30683,-29582,-9720,-24649,-12364,-24918,-14314,-8371,-5833,3056,17338,-17011,1047,18807,-8026,-5237,-31927,9815,-19119,1596,-22668,11540,22832,-825,6569,1303,5254,28892,1867,13217,14817,-3313,937,13994,12148,32225,-16945,22089,5920,23142,20816,21424,-25420,-2414,-15467,16296,-4141,26920,2913,-9719,-27166,-13664,27161,-2531,8083,-3588,-18029,-31796,-381,-26210,-8174,-20415,26430,-9134,-16208,-9153,8282,-4825,29461,-30367,6043,3980,7584,9750,10909,10745,1943,12238,-23759,-12452,18468,20758,-22227,-13551,26890,238,5206,2435,-14861,-31416,-13546,-10228,32536,-7073,23528,-17106,30744,4833,17789,-10553,8485,4162,-32228,-17964,28157,-18501,-29358,16763,21984,-14153,20539,25236,-24596,28394,22900,-308,-3689,3729,-2134,8784,6921,-6252,31270,-32393,923,-12047,-7296,-20943,13012,25880,-13404,14825,-6845,-21266,16445,3251,-26141,-13434,-11675,26318,31226,21700,-6773,17671,-30047,-22419,-27790]},"fusion_pred_net.conv2.weight":{"kind":"conv","dims":[2,2,1,1],"mult":16384,"shift":30,"w":[28462,21095,-1898,20764]},"fusion_pred_net.conv3.weight":{"kind":"conv","dims":[160,2,1,1],"mult":4096,"shift":28,"w":[9654,7561,-7243,2763,-14665,15965,28931,-21747,-29107,-15520,20270,-23730,-21015,4354,-27861,-24055,26543,-3379,-16324,-8201,-32338,-5246,3108,2043,-16544,14979,2398,-25343,-28682,-6375,-19273,12974,-24503,-23551,9622,11905,7415,-18222,9432,4348,-15127,-812,-25201,5532,-27076,-23119,-10207,1821,-21988,20864,-4529,-29847,-13797,15508,31371,-13008,15822,-29208,11101,-28172,1032,-8786,-264,13065,-442,20592,-206,-25370,18191,21534,30078,23205,14113,23489,-27565,6484,-6173,-22261,-10787,-21672,-29405,13180,-20900,16666,15659,-18397,-9624,27365,24247,4565,-4917,16086,29693,-26771,-26280,-31135,2193,24059,30736,23019,-21348,-13450,-31692,-11573,9343,-20388,-32119,-12061,-15012,-18023,3437,-27749,21994,-15730,-20066,-29360,-14048,-30659,-13840,-10070,-562,20427,14743,5921,-18302,8082,13003,19168,20501,29913,738,-3576,15628,19178,12275,997,-21897,-19005,18474,-11429,7627,17419,12760,-20110,-30761,-6494,-4861,-2254,-5442,-6373,769,5090,-29751,3013,2812,-31366,18318,5725,17843,28582,-3370,8320,-9666,27051,7301,20411,-29140,-1987,-14899,23898,2821,5425,-10289,-25308,7786,-5255,14495,15727,15599,-19237,-17683,28690,8590,-9975,865,5525,5911,-7274,-5846,19646,222,25686,-20161,-32713,-11237,15968,-17724,16625,4492,31799,-520,27377,1273,-21435,-1369,-12555,-4536,-29667,16813,-22559,-1633,16074,18214,-10682,-2204,19903,-13690,-18595,4043,16589,12207,-4275,13314,-26748,25115,-26835,32338,-9578,15435,30621,13976,-31938,11422,-7010,17643,25056,-26288,-26530,21048,-18631,-15263,-25687,15984,-12307,-19053,-8393,-9665,1264,-18259,30415,-11884,-9223,-19774,12868,30765,-16767,12100,-14948,-20237,19881,412,-4820,-5230,25829,30256,3066,-21717,8968,-29514,-3479,24490,-2718,-3978,21198,-3002,32386,-16814,-17857,-2962,-24711,-8648,8995,-13553,-7557,-1123,-27567,-23685,-12266,5869,-6751,31067,21204,17706,1883,-20684,8765,-26064,-21166,-17209,12336,-1632,11914,-12961,-12392,6083,-6255,13294,10903,-2229,13822,-30911,8782,459,-28027,-1753,-31320,-26151,19426,-22147,-15057]}}
Reference in a new issue View git blame Copy permalink