{
  "table": "T610",
  "stage": "repair",
  "live_readback_checked": true,
  "skill": {
    "manifest": "agents/runs/20261029T141456Z-repair-skills/manifest.json",
    "versions": [
      {
        "source": "local",
        "file": "skill-local.md",
        "sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
      },
      {
        "source": "live",
        "file": "skill-live.md",
        "sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
      }
    ],
    "unavailable": [],
    "status": "ready",
    "policy": "Read the archived current canonical skill. One valid version is enough; two valid versions must match. Coordinate mismatches before starting."
  },
  "versions": {
    "sage": "10.9",
    "numberdb": "0.1.10"
  },
  "category_count": 117,
  "entry_count": 234,
  "exact_rows": {
    "2,1,global": "2",
    "2,2,global": "4",
    "2,2,total": "2",
    "2,4,global": "12",
    "3,1,global": "3",
    "3,3,global": "36",
    "3,3,total": "6",
    "4,1,global": "4",
    "4,1,total": "2",
    "4,2,global": "24",
    "5,1,global": "5",
    "6,1,global": "6",
    "7,1,global": "7",
    "8,1,global": "8",
    "9,1,global": "9",
    "9,1,total": "3",
    "10,1,global": "10",
    "11,1,global": "11",
    "12,1,global": "12",
    "13,1,global": "13",
    "14,1,global": "14",
    "15,1,global": "15"
  },
  "working_bits": 429,
  "minimum_generator_accuracy_bits": 418,
  "minimum_independent_sum_accuracy_bits": 587,
  "independent_working_bits": 600,
  "independently_summed_simple_objects": 66595,
  "largest_alcove": 6435,
  "duality_oriented_pairs_checked": 103,
  "companion_alcoves_from_live_T609": 37,
  "serialized_measure": {
    "entries": 234,
    "longest": 101,
    "longest_at": [
      2,
      1,
      "total"
    ],
    "block_kb": 32.1171875
  },
  "checks": [
    "known-answer and deliberate-error controls",
    "all full-alcove sums",
    "all exact cyclotomic embeddings",
    "all written enclosures",
    "every rational written exactly",
    "positive square-root conversion",
    "all level-rank partners",
    "all level-one global values",
    "all 20 SU(2) totals against Kitaev-Preskill equation (4)"
  ],
  "source_sha256": {
    "generate.py": "fda353204034b9ffc02c6bb7e4589ae5b02be37568b7eb95ad907457a5670a54",
    "checks.py": "1b674db4b75845583585c13fb29347bc29a6831c5433213a33f79cf39da8f58c",
    "check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
    "argument-selection.md": "76f116f3dae83fa8fd87cc3bf16a0aa6f80ff47573d818e315d91e9517c62df4",
    "source-notes.md": "6b82d827dab7be43ba4f1ec0e06075d1cc9cd6497e7ee1631b69a035809bdc64"
  },
  "per_category": [
    {
      "N": 2,
      "k": 1,
      "alcove_size": 2,
      "sum_accuracy_bits": 596,
      "global": "2",
      "total": "1.414213562373095048801688724209698078569671875376948073176679737990732478462107038850387534327641573",
      "global_ball_radius": "9.2881586e-129"
    },
    {
      "N": 2,
      "k": 2,
      "alcove_size": 3,
      "sum_accuracy_bits": 595,
      "global": "4",
      "total": "2",
      "global_ball_radius": "1.9804600e-128"
    },
    {
      "N": 2,
      "k": 3,
      "alcove_size": 4,
      "sum_accuracy_bits": 594,
      "global": "7.236067977499789696409173668731276235440618359611525724270897245410520925637804899414414408378782275",
      "total": "2.689994047855829307840235875542995023507132444170220604781676580689038116615975306264824043913616550",
      "global_ball_radius": "5.1614260e-128"
    },
    {
      "N": 2,
      "k": 4,
      "alcove_size": 5,
      "sum_accuracy_bits": 595,
      "global": "12",
      "total": "3.464101615137754587054892683011744733885610507620761256111613958903866033817600074162292373514497151",
      "global_ball_radius": "4.4968704e-128"
    },
    {
      "N": 2,
      "k": 5,
      "alcove_size": 6,
      "sum_accuracy_bits": 595,
      "global": "18.59179388647954474914444835006369868972187449569864544313864520557255890136365813861298587748673263",
      "total": "4.311820252106938739469167052845926971456506020069968482228326011710510940603879600463116864062732922",
      "global_ball_radius": "1.1643987e-127"
    },
    {
      "N": 2,
      "k": 6,
      "alcove_size": 7,
      "sum_accuracy_bits": 595,
      "global": "27.31370849898476039041350979367758462855737500301558458541343790392585982769685631080310027462113258",
      "total": "5.226251859505506111426572693708748614335044753397078110195593467632324165844768203807414880770512573",
      "global_ball_radius": "1.3272518e-127"
    },
    {
      "N": 2,
      "k": 7,
      "alcove_size": 8,
      "sum_accuracy_bits": 595,
      "global": "38.46884476685863703107802313456177772646448709613831854733198336899651919823317018973570199822195873",
      "total": "6.202325754655154923893473006405067588396003809572966961963623385322168365973183251517027018934055789",
      "global_ball_radius": "1.9174045e-127"
    },
    {
      "N": 2,
      "k": 8,
      "alcove_size": 9,
      "sum_accuracy_bits": 594,
      "global": "52.36067977499789696409173668731276235440618359611525724270897245410520925637804899414414408378782275",
      "total": "7.236067977499789696409173668731276235440618359611525724270897245410520925637804899414414408378782275",
      "global_ball_radius": "3.8328550e-127"
    },
    {
      "N": 2,
      "k": 9,
      "alcove_size": 10,
      "sum_accuracy_bits": 595,
      "global": "69.29288063023195902562183322502405534688003665711087379249318882761695278373473866784629488013660908",
      "total": "8.324234537195114316045836061039976254304452527320080646484602541699966141855608330434716084408459340",
      "global_ball_radius": "5.8388613e-127"
    },
    {
      "N": 2,
      "k": 10,
      "alcove_size": 11,
      "sum_accuracy_bits": 594,
      "global": "89.56921938165305504465871219614093680662732609144913507333936750684639240581120088994750848217396582",
      "total": "9.464101615137754587054892683011744733885610507620761256111613958903866033817600074162292373514497151",
      "global_ball_radius": "5.4557979e-127"
    },
    {
      "N": 2,
      "k": 11,
      "alcove_size": 12,
      "sum_accuracy_bits": 594,
      "global": "113.4935300973717472286982810748620164450558833543856930251181029818813388749325794672680280636916685",
      "total": "10.65333422442813192849824665965827623201627614550026979468843239375354326599575093743061684638385741",
      "global_ball_radius": "6.2419252e-127"
    },
    {
      "N": 2,
      "k": 12,
      "alcove_size": 13,
      "sum_accuracy_bits": 595,
      "global": "141.3696855066245487786220033966543522606988580095825183034702642885920200815279260043290218745254761",
      "total": "11.88989846494176537964315627676162188922978226329932948821558717884013058622190039449052997470869997",
      "global_ball_radius": "8.9886452e-127"
    },
    {
      "N": 2,
      "k": 13,
      "alcove_size": 14,
      "sum_accuracy_bits": 594,
      "global": "173.5015835025843920058416591912950026240328960944090991767706471023427029133635836208925515808851379",
      "total": "13.17199998111844790651870064274396311122406206023417045697637412097814646180375486517442140789403577",
      "global_ball_radius": "1.1249496e-126"
    },
    {
      "N": 2,
      "k": 14,
      "alcove_size": 15,
      "sum_accuracy_bits": 594,
      "global": "210.1931389527054428452703448457747777855445220945120823345847541587162731176161218314214759750706851",
      "total": "14.49803914164620548963976491001715834969995634304468846759232543018355546955397926317471923889025131",
      "global_ball_radius": "1.0188165e-126"
    },
    {
      "N": 2,
      "k": 15,
      "alcove_size": 16,
      "sum_accuracy_bits": 593,
      "global": "251.7482785237480696996058551601439926331175885886831336099289496676837614885955480475120059637855151",
      "total": "15.86657740420876242918942852712480680478054192311527422007222295315890831722190602102273784285139105",
      "global_ball_radius": "1.7399260e-126"
    },
    {
      "N": 2,
      "k": 16,
      "alcove_size": 17,
      "sum_accuracy_bits": 594,
      "global": "298.4709372977372258383640067747513321941939082438713648664925399337230423811030621827959160576640132",
      "total": "17.27631144943090060864931132789677763923449761117357559708343995329065453195067350739695067805537681",
      "global_ball_radius": "1.4911713e-126"
    },
    {
      "N": 2,
      "k": 17,
      "alcove_size": 18,
      "sum_accuracy_bits": 594,
      "global": "350.6650564931198741553560893431965166649029637684607658953083960437414798790213674975763150843911606",
      "total": "18.72605288076266952618939802270329153819163462079553840316703903578003591593362242425224978840168789",
      "global_ball_radius": "2.5195878e-126"
    },
    {
      "N": 2,
      "k": 18,
      "alcove_size": 19,
      "sum_accuracy_bits": 594,
      "global": "408.6345818906140097284937164610780138503487108560327438481865913858276221721313128522637500795004189",
      "total": "20.21471201601976841104292597682393942872586911648274599118009416001040325055300436518644686792152304",
      "global_ball_radius": "3.0098181e-126"
    },
    {
      "N": 2,
      "k": 19,
      "alcove_size": 20,
      "sum_accuracy_bits": 593,
      "global": "472.6834627213292167453887742349214931718283788106067376079711714392403439350810388041847715225361964",
      "total": "21.74128475323685228019727678584181146755145604595024009846440928225705615576057521745603454588509679",
      "global_ball_radius": "3.5774225e-126"
    },
    {
      "N": 2,
      "k": 20,
      "alcove_size": 21,
      "sum_accuracy_bits": 594,
      "global": "543.1156508657905174239691597627230679076175907068441153717992175409455577135275470771836807944273115",
      "total": "23.30484179019009168574864255522869840586214224951171538575654169818262697446699991468444268005108853",
      "global_ball_radius": "4.6048758e-126"
    },
    {
      "N": 3,
      "k": 1,
      "alcove_size": 3,
      "sum_accuracy_bits": 594,
      "global": "3",
      "total": "1.732050807568877293527446341505872366942805253810380628055806979451933016908800037081146186757248576",
      "global_ball_radius": "3.1290838e-128"
    },
    {
      "N": 3,
      "k": 2,
      "alcove_size": 6,
      "sum_accuracy_bits": 593,
      "global": "10.85410196624968454461376050309691435316092753941728858640634586811578138845670734912162161256817341",
      "total": "3.294556414185327703509680157112760012118642055644945569405262031857126869661478038291826897629751409",
      "global_ball_radius": "1.8725282e-127"
    },
    {
      "N": 3,
      "k": 3,
      "alcove_size": 10,
      "sum_accuracy_bits": 594,
      "global": "36",
      "total": "6",
      "global_ball_radius": "4.3122847e-127"
    },
    {
      "N": 3,
      "k": 4,
      "alcove_size": 15,
      "sum_accuracy_bits": 593,
      "global": "106.0272641299684115839665025474907641955241435071868887276026982164440150611459445032467664058941071",
      "total": "10.29695411905716959643390026960721029765619777646081156612056957574964165213142489044765538890644006",
      "global_ball_radius": "1.6230741e-126"
    },
    {
      "N": 3,
      "k": 5,
      "alcove_size": 21,
      "sum_accuracy_bits": 593,
      "global": "279.7645019878171246849621175241310155426885000361870150249612548471103179323622757296372032954535910",
      "total": "16.72616220140822156689892166484705503563501093786820302595399818681157357746446025448402247944755524",
      "global_ball_radius": "3.6189138e-126"
    },
    {
      "N": 3,
      "k": 6,
      "alcove_size": 28,
      "sum_accuracy_bits": 593,
      "global": "671.5596089199087581363190152431904974369362935487105709496082148508768453574818899112908111297440298",
      "total": "25.91446717414635091297396699184516645885174641676036339562515992993598179792601026109542601708306521",
      "global_ball_radius": "8.8315236e-126"
    },
    {
      "N": 3,
      "k": 7,
      "alcove_size": 36,
      "sum_accuracy_bits": 593,
      "global": "1487.902432574930599815027310681321157695404058671803489009396090985471905460475616806756754764998151",
      "total": "38.57333836440567403090098197835586366120673239138437646389339943218820935084156012845418797734086433",
      "global_ball_radius": "3.1004412e-125"
    },
    {
      "N": 3,
      "k": 8,
      "alcove_size": 45,
      "sum_accuracy_bits": 592,
      "global": "3080.071811302179586660265839804194055252385437330550985682661671205568689378732147080206938422302754",
      "total": "55.49839467319914819033477541360811929621235231957233526930232256985071126928457565876689075715354518",
      "global_ball_radius": "6.7595907e-125"
    },
    {
      "N": 3,
      "k": 9,
      "alcove_size": 55,
      "sum_accuracy_bits": 593,
      "global": "6016.983795479019963215427278122147450077167478584337725280434460492940253218406464076220610716525539",
      "total": "77.56921938165305504465871219614093680662732609144913507333936750684639240581120088994750848217396582",
      "global_ball_radius": "8.3680711e-125"
    },
    {
      "N": 3,
      "k": 10,
      "alcove_size": 66,
      "sum_accuracy_bits": 592,
      "global": "11182.90988911172424093379738748833683066576124028413195764358730772191810339231168172847518709513827",
      "total": "105.7492784330546826683650700976415489185191149951177542894264903619060748972444700281523702247734405",
      "global_ball_radius": "1.7509588e-124"
    },
    {
      "N": 3,
      "k": 11,
      "alcove_size": 78,
      "sum_accuracy_bits": 592,
      "global": "19905.22575374912729586004549437813578202488610801893861659443183527668432099044229049374677222404546",
      "total": "141.0858807739070936685083435136839660541520986410907772248812279678881668368525511858767067592666596",
      "global_ball_radius": "3.3392199e-124"
    },
    {
      "N": 3,
      "k": 12,
      "alcove_size": 91,
      "sum_accuracy_bits": 592,
      "global": "34117.84233043195023081051398751841184749018269546566936680419194293030023250879638619400263710092969",
      "total": "184.7101576265689570017036369833080450254053542760516189935277127101860683861710358760398953805705742",
      "global_ball_radius": "6.0627567e-124"
    },
    {
      "N": 3,
      "k": 13,
      "alcove_size": 105,
      "sum_accuracy_bits": 592,
      "global": "56566.46282445714596887958141233340997736452367416034410952962689756417813797334583757654174153960425",
      "total": "237.8370509917602093224988886654257577260948817076549187098139962355526036077885487696458918905610111",
      "global_ball_radius": "7.1490555e-124"
    },
    {
      "N": 4,
      "k": 1,
      "alcove_size": 4,
      "sum_accuracy_bits": 593,
      "global": "4",
      "total": "2",
      "global_ball_radius": "1.2393316e-127"
    },
    {
      "N": 4,
      "k": 2,
      "alcove_size": 10,
      "sum_accuracy_bits": 593,
      "global": "24",
      "total": "4.898979485566356196394568149411782783931894961313340256865385134501920754914630053079718866209280470",
      "global_ball_radius": "5.2391387e-127"
    },
    {
      "N": 4,
      "k": 3,
      "alcove_size": 20,
      "sum_accuracy_bits": 592,
      "global": "141.3696855066245487786220033966543522606988580095825183034702642885920200815279260043290218745254761",
      "total": "11.88989846494176537964315627676162188922978226329932948821558717884013058622190039449052997470869997",
      "global_ball_radius": "3.9991858e-126"
    },
    {
      "N": 4,
      "k": 4,
      "alcove_size": 35,
      "sum_accuracy_bits": 592,
      "global": "746.0386719675123324932323133976827081138360000964987067332300129256275144862994019456992087878762426",
      "total": "27.31370849898476039041350979367758462855737500301558458541343790392585982769685631080310027462113258",
      "global_ball_radius": "1.5388371e-125"
    },
    {
      "N": 4,
      "k": 5,
      "alcove_size": 56,
      "sum_accuracy_bits": 591,
      "global": "3473.651247572846710060368081297015986330326898926456378397910479204676508573236746193550992691968159",
      "total": "58.93768953371727406215604626912355545292897419227663709466396673799303839646634037947140399644391746",
      "global_ball_radius": "8.0329537e-125"
    },
    {
      "N": 4,
      "k": 6,
      "alcove_size": 84,
      "sum_accuracy_bits": 591,
      "global": "14355.41752799932702850935573994008395340997875075688231766687118531366696204097567812612610681210328",
      "total": "119.8140956982913885920454198570422938171779778015822594642172865754811879112690459809004635406916688",
      "global_ball_radius": "5.2120048e-124"
    },
    {
      "N": 4,
      "k": 7,
      "alcove_size": 120,
      "sum_accuracy_bits": 591,
      "global": "53267.79648807196880999888648818957314715784022597727177294297808710869887248081978822401031141210349",
      "total": "230.7981726272371698346302744244281762925039063071410574713590443379375962284604403591547003297340266",
      "global_ball_radius": "2.1283106e-123"
    },
    {
      "N": 4,
      "k": 8,
      "alcove_size": 165,
      "sum_accuracy_bits": 591,
      "global": "179645.5138643705988964628183436644235023150243575301317584130338147882075965521939222866183214957662",
      "total": "423.8460969082652752232935609807046840331366304572456753666968375342319620290560044497375424108698291",
      "global_ball_radius": "4.7337050e-123"
    },
    {
      "N": 4,
      "k": 9,
      "alcove_size": 220,
      "sum_accuracy_bits": 591,
      "global": "556850.0941033340777391691990128395637944464194881392679754905767583077165907980677861590711517940161",
      "total": "746.2238900647272078993474649882853622678688015939287575821916632945015945225336817529752632994334347",
      "global_ball_radius": "1.7028850e-122"
    },
    {
      "N": 4,
      "k": 10,
      "alcove_size": 286,
      "sum_accuracy_bits": 591,
      "global": "1602163.009810273426091955124157730964127626801858715696067770079441287238315055305633077823990570893",
      "total": "1265.765779996549529918538016730847274075528144048945118668950761834078860921092638745968138463032498",
      "global_ball_radius": "4.9932155e-122"
    },
    {
      "N": 4,
      "k": 11,
      "alcove_size": 364,
      "sum_accuracy_bits": 591,
      "global": "4315288.028879059210060322567817900895937901678556558722314942218854295693565297291232347341339498623",
      "total": "2077.327135739351769097668271047267939572845496938752326170904740590099503626197297920496651227686318",
      "global_ball_radius": "1.4574793e-121"
    },
    {
      "N": 4,
      "k": 12,
      "alcove_size": 455,
      "sum_accuracy_bits": 591,
      "global": "10959962.25354690704090154885312176838024302658606448474793957882828251668877928475514112623127449420",
      "total": "3310.583370577896659428876473837708176542623457534478255340190051131193140850324280395506182321912316",
      "global_ball_radius": "2.5820523e-121"
    },
    {
      "N": 5,
      "k": 1,
      "alcove_size": 5,
      "sum_accuracy_bits": 592,
      "global": "5",
      "total": "2.236067977499789696409173668731276235440618359611525724270897245410520925637804899414414408378782275",
      "global_ball_radius": "1.6217189e-127"
    },
    {
      "N": 5,
      "k": 2,
      "alcove_size": 15,
      "sum_accuracy_bits": 591,
      "global": "46.47948471619886187286112087515924672430468623924661360784661301393139725340914534653246469371683159",
      "total": "6.817586428949680860280487165008196984463525773655422919873880935759509433382391259589900386297653491",
      "global_ball_radius": "1.9989996e-126"
    },
    {
      "N": 5,
      "k": 3,
      "alcove_size": 35,
      "sum_accuracy_bits": 591,
      "global": "466.2741699796952078082701958735516925711475000603116917082687580785171965539371262160620054924226516",
      "total": "21.59338255067267611363226885265597907664069399574697020451360839281246145710817248303465006703233028",
      "global_ball_radius": "1.4690055e-125"
    },
    {
      "N": 5,
      "k": 4,
      "alcove_size": 70,
      "sum_accuracy_bits": 591,
      "global": "4342.064059466058387575460101621269982912908623658070472997388099005845635716545932741938740864960199",
      "total": "65.89434011708485413061726572292360005242187863282963341400260849098339399408788503173517219924007069",
      "global_ball_radius": "1.4441341e-124"
    },
    {
      "N": 5,
      "k": 5,
      "alcove_size": 126,
      "sum_accuracy_bits": 591,
      "global": "35888.54381999831757127338934985020988352494687689220579416717796328416740510243919531531526703025820",
      "total": "189.4427190999915878563669467492510494176247343844610289708358898164208370255121959765765763351512910",
      "global_ball_radius": "1.9768266e-123"
    },
    {
      "N": 5,
      "k": 6,
      "alcove_size": 210,
      "sum_accuracy_bits": 590,
      "global": "260944.6823457600577714988228813876545858234810206930136048982463069004273955442648382810938126759308",
      "total": "510.8274487004002585242231352656181583372922750767395140159256886028627357653234611859558339185458034",
      "global_ball_radius": "1.5761985e-122"
    },
    {
      "N": 5,
      "k": 7,
      "alcove_size": 330,
      "sum_accuracy_bits": 590,
      "global": "1676115.462734125589700319637874201286021606894003614563078521648938023270901153809941341771000627151",
      "total": "1294.648779682785469275958603758050690426828934057106667456730799385295186029100288662591628925346446",
      "global_ball_radius": "6.6248944e-122"
    },
    {
      "N": 5,
      "k": 8,
      "alcove_size": 495,
      "sum_accuracy_bits": 590,
      "global": "9595120.032520102214704921763851608757130024683366034678512402150418400117406822956660147595180430763",
      "total": "3097.599075497037627353029113499280103306171640511081678951143642708524191126262969052842623118853570",
      "global_ball_radius": "4.4930491e-121"
    },
    {
      "N": 5,
      "k": 9,
      "alcove_size": 715,
      "sum_accuracy_bits": 590,
      "global": "49446012.01704735545802919889019310180851286756637768268894167965790672538560336069917135929914408976",
      "total": "7031.785834128294571578723894415505992759375963826620040767246668485197253282397281443750576304588977",
      "global_ball_radius": "2.4486557e-120"
    },
    {
      "N": 5,
      "k": 10,
      "alcove_size": 1001,
      "sum_accuracy_bits": 589,
      "global": "231634043.2211672141052593826687974268733711160273257377512102857302929614013257054225194463315143493",
      "total": "15219.52835081190070533953832785713714422472126667073231766342619156379470847905787736196011326550705",
      "global_ball_radius": "1.2382714e-119"
    },
    {
      "N": 5,
      "k": 11,
      "alcove_size": 1365,
      "sum_accuracy_bits": 589,
      "global": "995406276.8711347770361601298069324998182507165336692823720868348490367704922113632967136074933508148",
      "total": "31550.05985527023967766553545138349987637416364383596595899495746359936407552938043055636004771644511",
      "global_ball_radius": "3.6279755e-119"
    },
    {
      "N": 6,
      "k": 1,
      "alcove_size": 6,
      "sum_accuracy_bits": 591,
      "global": "6",
      "total": "2.449489742783178098197284074705891391965947480656670128432692567250960377457315026539859433104640235",
      "global_ball_radius": "3.8865653e-127"
    },
    {
      "N": 6,
      "k": 2,
      "alcove_size": 21,
      "sum_accuracy_bits": 591,
      "global": "81.94112549695428117124052938103275388567212500904675375624031371177757948309056893240930082386339775",
      "total": "9.052133753814858494368103213730148568916268810603021935270449624162269839566121883103505113720126391",
      "global_ball_radius": "3.7845351e-126"
    },
    {
      "N": 6,
      "k": 3,
      "alcove_size": 56,
      "sum_accuracy_bits": 591,
      "global": "1343.119217839817516272638030486380994873872587097421141899216429701753690714963779822581622259488060",
      "total": "36.64859093935014462894675915312413167408220155306566013627296186651560055275603256594039315363678139",
      "global_ball_radius": "6.5648546e-125"
    },
    {
      "N": 6,
      "k": 4,
      "alcove_size": 126,
      "sum_accuracy_bits": 591,
      "global": "21533.12629199899054276403360991012593011496812613532347650030677797050044306146351718918916021815492",
      "total": "146.7416992269034294446831616558828868943706442582470416539837545003469825150915821536315950074634134",
      "global_ball_radius": "1.6222487e-123"
    },
    {
      "N": 6,
      "k": 5,
      "alcove_size": 252,
      "sum_accuracy_bits": 590,
      "global": "313133.6188149120693257985874576651855029881772248316163258778955682805128746531178059373125752111170",
      "total": "559.5834332920445468589387010208559398168255511622875235442024132931103793975037106961692776684425708",
      "global_ball_radius": "2.5781689e-122"
    },
    {
      "N": 6,
      "k": 6,
      "alcove_size": 462,
      "sum_accuracy_bits": 589,
      "global": "4022677.110561901415280767130898083086451856545608674951388451957451255850162769143859220250401505162",
      "total": "2005.661265159673321071809092707382483359055826194779241760144820164313417739468821358740203572175180",
      "global_ball_radius": "2.2252490e-121"
    },
    {
      "N": 6,
      "k": 7,
      "alcove_size": 792,
      "sum_accuracy_bits": 589,
      "global": "45387415.95675909525299040449022695608237717548693377698263155999674414740569278216111589150678465670",
      "total": "6737.018328367460753986490942236504159283341084514809285396057666574834148070498145882009719528687291",
      "global_ball_radius": "3.0326956e-120"
    },
    {
      "N": 6,
      "k": 8,
      "alcove_size": 1287,
      "sum_accuracy_bits": 589,
      "global": "451177581.5344124301632626656377854068264568117918898021155095950667110072290993135039273343123175871",
      "total": "21240.94116404478980598292710169161830493319238019017236598061456432420332098997687398692551389479435",
      "global_ball_radius": "3.1745237e-119"
    },
    {
      "N": 6,
      "k": 9,
      "alcove_size": 2002,
      "sum_accuracy_bits": 588,
      "global": "3978734554.535703930477371085255471101402833613267488788937557721110155226039041390454813220855034267",
      "total": "63077.21105546522124607713170275699931445789758891656895070531751062318552394719176414507277236496980",
      "global_ball_radius": "2.9468849e-118"
    },
    {
      "N": 6,
      "k": 10,
      "alcove_size": 3003,
      "sum_accuracy_bits": 588,
      "global": "31384135480.31544273354556182973885830363182173241678761925690542498994599671162534665947363265519149",
      "total": "177155.6814790749033445695676424008801468617709758933855809095472147520393819036123204845619447299044",
      "global_ball_radius": "1.6542927e-117"
    },
    {
      "N": 7,
      "k": 1,
      "alcove_size": 7,
      "sum_accuracy_bits": 590,
      "global": "7",
      "total": "2.645751311064590590501615753639260425710259183082450180368334459201068823230283627760392886474543611",
      "global_ball_radius": "4.3198254e-127"
    },
    {
      "N": 7,
      "k": 2,
      "alcove_size": 28,
      "sum_accuracy_bits": 591,
      "global": "134.6409566840052296087730809709662220426257048364841149156619417914878171938160956640749569937768556",
      "total": "11.60348898754186044617993087374453110598710335497022669488621709025279963772845223892586120206870558",
      "global_ball_radius": "8.7917959e-126"
    },
    {
      "N": 7,
      "k": 3,
      "alcove_size": 84,
      "sum_accuracy_bits": 590,
      "global": "3471.772342674838066235063724923082701289276136900874807688590878966101112741109772549099094451662352",
      "total": "58.92174762067769885535011265492857973357428176063063179496822333701705929464457686774268522741047412",
      "global_ball_radius": "3.4259047e-124"
    },
    {
      "N": 7,
      "k": 4,
      "alcove_size": 210,
      "sum_accuracy_bits": 590,
      "global": "93218.64385412594541749805135433175300752622039546022560265021165244022302684143462939201804497118110",
      "total": "305.3172839099122233272948999646226445255957638987646791500198108375439049995310104037972878592591541",
      "global_ball_radius": "1.0132437e-122"
    },
    {
      "N": 7,
      "k": 5,
      "alcove_size": 462,
      "sum_accuracy_bits": 590,
      "global": "2346561.647827775825580447493023881800430249651605060388309930308513232579261615333917878479400878011",
      "total": "1531.849094339183211171257265594412428753943349624764931584097001066261716582347193744525893299567325",
      "global_ball_radius": "1.7308731e-121"
    },
    {
      "N": 7,
      "k": 6,
      "alcove_size": 924,
      "sum_accuracy_bits": 589,
      "global": "52951985.28288561112848880523859811542944003806808940647973681999620150530664157918796854009124876615",
      "total": "7276.811477761782109784654330121390080843552828427754713510697193926313940846138538615543186066398342",
      "global_ball_radius": "4.7693799e-120"
    },
    {
      "N": 7,
      "k": 7,
      "alcove_size": 1716,
      "sum_accuracy_bits": 588,
      "global": "1052747690.246962337047612886488165949261732560847742871602855721822325683534565064842497113395407703",
      "total": "32446.07357211288727813774407708787095253935775023760110240370224165234555236579954939985660286987837",
      "global_ball_radius": "9.9935702e-119"
    },
    {
      "N": 7,
      "k": 8,
      "alcove_size": 3003,
      "sum_accuracy_bits": 588,
      "global": "18364556497.02680928208905924715844155442115840066620560691073174379490296176821806483861584375505627",
      "total": "135515.8902012114935067872635745024012430112000406423132346776225506749250203342352214066491618394434",
      "global_ball_radius": "1.8259304e-117"
    },
    {
      "N": 7,
      "k": 9,
      "alcove_size": 5005,
      "sum_accuracy_bits": 588,
      "global": "281770047515.3207560102869169570583668359325948107129218171637447495969508064624026332318948341895914",
      "total": "530820.1649479047023463897579318978189564133189804149165672273734664241028361739611837249946407792336",
      "global_ball_radius": "2.0052766e-116"
    },
    {
      "N": 8,
      "k": 1,
      "alcove_size": 8,
      "sum_accuracy_bits": 590,
      "global": "8",
      "total": "2.828427124746190097603377448419396157139343750753896146353359475981464956924214077700775068655283145",
      "global_ball_radius": "7.9637366e-127"
    },
    {
      "N": 8,
      "k": 2,
      "alcove_size": 36,
      "sum_accuracy_bits": 590,
      "global": "209.4427190999915878563669467492510494176247343844610289708358898164208370255121959765765763351512910",
      "total": "14.47213595499957939281834733746255247088123671922305144854179449082104185127560979882882881675756455",
      "global_ball_radius": "2.7163752e-125"
    },
    {
      "N": 8,
      "k": 3,
      "alcove_size": 120,
      "sum_accuracy_bits": 590,
      "global": "8213.524830139145564427375572811184147339694499548135961820431123214849838343285725547218502459474011",
      "total": "90.62849899528925533901419054479859496782015347791700042664466665540876975746187458890262732403398600",
      "global_ball_radius": "1.1364002e-123"
    },
    {
      "N": 8,
      "k": 4,
      "alcove_size": 330,
      "sum_accuracy_bits": 590,
      "global": "359291.0277287411977929256366873288470046300487150602635168260676295764151931043878445732366429915323",
      "total": "599.4088986065699023248388533940017520069628227602211992180859314761134606426929235764668393873274079",
      "global_ball_radius": "3.3768232e-122"
    },
    {
      "N": 8,
      "k": 5,
      "alcove_size": 792,
      "sum_accuracy_bits": 589,
      "global": "15352192.05203216354352787482216257401140803949338565548561984344066944018785091673065623615228868922",
      "total": "3918.187342641002859316188122751462498724110745722183986388374139418955895787390882009304980955682553",
      "global_ball_radius": "1.7672522e-120"
    },
    {
      "N": 8,
      "k": 6,
      "alcove_size": 1716,
      "sum_accuracy_bits": 589,
      "global": "601570108.7125499068843502208503805424352757490558530694873461267556146763054657513385697790830901161",
      "total": "24526.92619780452445931708531827040776670011277867675663885143070526328612226512387458476563508917687",
      "global_ball_radius": "7.3701956e-119"
    },
    {
      "N": 8,
      "k": 7,
      "alcove_size": 3432,
      "sum_accuracy_bits": 588,
      "global": "20988064568.03063917953035342532393320505275245790423497932655056433703195630653493124413239286292145",
      "total": "144872.5804561741047596292534172951449072317485730350606756012867990495762127100600892965545819080061",
      "global_ball_radius": "2.6747530e-117"
    },
    {
      "N": 8,
      "k": 8,
      "alcove_size": 6435,
      "sum_accuracy_bits": 587,
      "global": "644045822892.1617280235129530447048384821316452816295355820885594276501732719140631616729024781476376",
      "total": "802524.6556288234861943861252805021426952356430593945029874745526061076747022482765528092648668627289",
      "global_ball_radius": "5.7719862e-116"
    },
    {
      "N": 9,
      "k": 1,
      "alcove_size": 9,
      "sum_accuracy_bits": 590,
      "global": "9",
      "total": "3",
      "global_ball_radius": "1.5541547e-126"
    },
    {
      "N": 9,
      "k": 2,
      "alcove_size": 45,
      "sum_accuracy_bits": 590,
      "global": "311.8179628360438156152982495126082490609601649569989320662193497242762875268063240053083269606147409",
      "total": "17.65836806831378219517583424761239051220079224781210509263136777941508142879281586469223974280239190",
      "global_ball_radius": "5.5574284e-125"
    },
    {
      "N": 9,
      "k": 3,
      "alcove_size": 165,
      "sum_accuracy_bits": 590,
      "global": "18050.95138643705988964628183436644235023150243575301317584130338147882075965521939222866183214957662",
      "total": "134.3538290724795825669880682942114052099409891371737026100090512602695886087168013349212627232609487",
      "global_ball_radius": "2.1327981e-123"
    },
    {
      "N": 9,
      "k": 4,
      "alcove_size": 495,
      "sum_accuracy_bits": 589,
      "global": "1252912.711732501674913130697778889018537504443848313352944853797706192362329295652518857910091536536",
      "total": "1119.335835097090811849021197482428043401803202390893136373287494941752391783800522629462894949150152",
      "global_ball_radius": "1.7790211e-121"
    },
    {
      "N": 9,
      "k": 5,
      "alcove_size": 1287,
      "sum_accuracy_bits": 589,
      "global": "89002821.63068523982445255800234758325532316161947982884009502338423210569408604925850844673845936158",
      "total": "9434.130676998556385030056326742748690137235402585423976536098971888430393444292435329507149873013133",
      "global_ball_radius": "1.3446366e-119"
    },
    {
      "N": 9,
      "k": 6,
      "alcove_size": 3003,
      "sum_accuracy_bits": 588,
      "global": "5968101831.803555895716056627883206652104250419901233183406336581665232839058562085682219831282551400",
      "total": "77253.49074186587133701717277272191001686801492908419864816735437662230688615368778716837170124827715",
      "global_ball_radius": "9.1304818e-118"
    },
    {
      "N": 9,
      "k": 7,
      "alcove_size": 6435,
      "sum_accuracy_bits": 587,
      "global": "362275775376.8409720132260360876464716461990504709166137649248146780532224654516605284410076439580461",
      "total": "601893.4917216176146457895939603766070214267322945458772406059144545807560266862074146069486501470467",
      "global_ball_radius": "4.0126121e-116"
    },
    {
      "N": 10,
      "k": 1,
      "alcove_size": 10,
      "sum_accuracy_bits": 589,
      "global": "10",
      "total": "3.162277660168379331998893544432718533719555139325216826857504852792594438639238221344248108379300295",
      "global_ball_radius": "2.3953951e-126"
    },
    {
      "N": 10,
      "k": 2,
      "alcove_size": 55,
      "sum_accuracy_bits": 589,
      "global": "447.8460969082652752232935609807046840331366304572456753666968375342319620290560044497375424108698291",
      "total": "21.16237455741357194881357281195245663430955356825233599880053100469009173770078746352506120399004069",
      "global_ball_radius": "6.9492543e-125"
    },
    {
      "N": 10,
      "k": 3,
      "alcove_size": 220,
      "sum_accuracy_bits": 589,
      "global": "37276.36629703908080311265795829445610221920413428043985881195769240639367797437227242825062365046089",
      "total": "193.0708841255953869961522958676182237849503401510898105367145718707271129632754909385089262788208604",
      "global_ball_radius": "6.7564775e-123"
    },
    {
      "N": 10,
      "k": 4,
      "alcove_size": 715,
      "sum_accuracy_bits": 588,
      "global": "4005407.524525683565229887810394327410319067004646789240169425198603218095787638264082694559976427233",
      "total": "2001.351424544346126023885924363555231750252537178478911282130484557089654157849400297252570027872284",
      "global_ball_radius": "7.4215970e-121"
    },
    {
      "N": 10,
      "k": 5,
      "alcove_size": 2002,
      "sum_accuracy_bits": 588,
      "global": "463268086.4423344282105187653375948537467422320546514755024205714605859228026514108450388926630286986",
      "total": "21523.66340664001436127339211733997754896650615516774612571293697358236290689231951102016071711622846",
      "global_ball_radius": "8.6200696e-119"
    },
    {
      "N": 10,
      "k": 6,
      "alcove_size": 5005,
      "sum_accuracy_bits": 587,
      "global": "52306892467.19240455590926971623143050605303622069464603209484237498324332785270891109912272109198581",
      "total": "228707.0013514942759280924760716385341985803985063060104134071068652760957167340296386815368220551458",
      "global_ball_radius": "7.0369470e-117"
    },
    {
      "N": 11,
      "k": 1,
      "alcove_size": 11,
      "sum_accuracy_bits": 589,
      "global": "11",
      "total": "3.316624790355399849114932736670686683927088545589353597058682146116484642609043846708843399128290651",
      "global_ball_radius": "2.2068586e-126"
    },
    {
      "N": 11,
      "k": 2,
      "alcove_size": 66,
      "sum_accuracy_bits": 589,
      "global": "624.2144155355446097578405459117410904478073584491213116381495664003473638121291870699741543503041769",
      "total": "24.98428337046201150770943828112859620715086035676576038196953822929191739556525961881835295080370796",
      "global_ball_radius": "1.4404965e-124"
    },
    {
      "N": 11,
      "k": 3,
      "alcove_size": 286,
      "sum_accuracy_bits": 589,
      "global": "72985.82776374680008482016681271983120075791572940277492751291672934784251029828839847707149815483337",
      "total": "270.1588935492348363730548402250513868547044253927851911004533258972801933257593556300278548342378106",
      "global_ball_radius": "1.6805982e-122"
    },
    {
      "N": 11,
      "k": 4,
      "alcove_size": 1001,
      "sum_accuracy_bits": 588,
      "global": "11867042.07941741282766588706149922746382922961603053648636609110184931315730456755088895518868362121",
      "total": "3444.857338035555403261901766858902504865714766378853983347853663793542407702700828702032033392692742",
      "global_ball_radius": "2.6517830e-120"
    },
    {
      "N": 11,
      "k": 5,
      "alcove_size": 3003,
      "sum_accuracy_bits": 588,
      "global": "2189893809.116496509479552285575251499600151576374072421218591036667880895082864999252769936485371793",
      "total": "46796.30123328655244628134960179515854697978669871654810658055379804244731573064495075153664177325628",
      "global_ball_radius": "3.5412286e-118"
    },
    {
      "N": 12,
      "k": 1,
      "alcove_size": 12,
      "sum_accuracy_bits": 588,
      "global": "12",
      "total": "3.464101615137754587054892683011744733885610507620761256111613958903866033817600074162292373514497151",
      "global_ball_radius": "3.7003932e-126"
    },
    {
      "N": 12,
      "k": 2,
      "alcove_size": 78,
      "sum_accuracy_bits": 588,
      "global": "848.2181130397472926717320203799261135641931480574951098208215857315521204891675560259741312471528564",
      "total": "29.12418433260830899233854602822471547310162406725166094301809855050192425845905661920359330452739040",
      "global_ball_radius": "2.4964604e-124"
    },
    {
      "N": 12,
      "k": 3,
      "alcove_size": 364,
      "sum_accuracy_bits": 589,
      "global": "136471.3693217278009232420559500736473899607307818626774672167677717212009300351855447760105484037188",
      "total": "369.4203152531379140034072739666160900508107085521032379870554254203721367723420717520797907611411484",
      "global_ball_radius": "3.7466645e-122"
    },
    {
      "N": 12,
      "k": 4,
      "alcove_size": 1365,
      "sum_accuracy_bits": 588,
      "global": "32879886.76064072112270464655936530514072907975819345424381873648484755006633785426542337869382348260",
      "total": "5734.098600533541673177714439925050302806944989548839627492372985508071721967782120110440784127110851",
      "global_ball_radius": "6.4593854e-120"
    },
    {
      "N": 13,
      "k": 1,
      "alcove_size": 13,
      "sum_accuracy_bits": 588,
      "global": "13",
      "total": "3.605551275463989293119221267470495946251296573845246212710453056227166948293010445204619082018490718",
      "global_ball_radius": "4.9026058e-126"
    },
    {
      "N": 13,
      "k": 2,
      "alcove_size": 91,
      "sum_accuracy_bits": 589,
      "global": "1127.760292766798548037970784743417517056213824613659144649009206165227568936863293535801585275753396",
      "total": "33.58214246838337960477596239620091150057089493171590718159747108581121375972150532565025637331322247",
      "global_ball_radius": "3.8076683e-124"
    },
    {
      "N": 13,
      "k": 3,
      "alcove_size": 455,
      "sum_accuracy_bits": 588,
      "global": "245121.3389059809658651448527867781099019129359213614911412950498894447719312178319628316808800049518",
      "total": "495.0973024628400920380332652156151377669545311490107365155374977252669014921871549777240895542222202",
      "global_ball_radius": "5.6571257e-122"
    },
    {
      "N": 14,
      "k": 1,
      "alcove_size": 14,
      "sum_accuracy_bits": 588,
      "global": "14",
      "total": "3.741657386773941385583748732316549301756019807778726946303745467320035156306939027976809895194379572",
      "global_ball_radius": "6.1179721e-126"
    },
    {
      "N": 14,
      "k": 2,
      "alcove_size": 105,
      "sum_accuracy_bits": 588,
      "global": "1471.351972668938099916892413920423444498811654661584576342093279111013911823312852819950331825494795",
      "total": "38.35820606687619978166427174257512273914369945125250121801066810889257076109395921691046101006662969",
      "global_ball_radius": "4.1825798e-124"
    },
    {
      "N": 15,
      "k": 1,
      "alcove_size": 15,
      "sum_accuracy_bits": 588,
      "global": "15",
      "total": "3.872983346207416885179265399782399610832921705291590826587573766113483091936979033519287376858673518",
      "global_ball_radius": "5.3854596e-126"
    },
    {
      "N": 15,
      "k": 2,
      "alcove_size": 120,
      "sum_accuracy_bits": 587,
      "global": "1888.112088928110522747043913701079944748381914415123502074467122507628211164466610356340044728391363",
      "total": "43.45241177343451580334741008666498742278806568193030842432526089981032032150263693885699721120009251",
      "global_ball_radius": "9.9765695e-124"
    },
    {
      "N": 16,
      "k": 2,
      "alcove_size": 136,
      "sum_accuracy_bits": 588,
      "global": "2387.767498381897806706912054198010657553551265950970918931940319469784339048824497462367328461312106",
      "total": "48.86478791913352617192901220416550889877626873742088018169728248868746740367471008792052420484904185",
      "global_ball_radius": "1.0928954e-123"
    },
    {
      "N": 17,
      "k": 2,
      "alcove_size": 153,
      "sum_accuracy_bits": 587,
      "global": "2980.652980191518930320526759417170391651675192031916510110121366371802578971681623729398678217324865",
      "total": "54.59535676402819267797656226146681565728421431019725514563463879647771049042652021279628038117768035",
      "global_ball_radius": "1.9954269e-123"
    },
    {
      "N": 18,
      "k": 2,
      "alcove_size": 171,
      "sum_accuracy_bits": 587,
      "global": "3677.711237015526087556443448149702124653138397704294694633679322472448599549181815670373750715503770",
      "total": "60.64413604805930523312877793047181828617760734944823797354028248003120975165901309555934060376456912",
      "global_ball_radius": "2.6755254e-123"
    },
    {
      "N": 19,
      "k": 2,
      "alcove_size": 190,
      "sum_accuracy_bits": 587,
      "global": "4490.492895852627559081193355231754185132369598700764007275726128672783267383269868639755329464093866",
      "total": "67.01114008769457997126189764041997955225988403258792572568116181861210110691298571545758914649757103",
      "global_ball_radius": "4.0161530e-123"
    },
    {
      "N": 20,
      "k": 2,
      "alcove_size": 210,
      "sum_accuracy_bits": 587,
      "global": "5431.156508657905174239691597627230679076175907068441153717992175409455577135275470771836807944273115",
      "total": "73.69638056687658778416677874684676991302266906681950431401793452129719359009320206120919171427963483",
      "global_ball_radius": "5.3309705e-123"
    }
  ],
  "reviewer_run": "20261029T141456Z",
  "program_categories_checked": 117,
  "program_example": "G(3,3)=36 exactly",
  "repair_checker_sha256": "d17fe141f5ff9e6188ba6bf49035ff4bad038139b80e43de47a9a962ff01bd6f",
  "scope": "Rerun of existing build checks plus every program output; not a new independent argument-selection critique. No new values."
}