back to table · edit · history · where entries came from · files · download
7571 bytes, as of the version from 2026-11-11 07:57 (current). Recorded here, not run.
{
"scope": "Focused formula checks for restored relationships; zero numerical entries changed, no whole-table recomputation.",
"checked_entries": 11,
"total_entries": 98,
"known_answer_control": true,
"negative_control_rejected": true,
"controls": {
"Li2_zero": true,
"Li2_half": true,
"golden_dilog": true,
"apery_first_moment": true
},
"negative_controls": {
"nan_rejected": true,
"infinity_rejected": true,
"wrong_sign_rejected": true,
"two_ulp_error_rejected": true
},
"failures": [],
"checks": [
{
"params": {
"n": 2,
"k": 0,
"x": "logphi"
},
"method": "dilogarithm identity",
"stored": "0.8316472421721863689616628700820596456998847230196935282056992132653494973365017092722424705626947784",
"computed": "0.831647242172186368961662870082059645699884723019693528205699213265349497336501709272242470562694778413409110027039911441088722808441500253233801383702",
"absolute_difference_ulps": "0.13409110027039911441",
"pass": true
},
{
"params": {
"n": 2,
"k": 0,
"x": "2logphi"
},
"method": "dilogarithm identity",
"stored": "0.9869604401089358618834490999876151135313699407240790626413349376220044822419205243001773403718552232",
"computed": "0.986960440108935861883449099987615113531369940724079062641334937622004482241920524300177340371855223182402591377402314407777234812203004672761061767799",
"absolute_difference_ulps": "0.17597408622597685592",
"pass": true
},
{
"params": {
"n": 2,
"k": 0,
"x": "2logsilver"
},
"method": "dilogarithm identity",
"stored": "0.6885603792371556576720292986960330623610000339861255019932610311364092573515431512581030571477967464",
"computed": "0.688560379237155657672029298696033062361000033986125501993261031136409257351543151258103057147796746388206022485342622947879525781440749105427559807185",
"absolute_difference_ulps": "0.11793977514657377052",
"pass": true
},
{
"params": {
"n": 3,
"k": 1,
"x": "2logphi"
},
"method": "alternating inverse central binomial sum, 550 terms",
"stored": "0.2404113806319188570799476323022899981529972584680997763584543110683676411572626180372911747218670516",
"computed": "0.240411380631918857079947632302289998152997258468099776358454311068367641157262618037291174721867051629239831559052143883698399199734656642755279367442",
"absolute_difference_ulps": "0.29239831559052143884",
"pass": true,
"truncation_bound": "2.28933446257e-339"
},
{
"params": {
"n": 4,
"k": 1,
"x": "2logphi"
},
"method": "alternating inverse central binomial sum, 550 terms",
"stored": "-0.2450752164550237958624617052561286374048717628812191953944903337648896550319136125399626878978259695",
"computed": "-0.245075216455023795862461705256128637404871762881219195394490333764889655031913612539962687897825969532185669714418332138234982642374737469676894818574",
"absolute_difference_ulps": "0.32185669714418332138",
"pass": true,
"truncation_bound": "4.15487198289e-342"
},
{
"params": {
"n": 5,
"k": 1,
"x": "2logphi"
},
"method": "alternating inverse central binomial sum, 550 terms",
"stored": "0.3712384672654671737861395334216768486191204049287745586798473225116780892888297525880361182837570599",
"computed": "0.371238467265467173786139533421676848619120404928774558679847322511678089288829752588036118283757059924206147569925295411064824662132103705454650665996",
"absolute_difference_ulps": "0.24206147569925295411",
"pass": true,
"truncation_bound": "1.13109037647e-344"
},
{
"params": {
"n": 6,
"k": 1,
"x": "2logphi"
},
"method": "alternating inverse central binomial sum, 550 terms",
"stored": "-0.7461917485527448824650290927246973747554456561042840751847088401460772239826674450673522670909394403",
"computed": "-0.746191748552744882465029092724697374755445656104284075184708840146077223982667445067352267090939440274773572654338258847728530991523405685492118591306",
"absolute_difference_ulps": "0.25226427345661741152",
"pass": true,
"truncation_bound": "4.10559120314e-347"
},
{
"params": {
"n": 7,
"k": 1,
"x": "2logphi"
},
"method": "alternating inverse central binomial sum, 550 terms",
"stored": "1.870199828822132168205061338333174424736721968166508287216706050533719912100562488978727721180034745",
"computed": "1.87019982882213216820506133833317442473672196816650828721670605053371991210056248897872772118003474526263305577089540253256846090400707349740445202483",
"absolute_difference_ulps": "0.26263305577089540253",
"pass": true,
"truncation_bound": "1.86279092702e-349"
},
{
"params": {
"n": 8,
"k": 1,
"x": "2logphi"
},
"method": "alternating inverse central binomial sum, 550 terms",
"stored": "-5.617759170384834128028423876895963012426441562604387710525902195718360985803499128488555302056107510",
"computed": "-5.61775917038483412802842387689596301242644156260438771052590219571836098580349912848855530205610751045634719954266910410222572497246051358265671758837",
"absolute_difference_ulps": "0.4563471995426691041",
"pass": true,
"truncation_bound": "1.01422373522e-351"
},
{
"params": {
"n": 9,
"k": 1,
"x": "2logphi"
},
"method": "alternating inverse central binomial sum, 550 terms",
"stored": "19.67478057031755983704419907129563266816978992022348746227648001194041221042871132749320820043613800",
"computed": "19.6747805703175598370441990712956326681697899202234874622764800119404122104287113274932082004361380025808149956059008065512383124113372317607049097305",
"absolute_difference_ulps": "0.25808149956059008066",
"pass": true,
"truncation_bound": "6.44243751953e-354"
},
{
"params": {
"n": 10,
"k": 1,
"x": "2logphi"
},
"method": "alternating inverse central binomial sum, 550 terms",
"stored": "-78.72449651375718960835728557124820129040188806402911978651973871478626607999230185331597178214817909",
"computed": "-78.7244965137571896083572855712482012904018880640291197865197387147862660799923018533159717821481790925193828613381377150421740705717621735063097072691",
"absolute_difference_ulps": "0.2519382861338137715",
"pass": true,
"truncation_bound": "4.67690564031e-356"
}
],
"python": "3.12.3",
"mpmath": "1.4.1",
"working_decimal_digits": 160,
"precision_limitations": "160-dps point evaluations and conservative 1e-140 comparison allowance are heuristic. This run does not recertify the original proven ball arithmetic; original generator, proof and checkpoints are preserved unchanged.",
"document_file_sha256": "3c9b80b78e31f0c4549e85a9430b6fabd7b1acc8f25da146e5cade723c90ae0d",
"program_sha256": "e00ad0030f0592e5593df8c65efbfffa102f26739e7d365cebf865f3fafbe03e",
"skill_manifest": "/home/ubuntu/numberdb-campaign-20261110-pilot/repo-request-routing-20261110/agents/runs/20261111T014134Z-repair-work/repair-skill-manifest.json",
"skill_manifest_sha256": "c5ee30e128246f511fb7c0e8e37f8b7d2419d5fad25227688a6111fdf9686049"
}