back to table · edit · history · where entries came from · files · download
5093 bytes, as of the version from 2026-10-26 20:13 (current). Recorded here, not run.
{
"table": "T526",
"mode": "stored",
"skill_manifest": "agents/runs/20261026T200330Z-build-skills/manifest.json",
"skill_sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
"numberdb_version": "0.1.10",
"generator_working_bits": 513,
"independent_working_bits": 768,
"min_odd_relative_accuracy_bits": 509,
"measure": {
"entries": 12,
"longest": 102,
"longest_at": "1",
"block_kb": 1.1181640625
},
"controls": "M0 and Table 4 orders 1 through 4; exact interval parser",
"polynomial_ode_residuals": "zero, both equations, all orders 1 through 12",
"coefficient_agreement": "exact, all orders 0 through 12",
"rows": [
{
"n": 1,
"Q_n": "3/4",
"rational_factor": "3/4",
"number": "0.9399856029866251884059119818041419698776200277287268687362213411283601204779407406049734393917714748",
"independent_ball_accuracy_bits": 764,
"stored_recurrence_residual_radius": "7.9789675e-101"
},
{
"n": 2,
"Q_n": "59/32",
"rational_factor": "59/60",
"number": "59/60",
"independent_ball_accuracy_bits": 764,
"stored_recurrence_residual_radius": "1.7952677e-100"
},
{
"n": 3,
"Q_n": "465/64",
"rational_factor": "465/512",
"number": "1.138263816116616439085284040465953166648680502327755192610268030272623583391256365576335024263473270",
"independent_ball_accuracy_bits": 764,
"stored_recurrence_residual_radius": "6.3956411e-99"
},
{
"n": 4,
"Q_n": "80175/2048",
"rational_factor": "5345/3696",
"number": "5345/3696",
"independent_ball_accuracy_bits": 764,
"stored_recurrence_residual_radius": "3.3530364e-98"
},
{
"n": 5,
"Q_n": "274305/1024",
"rational_factor": "91435/57344",
"number": "1.998409217101052690241224006144478260225078758263024117440857475959626293152448651813982199376549126",
"independent_ball_accuracy_bits": 763,
"stored_recurrence_residual_radius": "1.3508708e-97"
},
{
"n": 6,
"Q_n": "145906195/65536",
"rational_factor": "29181239/9801792",
"number": "29181239/9801792",
"independent_ball_accuracy_bits": 764,
"stored_recurrence_residual_radius": "1.1075130e-96"
},
{
"n": 7,
"Q_n": "44643315/2048",
"rational_factor": "2976221/786432",
"number": "4.743118101851495708656534431283069555886400276263460303407432413930916826254912090630551918470624272",
"independent_ball_accuracy_bits": 764,
"stored_recurrence_residual_radius": "4.6207784e-96"
},
{
"n": 8,
"Q_n": "2062447907675/8388608",
"rational_factor": "412489581535/51400597248",
"number": "412489581535/51400597248",
"independent_ball_accuracy_bits": 764,
"stored_recurrence_residual_radius": "5.1747993e-95"
},
{
"n": 9,
"Q_n": "823139313825/262144",
"rational_factor": "54875954255/4798283776",
"number": "14.33362687102359914440474651494517668380878038059399322423019942073406318809985136875721221357872060",
"independent_ball_accuracy_bits": 764,
"stored_recurrence_residual_radius": "2.1915483e-93"
},
{
"n": 10,
"Q_n": "12025441761878925/268435456",
"rational_factor": "53446407830573/1987489760256",
"number": "53446407830573/1987489760256",
"independent_ball_accuracy_bits": 764,
"stored_recurrence_residual_radius": "3.1219108e-92"
},
{
"n": 11,
"Q_n": "2961991897667925/4194304",
"rational_factor": "197466126511195/4690104287232",
"number": "52.76792856635463452662673847373621057385543365490724131248862804839130831075674135899635140506288750",
"independent_ball_accuracy_bits": 764,
"stored_recurrence_residual_radius": "1.3417928e-91"
},
{
"n": 12,
"Q_n": "209426414990949073275/17179869184",
"rational_factor": "90075877415461967/834745699307520",
"number": "90075877415461967/834745699307520",
"independent_ball_accuracy_bits": 764,
"stored_recurrence_residual_radius": "2.3091397e-90"
}
],
"log_convexity": "strict for n=1,...,11, including M0=1",
"all_written_intervals_checked": true,
"verify": "<VerifyReport T526: 12/12 matched, 0 differing, 0 missing, 0 extra>",
"builder_run": "20261026T200330Z",
"sage_version": "10.9",
"audit": {
"tid": "T526",
"title": "Moments of the Brownian meander area",
"findings": [],
"clean": true
},
"source_pdf_sha256": "a742ea288305a81470781d6576c09893f78d1bfd0d777a403492fa76f9da44b7",
"source": "https://arxiv.org/pdf/0704.2289; section 22 and Appendix C.3",
"generator_source_sha256": {
"generate.py": "60ec39bfbf293156114e45aaadad6c38aed5d9462356e51d7aa024cc7635163b",
"checks.py": "e0af93f05c422d40e69ba37078308fece3be97b8c9b54dac2d3095c7d429ae59",
"check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b"
},
"independent_critique": "Required in a separate session; no builder acceptance sidecar."
}