{
  "table": "T525",
  "phase": "stored",
  "instruction_manifest": "agents/runs/20261026T193829Z-build-skills/manifest.json",
  "skill_sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
  "orders": [
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    8,
    9,
    10,
    11,
    12
  ],
  "source": "Janson 2007, Section 21, Table 3, and Appendix C.1",
  "all_resolvent_coefficients_match": true,
  "polynomial_ode_and_boundary_residuals_exact": true,
  "source_first_four_match": true,
  "independent_gaussian_mean_and_second_moment": true,
  "negative_controls_reject": true,
  "written_intervals_contain_independent_enclosures": true,
  "recurrence_residuals_contain_zero": true,
  "strict_log_convexity_orders": [
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    8,
    9,
    10,
    11
  ],
  "working_bits": 513,
  "min_odd_relative_accuracy_bits": 509,
  "independent_working_bits": 768,
  "min_independent_relative_accuracy_bits": 764,
  "measurement": {
    "entries": 12,
    "longest": 102,
    "longest_at": 1,
    "block_kb": 1.1005859375
  },
  "values": {
    "1": "0.5319230405352435705865947465791758246344781748865795435545677728942105678657357846683364452097425819",
    "2": "3/8",
    "3": "0.3330851420494501406292248055960077187592089523694533808448841054075651889254488365899344883099102358",
    "4": "903/2560",
    "5": "0.4269488344296140629064372227277551410607800199184325957545943601374364368588992908000776240149411103",
    "6": "37623/65536",
    "7": "0.8413759825276237479563841408300769748998116950431157864986964990876023280002075822573861351613277127",
    "8": "114752519/86507520",
    "9": "2.228265880777696729480657872076071817688766333320903211338690284200831591723300081610778049324130770",
    "10": "189970427903/47982837760",
    "11": "7.397951532331789401182768848425215883399265954450698254870974601654267057473376449201045767270245632",
    "12": "274700964958021/18983755448320"
  },
  "rational_factors": {
    "1": "2/3",
    "2": "3/8",
    "3": "263/630",
    "4": "903/2560",
    "5": "2119/3960",
    "6": "37623/65536",
    "7": "11074363/10501920",
    "8": "114752519/86507520",
    "9": "3845017725821/1376801712000",
    "10": "189970427903/47982837760",
    "11": "3060351012835823/330065263756800",
    "12": "274700964958021/18983755448320"
  },
  "source_sha256": {
    "generate.py": "fb1fb29be3cd3a37fac42fcf90e61ab99a0bd68ef3a924d925e92deec73a7404",
    "checks.py": "158c9ea68f03723290165cf8442cc0775bdf554631985c667f46722e5c0c9f98",
    "check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
    "argument-selection.md": "d3e4222965e5dd505da1b5621c53773f41ae7a1c39bdbc6b031cd9db1f11f78a",
    "derivation.md": "50d8ee7f54a8cfe78e9ce37ab0a8d29e5c36480d92852f512be92a0fbb27abfa",
    "skill-manifest.json": "d03b756eaa1cd22ce39c8cee78fb3a44b052146786d6371925ac7bc9dec564f3"
  },
  "versions": {
    "python": "3.12.3",
    "numberdb": "0.1.10",
    "sage": "10.9"
  },
  "generator_verify": "12/12 matched; 0 differing; 0 missing; 0 extra",
  "program_snippet": "All twelve orders independently checked; program-check.log"
}