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