back to table · edit · history · where entries came from · files · download
3158 bytes, as of the version from 2026-10-26 19:49 (current). Recorded here, not run.
{
"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"
}