{
  "table": "T528",
  "run": "20261026T212537Z",
  "instruction_manifest": "agents/runs/20261026T212537Z-repair-skills/manifest.json",
  "instruction_manifest_sha256": "d03b756eaa1cd22ce39c8cee78fb3a44b052146786d6371925ac7bc9dec564f3",
  "skill_sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
  "method": "Independent rational d recurrence, exact Gamma simplifications, 768-bit Arb; Janson https://arxiv.org/pdf/0704.2289 equations (24)-(25), Table 1 controls. No approximate input arguments.",
  "sage": "10.9",
  "python": "3.12.3",
  "numberdb": "0.1.10",
  "working_bits": 768,
  "rows_checked": 12,
  "controls": "d_1,d_2,d_3 and rho_0,rho_1,rho_2,rho_3 factors matched Table 1",
  "numbers_sha256": "f4cbfb5274b16027b03ade453fcc50832c4ed60a50cfe74899b41290eae8ddc9",
  "rows": [
    {
      "k": 0,
      "factor": "1/4",
      "accurate_bits": 766,
      "significant_digits": 100,
      "contained": true,
      "error_in_ulps": "[0.2900249316630096991121658090453168404523946391399153698297835887011453093278433195107825498470066178755861637622460645058235346569 +/- 6.39e-131]",
      "ball": "[0.62665706865775012560394132120276131325174668515248457915748089408557341365196049373664895959451431652900249316630096991121658090453168404523946391399153698297835887011453093278433195107825498470066178755861637622460645058235346569 +/- 5.57e-231]"
    },
    {
      "k": 1,
      "factor": "5/24",
      "accurate_bits": 766,
      "exact_match": true,
      "direct_gamma_agrees": true
    },
    {
      "k": 2,
      "factor": "5/256",
      "accurate_bits": 765,
      "significant_digits": 100,
      "contained": true,
      "error_in_ulps": "[-0.1171680221382736725686204616833462183965666881719411173204815713272302270876224066322011329320260797846983095607452621048253635493 +/- 5.54e-131]",
      "ball": "[0.048957583488886728562807915718965727597792709777537857746678194850435422941559413573175699968321430978828319778617263274313795383166537816034333118280588826795184286727697729123775933677988670679739202153016904392547378951746364507 +/- 4.77e-232]",
      "direct_gamma_agrees": true
    },
    {
      "k": 3,
      "factor": "221/24192",
      "accurate_bits": 766,
      "exact_match": true,
      "direct_gamma_agrees": true
    },
    {
      "k": 4,
      "factor": "113/196608",
      "accurate_bits": 765,
      "significant_digits": 100,
      "contained": true,
      "error_in_ulps": "[-0.13343746484798157552149508377660969447607300980059725587816254572910681161693055195166335422218475785330965880303180890063871375278 +/- 7.68e-132]",
      "ball": "[0.00144067888912609383531179543652164771316421255334942133473297812971333406051984732650230575427612544286656253515201842447850491622339030552392699019940274412183745427089318838306944804833664577781524214669034119696819109936128624722 +/- 6.35e-234]",
      "direct_gamma_agrees": true
    },
    {
      "k": 5,
      "factor": "16565/83026944",
      "accurate_bits": 766,
      "exact_match": true,
      "direct_gamma_agrees": true
    },
    {
      "k": 6,
      "factor": "3935/396361728",
      "accurate_bits": 765,
      "significant_digits": 100,
      "contained": true,
      "error_in_ulps": "[-0.1715464005552076747423633738327710825622222632942434865678859466937224784523026943433923737815603587901976696998920880847087629131 +/- 5.74e-131]",
      "ball": "[2.48853044173654096517765620290450017176796969264906103041783824116008635699606652522588018993035960882845359944479232525763662616722891743777773670575651343211405330627752154769730565660762621843964120980233030010791191529123708685e-5 +/- 8.38e-236]",
      "direct_gamma_agrees": true
    },
    {
      "k": 7,
      "factor": "51281261/18021496356864",
      "accurate_bits": 766,
      "exact_match": true,
      "direct_gamma_agrees": true
    },
    {
      "k": 8,
      "factor": "3229117/26787711025152",
      "accurate_bits": 765,
      "significant_digits": 100,
      "contained": true,
      "error_in_ulps": "[0.1330946663159033825284406049427891552228343828129821917446562374673189234610297304828687557123544797053057945835670526290778256984 +/- 3.06e-131]",
      "ball": "[3.0216079181575776346136291684694477739138692969809843518972177530121241664546165034955675325315349591330946663159033825284406049427891552228343828129821917446562374673189234610297304828687557123544797053057945835670526290778256984e-7 +/- 2.77e-237]",
      "direct_gamma_agrees": true
    },
    {
      "k": 9,
      "factor": "12188095/405116714483712",
      "accurate_bits": 766,
      "exact_match": true,
      "direct_gamma_agrees": true
    },
    {
      "k": 10,
      "factor": "528393805/468034887031455744",
      "accurate_bits": 765,
      "significant_digits": 100,
      "contained": true,
      "error_in_ulps": "[-0.3992365135745879417045086028967594901501314476875101401538378653593305414181528328287116244844381727010204369346817243749855127834 +/- 2.68e-131]",
      "ball": "[2.8298891566684494986542301717812353985119123198098363831091842378274337980101439110319817902146382356007634864254120582954913971032405098498685523124898598461621346406694585818471671712883755155618272989795630653182756250144872166e-9 +/- 2.22e-239]",
      "direct_gamma_agrees": true
    },
    {
      "k": 11,
      "factor": "17917174074467/70829601670880286474240",
      "accurate_bits": 766,
      "exact_match": true,
      "direct_gamma_agrees": true
    }
  ],
  "all_passed": true,
  "scope": "Repair numerical verification only; not an independent argument-selection verdict."
}