{
  "table": "T529",
  "status": "pass",
  "stored_readback_checked": true,
  "skill_manifest": "agents/runs/20261026T213949Z-build-skills/manifest.json",
  "skill_manifest_sha256": "d03b756eaa1cd22ce39c8cee78fb3a44b052146786d6371925ac7bc9dec564f3",
  "skill_versions": [
    {
      "source": "local",
      "file": "skill-local.md",
      "sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18"
    },
    {
      "source": "live",
      "file": "skill-live.md",
      "sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18"
    }
  ],
  "versions": {
    "python": "3.12.3",
    "sage": "10.9",
    "numberdb": "0.1.10"
  },
  "selection": {
    "parameter": "n",
    "type": "Z",
    "domain": "n >= 1",
    "enumeration": [
      1,
      2,
      3,
      4,
      5,
      6,
      7,
      8,
      9,
      10,
      11,
      12
    ],
    "category": "discrete_index",
    "independent_critique_pending": true
  },
  "working_bits": 513,
  "guard_bits": 180,
  "independent_bits": 768,
  "minimum_working_accuracy_bits": 509,
  "written_measurement": {
    "entries": 12,
    "longest": 104,
    "longest_at": 5,
    "block_kb": 1.126953125
  },
  "ball_measurement": {
    "entries": 12,
    "longest": 174,
    "longest_at": 7,
    "block_kb": 1.5595703125
  },
  "checks": {
    "exactness": true,
    "named_imports": true,
    "resolvent_polynomial_identities": 13,
    "resolvent_controls": "M0=1; p1=x^2/2+x/2+1/4",
    "exact_resolvent_coefficient_comparisons": 13,
    "exact_airy_quotient_comparisons": 13,
    "table6_moment_comparisons": 5,
    "gaussian_marginal_mean": true,
    "second_moment_from_signed_and_absolute_bridge": true,
    "decimal_interval_containment": 6,
    "exact_rational_rows": 6,
    "written_recurrence_checks": 12,
    "written_strict_log_convexity_checks": 11
  },
  "rows": [
    {
      "n": 1,
      "rational_factor": "1/8",
      "factor": "sqrt(pi/2)",
      "P_n": "1/8",
      "resolvent_origin": "1/4",
      "number": "0.1566642671644375314009853303006903283129366712881211447893702235213933534129901234341622398986285791",
      "working_accuracy_bits": 511,
      "independent_accuracy_bits": 765
    },
    {
      "n": 2,
      "rational_factor": "1/20",
      "factor": "1",
      "P_n": "3/32",
      "resolvent_origin": "3/8",
      "number": "1/20",
      "working_accuracy_bits": null,
      "independent_accuracy_bits": 765
    },
    {
      "n": 3,
      "rational_factor": "71/4096",
      "factor": "sqrt(pi/2)",
      "P_n": "71/512",
      "resolvent_origin": "71/64",
      "number": "0.02172492767319348579974601260029104162152051496378242437508844896488071893031698977309671686094263500",
      "working_accuracy_bits": 510,
      "independent_accuracy_bits": 764
    },
    {
      "n": 4,
      "rational_factor": "211/18480",
      "factor": "1",
      "P_n": "633/2048",
      "resolvent_origin": "633/128",
      "number": "211/18480",
      "working_accuracy_bits": null,
      "independent_accuracy_bits": 764
    },
    {
      "n": 5,
      "rational_factor": "15103/2752512",
      "factor": "sqrt(pi/2)",
      "P_n": "15103/16384",
      "resolvent_origin": "15103/512",
      "number": "0.006876919488770984574814806092852858853324621426433726428088548891612036762336047462757371620364198029",
      "working_accuracy_bits": 510,
      "independent_accuracy_bits": 764
    },
    {
      "n": 6,
      "rational_factor": "75233/16336320",
      "factor": "1",
      "P_n": "225699/65536",
      "resolvent_origin": "225699/1024",
      "number": "75233/16336320",
      "working_accuracy_bits": null,
      "independent_accuracy_bits": 764
    },
    {
      "n": 7,
      "rational_factor": "32420011/12079595520",
      "factor": "sqrt(pi/2)",
      "P_n": "32420011/2097152",
      "resolvent_origin": "32420011/16384",
      "number": "0.003363726711788444768609464048800874916380655981079917274186329927468320563750814957504072184892612974",
      "working_accuracy_bits": 510,
      "independent_accuracy_bits": 764
    },
    {
      "n": 8,
      "rational_factor": "75516257/28555887360",
      "factor": "1",
      "P_n": "679646313/8388608",
      "resolvent_origin": "679646313/32768",
      "number": "75516257/28555887360",
      "working_accuracy_bits": null,
      "independent_accuracy_bits": 764
    },
    {
      "n": 9,
      "rational_factor": "32582240233/18425409699840",
      "factor": "sqrt(pi/2)",
      "P_n": "32582240233/67108864",
      "resolvent_origin": "32582240233/131072",
      "number": "0.002216275403080094493851059159739809784973862663721130261546872160039679508018671955934231627356727298",
      "working_accuracy_bits": 510,
      "independent_accuracy_bits": 764
    },
    {
      "n": 10,
      "rational_factor": "292964136763/149061732019200",
      "factor": "1",
      "P_n": "878892410289/268435456",
      "resolvent_origin": "878892410289/262144",
      "number": "292964136763/149061732019200",
      "working_accuracy_bits": null,
      "independent_accuracy_bits": 764
    },
    {
      "n": 11,
      "rational_factor": "35129956012241/24013333950627840",
      "factor": "sqrt(pi/2)",
      "P_n": "105389868036723/4294967296",
      "resolvent_origin": "105389868036723/2097152",
      "number": "0.001833517603342294109299157800715258541521973482296296455234191354783242043803844261519504596008434124",
      "working_accuracy_bits": 509,
      "independent_accuracy_bits": 764
    },
    {
      "n": 12,
      "rational_factor": "1158609985088903/646927916963328000",
      "factor": "1",
      "P_n": "3475829955266709/17179869184",
      "resolvent_origin": "3475829955266709/4194304",
      "number": "1158609985088903/646927916963328000",
      "working_accuracy_bits": null,
      "independent_accuracy_bits": 764
    }
  ],
  "generator_verify": "<VerifyReport T529: 12/12 matched, 0 differing, 0 missing, 0 extra>"
}