back to table · edit · history · where entries came from · files · download
12794 bytes, as of the version from 2026-10-28 19:40 (current). Recorded here, not run.
{
"table": "T588",
"repair_run": "20261028T193331Z",
"skill_manifest": "agents/runs/20261028T193331Z-repair-skills/manifest.json",
"skill_sha256_local": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"skill_sha256_live": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"checks_source_sha256": "63de89a375f06f20ab243f2b3e0c07dbe1fa0967945827777f6f57647bd7ff5b",
"scope": "Rerun of the attached checks, not a new independent critique. No values changed.",
"snapshot_sha256": "50e37f266345c26a47d23b16c6ab9ab4745753117680a19654592a0d8b66a159",
"attached_check_result": {
"table": "T588",
"instruction_manifest": "agents/runs/20261028T190129Z-build-skills/manifest.json",
"skill_sha256_local": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"skill_sha256_live": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"versions": {
"Sage": "10.9",
"numberdb": "0.1.10",
"mpmath": "1.4.1"
},
"series_bits": 1024,
"controls": {
"closed_form_K_half_at_one": "[0.461068504447894558439575873875694589688897189037141850451395311371009552320945025254720826782769740379283013809236639972283758352477564726677645773792868661882139335866872110500589515331462748715644404846920622298024145022276371372982396926483246197988894009277833081379292132617903530911743120756627124620 +/- 3.14e-307]",
"origin_positive_control": true,
"origin_error_bound_control": true
},
"entries": [
{
"n": 1,
"number": "1.718542959623231276081960694445212805718652553585179201271097383628989318254312507468372694771022913",
"left_sign": 1,
"right_sign": -1,
"left_series_radius": "7.3578694e-221",
"right_series_radius": "7.3578694e-221",
"series_terms": 72,
"displaced_interval_rejected": true,
"ode_checked": true,
"W_negative": true,
"decimal_ulp": "1/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 2,
"number": "6.127279134969613893617615453355747276618342460053124195427847908739148288135673732592313271525657426",
"left_sign": -1,
"right_sign": 1,
"left_series_radius": "1.4357686e-221",
"right_series_radius": "1.4357686e-221",
"series_terms": 100,
"displaced_interval_rejected": true,
"ode_checked": true,
"W_negative": true,
"decimal_ulp": "1/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 3,
"number": "10.56294270835859841254180678952230556247715482631475835815244341180372537617477813915521765324854611",
"left_sign": 1,
"right_sign": -1,
"left_series_radius": "2.8035975e-221",
"right_series_radius": "2.8035975e-221",
"series_terms": 118,
"displaced_interval_rejected": true,
"ode_checked": true,
"W_negative": true,
"decimal_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 4,
"number": "15.00268812153473997996920400372798868508363520398060016078136688528260110522775237653772265723544733",
"left_sign": -1,
"right_sign": 1,
"left_series_radius": "7.7070899e-222",
"right_series_radius": "7.7070899e-222",
"series_terms": 133,
"displaced_interval_rejected": true,
"ode_checked": true,
"W_negative": true,
"decimal_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 5,
"number": "19.44381663384066931711867533443106772765147234027635021754002024726366536385080649444248853861400332",
"left_sign": 1,
"right_sign": -1,
"left_series_radius": "7.7675768e-222",
"right_series_radius": "7.7675768e-222",
"series_terms": 146,
"displaced_interval_rejected": true,
"ode_checked": true,
"W_negative": true,
"decimal_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 6,
"number": "23.88557890442561985232493439135809301033783428696676242229987685158871418169274294607513497504928535",
"left_sign": -1,
"right_sign": 1,
"left_series_radius": "3.6370570e-222",
"right_series_radius": "3.6370570e-222",
"series_terms": 158,
"displaced_interval_rejected": true,
"ode_checked": true,
"W_negative": true,
"decimal_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 7,
"number": "28.32768408211700717711961294504563971032649809024193633260602835837178633808988583506481585515144422",
"left_sign": 1,
"right_sign": -1,
"left_series_radius": "4.6889199e-222",
"right_series_radius": "4.6889199e-222",
"series_terms": 169,
"displaced_interval_rejected": true,
"ode_checked": true,
"W_negative": true,
"decimal_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 8,
"number": "32.76999567089426280721128606705089902468502993710856580460539157173843045941482997097875213083534231",
"left_sign": -1,
"right_sign": 1,
"left_series_radius": "3.9388197e-221",
"right_series_radius": "3.9388197e-221",
"series_terms": 179,
"displaced_interval_rejected": true,
"ode_checked": true,
"W_negative": true,
"decimal_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 9,
"number": "37.21244113036517712043712749671080814924247387866195594288268295980906267173685907342248842326746773",
"left_sign": 1,
"right_sign": -1,
"left_series_radius": "3.2162162e-221",
"right_series_radius": "3.2162162e-221",
"series_terms": 189,
"displaced_interval_rejected": true,
"ode_checked": true,
"W_negative": true,
"decimal_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 10,
"number": "41.65497834599069048238375813185785038049066050579249608527821767779151011186826620356168707236798093",
"left_sign": -1,
"right_sign": 1,
"left_series_radius": "4.7593001e-222",
"right_series_radius": "4.7593001e-222",
"series_terms": 199,
"displaced_interval_rejected": true,
"ode_checked": true,
"W_negative": true,
"decimal_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 11,
"number": "46.09758119133442549954346465358771336161976892661158357750533964877641861381380396245285692997518895",
"left_sign": 1,
"right_sign": -1,
"left_series_radius": "1.6047994e-221",
"right_series_radius": "1.6047994e-221",
"series_terms": 208,
"displaced_interval_rejected": true,
"ode_checked": true,
"W_negative": true,
"decimal_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 12,
"number": "50.54023259882956197259723943429938902194110093241064638977419094528586984602301742636998765464971868",
"left_sign": -1,
"right_sign": 1,
"left_series_radius": "1.6386434e-221",
"right_series_radius": "1.6386434e-221",
"series_terms": 217,
"displaced_interval_rejected": true,
"ode_checked": true,
"W_negative": true,
"decimal_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 13,
"number": "54.98292094678785842500808459349760576093004343187259716651361501452064743953245938216116850384870369",
"left_sign": 1,
"right_sign": -1,
"left_series_radius": "6.4596187e-222",
"right_series_radius": "6.4596187e-222",
"series_terms": 226,
"displaced_interval_rejected": true,
"ode_checked": true,
"W_negative": true,
"decimal_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 14,
"number": "59.42563804782621159574690287010106772720020843894161729486345083143636856692274420112571997337033358",
"left_sign": -1,
"right_sign": 1,
"left_series_radius": "7.4243361e-221",
"right_series_radius": "7.4243361e-221",
"series_terms": 234,
"displaced_interval_rejected": true,
"ode_checked": true,
"W_negative": true,
"decimal_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 15,
"number": "63.86837796757472667270070508411864274844955430738302449962765461001012101250168581881272265096022896",
"left_sign": 1,
"right_sign": -1,
"left_series_radius": "6.6905223e-222",
"right_series_radius": "6.6905223e-222",
"series_terms": 243,
"displaced_interval_rejected": true,
"ode_checked": true,
"W_negative": true,
"decimal_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 16,
"number": "68.31113629958708131936645745814535999207050068688922959064694914018103537111875884212647030855389744",
"left_sign": -1,
"right_sign": 1,
"left_series_radius": "1.9622354e-221",
"right_series_radius": "1.9622354e-221",
"series_terms": 251,
"displaced_interval_rejected": true,
"ode_checked": true,
"W_negative": true,
"decimal_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 17,
"number": "72.75390970334112357829774942145746881760365027924326705960243456927886587086095225176378048975608568",
"left_sign": 1,
"right_sign": -1,
"left_series_radius": "3.2882030e-221",
"right_series_radius": "3.2882030e-221",
"series_terms": 259,
"displaced_interval_rejected": true,
"ode_checked": true,
"W_negative": true,
"decimal_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 18,
"number": "77.19669560031245041921863029032539785614071842837132423270188392743170297075400234290805562427157404",
"left_sign": -1,
"right_sign": 1,
"left_series_radius": "3.4162357e-221",
"right_series_radius": "3.4162357e-221",
"series_terms": 267,
"displaced_interval_rejected": true,
"ode_checked": true,
"W_negative": true,
"decimal_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 19,
"number": "81.63949196842686315668582621880556055133006722700095549881002214790802225804189484635775254306722171",
"left_sign": 1,
"right_sign": -1,
"left_series_radius": "2.3512699e-221",
"right_series_radius": "2.3512699e-221",
"series_terms": 275,
"displaced_interval_rejected": true,
"ode_checked": true,
"W_negative": true,
"decimal_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"n": 20,
"number": "86.08229719964172581000592967096755042050689073992589292867761380705597249541745418373429767847428370",
"left_sign": -1,
"right_sign": 1,
"left_series_radius": "1.1320005e-221",
"right_series_radius": "1.1320005e-221",
"series_terms": 283,
"displaced_interval_rejected": true,
"ode_checked": true,
"W_negative": true,
"decimal_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
}
],
"passed": true
}
}