{
  "table": "T606",
  "skill_manifest": "agents/runs/20261029T095925Z-repair-skills/manifest.json",
  "skill_sha256": {
    "local": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
    "live": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
  },
  "versions": {
    "Sage": "10.9",
    "numberdb": "0.1.10",
    "Python": "3.12.3"
  },
  "generator_decimal_enclosures": 58,
  "independent_integer_enclosures": 30,
  "exact_unit_entries": 2,
  "coefficientwise_bounds_checked_through": 34,
  "finite_sum_controls": "E S_n^2=1 and E S_n^4=3-2/n at n=16,64,256,1024",
  "finite_sum_norm_checks": [
    {
      "n": 16,
      "p": "13/6",
      "norm": "[1.02923085419536022382269048794230315685076009341457147307065974977170823139529735033125267508613838038832314198304122463681827342012456154867087525443579359275303327826843271798666549584731246003282009048432506 +/- 4.81e-210]",
      "gaussian_norm": "[1.02996560540993520638700065187785236114734557922464515074117717332581733168471869607222368048380027583091653254977511717012540154263060247818318287001091001637004356613687989094644070710504911830506770902285213 +/- 2.71e-210]",
      "gap": "[0.00073475121457498256431016393554920429658548581007367767051742355410910028942134574097100539766189544259339056673389253330712812250604092951230761557511642361701028786844717295977521125773665827224761853852707 +/- 7.51e-210]"
    },
    {
      "n": 16,
      "p": "3",
      "norm": "[1.16250867145803605925647098112547223631377537828485691316349127546186753229834923607407592636599655443420018891387530153240653315100034981691061499058680931244780249779368007062327170342002633480578208765817468 +/- 6.74e-210]",
      "gaussian_norm": "[1.16857525496246554867047601109768527106052404816790797238351628742341529388878546527871423428383493967313088573815251182106669028638589292944002154160578170715233244668057860861036943067335081422082613218771376 +/- 4.88e-210]",
      "gap": "[0.00606658350442948941400502997221303474674866988305105922002501196154776159043622920463830791783838523893069682427721028866015713538554311252940655101897239470452994888689853798709772725332447941504404452953907 +/- 4.54e-210]"
    },
    {
      "n": 16,
      "p": "4",
      "norm": "[1.30214534357010893346992329013546948422951327797851715800607110002312769862985121468347629004570260506498817123048975599452189984267873843636006684554841578705568275439374104365102077829594933962057671509736288 +/- 3.41e-210]",
      "gaussian_norm": "[1.31607401295249246081921890179699905516006859020582217673192265859586679519730213305074315024660193152004774233425342135309138074209544088197926386247711778967540767987895861231588172445898703237637302664073869 +/- 4.32e-210]",
      "gap": "[0.01392866938238352734929561166152957093055531222730501872585155857273909656745091836726686020089932645505957110376366535856948089941670244561919701692870200261972492548521756866486094616303769275579631154337581 +/- 7.72e-210]"
    },
    {
      "n": 16,
      "p": "19/2",
      "norm": "[1.85960748899132457734279964762175103501031123717706067894622913783887025484648808728878937342788519889427906792734003213931480196192279056682625177288984246533603280216540069600123117032813870772593752089007239 +/- 4.13e-210]",
      "gaussian_norm": "[1.93712772858130435604466668810750506274546702998201185971810091600205196349671632802271626581350062686774125269380236544312122055416187953787871490163460305877949282989127276381408052225232230426237352242343185 +/- 2.57e-210]",
      "gap": "[0.07752023958997977870186704048575402773515579280495118077187177816318170865022824073392689238561542797346218476646233330380641859223908897105246312874476059344346002772587206781284935192418359653643600153335946 +/- 6.70e-210]"
    },
    {
      "n": 16,
      "p": "32",
      "norm": "[2.90950825459805272785578627678543617201364166909961826194535616694924758955021346613817160302665559434261611378078202718592637348817451257692675158058495634281811698505963310975655059852306690838016784489030896 +/- 5.43e-210]",
      "gaussian_norm": "[3.46813510027181214016904083386231983096050615326928999161426668006419571213294583344953551945509641546877119309039268882380992961998112373490803200844454676893811244431999928597974408617619671002042430109197673 +/- 7.63e-210]",
      "gap": "[0.55862684567375941231325455707688365894686448416967172966891051311494812258273236731136391642844082112615507930961066163788355613180661115798128042785959042611999545926036617622319348765312980164025645620166777 +/- 8.81e-210]"
    },
    {
      "n": 64,
      "p": "13/6",
      "norm": "[1.02976010704602962801965667733632264742475424776634225369832000729111990200703704092662260260600848464577664681642499624237385909102376529820556889875869569553366881215390540425720720956457304421110514480261787 +/- 6.34e-210]",
      "gaussian_norm": "[1.02996560540993520638700065187785236114734557922464515074117717332581733168471869607222368048380027583091653254977511717012540154263060247818318287001091001637004356613687989094644070710504911830506770902285213 +/- 2.71e-210]",
      "gap": "[0.00020549836390557836734397454152971372259133145830289704285716603469742967768165514560107787779179118513988573335012092775154245160683717997761397125221432083637475398297448668923349754047607409396256422023426 +/- 8.53e-210]"
    },
    {
      "n": 64,
      "p": "3",
      "norm": "[1.16705472459761799702971806585141390141676188795674022208418674535559351159434661781090655399048693559378490117877727633695626542264724452821642863918704698782015228371681198124187005191890986142754490703834476 +/- 6.71e-210]",
      "gaussian_norm": "[1.16857525496246554867047601109768527106052404816790797238351628742341529388878546527871423428383493967313088573815251182106669028638589292944002154160578170715233244668057860861036943067335081422082613218771376 +/- 4.88e-210]",
      "gap": "[0.00152053036484755164075794524627136964376216021116775029932954206782178229443884746780768029334800407934598455937523548411042486373864840122359290241873471933218016296376662736849937875444095279328122514936900 +/- 5.91e-210]"
    },
    {
      "n": 64,
      "p": "4",
      "norm": "[1.31263326714329380544869123541602444942933966391589121348270717633685433728032383497645242105275147854707676331963808782362894110007691281278229015081002628457212622523236030726012768767619796601610267927484511 +/- 7.10e-210]",
      "gaussian_norm": "[1.31607401295249246081921890179699905516006859020582217673192265859586679519730213305074315024660193152004774233425342135309138074209544088197926386247711778967540767987895861231588172445898703237637302664073869 +/- 4.32e-210]",
      "gap": "[0.00344074580919865537052766638097460573072892628993096324921548225901245791697829807429072919385045297297097901461533352946243964201852806919697371166709150510328145464659830505575403678278906636027034736589357 +/- 8.50e-210]"
    },
    {
      "n": 64,
      "p": "19/2",
      "norm": "[1.91809553316812842861224251629393597506390108526567430980421935246413336342199004699342078811805102230993922962731588769604035579998310803212234600892637596688463787582861660478056769917493084932543080544699744 +/- 7.47e-210]",
      "gaussian_norm": "[1.93712772858130435604466668810750506274546702998201185971810091600205196349671632802271626581350062686774125269380236544312122055416187953787871490163460305877949282989127276381408052225232230426237352242343185 +/- 2.57e-210]",
      "gap": "[0.01903219541317592743242417181356908768156594471633754991388156353791860007472628102929547769544960455780202306648647774708086475417877150575636889270822709189485495406265615903351282307739145493694271697643441 +/- 8.86e-210]"
    },
    {
      "n": 64,
      "p": "32",
      "norm": "[3.33077817480683265940888992908222158197644718914477396082350117254983639177367120001605714159447866508494841661681564020630209103562124891297906316560698730638368910169274495522135627187473505432446225440245159 +/- 9.11e-210]",
      "gaussian_norm": "[3.46813510027181214016904083386231983096050615326928999161426668006419571213294583344953551945509641546877119309039268882380992961998112373490803200844454676893811244431999928597974408617619671002042430109197673 +/- 7.63e-210]",
      "gap": "[0.13735692546497948076015090478009824898405896412451603079076550751435932035927463343347837786061775038382277647357704861750783858435987482192896884283755946255442334262725433075838781430146165569596204668952515 +/- 8.78e-210]"
    },
    {
      "n": 256,
      "p": "13/6",
      "norm": "[1.0299117592906189461398028765312832444812073308807189557034315307444200515994883800521296541874827855418234133936397737113316690775453082274539319787014697956052597315797960301235913226058583399869959073480040 +/- 6.13e-209]",
      "gaussian_norm": "[1.02996560540993520638700065187785236114734557922464515074117717332581733168471869607222368048380027583091653254977511717012540154263060247818318287001091001637004356613687989094644070710504911830506770902285213 +/- 2.71e-210]",
      "gap": "[5.38461193162602471977753465691166661382483439261950377456425813972800852303160200940262963174902890931191561353434587937324650852942507292508913094402207647838345570838608228493844991907783180718016748482e-5 +/- 5.51e-209]"
    },
    {
      "n": 256,
      "p": "3",
      "norm": "[1.1681949222453482818483429866827263485910184248200558612751847476449487068162010327795256581203719544040800968629001813130752386858247334207429312281339347303949314724015677911688026250344191772392130806579867 +/- 2.45e-209]",
      "gaussian_norm": "[1.16857525496246554867047601109768527106052404816790797238351628742341529388878546527871423428383493967313088573815251182106669028638589292944002154160578170715233244668057860861036943067335081422082613218771376 +/- 4.88e-210]",
      "gap": "[0.0003803327171172668221330244149589224695056233478521111083315397784665870725844324991885761634629852690507888752523305079914516005611595086970903134718469767574009742790108174415668056389316369816130515297270 +/- 5.88e-209]"
    },
    {
      "n": 256,
      "p": "4",
      "norm": "[1.3152163559229545835284998892280019487298191709801329994783172135283341156813351915515962068018249511478444771066005757586003775666731828426367993585209489451675314731067926523785106342514385880603320900701058 +/- 2.14e-209]",
      "gaussian_norm": "[1.31607401295249246081921890179699905516006859020582217673192265859586679519730213305074315024660193152004774233425342135309138074209544088197926386247711778967540767987895861231588172445898703237637302664073869 +/- 4.32e-210]",
      "gap": "[0.0008576570295378772907190125689971064302494192256891772536054450675326795159669414991469434447769803722032652276528455944910031754222580393424645039561688445078762067721659599373710902075484443160409365706329 +/- 1.62e-209]"
    },
    {
      "n": 256,
      "p": "19/2",
      "norm": "[1.9323912477091388852204184985413032486754502099278436628634600879867306718965294047512078722829085499760597950510203418985103632931702020740692204277645700539775062121026849510201551771167053272429618496372047 +/- 4.26e-209]",
      "gaussian_norm": "[1.93712772858130435604466668810750506274546702998201185971810091600205196349671632802271626581350062686774125269380236544312122055416187953787871490163460305877949282989127276381408052225232230426237352242343185 +/- 2.57e-210]",
      "gap": "[0.0047364808721654708242481895662018140700168200541681968546408280153212916001869232715083935305920768916814576427820235446108572609916774638094944738700330048019866177885878127939253451356169770194116727862271 +/- 3.18e-209]"
    },
    {
      "n": 256,
      "p": "32",
      "norm": "[3.4341425782287430013661724895311065520984889965106078194720454224996510141876684136651750694156349761219964127120915701553265472140240943079507394714130490600662567009185394714508289236531471573146271955005610 +/- 4.12e-209]",
      "gaussian_norm": "[3.46813510027181214016904083386231983096050615326928999161426668006419571213294583344953551945509641546877119309039268882380992961998112373490803200844454676893811244431999928597974408617619671002042430109197673 +/- 7.63e-210]",
      "gap": "[0.0339925220430691388028683443312132788620171567586821721422212575645446979452774197843604500394614393467747803783011186684833824059570294269572925370314977088718557434014598145289151625230495527057971055914157 +/- 1.06e-209]"
    },
    {
      "n": 1024,
      "p": "13/6",
      "norm": "[1.029951863958048204462079286232199558575791570852954578354408058755936189890196024626312010801950597505589384706515116260869164584309393995409963553835409448491279248707894765489587997658868894001803926312746 +/- 1.61e-208]",
      "gaussian_norm": "[1.02996560540993520638700065187785236114734557922464515074117717332581733168471869607222368048380027583091653254977511717012540154263060247818318287001091001637004356613687989094644070710504911830506770902285213 +/- 2.71e-210]",
      "gap": "[1.37414518870019249213656456528025715540083716905723867691145698811417945226714459116696818496783253271478432600009092562369583212084827732193161755005678787643174289851254568527094461802243032637827101062e-5 +/- 9.10e-209]"
    },
    {
      "n": 1024,
      "p": "3",
      "norm": "[1.1684801599493569270426176436416173202006776530168699499261409502314265302645617123645745721026929807054869759054783481198337827223843500849179700527223387115251176740033790057016009140849523907897770091078410 +/- 7.93e-209]",
      "gaussian_norm": "[1.16857525496246554867047601109768527106052404816790797238351628742341529388878546527871423428383493967313088573815251182106669028638589292944002154160578170715233244668057860861036943067335081422082613218771376 +/- 4.88e-210]",
      "gap": "[9.50950131086216278583674560679508598463951510380224573753371919887636242237529141396621811419589676439098326741637012329075640015428445220514888834429956272147726771996029087685165883984234310491230798728e-5 +/- 6.38e-209]"
    },
    {
      "n": 1024,
      "p": "4",
      "norm": "[1.3158597558818278453370729549816869896218005001594543927611895565181611205366734484968396033363521940690911671698568669798890460641423558084493465504177729574779370302972207701055679502919871034714754349672519 +/- 9.24e-209]",
      "gaussian_norm": "[1.31607401295249246081921890179699905516006859020582217673192265859586679519730213305074315024660193152004774233425342135309138074209544088197926386247711778967540767987895861231588172445898703237637302664073869 +/- 4.32e-210]",
      "gap": "[0.0002142570706646154821459468153120655382680900463677839707331020777056746606286845539035469102497374509565751643965543732023346779530850735299173120593448321974706495817378422103137741669999289048975916734867 +/- 8.42e-209]"
    },
    {
      "n": 1024,
      "p": "19/2",
      "norm": "[1.9359449521281354364850543275891631151260908517588652289963954568148213169813890270910039404236121507515220305109334747469084334014635994144798212892033782124132745196584252448449413698231156459307721234564188 +/- 5.03e-209]",
      "gaussian_norm": "[1.93712772858130435604466668810750506274546702998201185971810091600205196349671632802271626581350062686774125269380236544312122055416187953787871490163460305877949282989127276381408052225232230426237352242343185 +/- 2.57e-210]",
      "gap": "[0.0011827764531689195596123605183419476193761782231466307217054591872306465153273009317123253898884761162192221828688906962127871526982801233988936124312248463662183102328475189691391524292066583316013989670130 +/- 8.05e-209]"
    },
    {
      "n": 1024,
      "p": "32",
      "norm": "[3.4596601432154768701882989593869701711492015656869877536132046903651635278335647958534350353288070361943268412781820424953009560892551532954741575605060565795362607896116345464171906012988498681155568864152636 +/- 6.00e-209]",
      "gaussian_norm": "[3.46813510027181214016904083386231983096050615326928999161426668006419571213294583344953551945509641546877119309039268882380992961998112373490803200844454676893811244431999928597974408617619671002042430109197673 +/- 7.63e-210]",
      "gap": "[0.0084749570563352699807418744753496598113045875823022380010619896990321842993810375961004841262893792744443518122106463285089735307259704394338744479384901894018516547083647395625534848773468419048674146767132 +/- 5.05e-209]"
    }
  ],
  "limitations": "Finite norm comparisons corroborate but do not prove convergence. See repair-verification.md for the proof. No values were changed."
}