back to table · edit · history · where entries came from · files · download
4113 bytes, as of the version from 2026-11-02 01:23 (current). Recorded here, not run.
{
"table": "T663",
"manifest": "agents/runs/20261102T001449Z-repair-skills/manifest.json",
"skill_sha256": {
"local": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
"live": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
},
"versions": {
"sage": "10.9",
"python": "3.12.3",
"mpmath": "1.4.1"
},
"enumeration": [
"0",
"1",
"2",
"3",
"4",
"5",
"6",
"7",
"8",
"9",
"10",
"11",
"12",
"18"
],
"values_unchanged": true,
"formula_math_unchanged": true,
"program_functions_match_generator": true,
"generator_comments_match_rows": true,
"method": "Existing attached modular checker at two freshly recomputed working precisions; no Jensen quadrature used for these comparisons. This is a repair check, not a new independent critique.",
"rigour": "Heuristic agreement, not certified enclosures; exact integer input arguments; auxiliary eta parameters recomputed at each precision.",
"rows": [
{
"k": "0",
"stored_error_ulps": "0.265127082440376",
"agreement_digits": "140.502714055147",
"eta_residual_180": "1.34464e-180",
"series_tail_180": "2.94291e-218"
},
{
"k": "1",
"stored_error_ulps": "0.428498850883109",
"agreement_digits": "140.23335150049",
"eta_residual_180": "4.34454e-181",
"series_tail_180": "9.64817e-218"
},
{
"k": "2",
"stored_error_ulps": "0.0463229445101318",
"agreement_digits": "139.974563705084",
"eta_residual_180": "6.38849e-361",
"series_tail_180": "1.57725e-213"
},
{
"k": "3",
"stored_error_ulps": "0.473984673138093",
"agreement_digits": "140.485621664726",
"eta_residual_180": "2.48952e-180",
"series_tail_180": "5.87583e-222"
},
{
"k": "4",
"stored_error_ulps": "0.0461689561144223",
"agreement_digits": "139.670615474688",
"eta_residual_180": "9.64019e-181",
"series_tail_180": "3.32488e-225"
},
{
"k": "5",
"stored_error_ulps": "0.134865692965614",
"agreement_digits": "139.702638411193",
"eta_residual_180": "1.95315e-180",
"series_tail_180": "6.69869e-227"
},
{
"k": "6",
"stored_error_ulps": "0.452518640605476",
"agreement_digits": "139.585133975655",
"eta_residual_180": "1.92794e-180",
"series_tail_180": "4.07489e-229"
},
{
"k": "7",
"stored_error_ulps": "0.368945160333345",
"agreement_digits": "140.101407648684",
"eta_residual_180": "4.81984e-180",
"series_tail_180": "1.72266e-241"
},
{
"k": "8",
"stored_error_ulps": "0.29274689037399",
"agreement_digits": "139.932051378218",
"eta_residual_180": "1.54235e-179",
"series_tail_180": "7.80609e-247"
},
{
"k": "9",
"stored_error_ulps": "0.0991253930327287",
"agreement_digits": "139.662253340481",
"eta_residual_180": "3.27749e-179",
"series_tail_180": "1.54535e-252"
},
{
"k": "10",
"stored_error_ulps": "0.339128533135036",
"agreement_digits": "140.280276902081",
"eta_residual_180": "1.92794e-180",
"series_tail_180": "5.7945e-255"
},
{
"k": "11",
"stored_error_ulps": "0.479657386769102",
"agreement_digits": "139.957699600117",
"eta_residual_180": "4.24146e-179",
"series_tail_180": "6.38936e-258"
},
{
"k": "12",
"stored_error_ulps": "0.458558581311177",
"agreement_digits": "139.975765313162",
"eta_residual_180": "5.78381e-180",
"series_tail_180": "1.24856e-260"
},
{
"k": "18",
"stored_error_ulps": "0.169704487001744",
"agreement_digits": "140.123921764982",
"eta_residual_180": "3.85587e-180",
"series_tail_180": "1.23097e-273"
}
],
"control": {
"smyth_dilog_error": "5.28461448553e-151",
"perturbation_rejected": true
},
"density_identity_max_error": "4.08256305197e-202",
"jensen_branch_max_error": "8.16512610394e-202"
}