back to table · edit · history · where entries came from · files · download
5081 bytes, as of the version from 2026-10-26 19:01 (current). Recorded here, not run.
{
"independent_exact_factors": {
"0": "1",
"1": "1/2",
"2": "5/12",
"3": "15/64",
"4": "221/1008",
"5": "565/4096",
"6": "82825/576576",
"7": "19675/196608",
"8": "256406305/2234808576",
"9": "16145585/184549376",
"10": "304702375/2790982656",
"11": "13209845125/146565758976",
"12": "89585870372335/739346190815232"
},
"controls": [
"log(1+z)",
"log(exp(z))",
"graph c1,c2,c3",
"Gamma(1)=Gamma(2)=1",
"M0=1",
"Table 1 moments n=1..4",
"Maxwell/Beta mean"
],
"independent_graph_comparisons": 11,
"gamma_formula_comparisons": 12,
"strict_log_convexity": 11,
"minimum_odd_accuracy_bits": 510,
"working_precision_bits": 513,
"serialized_measure": {
"entries": 12,
"longest": 102,
"longest_at": "1",
"block_kb": 1.1025390625
},
"rows": [
{
"params": {
"n": "1"
},
"number": "0.6266570686577501256039413212027613132517466851524845791574808940855734136519604937366489595945143165"
},
{
"params": {
"n": "2"
},
"number": "5/12"
},
{
"params": {
"n": "3"
},
"number": "0.2937455009333203713768474943137943655867562586652271464800691691026125376493564814390541998099285859"
},
{
"params": {
"n": "4"
},
"number": "221/1008"
},
{
"params": {
"n": "5"
},
"number": "0.1728814666951312602374154523825977255797055064019305601679573755656000872623816791802766905131350531"
},
{
"params": {
"n": "6"
},
"number": "82825/576576"
},
{
"params": {
"n": "7"
},
"number": "0.1254219342635216646449538726263868086571056725095126759330590473544683523926017528713843615724901243"
},
{
"params": {
"n": "8"
},
"number": "256406305/2234808576"
},
{
"params": {
"n": "9"
},
"number": "0.1096481081341021772048593752654193208197864890488459601616462378213039617523051236788471546205043406"
},
{
"params": {
"n": "10"
},
"number": "304702375/2790982656"
},
{
"params": {
"n": "11"
},
"number": "0.1129601194889031649478811749209572171553203016873852769372926853845101094284113124678814107236396715"
},
{
"params": {
"n": "12"
},
"number": "89585870372335/739346190815232"
}
],
"skill_manifest": "agents/runs/20261026T183502Z-build-skills/manifest.json",
"skill_sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
"table": "T523",
"run": "20261026T183502Z",
"stage": "build",
"source_files_sha256": {
"generate.py": "3f3d928f3c6749b0b91f9c7ef0b5db1001a60052b8c808f9c8a943062ee69713",
"checks.py": "8e50b99c6d882c94665e6d3f3697e03bfd688844557d5007b0ace3f674d5ac8e",
"check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
"argument-selection.md": "6a3a340858cc1e9d84012f492a8022d14a712e1ff037aab50994c3114bd339db",
"program.py": "ec4fa09ecc6bfcdb6b53c59ec8550d3ccfd8eed7388ae417ceb08710ea2ed720"
},
"stored_checks": {
"stored_rows_checked": 12,
"exact_rationals": 6,
"100_digit_enclosures_contain_independent_values": 6,
"stored_recurrence_residuals_contain_zero": 12,
"stored_log_convexity_margins_positive": 11
},
"verify": "12/12 matched, 0 differing, 0 missing, 0 extra",
"versions": {
"Sage": "10.9",
"numberdb": "0.1.10"
},
"method_limits": "Independent graph-factor computation shares the cited mathematical source, but no recurrence or arithmetic helper with the generator. No stochastic simulation was used; exact rational arithmetic plus Arb enclosures supports the claimed rigour.",
"live_fingerprint": {
"table": "T523",
"selection_sha256": "a98dececd634f278258c26bef16755dd241799c8b0bb0d9a862f69bb2e67a4fc",
"generator_files": {
"generate.py": "3f3d928f3c6749b0b91f9c7ef0b5db1001a60052b8c808f9c8a943062ee69713",
"checks.py": "8e50b99c6d882c94665e6d3f3697e03bfd688844557d5007b0ace3f674d5ac8e",
"check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
"argument-selection.md": "6a3a340858cc1e9d84012f492a8022d14a712e1ff037aab50994c3114bd339db",
"program.py": "ec4fa09ecc6bfcdb6b53c59ec8550d3ccfd8eed7388ae417ceb08710ea2ed720"
}
},
"site_audit": {
"tid": "T523",
"title": "Moments of the Brownian excursion area",
"findings": [],
"clean": true
},
"instruction_reads": {
".claude/skills/numberdb-table/SKILL.md": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
"agents/runs/20261026T183502Z-build-skills/skill-local.md": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
"agents/runs/20261026T183502Z-build-skills/skill-live.md": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
"https://numberdb.org/skill": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18"
}
}