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