back to table · edit · history · where entries came from · files · download
29907 bytes, as of the version from 2026-10-30 08:47 (current). Recorded here, not run.
{
"table": "T620",
"entries": 56,
"stored_checked": true,
"production_bits": 513,
"comparison_bits": 750,
"minimum_accuracy_bits": 498,
"sage": "10.9",
"numberdb": "0.1.10",
"mpmath": "1.4.1",
"seconds": 91.51465878682211,
"skill_manifest": "../20261030T071029Z-build-skills/manifest.json",
"skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"rows": [
{
"n": 3,
"values": [
{
"convention": "det",
"number": "0.4562137291871239671588175396030622768725618053399871437714998800100700935964088552431970752939245803",
"accuracy_bits": 506
},
{
"convention": "logdet",
"number": "-0.7847938749176002640207523311030596452895063902285088575311281767263908297931818251428533571059926259",
"accuracy_bits": 506
}
],
"independent_logdet_150": "-0.78479387491760026402075233110305964528950639022850885753112817672639082979318182514285335710599262592937234409226067107857693053321571544853047816650746339",
"independent_logdet_200": "-0.7847938749176002640207523311030596452895063902285088575311281767263908297931818251428533571059926259293723440922606710785769305332157154485304781665074633924095687679431105807951325857301871602825473889557",
"agreement_error": "6.6411849e-171",
"integral_tail_bound_200": "6.706148e-221"
},
{
"n": 4,
"values": [
{
"convention": "det",
"number": "0.4567895690780584107036212967006110448509819581967345167098482656329540046860045569816444916797900694",
"accuracy_bits": 507
},
{
"convention": "logdet",
"number": "-0.7835324556688769647171162858468857319422187797040698228464202976835809031848864759319044585327361178",
"accuracy_bits": 507
}
],
"independent_logdet_150": "-0.78353245566887696471711628584688573194221877970406982284642029768358090318488647593190445853273611778822119054944702967712465824282513719937552833052070558",
"independent_logdet_200": "-0.7835324556688769647171162858468857319422187797040698228464202976835809031848864759319044585327361177882211905494470296771246582428251371993755283305207055805171859471565542471731773444000918516575663211959",
"agreement_error": "4.9745182e-171",
"integral_tail_bound_200": "5.059222e-221"
},
{
"n": 5,
"values": [
{
"convention": "det",
"number": "0.4614369140033657741157728037836941877733384603007759368539836022367244041603752101338281015196997735",
"accuracy_bits": 505
},
{
"convention": "logdet",
"number": "-0.7734099321007320177679083218853627426312331300821242156996186333766464802047770058398083622325605871",
"accuracy_bits": 505
}
],
"independent_logdet_150": "-0.77340993210073201776790832188536274263123313008212421569961863337664648020477700583980836223256058710579759009048399800289611409446190077151789903357897928",
"independent_logdet_200": "-0.7734099321007320177679083218853627426312331300821242156996186333766464802047770058398083622325605871057975900904839980028961140944619007715178990335789792804079685260051805035340571357813520570700776982902",
"agreement_error": "4.4189626e-171",
"integral_tail_bound_200": "4.5234071e-221"
},
{
"n": 6,
"values": [
{
"convention": "det",
"number": "0.4644606856681770336377122152001527119923333105040717674794516847261801660832318847795433931405878065",
"accuracy_bits": 506
},
{
"convention": "logdet",
"number": "-0.7668783622689526630372991516100507663869043874745704817737119004325517534060850292082302382097164745",
"accuracy_bits": 506
}
],
"independent_logdet_150": "-0.76687836226895266303729915161005076638690438747457048177371190043255175340608502920823023820971647451100849357836718706908467377994041270546579433976298719",
"independent_logdet_200": "-0.7668783622689526630372991516100507663869043874745704817737119004325517534060850292082302382097164745110084935783671870690846737799404127054657943397629871861823626298999585540224537844840596725179907730992",
"agreement_error": "4.1411849e-171",
"integral_tail_bound_200": "4.26537e-221"
},
{
"n": 7,
"values": [
{
"convention": "det",
"number": "0.4663599784124541771121564018134633413492122699749782316149798879314802238909071996020019132569566840",
"accuracy_bits": 504
},
{
"convention": "logdet",
"number": "-0.7627974572064930319746811139417180076577582317906010414273940714292314153493917854854731695296416373",
"accuracy_bits": 504
}
],
"independent_logdet_150": "-0.76279745720649303197468111394171800765775823179060104142739407142923141534939178548547316952964163731472318447223222491111092864623364748886755425818293399",
"independent_logdet_200": "-0.7627974572064930319746811139417180076577582317906010414273940714292314153493917854854731695296416373147231844722322249111109286462336474888675542581829339947808655103044230493241754901437200168513556347656",
"agreement_error": "3.9745182e-171",
"integral_tail_bound_200": "4.1184439e-221"
},
{
"n": 8,
"values": [
{
"convention": "det",
"number": "0.4675737530567204652261584645123215380761627354450624017568120513751762753872305473824502242943926485",
"accuracy_bits": 506
},
{
"convention": "logdet",
"number": "-0.7601981821471474619904735022400121829657179065249399206444113685074852409868956329906116676809316632",
"accuracy_bits": 506
}
],
"independent_logdet_150": "-0.7601981821471474619904735022400121829657179065249399206444113685074852409868956329906116676809316631684310716334814640255103449463160972518721718033988261",
"independent_logdet_200": "-0.7601981821471474619904735022400121829657179065249399206444113685074852409868956329906116676809316631684310716334814640255103449463160972518721718033988260951460379275197524462003380978303606431008225987549",
"agreement_error": "3.8634071e-171",
"integral_tail_bound_200": "4.0270735e-221"
},
{
"n": 9,
"values": [
{
"convention": "det",
"number": "0.4683608974798595986270399080688793883783866649068029826456265703688610480270358303823061167593275780",
"accuracy_bits": 503
},
{
"convention": "logdet",
"number": "-0.7585161317854552391320003530040511930097445164163537389626226962663964146348599804604812393125234669",
"accuracy_bits": 503
}
],
"independent_logdet_150": "-0.75851613178545523913200035300405119300974451641635373896262269626639641463485998046048123931252346693754658281125254485745330201145160077836810934095149334",
"independent_logdet_200": "-0.7585161317854552391320003530040511930097445164163537389626226962663964146348599804604812393125234669375465828112525448574533020114516007783681093409514933370728803041183420996307381908298808128072272792795",
"agreement_error": "3.784042e-171",
"integral_tail_bound_200": "3.9674491e-221"
},
{
"n": 10,
"values": [
{
"convention": "det",
"number": "0.4688733008228825927257932243843140127459275630393132362766928382191364221472099912003010941051480564",
"accuracy_bits": 504
},
{
"convention": "logdet",
"number": "-0.7574226945314506726473784322168568293393283560097342047735417394727614873512034077444923976641623315",
"accuracy_bits": 504
}
],
"independent_logdet_150": "-0.75742269453145067264737843221685682933932835600973420477354173947276148735120340774449239766416233152188864475714934532937038261798334540435341355431094963",
"independent_logdet_200": "-0.757422694531450672647378432216856829339328356009734204773541739472761487351203407744492397664162331521888644757149345329370382617983345404353413554310949629876255535634714232682866988643536945877636734396",
"agreement_error": "3.7245182e-171",
"integral_tail_bound_200": "3.9276659e-221"
},
{
"n": 11,
"values": [
{
"convention": "det",
"number": "0.4692031658227387247540846800159814221032658712908325842398401994940811126252932631641286861263947071",
"accuracy_bits": 503
},
{
"convention": "logdet",
"number": "-0.7567194149477901627332796303898537112534591745193381586074400731159499332160832283515982208431922795",
"accuracy_bits": 502
}
],
"independent_logdet_150": "-0.75671941494779016273327963038985371125345917451933815860744007311594993321608322835159822084319227953612800321591694647113482303034283218113709582857889606",
"independent_logdet_200": "-0.7567194149477901627332796303898537112534591745193381586074400731159499332160832283515982208431922795361280032159169464711348230303428321811370958285788960566420759942044100589718705437512395492154992977509",
"agreement_error": "3.6782219e-171",
"integral_tail_bound_200": "3.9011103e-221"
},
{
"n": 12,
"values": [
{
"convention": "det",
"number": "0.4694085669944096952433761818397187281319205903366711538346634549911213405709402842924348716349517003",
"accuracy_bits": 503
},
{
"convention": "logdet",
"number": "-0.7562817447849992410911236418897935477673150005506929609934086486282666937125871587633109170623609181",
"accuracy_bits": 503
}
],
"independent_logdet_150": "-0.75628174478499924109112364188979354776731500055069296099340864862826669371258715876331091706236091811029042002289250800067115599339191885958722634455396823",
"independent_logdet_200": "-0.7562817447849992410911236418897935477673150005506929609934086486282666937125871587633109170623609181102904200228925080006711559933919188595872263445539682304154329413943046333115831814927385433443826816357",
"agreement_error": "3.6411849e-171",
"integral_tail_bound_200": "3.8838139e-221"
},
{
"n": 13,
"values": [
{
"convention": "det",
"number": "0.4695273186876276910812377520573737644749225278802436755581837950331888185849408450355225711049246475",
"accuracy_bits": 502
},
{
"convention": "logdet",
"number": "-0.7560287952584936820157676573961217649114625177778212320768618247077467770732309236713969916087972404",
"accuracy_bits": 502
}
],
"independent_logdet_150": "-0.75602879525849368201576765739612176491146251777782123207686182470774677707323092367139699160879724039720625795320394197601331901581181312031350883547451198",
"independent_logdet_200": "-0.7560287952584936820157676573961217649114625177778212320768618247077467770732309236713969916087972403972062579532039419760133190158118131203135088354745119842642877871221043747907629258195333672762936501173",
"agreement_error": "3.6108818e-171",
"integral_tail_bound_200": "3.8732515e-221"
},
{
"n": 14,
"values": [
{
"convention": "det",
"number": "0.4695847590296419363296795031569054402516319251857716896124126469678009586050746255744533123966693459",
"accuracy_bits": 503
},
{
"convention": "logdet",
"number": "-0.7559064662129009613652865114201316236918177233127991381535853550782065800298209756000769830328952022",
"accuracy_bits": 503
}
],
"independent_logdet_150": "-0.75590646621290096136528651142013162369181772331279913815358535507820658002982097560007698303289520224647084100378571768456822288578652504252801920792108065",
"independent_logdet_200": "-0.7559064662129009613652865114201316236918177233127991381535853550782065800298209756000769830328952022464708410037857176845682228857865250425280192079210806487812520412155560893988339716930320013453217249382",
"agreement_error": "3.5856293e-171",
"integral_tail_bound_200": "3.8677397e-221"
},
{
"n": 15,
"values": [
{
"convention": "det",
"number": "0.4695982863980014106048763706572887253029495340442043891373564717819558998458672509232068653408651213",
"accuracy_bits": 501
},
{
"convention": "logdet",
"number": "-0.7558776595421965296651828405509063076204969446463288072641945244132852066137877707698063064449728157",
"accuracy_bits": 501
}
],
"independent_logdet_150": "-0.75587765954219652966518284055090630762049694464632880726419452441328520661378777076980630644497281567142464060140605650384842791875509992641821350866305427",
"independent_logdet_200": "-0.7558776595421965296651828405509063076204969446463288072641945244132852066137877707698063064449728156714246406014060565038484279187550999264182135086630542650579970518120444957757932052328772127183766975357",
"agreement_error": "3.5642618e-171",
"integral_tail_bound_200": "3.8661128e-221"
},
{
"n": 16,
"values": [
{
"convention": "det",
"number": "0.4695800985115511740926204224109018392552828791815989809854265974589141377397354620986176712311549395",
"accuracy_bits": 503
},
{
"convention": "logdet",
"number": "-0.7559163910265337927575556850819022834356421650742717796687459080815767368876616968313624089557296841",
"accuracy_bits": 502
}
],
"independent_logdet_150": "-0.75591639102653379275755568508190228343564216507427177966874590808157673688766169683136240895572968405447858540273045602901385320964384059868967636567515298",
"independent_logdet_200": "-0.7559163910265337927575556850819022834356421650742717796687459080815767368876616968313624089557296840544785854027304560290138532096438405986896763656751529820281348842462877557225734413068443814168176667735",
"agreement_error": "3.5459468e-171",
"integral_tail_bound_200": "3.8675384e-221"
},
{
"n": 17,
"values": [
{
"convention": "det",
"number": "0.4695388997667674275614598311706307352886499040910306483608507164636140832633178869847657387581150950",
"accuracy_bits": 501
},
{
"convention": "logdet",
"number": "-0.7560041301626511654884289914084913291494472696012311492790834940650106679751437295351299402707442449",
"accuracy_bits": 501
}
],
"independent_logdet_150": "-0.75600413016265116548842899140849132914944726960123114927908349406501066797514372953512994027074424485195056879507264726453135664337052659518885048118948585",
"independent_logdet_200": "-0.756004130162651165488428991408491329149447269601231149279083494065010667975143729535129940270744244851950568795072647264531356643370526595188850481189485852232146135481996698456704216910753736449945968361",
"agreement_error": "3.5300738e-171",
"integral_tail_bound_200": "3.8714061e-221"
},
{
"n": 18,
"values": [
{
"convention": "det",
"number": "0.4694809959456136097048113266164302573010475067232438780921278615987278442057535396518739920577664395",
"accuracy_bits": 502
},
{
"convention": "logdet",
"number": "-0.7561274583721845361824328772647547718850612000033182360227846400121219244830285932755505664925060936",
"accuracy_bits": 502
}
],
"independent_logdet_150": "-0.75612745837218453618243287726475477188506120000331823602278464001212192448302859327555056649250609359346821880215325589104252063821531184414109263821138197",
"independent_logdet_200": "-0.7561274583721845361824328772647547718850612000033182360227846400121219244830285932755505664925060935934682188021532558910425206382153118441410926382113819663422043979407058845833754965370652919756277715262",
"agreement_error": "3.5161849e-171",
"integral_tail_bound_200": "3.8772579e-221"
},
{
"n": 19,
"values": [
{
"convention": "det",
"number": "0.4694110138830500081941122493807926441240592883075548838866042991809348103781416637247492209895716097",
"accuracy_bits": 500
},
{
"convention": "logdet",
"number": "-0.7562765320930397667738767620489729996957344639601847370627051662476409031059664461121155700786627659",
"accuracy_bits": 500
}
],
"independent_logdet_150": "-0.75627653209303976677387676204897299969573446396018473706270516624764090310596644611211557007866276587569778459825337301053828217548768295428609322893782227",
"independent_logdet_200": "-0.7562765320930397667738767620489729996957344639601847370627051662476409031059664461121155700786627658756977845982533730105382821754876829542860932289378222656481580766003335108409348037585460474946232048148",
"agreement_error": "3.50393e-171",
"integral_tail_bound_200": "3.8847436e-221"
},
{
"n": 20,
"values": [
{
"convention": "det",
"number": "0.4693323851770759634794980447650420057016315568197227463688565933467348309938313572372190895019968823",
"accuracy_bits": 501
},
{
"convention": "logdet",
"number": "-0.7564440511535980524898944438877483865324137251078846992608214845894359533057966878132813787481174682",
"accuracy_bits": 501
}
],
"independent_logdet_150": "-0.75644405115359805248989444388774838653241372510788469926082148458943595330579668781328137874811746818852554156033285537900942484350564951866980139678157488",
"independent_logdet_200": "-0.7564440511535980524898944438877483865324137251078846992608214845894359533057966878132813787481174681885255415603328553790094248435056495186698013967815748787633306833492050339154249273508635744653724994094",
"agreement_error": "3.4930367e-171",
"integral_tail_bound_200": "3.893591e-221"
},
{
"n": 21,
"values": [
{
"convention": "det",
"number": "0.4692476777702919373503090167098964091610656409211574957219129714050456267126319687350261071939202804",
"accuracy_bits": 500
},
{
"convention": "logdet",
"number": "-0.7566245523390760602457630228045815239990010355724069772283548942312519730440719340931502066986615093",
"accuracy_bits": 500
}
],
"independent_logdet_150": "-0.75662455233907606024576302280458152399900103557240697722835489423125197304407193409315020669866150926085866261967745048718763106634380191130438476873597281",
"independent_logdet_200": "-0.7566245523390760602457630228045815239990010355724069772283548942312519730440719340931502066986615092608586626196774504871876310663438019113043847687359728053403488899837430678160106180608898533403759443609",
"agreement_error": "3.4832901e-171",
"integral_tail_bound_200": "3.9035851e-221"
},
{
"n": 22,
"values": [
{
"convention": "det",
"number": "0.4691588272771260915343086035362852575735753481971832248048509930674059511531882948952254110477810491",
"accuracy_bits": 501
},
{
"convention": "logdet",
"number": "-0.7568139169544180294263552837958941054202148540952064844660958659756172457517327025109294183543388106",
"accuracy_bits": 501
}
],
"independent_logdet_150": "-0.75681391695441802942635528379589410542021485409520648446609586597561724575173270251092941835433881062020055908187806740530634360815137784034377016146657437",
"independent_logdet_200": "-0.7568139169544180294263552837958941054202148540952064844660958659756172457517327025109294183543388106202005590818780674053063436081513778403437701614665743697094380779975739906170569575498857487504126923908",
"agreement_error": "3.4745182e-171",
"integral_tail_bound_200": "3.9145538e-221"
},
{
"n": 23,
"values": [
{
"convention": "det",
"number": "0.4690673009286294493216335574096871105755957522290934450454943074856301158562148135993105819231032258",
"accuracy_bits": 499
},
{
"convention": "logdet",
"number": "-0.7570090220490970960738972208757047995883057915466449805486064344380160185781221531759887138624109710",
"accuracy_bits": 499
}
],
"independent_logdet_150": "-0.75700902204909709607389722087570479958830579154664498054860643443801601857812215317598871386241097098738434464359257003063490754767232555958783739624992957",
"independent_logdet_200": "-0.7570090220490970960738972208757047995883057915466449805486064344380160185781221531759887138624109709873843446435925700306349075476723255595878373962499295652061523010464616952113537750358949348538077861251",
"agreement_error": "3.4665817e-171",
"integral_tail_bound_200": "3.926358e-221"
},
{
"n": 24,
"values": [
{
"convention": "det",
"number": "0.4689742154173415053577471009256204837998839869179075660721099029894637787194670949984019765299633822",
"accuracy_bits": 501
},
{
"convention": "logdet",
"number": "-0.7572074898353761011022554895954313863713876731272891352869687986502404971039160824859936855017646540",
"accuracy_bits": 501
}
],
"independent_logdet_150": "-0.75720748983537610110225548959543138637138767312728913528696879865024049710391608248599368550176465397232096347743749414864165939034405918160764452180765651",
"independent_logdet_200": "-0.7572074898353761011022554895954313863713876731272891352869687986502404971039160824859936855017646539723209634774374941486416593903440591816076445218076565066340113226498302528251584555705136581931028955994",
"agreement_error": "3.4593667e-171",
"integral_tail_bound_200": "3.9388836e-221"
},
{
"n": 25,
"values": [
{
"convention": "det",
"number": "0.4688804226920052936798365426567445200747482459396981857400979531998776908754845396033112478974071806",
"accuracy_bits": 499
},
{
"convention": "logdet",
"number": "-0.7574075053214390212000839995673155306858276263653281976562642037031282070833665258830933752194193397",
"accuracy_bits": 499
}
],
"independent_logdet_150": "-0.75740750532143902120008399956731553068582762636532819765626420370312820708336652588309337521941933970814241399362559702855287056243387476606689087518966925",
"independent_logdet_200": "-0.7574075053214390212000839995673155306858276263653281976562642037031282070833665258830933752194193397081424139936255970285528705624338747660668908751896692495526963270447506349210784511233906387924506089716",
"agreement_error": "3.4527791e-171",
"integral_tail_bound_200": "3.9520367e-221"
},
{
"n": 26,
"values": [
{
"convention": "det",
"number": "0.4687865731426546226489801673397945598313660736165367204159311737194731883902409982975141774372294925",
"accuracy_bits": 500
},
{
"convention": "logdet",
"number": "-0.7576076820367995020021144887555344683943039176569647550776881362839983010894716379207777844891960884",
"accuracy_bits": 500
}
],
"independent_logdet_150": "-0.75760768203679950200211448875553446839430391765696475507768813628399830108947163792077778448919608842308293870976330794319210985809531304773683440587980396",
"independent_logdet_200": "-0.7576076820367995020021144887555344683943039176569647550776881362839983010894716379207777844891960884230829387097633079431921098580953130477368344058798039576408732453445336241374662903084302870658964756918",
"agreement_error": "3.4467404e-171",
"integral_tail_bound_200": "3.9657387e-221"
},
{
"n": 27,
"values": [
{
"convention": "det",
"number": "0.4686931626225911616852747882198654058149209802216433871019694754633463773485016843399117199171476681",
"accuracy_bits": 499
},
{
"convention": "logdet",
"number": "-0.7578069621210700013229718435773278457380996658017589256853826352334520361566701620385129290572179749",
"accuracy_bits": 499
}
],
"independent_logdet_150": "-0.75780696212107000132297184357732784573809966580175892568538263523345203615667016203851292905721797494691765348723007228009851737607824546184422699385305267",
"independent_logdet_200": "-0.7578069621210700013229718435773278457380996658017589256853826352334520361566701620385129290572179749469176534872300722800985173760782454618442269938530526717827870645555043930064683733057458265376698509068",
"agreement_error": "3.4411849e-171",
"integral_tail_bound_200": "3.9799238e-221"
},
{
"n": 28,
"values": [
{
"convention": "det",
"number": "0.4686005677746965695692397770108914902239607552802277774051896718343604300164292219849976456356317596",
"accuracy_bits": 500
},
{
"convention": "logdet",
"number": "-0.7580045412687648589339332534119393675859843544604673602536741610427106171112922071699555008750534804",
"accuracy_bits": 500
}
],
"independent_logdet_150": "-0.75800454126876485893393325341193936758598435446046736025367416104271061711129220716995550087505348042690476365364954081890372132091322135073494333419949383",
"independent_logdet_200": "-0.7580045412687648589339332534119393675859843544604673602536741610427106171112922071699555008750534804269047636536495408189037213209132213507349433341994938308205452295210537668624090289662783889597845326044",
"agreement_error": "3.4360567e-171",
"integral_tail_bound_200": "3.9945362e-221"
},
{
"n": 29,
"values": [
{
"convention": "det",
"number": "0.4685090728001945076745027100700339638859990521365446411940638752289875396717695574635078040078735866",
"accuracy_bits": 499
},
{
"convention": "logdet",
"number": "-0.7581998118557511631364163549507388505345394453749749137233379215879110375074744840138211273629236181",
"accuracy_bits": 498
}
],
"independent_logdet_150": "-0.75819981185575116313641635495073885053453944537497491372333792158791103750747448401382112736292361813181171780842844540956098224531265604022112530257943053",
"independent_logdet_200": "-0.7581998118557511631364163549507388505345394453749749137233379215879110375074744840138211273629236181318117178084284454095609822453126560402211253025794305331337673421207449871836438519668364253652706499838",
"agreement_error": "3.4313083e-171",
"integral_tail_bound_200": "4.0095286e-221"
},
{
"n": 30,
"values": [
{
"convention": "det",
"number": "0.4684188899018064466901867854296584268727919792315468754194104711528365657856776904517206541298774373",
"accuracy_bits": 500
},
{
"convention": "logdet",
"number": "-0.7583923195025642475830680246041138521541969986498801150982841481319966074056472392230983883720888711",
"accuracy_bits": 499
}
],
"independent_logdet_150": "-0.75839231950256424758306802460411385215419699864988011509828414813199660740564723922309838837208887113810892471374709064380516631669085445258072154592938074",
"independent_logdet_200": "-0.7583923195025642475830680246041138521541969986498801150982841481319966074056472392230983883720888711381089247137470906438051663166908544525807215459293807376737127126677403599491748634659582932770294544313",
"agreement_error": "3.4268992e-171",
"integral_tail_bound_200": "4.02486e-221"
}
],
"family_checks": {
"table": "T620",
"polygon_scale_and_heat_checks": 28,
"T554_checks": 28,
"T17_checks": 28,
"T506_square_check": true,
"T228_zeta_check": true,
"closed_forms": 2,
"small_x_remainder_bound": "[4.76495650806793370851866794336948794756972282370779374827197550449649154814674563149800451136786618106113921915630616034345158819898590255632270144054532725495629652823505819739794500149172515130921429130199995138151581070e-275 +/- 5.22e-497]",
"sage": "10.9",
"numberdb": "0.1.10"
},
"skill_versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
}
],
"max_written_length": 103,
"source_sha256": {
"generate.py": "b22be46f83e0163723a21720b903e1ff3c3fc1b65d5e8708a8a0cb9af0493462",
"checks.py": "3d2be2bbf0a7296d1457f43ee46b33d16f8373e358e3af7dc5ae173a5bf9793d",
"family_checks.py": "bbabb612388255a67e161c1eaad4d9d345997d54e28e58220c675ced53aade22"
},
"generator_note": "The install-command docstring was added after numerical checks; arithmetic and enumeration are unchanged."
}