back to table · edit · history · where entries came from · files · download
2467 bytes, as of the version from 2026-10-26 22:20 (current). Recorded here, not run.
{
"table": "T530",
"orders": [
1,
12
],
"entries": 12,
"exact_even_moments": 6,
"certified_odd_moments": 6,
"stored_digits": 100,
"working_bits": 513,
"minimum_relative_accuracy_bits": 509,
"per_odd_order_accuracy_bits": [
510,
510,
509,
509,
510,
509
],
"independent_working_bits": 768,
"resolvent_coefficients": [
"1",
"1",
"17/2",
"753/4",
"62901/8",
"8472015/16",
"1675588995/32",
"457153213545/64",
"164511527678505/128",
"75490659112103235/256",
"43021179394014983175/512",
"29809092222639933882525/1024",
"24678865080035522005020525/2048"
],
"rational_factors": [
"1/3",
"17/96",
"251/1260",
"6989/40960",
"188267/720720",
"37235311/132120576",
"1451280043/2793510720",
"522258818027/797253304320",
"8096107769/5860512000",
"1011667945773427/515911471595520",
"63725278654566691/13862741077785600",
"17585994035619348337/2449360062964039680"
],
"airy_quotient_all_orders": true,
"feynman_kac_all_orders": true,
"all_stated_recurrences": true,
"janson_table8_orders_1_to_4": true,
"perman_wellner_table1_orders_1_to_10": true,
"program_checked_all_orders": true,
"written_interval_containment": true,
"strict_log_convexity_orders_1_to_11": true,
"gaussian_checks": {
"working_decimal_digits": 85,
"nonzero_control": "integral sin^2(theta) cos^2(theta) = pi/16",
"control_error": "0.0",
"mean": "0.26596152026762178529329737328958791231723908744328977177728388644710528393286789",
"second_moment": "0.17708333333333333333333333333333333333333333333333333333333333333333333333333333",
"method": "Gaussian marginal mean and joint positive-part product integral; agreement check, not certification"
},
"measurement": {
"entries": 12,
"longest": 102,
"longest_at": "1",
"block_kb": 1.1357421875
},
"stored_readback": {
"entries": 12,
"all_independent_enclosures_contained": true,
"inverted_moment_formula_and_convolution": true,
"strict_log_convexity": true
},
"instruction_manifest": "agents/runs/20261026T220819Z-build-skills/manifest.json",
"instruction_sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
"generator_sha256": "cfaa3bb5f44fb57d2752442717e11e3389bf43ef2b5ee13832f3b93ed9946cbe",
"versions": {
"sage": "10.9",
"mpmath": "1.4.1",
"numberdb": "0.1.10"
}
}