{
  "author_ledger": {
    "note": "Author-supplied recovery run inside the 74-file package. Distinct from this-archive execution.",
    "path": "/cubature/evidence/2026-09-13-word-recovery/omega_f2_f21_recovered/evidence/r2_ledger.json"
  },
  "canonical_weight_text_sha256": "479571f01ea5061987a21b542993623e9d2f8257a123913f4d8879a3004c0d69",
  "does_not_enlarge_paper_vi": true,
  "exact_minimum_orbit": [
    12,
    0,
    0
  ],
  "field": "Q(sqrt(5)); each value is a+b*sqrt(5)",
  "frequency": 12,
  "generators": "homogeneous harmonic H6, H10 (zonal-sum icosahedral harmonics). Not the f=23,24 raw even vertex power sums.",
  "historical_verifier": {
    "bytes": 4102,
    "note": "Unmodified historical source. Assertions. Do not run with python3 -O.",
    "path": "/cubature/verify_classI_f2_f21.py",
    "sha256": "7c3cd105dae6cf36fd140a8b6525ed722fb02b88bd2ba152c465847befa944fa"
  },
  "independent_third_party_reproduction": "none_recorded",
  "maximality": "not_claimed",
  "moment_conditions": 18,
  "nodes": 1442,
  "normalization": "normalized spherical probability measure",
  "not_a_joining_theorem": true,
  "orbits": 19,
  "paper_vi_proved_range": "1 <= f <= 9",
  "peer_reviewed": false,
  "provenance": "Recovered 2026-09-13 from OMEGA_NAUGHT_Complete_Data.docx. Combined certificate original bytes preserved. This file is a derived per-frequency export with its own hash.",
  "revision_verifier": {
    "bytes": 11383,
    "note": "Recovery revision. Explicit checks remain active under python3 -O.",
    "path": "/cubature/verify_classI_f2_f21.r2.py",
    "sha256": "4af07ac2ba14540dfb230920f108cddd0b21e8e80dd2e61dadb79acaad64d7df"
  },
  "schema": "OMEGA_NAUGHT_CLASS_I_FREQUENCY_RECORD/1.0",
  "shared_certificate": {
    "bytes": 1815267,
    "dataset_key": "frequencies.12",
    "filename": "classI_exact_certificates_f2_f21.json",
    "path": "/cubature/classI_exact_certificates_f2_f21.json",
    "sha256": "7b3945ad58b76341bbc22e7812a359f64b61a68d413b2668012dc155803edb5e"
  },
  "target_degree": 39,
  "this_archive_ledger": {
    "frequency_key": "12",
    "path": "/cubature/evidence/2026-09-13-this-archive/f2_f21_ledger.json",
    "row_count": 18,
    "rows": [
      {
        "degree": 0,
        "index": 0,
        "r": 0,
        "s": 0
      },
      {
        "degree": 6,
        "index": 1,
        "r": 1,
        "s": 0
      },
      {
        "degree": 10,
        "index": 2,
        "r": 0,
        "s": 1
      },
      {
        "degree": 12,
        "index": 3,
        "r": 2,
        "s": 0
      },
      {
        "degree": 16,
        "index": 4,
        "r": 1,
        "s": 1
      },
      {
        "degree": 18,
        "index": 5,
        "r": 3,
        "s": 0
      },
      {
        "degree": 20,
        "index": 6,
        "r": 0,
        "s": 2
      },
      {
        "degree": 22,
        "index": 7,
        "r": 2,
        "s": 1
      },
      {
        "degree": 24,
        "index": 8,
        "r": 4,
        "s": 0
      },
      {
        "degree": 26,
        "index": 9,
        "r": 1,
        "s": 2
      },
      {
        "degree": 28,
        "index": 10,
        "r": 3,
        "s": 1
      },
      {
        "degree": 30,
        "index": 11,
        "r": 0,
        "s": 3
      },
      {
        "degree": 30,
        "index": 12,
        "r": 5,
        "s": 0
      },
      {
        "degree": 32,
        "index": 13,
        "r": 2,
        "s": 2
      },
      {
        "degree": 34,
        "index": 14,
        "r": 4,
        "s": 1
      },
      {
        "degree": 36,
        "index": 15,
        "r": 1,
        "s": 3
      },
      {
        "degree": 36,
        "index": 16,
        "r": 6,
        "s": 0
      },
      {
        "degree": 38,
        "index": 17,
        "r": 3,
        "s": 2
      }
    ],
    "run": "Python 3.11.2 on this archive 2026-09-13; distinct from author-supplied evidence_* transcripts"
  },
  "weights": [
    {
      "decimal": "0.006360677275983662",
      "partition": [
        12,
        0,
        0
      ],
      "weight": {
        "a": "-34584164931952909652772407937531018793278784752935107512664151476063771818660147058017250959772764024288452523336744737077903153186036888712689146657383824444140921122266819822626818931693108709248500303082949647125/2882665709363360681971463733856950326905940351965664242762037750781450479382845310863642909442807890321229332823551285642732507058424229997507259023171773962544485366575017652924497426706745890416291948667933826848",
        "b": "26317531843044321855952840670404320265316096371387560853035265137481105652192938234584116535842933224517899860428714182652554897686263584735912476263120039435379580157910952904480124557140597539404022600150625675/4902492702998912724441264853498214841676769306064054834629315902689541631603478419836127397011578044763995463985631438167912426970109234689638195617639071364871573752678601450551866371950248112952877463720975896"
      }
    },
    {
      "decimal": "0.02610647470974925",
      "partition": [
        11,
        1,
        0
      ],
      "weight": {
        "a": "-8291713354123106821886846976431078319038511119560691551307271453177551344764231717139884777673341897771512558110207819008864418016780759448776367590570529453975182783874615788449977479690725186020069738493830797120453434557452870070719/290516106960396450166459656041467104900638168265722702928107647942971970353681301499762405568547341648961252371837708422851141319585747937415776118146315047485922807465676942349996562657793494277690188073921755983104272613120192000000",
        "b": "3274904794421605639333966244413483678332170459721928546920946721170474993329809158571347880360319384580550760997694820637018080883521693022317019701913869012466630284808632115682318388497619746454461597131343978242126776337901862424919/256337741435643926617464402389529798441739560234461208465977336420269385606189383676260946089894713219671693269268566255456889399634483474190390692482042688958167183057950243249996967050994259656785460065225078808621417011576640000000"
      }
    },
    {
      "decimal": "0.03266826358111885",
      "partition": [
        10,
        2,
        0
      ],
      "weight": {
        "a": "-245525358157723946456313011979734676786443457719464479720626831064051892431399524425159326859092406417930189934955528690481191605101585183814867852322675605395140302850285661525448134884483850053267560849630009702337575/26649376481678594340513802765069125554549435453485727269783313427435978646422202035898749116363606986666059891327268291708490722699627152888873612621238192931539478646900797908958617190032443021159995498932093642354656",
        "b": "9834601851187852372862126769139317996092496676061637703738749309687837051609357604240988567045242256376610749611726223625239017546065025583137788898075547352981283182526947901328196100176360149471076283636564676762139525/2378456850989814544890856896782419455743537114223601158828160723398661094193181531703963358635451923559945845300958695034982797000941723395331969926445508719139898469235896213374556584210395539638529598279689357580153048"
      }
    },
    {
      "decimal": "0.03583280705407788",
      "partition": [
        10,
        1,
        1
      ],
      "weight": {
        "a": "2589446202307960975810189262631414119653324190701864375534409224162747007682088166003233184805275877119368230350734911862568826548851748724545956335968077484404627578585882023210147128181734271509873306913035888737395875008644581670948419/70164959345638717328732721934665424644922333162862684984385638535065436311805479690768118865204300652508323194639424415398016743758301165275481564785895383904825170329318889612452923832865954956870379095072510040280436858697827416125000",
        "b": "-11569111587342226748657911453657047836436008262185762307721651510179411713714580550640698882672646303751106115161584925597825162032093999085288982038935756683042593954863973853126998376862042144553665458528568966268452693248968117253775627/701649593456387173287327219346654246449223331628626849843856385350654363118054796907681188652043006525083231946394244153980167437583011652754815647858953839048251703293188896124529238328659549568703790950725100402804368586978274161250000"
      }
    },
    {
      "decimal": "0.0377883980875644",
      "partition": [
        9,
        3,
        0
      ],
      "weight": {
        "a": "-17670827512446760608049437262125716668018223538600766094086373538900256567726105569080178451690581485825589338580077752445046419294262227067922328309424285838852475888229186523033398434402728224910204883281643743777502707/14622829477021654732091361192204678642887333386357366306510362597543911548131011663182166428437372811028428536048468753006027409543761586240441665192682392986896262405055641120310956823109804346065178537742385949130240000",
        "b": "2716584200072355139855618646226056729605793805330407827500852436439193869524404460532228949473604575694045738944932529318797848572341748877293703497229289631660367174604870828066571053294616900137312710701597967960505079/4874276492340551577363787064068226214295777795452455435503454199181303849377003887727388809479124270342809512016156251002009136514587195413480555064227464328965420801685213706770318941036601448688392845914128649710080000"
      }
    },
    {
      "decimal": "0.0707893053626556",
      "partition": [
        9,
        2,
        1
      ],
      "weight": {
        "a": "414678142031444682750684631813875111079718246485857987716341000492357071646066396631432931060161577526794787442043175902281099331958865514407860172551398080784825711141371924635076538609214677569123536094389324705429/827999271571660758332027918712502879586868363627302925596296744960360443445674605095521111581990247412260512033641233066714211305418289322251387358599666206718516451458667408318265490036777900035909189476414460800000",
        "b": "-40107807234787709064164423440481339447094177979196211871763972640344321992289887900083652821188628207453398691021753570996702274682310528854009709673821482360680387973202095382810569656881315510671155935016145111950213/208552316527112053504879532025711662795942469088626924384567242636890786692879291158434379979713793566963116468473385578678641972552231623042068190947290925817226331211151853470163120303013433571544627099371892314000000"
      }
    },
    {
      "decimal": "0.03826045564694423",
      "partition": [
        8,
        4,
        0
      ],
      "weight": {
        "a": "-8441816368276293423671390573959172844271595242392028823457820009036319748604386783363462208974237488805948034463493550657094446140069721822054348043251970083277748291635991777120004256612028133539858746659730232812366876797/100218628361411164474842730504643521333376142262762168965276249853112332765401933511061631388296128373546122163587680843398178946579801461219934039518047658207085596534513241693498985208701496348368238992062871200541777180000",
        "b": "201761009834218077802213059188801163018840178033951447117042445229751273685829634015423798994122999451440043814844085990555644653292462443838212402737099135133979634773765143185610546254598124241704136406726826903007341839799/3683034592281860294450470346045649409001573228156509709473902182101878229128521056531514953519882717727819989511847270994883076286807703699832575952288251439110395672643361632236087706419779990802532782958310516619910311365000"
      }
    },
    {
      "decimal": "0.07957501843682818",
      "partition": [
        8,
        3,
        1
      ],
      "weight": {
        "a": "-25808709289055571919037405780771703990273540712336101339621027690138007838588372736560671421098392237646144866042684572477530139247356605835688115351813246143071956190168122321209160629723737213235649676195220053125/93736869114391856066852215474513002196173537776914750526130799839284990295351439020995531299989621229401893556685740278768293230390890449591374978931586028570517910918008243595413179490701799927662493080892973914752",
        "b": "1239818538307645107558049978238025745582457392124238239649841784209705246576495168413285028261182772327492665202109140643910538096118525622622796913165052433091896775939785013125023442766847067151422195754928300625/7811405759532654672237684622876083516347794814742895877177566653273749191279286585082960941665801769116824463057145023230691102532574204132614581577632169047543159243167353632951098290891816660638541090074414492896"
      }
    },
    {
      "decimal": "0.04255065197496677",
      "partition": [
        8,
        2,
        2
      ],
      "weight": {
        "a": "490040329976308963698584092256525656733839766304727613937976634196835712967688266811491951844460418023632865003179073115263018017033031275750020788765786391916757493366011747706661239905274261309316377634603575734427/40379390087433782449330918847857998550478401496004785446724614916627395395687899339662711720173580837253304945050425139338324389859440327607589911586122910235515792923165380079457307057913778828027736208928325325000",
        "b": "-14850133025940732182083535820807917526426341463235723337437593614598538996403794195519406023980284659197926410704344449416481996646824739363790755011068403642845050499007874683168511946319308378805436278876509314993061/2745798525945497206554502481654343901432531301728325410377273814330662886906777155097064396971803496933224736263428909475006058510441942277316113987856357896015073918775245845403096879938136960305886062207126122100000"
      }
    },
    {
      "decimal": "0.04061036908507001",
      "partition": [
        7,
        5,
        0
      ],
      "weight": {
        "a": "74401464353589107303254570019121661952211879076908638094911818090974099420945129527031072682539312429669270609369766053703990522133142937561107104206216995172915284443890723533871172850018410108866049371819260862387339093327375/581392249129875644262089000645114740824769153675639374483345236663770411851942678870894544619558416760432211627962768711983098921258164256735079243690867021880555809969081954357895664163678625364901169012191939800679926779676672",
        "b": "-1390676676629426086033134593312635473036131018606374433491425861561370119237471942338957021149377614496750592401159301944559262508145675716082550938101536360410678273030754395665387548703270669448149946458293350287333728308675/35595443824278100669107489835415188213761376755651390274490524693700229297057715032911910895075005107781563977222210329305087689056622301432759953695359205421258518977698895164769122295735426042749051164011751416368158782429184"
      }
    },
    {
      "decimal": "0.08778535803711798",
      "partition": [
        7,
        4,
        1
      ],
      "weight": {
        "a": "-22941713145985722576979861700429035439635167930894375064974496158959180218149764049755621082131562718534910390113746097315027602807017314239795162160907772445819772733546437369375117815651258685507704989320661/2432261450846811819458753481039486880593622445724361731891976838898432691907792002185926072190382208030167803025007064793981974191405331347798922214886497609162059810886929610301772780373516592441200644523700000",
        "b": "222626369453028309174226951818292519970844454988272392096008863573851127163641699885160818324364325876137110158654725295615692557721938863770944844997708505194231612422381496721370882859668649320294454740928909/5120550422835393304123691539030498695986573569946024698719951239786174088226930530917739099348173069537195374789488557461014682508221750205892467820813679177183283812393536021687942695523192826192001356892000000"
      }
    },
    {
      "decimal": "0.08780248440299548",
      "partition": [
        7,
        3,
        2
      ],
      "weight": {
        "a": "288896875567514831999760843944775315632735037411256480610256688275531583514187768011397554716496152112104042965049507153986795668234902303129551652296351959644883151196772909818957811286755340556067131515119249673919763/1298105301148877855023503753025574735957405381817166345642447444323518831372329452636624583422085873162418858796676025181801850483262328809666640161224268894865040730597281536506224841669649948868525838344343169439200000",
        "b": "-191731873554140689563360393009336245912347729027578121027307476415524576511337650837382664412565907325225670954196386297260297006135902451254607502764572433925532568607632775532536055697518169584209750254533614685207/3181630640070779056430156257415624352836777896610701827555018245890977527873356501560354371132563414613771712736951042112259437458976296102124118042216345330551570418130592001240747160955024384481680976334174434900000"
      }
    },
    {
      "decimal": "0.02125105856189677",
      "partition": [
        6,
        6,
        0
      ],
      "weight": {
        "a": "1759723643898307097702893842560711453291966419270457595299855167332397712167620023500769188342248217876527976680516904459147599634435183286595152271434438109337425330065245664880305730250323259107764314820595054807829/57859182335348348894966144215550501073275309284797028000920202272638340866822664654153464783940667883299250608544625115662650532665673121476998535022341164380051731828998462855054804141291958730462386214682677048500000",
        "b": "-20152855839752535884824566090400509506978962905842509079531328604043390810475156104261089963774731611640925536732490341940911047458563285918325526284373817781607028994254645383369178573464791451790880684877353826108963/4918030498504609656072122258321792591228401289207747380078217193174258973679926495603044506634956770080436301726293134831325295276582215325544875476898998972304397205464869342679658352009816492089302828248027549122500000"
      }
    },
    {
      "decimal": "0.08774991554634651",
      "partition": [
        6,
        5,
        1
      ],
      "weight": {
        "a": "37832725223835396870124358166168923300380712874642941863463205108083031621684972120689639012444268888511375642146806317685486103237520912112679036097600696844630794955149140051993414869216011044332794348862604113135403085042394546592906313/310178745146740204950841429004222509761796415921767227886713734309998510596193467048777397713349588215303014806871819889391713983123359058209337364003147061351070092524569401718823179926668800887431379785201346183154317282229629932178800000",
        "b": "-5651164837938537526923724610281902418808203204787564400515666613641026117800324683510026690878681851964301967451066717317185904948280268933972264587169612522249747221214857169144856887433522436870803250054091636302912706166241234336724133/369260410888976434465287415481217273525948114192580033198468731321426798328801746486639759182559033589646446198656928439752040456099236974058734957146603644465559633957820716331932357055558096294561166410953983551374187240749559443070000000"
      }
    },
    {
      "decimal": "0.09303740112707533",
      "partition": [
        6,
        4,
        2
      ],
      "weight": {
        "a": "74686831685081215457017528643486226870472485321916106264304475555752496416584341156202639209035520174618952334632504796663067379983807417420385534590815787778066494258665117425579584789501336785447190909716226162637669196398777/659534165830402641303940534130785308790558056385425468517041803238976206703931049059269830942151120921490353434273508710611825225960381126698818495057523382061651904750803646601483193814623279646545837143792747765990078972100000",
        "b": "-13905124162973255950700860030377537344857670025688317031969540283757279340378856613122533078339325478204113244881691774159510527977403828913265752597335817753758287395660585589506696459066692585534789417480398474395519941054797/1538913053604272829709194579638499053844635464899326093206430874224277815642505781138296272198352615483477491346638186991427592193907555962297243155134221224810521111085208508736794118900787652508606953335516411453976850934900000"
      }
    },
    {
      "decimal": "0.04843039265722901",
      "partition": [
        6,
        3,
        3
      ],
      "weight": {
        "a": "232774844631583552617746561268827482463320807203040879247364455071482889947788221778665879152910151953324645815988209959518372795342491458810463983052748104532159167010670699263516110666494767348605103047992219500624534296875/1025133717422229964139006140208585026056379262677669373152815627417900664341822917470066143294681310439240166052633422929279588237095454701461745490335671578246133280094424644122525423609479151609785613714083081506800079040384",
        "b": "-198892667602691729078327782383938017535508020275406369829751908041071038364199291921057873131632253931401772829088983169287489315329717687375524516422582545860339893132673549514906390354912791635522463395668568919369249043125/2489610456596844198623300626220849348994063923645768477656837952300615899115855656713017776572797468209583260413538312828250428575803247132121381905100916690026323680229316992868990314480163653909479347591344626516514477669504"
      }
    },
    {
      "decimal": "0.0484276237843584",
      "partition": [
        5,
        5,
        2
      ],
      "weight": {
        "a": "-20099786337763556576199477320908325631717061579857597097307928782346061319719611738877185387989740557288848886905347631520943767918423101076860937486831817158454759989879600461708404100000017622755857055952903419307453775/192371801057680948517358592464847778008816108079716454887242504685667068478503678796504513859760646959978822762631456336968342917216543225922319502840954213533537082553793515117135313791937112370312669597465778759935628288",
        "b": "1644398551503066673563042784012147170746616651153537402817111948666594570547980143815153666168407964693567187583359904914980714963029880535169262169773766238296502345807208019194076619912508946960916631335519265025087225/24046475132210118564669824058105972251102013509964556860905313085708383559812959849563064232470080869997352845328932042121042864652067903240289937855119276691692135319224189389641914223992139046289083699683222344991953536"
      }
    },
    {
      "decimal": "0.09797334466802932",
      "partition": [
        5,
        4,
        3
      ],
      "weight": {
        "a": "4417694228805471494931743639523204133042591412337883982504725364410496598840332892729413803728893434901502182950933973165252931692168516413557793434537290673176873433048019263564438983631070754375785548872799583717397/2174442192701569193838883247110273800308297732743319282949675106684619753220474077000968616129579182799421791886342178837998138996985897234979131231585649231639434722225327121793547192831487099137321082276107822360000",
        "b": "-2507172946265888285895806173306855373418543844791134917095875445695527569121193023572172082891976593997767308327342475741643643578514528546566816310502509192521447508704775689944507666599002348012542602563080799061747/2899256256935425591785177662813698400411063643657759043932900142246159670960632102667958154839438910399229055848456238450664185329314529646638841642114198975519246296300436162391396257108649465516428109701477096480000"
      }
    },
    {
      "decimal": "0.017",
      "partition": [
        4,
        4,
        4
      ],
      "weight": {
        "a": "17/1000",
        "b": "0"
      }
    }
  ]
}