{
  "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": "7d0164c49bb74c241dce3aa804f7e3de5df7ad39e86ff3f5476a45d7210421f5",
  "does_not_enlarge_paper_vi": true,
  "exact_minimum_orbit": [
    10,
    0,
    0
  ],
  "field": "Q(sqrt(5)); each value is a+b*sqrt(5)",
  "frequency": 10,
  "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": 14,
  "nodes": 1002,
  "normalization": "normalized spherical probability measure",
  "not_a_joining_theorem": true,
  "orbits": 14,
  "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.10",
    "filename": "classI_exact_certificates_f2_f21.json",
    "path": "/cubature/classI_exact_certificates_f2_f21.json",
    "sha256": "7b3945ad58b76341bbc22e7812a359f64b61a68d413b2668012dc155803edb5e"
  },
  "target_degree": 33,
  "this_archive_ledger": {
    "frequency_key": "10",
    "path": "/cubature/evidence/2026-09-13-this-archive/f2_f21_ledger.json",
    "row_count": 14,
    "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
      }
    ],
    "run": "Python 3.11.2 on this archive 2026-09-13; distinct from author-supplied evidence_* transcripts"
  },
  "weights": [
    {
      "decimal": "0.007675609364027114",
      "partition": [
        10,
        0,
        0
      ],
      "weight": {
        "a": "8939189912113822566860651500390348847918506233695016730922647546879417228348770704719027075665629311695970281556694660821830897482010760699140625/2858757857008089878987462183261212613392484993104610505918781924694957523104708838043430078283229408867126611006039762518844885333651032489869824",
        "b": "-179579986540088814286519240442694307312035038689933657532875333058309857518247902442584114318685228499088390144052578673250289513063242975796875/128732884865271128091050315705862058677611901863406373713733968658623863618069186806303528369896976486252595837228498622743015022788633450630784"
      }
    },
    {
      "decimal": "0.04272472714482767",
      "partition": [
        9,
        1,
        0
      ],
      "weight": {
        "a": "5274921919047358944263839625106928347019670238533945802017520908110763967553145868193437994787293953873171903446946122446946912262654456031217296493042536387390508/541955123683231141908990582465922990833198968710972413834621740789889996941262142929327727334378928921227555313124171047225914543799733391446658762371315751953125",
        "b": "-2348661618121019509301258576892163908041840276972332162417438174094981307022907722994598877853045673692461291012559316964089442456987527978359748318508171648830676/541955123683231141908990582465922990833198968710972413834621740789889996941262142929327727334378928921227555313124171047225914543799733391446658762371315751953125"
      }
    },
    {
      "decimal": "0.04971040019712625",
      "partition": [
        8,
        2,
        0
      ],
      "weight": {
        "a": "-880054210969458450820295978940116816496382100375307575182928874836827535397252368286595475557577074232401566644922095439273695847295729359988123957993747289/134623800771610323135488014064481531922384107696252928207506735116230877917987699235754902603389677704609506169782704744623600844513170595309237795000000000",
        "b": "8790850908477216657287555641683408280511570278538215266433117088384787711540042436080506424003409459849154000598608253306107891493063156828210817495443037/2984271445676090906944315582710181742121815195237133876521085261197236210004653431334468284311593840742575259921291484486730067981819052605377192500000000"
      }
    },
    {
      "decimal": "0.04958977065010117",
      "partition": [
        8,
        1,
        1
      ],
      "weight": {
        "a": "-56287378781107823841423139622746661939835213013797930355713482864828070795581879412146499606403917235617481473163990628488766066131529664157253706230705241185116/5035094426030191921916860683537150654043256263644114373122625219408011515364353540780396854373585919951289493997500353354850049299921818405705297904768720559375",
        "b": "2654835271296963904132610167077577633625116896887431270091740262962713844335557518708279813890621399275895315275856085794268012217140410882619399868379352456784516/528684914733170151801270371771400818674541907682632009177875648037841209113257121781941669709226521594885396869737537102259255176491790932599056280000715658734375"
      }
    },
    {
      "decimal": "0.0549249350206637",
      "partition": [
        7,
        3,
        0
      ],
      "weight": {
        "a": "-3177648281138583043238030468070566743346390160916625133629932602801948687516049420988467448178037901195784529875163681848112867946269270044902237897690070464/6793414784180381615686495060221405662711143641050975743628741319240191209854260320189532021853632461986518514889880740064762176856735244755298094366669921875",
        "b": "101691723035068553087053959154507924616354137132811111297087109664795157435721330709067529103857967008951661621615292342693413411452231547488078115876869568/435046266967216556669578501393489032587413139574693027917111513054790570089189084544157223074370551752831234943686943945034031030234276757728449392939453125"
      }
    },
    {
      "decimal": "0.1123202378893501",
      "partition": [
        7,
        2,
        1
      ],
      "weight": {
        "a": "584257994454850693027256784522445420954114216662856964039856359962897783916937343785677387386791168306303176985643673405209245374529927832576/622158998136032929338428629686408705021344811921517200352004329202151190158236773124706719948560425607345567776820133528646262683534760074375",
        "b": "-231953333960790674386454404957463829559384082114265591651238546524686399154295274176542722150160273049016255861724231400829055669714967532962688/627343656453833203749582201600462110896522685354196510354937698612169116742888746234079275948131762487406780841626967974718314872564216408328125"
      }
    },
    {
      "decimal": "0.0587761711843789",
      "partition": [
        6,
        4,
        0
      ],
      "weight": {
        "a": "30206523466125902266922444071033702620376415957943031236521227879348194368334154469159104413947590610410587902726053638207931646666553904783072859393183/752890788255064590732493714401370411074584757502724654868343295668854515979310643473995503270051337387349043288342732869426216006966591519421542500000000",
        "b": "483180383836796954154495878096422353919894257067021005344041031898278336286273891846679609707355480154266291230222580464607109423525381313448643157623/57914676019620353133268747261643877774968058269440358066795638128373424306100818728768884866927025952873003329872517913032785846689737809186272500000000"
      }
    },
    {
      "decimal": "0.1232822060079402",
      "partition": [
        6,
        3,
        1
      ],
      "weight": {
        "a": "-232742696115291700893678837512622651755276088152108710174521634062100959382655590762587424921594177496963622370961086078449880701258213889710848/1297175686457877594387496535706413838297209722763858837633949005452723813927928172686986888883688014457703304917010615413099668849953086421896875",
        "b": "878017529593909605225329575324542709629546250064226645835735603204583159927281489084585044550449258600324675413626138493174564160359552850378368/6485878432289387971937482678532069191486048613819294188169745027263619069639640863434934444418440072288516524585053077065498344249765432109484375"
      }
    },
    {
      "decimal": "0.06353601365593686",
      "partition": [
        6,
        2,
        2
      ],
      "weight": {
        "a": "5610735596827609522918426517315786453409901087347409797934691988287866972763386519670024641932477252335265548248897078164619348461530148626515102116395149/945973381405804795444604444614595783101112875677426769886356669136826033136551885305191211371581261528540256822415858547540388669893858972093548820236250",
        "b": "-1265982277931878752612605874974555251506303156398644711393228458013171154774017270907251250512502225349403970354794864768290447138193546985340307899821891689/482446424516960445676748266753443849381567566595487652642041901259781276899641461505647517799506443379555530979432087859245598221645868075767709898320487500"
      }
    },
    {
      "decimal": "0.03004655449331639",
      "partition": [
        5,
        5,
        0
      ],
      "weight": {
        "a": "-2064341180324056977467477439175814785064679926351756592931418854095813688757689242892984218632446612856779723855269939401358884230983393911288/1918859025503586089626229060262921260906732361696221791076179971061467209638136092423610658675029142549787721126138024662776690611754685546875",
        "b": "289982881567852590124842940484249653090391633055883713311695176110147399008026822713781925994063879233429496484877909822870930407612987481948072/586348493650310092244357708557484082439928645952602630158849851157211194487996157384871885557983905130570847926972747821954191602649038912109375"
      }
    },
    {
      "decimal": "0.1292734535662859",
      "partition": [
        5,
        4,
        1
      ],
      "weight": {
        "a": "1198171625747376559712786460987228322034463703663345079349830417202002050423457794995445279087401672526824066436892823187165156332643792686975822216584840781808/1387454720515619007264034636367947307785473625860261715173799779381066493521211444817416933628215275139518064465929422070999843372080880715455325484852364279375",
        "b": "-6834389020891732629484661114595538794817027322699556267106204425785262204745430745082970559232396992664190087322305176930297156237037149011580986068705597413744/20811820807734285108960519545519209616782104387903925727606996690715997402818171672261254004423229127092770966988941331064997650581213210731829882272785464190625"
      }
    },
    {
      "decimal": "0.1363387510946905",
      "partition": [
        5,
        3,
        2
      ],
      "weight": {
        "a": "16490140497913164646350099285691949324806135897997464495793556371069967139568219769918616693177256417316969748061681976613072677391851767981865836495796096512/11139243964889001842440956045772993550463213766942333128067973251052273364577076720211197504597624867311028171448139873897411766591193511542460240288734414375",
        "b": "-7725492680549575593385735024991692369833919809271657174464217248435006670777348058408424437087400594645505189372581026748803159854309381097478951154651747072/12852973805641155972047256975891915635149862038779615147770738366598776959127396215628304812997259462281955582440161392958552038374454051779761815717770478125"
      }
    },
    {
      "decimal": "0.07009371521237506",
      "partition": [
        4,
        4,
        2
      ],
      "weight": {
        "a": "-94271597256850913198504351512140369935472003330094126147718776000102455283099698177217163581205927225091489103369014282038569044276098757557774355278951/63023793910437546461100213824389480586957802747789396095561509501743838663993464664150770756775371006812347975944457483176168456704277610072036072200000",
        "b": "441351381585275714632339046334351443850820706776596663306093750512785894497953087279316178823551057536002845183359064180270476339047648097215990040097181/630237939104375464611002138243894805869578027477893960955615095017438386639934646641507707567753710068123479759444574831761684567042776100720360722000000"
      }
    },
    {
      "decimal": "0.07170745451897911",
      "partition": [
        4,
        3,
        3
      ],
      "weight": {
        "a": "-14902696638578708144573889293462752508539214146473177703611607829306427006492081988261587519044121272906380452759136096393141782952202601490851911708753984/83046431157884719663331815923188950765983781912894589417715610985843575501818486396863259455571879466230298630624982597575009047356446992037607345888540625",
        "b": "471104396801543426654068031562810626375760780192422679173610236868454478676316547020643212662803823879807662743451244483555974155978743788941447130825792/4194264199893167659764233127433785392221403126913868152409879342719372500091842747316326235129892902334863567203281949372475204411941767274626633630734375"
      }
    }
  ]
}