back to table · edit · history · where entries came from · files · download
20943 bytes, as of the version from 2026-11-11 08:15 (current). Recorded here, not run.
{
"fingerprint": "8c91361ac4525bd48c0d462333c29f5aa43665392e4d55d720f0d02fb8c6d8c6",
"program_sha256": "c06dcd4473ae966f7385b9af945f7dc2e0cfec2532767fb17fdb3032bac36ded",
"input_sha256": "9c57ff5716adcc9ad9215c03f2782a55b79e92ee5ca3a7ee48787f2f5612b150",
"skill_bundle_sha256": "d6661c2f21613524889fa3a57d3c95f8330344ca62e5a856211c08a282b7dbab",
"checked_entries": 44,
"total_entries": 44,
"failures": [],
"known_answer_control": true,
"negative_control_rejected": true,
"mpmath_version": "1.4.1",
"quadrature_dps": 140,
"second_precision_dps": 175,
"checks": [
{
"params": {
"m": 1,
"n": 2,
"x": "logphi"
},
"value": "-0.3381670221177184380199383200882520889341997526576539968850317444543472562155414471221538003767671668222078143383387542372001054023399979168528392",
"relative_midpoint_error": "6.56711414356e-101",
"relative_width": "5.91423725316e-100",
"pass": true,
"dilog_control": true
},
{
"params": {
"m": 1,
"n": 2,
"x": "2logphi"
},
"value": "-0.7034210104549882867812999565433247297039066019169092687429509689937806869534993164579608388757277190213447247046965833851111932862937729733162618",
"relative_midpoint_error": "3.0344167131e-101",
"relative_width": "2.84324745817e-100",
"pass": true,
"dilog_control": true
},
{
"params": {
"m": 1,
"n": 3,
"x": "logphi"
},
"value": "-0.2376789064211439807996731132196747868655108968631156209168759245866607008491598513297503913916994561257659150274126242894787869408847255298039615",
"relative_midpoint_error": "1.08406401794e-100",
"relative_width": "8.4147139101e-100",
"pass": true
},
{
"params": {
"m": 1,
"n": 4,
"x": "logphi"
},
"value": "-0.1670763276287538889417420341085095211581382866635554280468761141706826862212701441373161200227995315726189254949347282068519974931760756816081005",
"relative_midpoint_error": "1.63883626685e-100",
"relative_width": "1.19705767321e-99",
"pass": true
},
{
"params": {
"m": 1,
"n": 5,
"x": "logphi"
},
"value": "-0.1174639368483985951699266754923688151178280021640183511466217110442348410797459182607167026813119524464537157012104607975598703400269744544627561",
"relative_midpoint_error": "3.95472150411e-100",
"relative_width": "1.70265023773e-99",
"pass": true
},
{
"params": {
"m": 1,
"n": 6,
"x": "logphi"
},
"value": "-0.08259618415900924156907725181732778955486163985082364519197839456630993439847446567766931523815533268324790109749562774171105624357157435622725074",
"relative_midpoint_error": "3.93226531052e-101",
"relative_width": "2.42141936745e-100",
"pass": true
},
{
"params": {
"m": 1,
"n": 7,
"x": "logphi"
},
"value": "-0.05808736213013233265825804983837215723882048164003663784157264655820919270636970395084465266691734929540381043111923734704534587879376820079749479",
"relative_midpoint_error": "7.91254655115e-101",
"relative_width": "3.44308973012e-100",
"pass": true
},
{
"params": {
"m": 1,
"n": 8,
"x": "logphi"
},
"value": "-0.04085733103314098303728784103456826735567581096715825372171165704256686839517498284297714753222362303818648804334263255084930207241082519474607315",
"relative_midpoint_error": "4.43864518509e-101",
"relative_width": "4.89508234979e-100",
"pass": true
},
{
"params": {
"m": 1,
"n": 9,
"x": "logphi"
},
"value": "-0.02874255810141740192488107227719026013262056721168567679643787834789579140598267692929449831412384284886487180427232447266804590289935763906754714",
"relative_midpoint_error": "3.94929425461e-101",
"relative_width": "6.95832289159e-100",
"pass": true,
"second_precision_relative_difference": "1.41808430705e-141"
},
{
"params": {
"m": 2,
"n": 2,
"x": "logphi"
},
"value": "0.5813462680400117385218002809348131018438440724327631491254993303644218121682128853074025395079037188244798771708942647255534751289674084036289286",
"relative_midpoint_error": "4.21089435276e-101",
"relative_width": "3.44029042578e-100",
"pass": true
},
{
"params": {
"m": 2,
"n": 2,
"x": "2logphi"
},
"value": "0.6968814588299875388807653634800273499800201206961823646643533561461358858239125808140137487744625852050756276384812084196175926153840615261459001",
"relative_midpoint_error": "7.28334435386e-102",
"relative_width": "2.86992855766e-100",
"pass": true
},
{
"params": {
"m": 2,
"n": 3,
"x": "logphi"
},
"value": "0.4064232339277725705484997135155685701401840619493960879080668320439632895911808586295227272102213092567533478725486082046009197256398424258205165",
"relative_midpoint_error": "1.06407922868e-100",
"relative_width": "4.9209785097e-100",
"pass": true
},
{
"params": {
"m": 2,
"n": 4,
"x": "logphi"
},
"value": "0.2841651041355944995807994927386306490995417595206800122666614873593642386785332515043067194544072172272923159307345313008306105014239835297569863",
"relative_midpoint_error": "9.60438686297e-101",
"relative_width": "7.0381618675e-100",
"pass": true
},
{
"params": {
"m": 2,
"n": 5,
"x": "logphi"
},
"value": "0.1987065686289248524136185376261804199334302162725663262343992870507141267149611374010752445926208498322364625496946673116801069453184410929172422",
"relative_midpoint_error": "1.62231489236e-100",
"relative_width": "1.00650925322e-99",
"pass": true
},
{
"params": {
"m": 2,
"n": 6,
"x": "logphi"
},
"value": "0.1389644296420430726190685169396115226669992537086543793124527808270615136153817082390202221964104219601137047690865358095726534453569768109445669",
"relative_midpoint_error": "2.87025214536e-100",
"relative_width": "1.43921721922e-99",
"pass": true
},
{
"params": {
"m": 2,
"n": 7,
"x": "logphi"
},
"value": "0.09719539967824520762840658502198350667179811587124821973253632253692992366438408903322083805963783291390211800584778991279068793600722172064781964",
"relative_midpoint_error": "4.01471470745e-101",
"relative_width": "2.0577105569e-100",
"pass": true
},
{
"params": {
"m": 2,
"n": 8,
"x": "logphi"
},
"value": "0.0679890695001974430127128208905846147243512192424243509108042542360531844778776592642887942430253136677630674853068426788242664880001607058903837",
"relative_midpoint_error": "3.29013550434e-101",
"relative_width": "2.94164931908e-100",
"pass": true
},
{
"params": {
"m": 3,
"n": 2,
"x": "logphi"
},
"value": "-1.336936004879339866394661007265143434668300629101029171296254142777585943854642595778256853121760923362767005751035340458130764522345991931133509",
"relative_midpoint_error": "2.71342087001e-100",
"relative_width": "1.49595791624e-99",
"pass": true
},
{
"params": {
"m": 3,
"n": 2,
"x": "2logphi"
},
"value": "-1.388916905460569920014623693065789000649320725316078219361699021092325908491255243483990845285273415324072696464738840397389584418683643089341881",
"relative_midpoint_error": "2.33327634786e-100",
"relative_width": "1.439970953e-99",
"pass": true
},
{
"params": {
"m": 3,
"n": 3,
"x": "logphi"
},
"value": "-0.9307200639177042751336081450669331785193531235365613239893651671903517307116291794816329376924836503365868837745887514287972697267314210901128361",
"relative_midpoint_error": "3.93102987601e-101",
"relative_width": "2.14887384245e-100",
"pass": true
},
{
"params": {
"m": 3,
"n": 4,
"x": "logphi"
},
"value": "-0.6479677767576786100701315410883919969534195847024207047155843013640257733013951716788772622652471493118275565103646786068253791781809830279197806",
"relative_midpoint_error": "1.82533097086e-101",
"relative_width": "3.08657323981e-100",
"pass": true
},
{
"params": {
"m": 3,
"n": 5,
"x": "logphi"
},
"value": "-0.4511428811108196243691028765839072881194387769123680914659735069373339666255307631154837516033803509327884838064249159017741082763891883190754238",
"relative_midpoint_error": "7.26787126191e-101",
"relative_width": "4.43318532496e-100",
"pass": true
},
{
"params": {
"m": 3,
"n": 6,
"x": "logphi"
},
"value": "-0.3141244022421326724826003470662609488600442918478809339647202926217582797920560109980950593315557826687907490700499982918500196130630843586205145",
"relative_midpoint_error": "9.93531566067e-101",
"relative_width": "6.36690427654e-100",
"pass": true
},
{
"params": {
"m": 3,
"n": 7,
"x": "logphi"
},
"value": "-0.2187341623515586586923995351301686098599856801041586676719436071393576608889400407831668976956615954428124704350987246027042429819480037792293377",
"relative_midpoint_error": "1.95728321424e-100",
"relative_width": "9.14351913985e-100",
"pass": true
},
{
"params": {
"m": 4,
"n": 2,
"x": "logphi"
},
"value": "4.134561736597801172725693325529204226840842425065163965854841078204735118420195733154345160700329456811115431137184438027255061044982417274163839",
"relative_midpoint_error": "4.56843024476e-101",
"relative_width": "4.83727206755e-100",
"pass": true
},
{
"params": {
"m": 4,
"n": 2,
"x": "2logphi"
},
"value": "4.161589658683757898629756818132167115484360782980181991458588785650004356028072154914710508749486280252507419879605230345736788571571281178429183",
"relative_midpoint_error": "6.06757130302e-101",
"relative_width": "4.80585584844e-100",
"pass": true
},
{
"params": {
"m": 4,
"n": 3,
"x": "logphi"
},
"value": "2.871131635327092337665479363783528125677918709655582320906826595701942388644882219535349800619706886977923852278479517041364793336674456965243009",
"relative_midpoint_error": "7.68900577385e-102",
"relative_width": "6.96589447656e-100",
"pass": true
},
{
"params": {
"m": 4,
"n": 4,
"x": "logphi"
},
"value": "1.993822982700431685939410298166365227203147562798051383130360540116006232692475773926358140558314386059477927481928514134520157516101199753913651",
"relative_midpoint_error": "2.98310973431e-101",
"relative_width": "1.00309807709e-99",
"pass": true
},
{
"params": {
"m": 4,
"n": 5,
"x": "logphi"
},
"value": "1.38461860686061372038169674046108635413528223371802669684366111535441476128806739201733240348496242171147590601998043759922945738267084005686009",
"relative_midpoint_error": "2.08378027386e-100",
"relative_width": "1.44444108297e-99",
"pass": true
},
{
"params": {
"m": 4,
"n": 6,
"x": "logphi"
},
"value": "0.9615768711073654910822817325280864294241755372532419295462950766648861229292453659134313617529865480270063891515052285650717616647432067783037767",
"relative_midpoint_error": "2.80855228146e-101",
"relative_width": "2.07991691574e-100",
"pass": true
},
{
"params": {
"m": 5,
"n": 2,
"x": "logphi"
},
"value": "-16.62401552864273620685616980470705867338459767680481990965406308982587870740059188512620445004100515753429627278423088904802415640782741198561765",
"relative_midpoint_error": "1.48321789219e-100",
"relative_width": "1.2030787607e-99",
"pass": true
},
{
"params": {
"m": 5,
"n": 2,
"x": "2logphi"
},
"value": "-16.6392108732287357466813550868643267045260843187047532718424488063305499804308303459950502038004220938437862446556121901660885593798189997217978",
"relative_midpoint_error": "2.31007724702e-100",
"relative_width": "1.20198007901e-99",
"pass": true
},
{
"params": {
"m": 5,
"n": 3,
"x": "logphi"
},
"value": "-11.53082497238611510206306035817528774663233813821598066942992198399793660059747395904999367772068504132067615716446831994774256344686404436907465",
"relative_midpoint_error": "1.14534403248e-100",
"relative_width": "1.73448127501e-99",
"pass": true
},
{
"params": {
"m": 5,
"n": 4,
"x": "logphi"
},
"value": "-7.998116612654211590465802790102478961382089189955728235983500691561099942049834938728324557514772804994913179984769649982466508882997319362884657",
"relative_midpoint_error": "6.36002231723e-103",
"relative_width": "2.50058869714e-100",
"pass": true
},
{
"params": {
"m": 5,
"n": 5,
"x": "logphi"
},
"value": "-5.547764888515403972085190451746563617383891446426522325248134573593586849221832688256032199150416338582528181398825040587102459421200595379815904",
"relative_midpoint_error": "7.52504525679e-101",
"relative_width": "3.60505544159e-100",
"pass": true,
"second_precision_relative_difference": "8.6202623197e-142"
},
{
"params": {
"m": 6,
"n": 2,
"x": "logphi"
},
"value": "83.17489598370734465946634637978794385445701575643287230928178989485187047438394489059277245052739229829265913469491548454113140944746073624052281",
"relative_midpoint_error": "2.05271175288e-101",
"relative_width": "2.40457168758e-100",
"pass": true
},
{
"params": {
"m": 6,
"n": 2,
"x": "2logphi"
},
"value": "83.18386424140858867377433655978091728125074287972887819321242084301407666755725953790471962463370418352892660189675224442652001606665184298828836",
"relative_midpoint_error": "4.24232107282e-101",
"relative_width": "2.40431244477e-100",
"pass": true
},
{
"params": {
"m": 6,
"n": 3,
"x": "logphi"
},
"value": "57.66633515043114033395165089633383490938804013651963993898206775419356995929705629831787116491984045824799726513062082446821260405722141289378062",
"relative_midpoint_error": "3.03817249752e-101",
"relative_width": "3.46822803076e-100",
"pass": true
},
{
"params": {
"m": 6,
"n": 4,
"x": "logphi"
},
"value": "39.98095461052796927783790681227653376503786441798734698851454217425171341729340769074221288503593654042212959719598050742484210126113998725707118",
"relative_midpoint_error": "1.05582670876e-101",
"relative_width": "5.00238180775e-100",
"pass": true
},
{
"params": {
"m": 7,
"n": 2,
"x": "logphi"
},
"value": "-499.0729921974372128517522364793903564153060724078459364740535082467263534971355479059015280505693979466003743314373296944114995978352982913986723",
"relative_midpoint_error": "9.33738652662e-101",
"relative_width": "4.00742983746e-100",
"pass": true
},
{
"params": {
"m": 7,
"n": 2,
"x": "2logphi"
},
"value": "-499.0784628486343392453795707596011617671982810389326309397937219689102753780348687774880661533665599828976269188860226553327399580145009484297425",
"relative_midpoint_error": "3.42679044563e-101",
"relative_width": "4.00738590999e-100",
"pass": true
},
{
"params": {
"m": 7,
"n": 3,
"x": "logphi"
},
"value": "-345.9593139540027351383440622110973978697701285259999341093371721098682228133067076887086367606811651084162231602320810243055700303868710880387652",
"relative_midpoint_error": "2.43272050232e-101",
"relative_width": "5.78102661016e-100",
"pass": true
},
{
"params": {
"m": 8,
"n": 2,
"x": "logphi"
},
"value": "3493.487646935524700256177035079039538434641831929886202166789761261641326272956062613521437460978514977457584134781021898794533068527840493035664",
"relative_midpoint_error": "6.45269660106e-102",
"relative_width": "5.72493794777e-100",
"pass": true,
"second_precision_relative_difference": "1.65962667724e-142"
},
{
"params": {
"m": 8,
"n": 2,
"x": "2logphi"
},
"value": "3493.491064504809780140704631702211772417913415532784979054296415006298816700208241481857347357016396837927305543449118935669508750513091382832681",
"relative_midpoint_error": "4.6392760555e-101",
"relative_width": "5.72493234725e-100",
"pass": true,
"second_precision_relative_difference": "6.89603884598e-142"
}
],
"reference_file": "/home/ubuntu/numberdb-campaign-20261110-pilot/repo-request-routing-20261110/agents/runs/20261111T015755Z-build-work/check-results.json",
"negative_controls": {
"wrong_sign": true,
"shifted": true,
"nan": true,
"unbounded": true,
"vacuous": true
},
"known_control_details": {
"H_1_2_2a_relative_error": "1.45419647472e-141",
"H_1_1_a": "-log(phi)"
},
"identities": [
{
"name": "harmonic_binomial",
"p": 1,
"residual": "1.1535451986e-101",
"propagated_interval_radius": "1.5e-100",
"pass": true
},
{
"name": "harmonic_binomial",
"p": 2,
"residual": "3.82385167576e-102",
"propagated_interval_radius": "2.5e-100",
"pass": true
},
{
"name": "harmonic_binomial",
"p": 3,
"residual": "1.29921443634e-100",
"propagated_interval_radius": "9.0e-100",
"pass": true
},
{
"name": "harmonic_binomial",
"p": 4,
"residual": "6.49126163392e-101",
"propagated_interval_radius": "3.66666666667e-100",
"pass": true
},
{
"name": "harmonic_binomial",
"p": 5,
"residual": "1.81417702862e-100",
"propagated_interval_radius": "8.3375e-100",
"pass": true
},
{
"name": "harmonic_binomial",
"p": 6,
"residual": "8.33593816826e-101",
"propagated_interval_radius": "6.37583333333e-100",
"pass": true
},
{
"name": "harmonic_binomial",
"p": 7,
"residual": "9.84227664953e-101",
"propagated_interval_radius": "3.42458333333e-100",
"pass": true
},
{
"name": "harmonic_binomial",
"p": 8,
"residual": "4.58100055066e-102",
"propagated_interval_radius": "4.86246031746e-100",
"pass": true
},
{
"name": "duplication",
"r": 1,
"residual": "4.44156286767e-101",
"propagated_interval_radius": "2.0e-100",
"pass": true
},
{
"name": "duplication",
"r": 2,
"residual": "4.63876786288e-101",
"propagated_interval_radius": "6.0e-100",
"pass": true
},
{
"name": "duplication",
"r": 3,
"residual": "2.38131979826e-99",
"propagated_interval_radius": "6.8e-99",
"pass": true
},
{
"name": "duplication",
"r": 4,
"residual": "1.82468806015e-99",
"propagated_interval_radius": "1.02e-98",
"pass": true
},
{
"name": "duplication",
"r": 5,
"residual": "2.42948320108e-98",
"propagated_interval_radius": "1.2302e-97",
"pass": true
},
{
"name": "duplication",
"r": 6,
"residual": "5.91823556771e-98",
"propagated_interval_radius": "4.6422e-97",
"pass": true
},
{
"name": "duplication",
"r": 7,
"residual": "7.44460919467e-97",
"propagated_interval_radius": "1.96436e-96",
"pass": true
},
{
"name": "duplication",
"r": 8,
"residual": "7.2566888475e-97",
"propagated_interval_radius": "2.287698e-95",
"pass": true
},
{
"name": "beta_generating_function",
"alpha": "1/3",
"beta": "2/5",
"x": "logphi",
"residual": "6.02479966276e-182",
"pass": true
}
]
}