back to table · edit · history · where entries came from · files · download
12266 bytes, as of the version from 2026-10-29 04:58 (current). Recorded here, not run.
{
"table": "T600",
"skill_manifest": "agents/runs/20261029T043345Z-build-skills/manifest.json",
"skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"versions": {
"mpmath": "1.4.1",
"numberdb": "0.1.10"
},
"controls": {
"circle_logdet_error": "1.5598669e-188",
"negative_even_zeta_derivatives": 9,
"exact_multiplicity_checks": 1000
},
"entries": 40,
"minimum_accuracy_bits_150": 503,
"measure": {
"entries": 40,
"longest": 172,
"longest_at": [
1,
"logdet"
],
"block_kb": 8.60546875
},
"independent_method": "Shifted spectral binomial continuation with explicit tail bound; 190-digit mpmath arithmetic",
"all_determinants_match_source_rounding": true,
"rows": [
{
"d": 1,
"logdet": "2.289459771698800348286854702706117423294589625830623143027246142944275539769652159567246540550979415404019624457395978318096411055846913174558162157620573650552787828532691806",
"det": "9.869604401089358618834490999876151135313699407240790626413349376220044822419205243001773403718552231824025913774023144077772348122030046727610617677985197660990399856206575631",
"absolute_logdet_difference": "1.5486448e-188",
"tail_bound": "0.0",
"series_terms": 12,
"logdet_accuracy_bits_150": 513
},
{
"d": 2,
"logdet": "0.8066336400456292907909369354330023573139700999479317260295161437040914732907200276079301723045530211567584059798334379371137664711062575118531795281053641515652139904262874759",
"det": "2.240353442041525736384909576289485062286128606841744714702197445650291135167456934833947796246473098703450671022394652422881466599125959575405184751842528007860695285065403522",
"absolute_logdet_difference": "5.1784487e-171",
"tail_bound": "6.6209365e-171",
"series_terms": 41,
"logdet_accuracy_bits_150": 511
},
{
"d": 3,
"logdet": "0.6951703617566010309682074736641203567477985469148478074167181808510466914746265536001166223260669879228929243509119197007366704919173479472203923480836029056692648560648872018",
"det": "2.004050458417333083781669314716021886697441120867330400882094627120002124252284040368585537045496100165480749569026818104227593583156179392557553321012209565660026386711525084",
"absolute_logdet_difference": "8.6782775e-174",
"tail_bound": "1.0944013e-173",
"series_terms": 49,
"logdet_accuracy_bits_150": 510
},
{
"d": 4,
"logdet": "0.2722574823214659970758470537612606336221025361558437332089646969049460511057366691157133741718127048915964479407965960879815661288696472374294453989370388680310977423383321759",
"det": "1.312925012773452498079424837950309503433576021467837141542963324038584252439466081655821254051149637269255080532610650623861036353241532801831791886664094215915220237928434117",
"absolute_logdet_difference": "9.8195086e-172",
"tail_bound": "1.2281071e-171",
"series_terms": 54,
"logdet_accuracy_bits_150": 508
},
{
"d": 5,
"logdet": "0.2040217024241567091909621201976406736696681095849377487039527244198537603494593404246296858712959853911505681701657104822595416786517652311302704616229645514666914977090501658",
"det": "1.226324767387671873211881595676757782358511989155926149103412399481523969547820135132271799907023863873215561443467479764496403258435237782873514568523100492658226059023283212",
"absolute_logdet_difference": "2.2439942e-172",
"tail_bound": "2.7842125e-172",
"series_terms": 59,
"logdet_accuracy_bits_150": 507
},
{
"d": 6,
"logdet": "-0.01471749279224656792335568021414392516811418617320029458601131685000511374222687187041850606027962850281353981006494868634247024795952952283309308605964663849056275745469158828",
"det": "0.9853902801411974028421197679266859744895737904378955061863754318023804286097645549916656565615329406955359931430868339192681141012674579227370632736958606909882442626090576333",
"absolute_logdet_difference": "1.8690227e-171",
"tail_bound": "2.3065012e-171",
"series_terms": 63,
"logdet_accuracy_bits_150": 503
},
{
"d": 7,
"logdet": "-0.09506514025483739680890530391009428515221403727419613654824706943133459989638842044090953073374235419634102588586167275642518302925605971131146297040824261328472846085138159885",
"det": "0.9093136996128456617980119839958127653054609782553909044040492806425597827318874159851846149052554497619414398379852714013541241615516182462510767851654723237400417763954120969",
"absolute_logdet_difference": "1.7569086e-171",
"tail_bound": "2.157929e-171",
"series_terms": 67,
"logdet_accuracy_bits_150": 506
},
{
"d": 8,
"logdet": "-0.2176873162525491436797055654537276094195669413497451976942936515017610401005653821064991706366261762817723920073996759757602025124841458340176578191047870490314154549408553981",
"det": "0.8043769179373029692858918090292417447353530174363870235089224389412588345151913728434722141551946264941027033315131116994849333507691320475554111148850747558608244798466869805",
"absolute_logdet_difference": "4.3408683e-172",
"tail_bound": "5.3107983e-172",
"series_terms": 71,
"logdet_accuracy_bits_150": 506
},
{
"d": 9,
"logdet": "-0.3112232921717199654333670116663055156562402799145098939219888686551750884863367591649629837407372931755936296663193626985695024380476720306034966453238895207264101971799452141",
"det": "0.7325502848617156598391933979224193944352110783360670592837268931394173534837089295183376346388433771999783736738097204944070879094460052865068079863498394638530446213705309657",
"absolute_logdet_difference": "4.5459437e-173",
"tail_bound": "5.5449378e-173",
"series_terms": 75,
"logdet_accuracy_bits_150": 508
},
{
"d": 10,
"logdet": "-0.3761218546312024048861602222854568388981594221872191781218697293092689752941226503411738110369675352885582887773426974477843416337373358422514901484177475048768007688839599802",
"det": "0.6865186724655433430176133136180018317260805714076113737466305596092352905712505329831981258091565610017045283216841177845330085463914096310648408980461694185455906153175460149",
"absolute_logdet_difference": "5.6215751e-172",
"tail_bound": "6.8553032e-172",
"series_terms": 78,
"logdet_accuracy_bits_150": 507
},
{
"d": 11,
"logdet": "-0.4809086513105842818442992789844195166245622378784436150766806397476649294931351190965660083742407130177616040580556809097421149397124027969844554795943916879655277086960937938",
"det": "0.6182213888372435506900607088845110872503155582746300794543068687632795654437930189672019622178010479337460431190448898027104816710263345400680856016753329960021044697348467157",
"absolute_logdet_difference": "3.2130429e-171",
"tail_bound": "3.9210404e-171",
"series_terms": 81,
"logdet_accuracy_bits_150": 507
},
{
"d": 12,
"logdet": "-0.5065718123737102580010260132503578751790074499266845224606288457962278657429385458528419403117347039847718638308158567866171225185185007816040871228902666585662195320378466007",
"det": "0.6025577230142032069622642883801304171335259868423480896936395866220132108155892911751338198077049876979133554860034416211171381035084188832822120232172821928790148654457230691",
"absolute_logdet_difference": "7.1166273e-173",
"tail_bound": "8.6853226e-173",
"series_terms": 85,
"logdet_accuracy_bits_150": 507
},
{
"d": 13,
"logdet": "-0.6207933493683965247237718646265587676232459684306682852085393181275159426659407143099086715669268037091698969917407625652781196112680887556764341748738638080504858396448546823",
"det": "0.5375178289620966741514838835563268030899579297824644213877458132177142294936930341403974901018800668226413728303653018511044480143175090911871194482641728746021675426034719054",
"absolute_logdet_difference": "1.686394e-172",
"tail_bound": "2.0642334e-172",
"series_terms": 88,
"logdet_accuracy_bits_150": 508
},
{
"d": 14,
"logdet": "-0.6176887407694948572660795742423246982845345842618878146939934993256911275771520386420414224443112595119282801396355324662608365035655415298854826751657136526825240340448353893",
"det": "0.5391892045770326418554860025568188598644296291531152576229520498670461537163627573880437329447247466466303123242007305739502221315073052745898145886727576153641067603762340905",
"absolute_logdet_difference": "2.760869e-172",
"tail_bound": "3.3936599e-172",
"series_terms": 91,
"logdet_accuracy_bits_150": 507
},
{
"d": 15,
"logdet": "-0.7399088391942723417040637449558431334074174153682087057803793294100102770301244706650254294845768010972526875962003166551614550726989723918587755563533830299077208484618496566",
"det": "0.4771574115925355031993313685202747117841437316370279378113806643351300379970146070048295854047563481545709949892134353026805314386732209623218028313387968655304954744621680342",
"absolute_logdet_difference": "3.366657e-172",
"tail_bound": "4.1621096e-172",
"series_terms": 94,
"logdet_accuracy_bits_150": 507
},
{
"d": 16,
"logdet": "-0.7146018519899039842520085023676804533664249847558121888444496402436878785208006771373361519952422906845770410152709123082222129213856232072859080516598801948628364858225055176",
"det": "0.4893869214411606634757739627163906211326364567018052780136915655158061345453826009712720696695144724341941155074901481508589821027737768559289418973268338702824256685342215422",
"absolute_logdet_difference": "3.2755602e-172",
"tail_bound": "4.0351145e-172",
"series_terms": 97,
"logdet_accuracy_bits_150": 507
},
{
"d": 17,
"logdet": "-0.8437040340787503415173139645183573405826063524685599829955640653294324599701927674189887109781742654073558319964375636118119224581233838811190228833104086840009885455548926783",
"det": "0.4301144107908169280307533361661010714960870225034133697413646725338131594168017235909898685563239562945213406632765512636992607152594975957738714150306725604930088511084711563",
"absolute_logdet_difference": "2.9600154e-172",
"tail_bound": "3.2352602e-172",
"series_terms": 100,
"logdet_accuracy_bits_150": 507
},
{
"d": 18,
"logdet": "-0.8006155788832067196200959305662654992057889855679047411575227128953489582081950245224597331656394929408974200959645584906664751797713518612225770900995905764295014299062350343",
"det": "0.4490524518115977612885905833417110081625800932187691005284917291941009459309655422082164123144900817994180943944810389981673563422618729709992548505928251267437337949838897412",
"absolute_logdet_difference": "2.8067889e-172",
"tail_bound": "2.2231757e-172",
"series_terms": 103,
"logdet_accuracy_bits_150": 507
},
{
"d": 19,
"logdet": "-0.9357225105855833262591619126748270353284174934000451061228403712368581031315954771558670390407778352654848886565951842421600771372296213203046406286271465330226891911657687666",
"det": "0.392302320532387855603053369823009639918723896011732521718961875304505842158531270730451010383165254041203622782010590582644245557103457360178818021374384100889704876032804425",
"absolute_logdet_difference": "6.3073838e-171",
"tail_bound": "8.0068702e-171",
"series_terms": 105,
"logdet_accuracy_bits_150": 507
},
{
"d": 20,
"logdet": "-0.8779892526185941469999085077321031028703225581903123173437164805333762172069365846575001471592285301864969498990579824975013307165822822596349862082484703442763791813873183543",
"det": "0.4156177744028258362737485267831917234676954383886315507850366660063977210569258631966261182514476567097908278387781775048354961878838526553798660299390942122315423832822850436",
"absolute_logdet_difference": "3.4774428e-171",
"tail_bound": "3.9858511e-171",
"series_terms": 108,
"logdet_accuracy_bits_150": 506
}
]
}