{
  "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
    }
  ]
}