back to table · edit · history · where entries came from · files · download
10715 bytes, as of the version from 2026-10-26 19:01 (current). Recorded here, not run.
{
"table": "T523",
"stage": "repair",
"scope": "Presentation-only repair. Rerun of the attached builder checks, not an independent critique.",
"skill_evidence": {
"manifest": "agents/runs/20261026T185537Z-repair-skills/manifest.json",
"manifest_sha256": "d03b756eaa1cd22ce39c8cee78fb3a44b052146786d6371925ac7bc9dec564f3",
"versions_read": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
"identical_to_canonical": true
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
"identical_to_canonical": true
},
{
"source": "current live /skill",
"sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
"identical_to_canonical": true
},
{
"source": "canonical local",
"sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18"
}
]
},
"versions_and_instruction_manifest": {
"table": "T523",
"stage": "repair",
"skill_manifest": "agents/runs/20261026T185537Z-repair-skills/manifest.json",
"manifest_sha256": "d03b756eaa1cd22ce39c8cee78fb3a44b052146786d6371925ac7bc9dec564f3",
"local_and_live_skill_sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
"sage": "10.9",
"python": "3.12.3 (main, Mar 23 2026, 19:04:32) [GCC 13.3.0]",
"numberdb": "0.1.10",
"check_source_sha256": "8e50b99c6d882c94665e6d3f3697e03bfd688844557d5007b0ace3f674d5ac8e"
},
"numerical_checks": {
"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"
}
]
},
"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_report": "<VerifyReport T523: 12/12 matched, 0 differing, 0 missing, 0 extra>",
"argument_uncertainty": "Positive integer moment orders and rational recurrence coefficients are exact. Rational prefactors and pi are enclosed in Arb; sqrt(pi/2) and all subsequent operations propagate their ball radii. No rounded external arguments enter the computation.",
"parity_reason": "K_n is rational by induction on its rational recurrence. For n=2m, Gamma(3m-1/2)=(6m-2)!*sqrt(pi)/(4^(3m-1)*(3m-1)!), cancelling sqrt(pi). For n=2m+1, Gamma(3m+1)=(3m)!, leaving a rational multiple of sqrt(pi/2). No new mathematical claim was added.",
"unchanged_numbers": true,
"unchanged_parameters": true,
"unchanged_programs": true,
"unchanged_generator_files": {
"generate.py": "3f3d928f3c6749b0b91f9c7ef0b5db1001a60052b8c808f9c8a943062ee69713",
"argument-selection.md": "6a3a340858cc1e9d84012f492a8022d14a712e1ff037aab50994c3114bd339db",
"program.py": "ec4fa09ecc6bfcdb6b53c59ec8550d3ccfd8eed7388ae417ceb08710ea2ed720",
"checks.py": "8e50b99c6d882c94665e6d3f3697e03bfd688844557d5007b0ace3f674d5ac8e",
"check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b"
},
"previous_selection_sha256": "a98dececd634f278258c26bef16755dd241799c8b0bb0d9a862f69bb2e67a4fc",
"current_fingerprint": {
"table": "T523",
"selection_sha256": "97c778997a1d1340103b75d008dd7b125ef1a0ab851554029b6652bdfd3de976",
"generator_files": {
"generate.py": "3f3d928f3c6749b0b91f9c7ef0b5db1001a60052b8c808f9c8a943062ee69713",
"argument-selection.md": "6a3a340858cc1e9d84012f492a8022d14a712e1ff037aab50994c3114bd339db",
"program.py": "ec4fa09ecc6bfcdb6b53c59ec8550d3ccfd8eed7388ae417ceb08710ea2ed720",
"checks.py": "8e50b99c6d882c94665e6d3f3697e03bfd688844557d5007b0ace3f674d5ac8e",
"check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b"
}
},
"fresh_independent_critique_required": true,
"reason": "The Gamma hyperlink changes Comments, which belongs to the full mathematical-context fingerprint. The actual selected orders and their definition are unchanged. The repair neither rewrote nor accepted the independent sidecar.",
"original_sidecar_sha256": "98c30cbc39613f4dd24ce85a2a89e9b3f94057327bf58aad9daef9100c05d412",
"browser": {
"playwright": "1.64.1",
"scope": "Live server section previews only; complete private page returns 404",
"pages": [
{
"phase": "before",
"section": "properties",
"js_errors": [],
"math_errors": 0,
"links": [
{
"text": "How well the digits are known",
"href": "/help#how-well-known"
},
{
"text": "How they were obtained",
"href": "/help#how-well-known"
}
],
"unknown_key_count": 1
},
{
"phase": "before",
"section": "links",
"js_errors": [],
"math_errors": 0,
"links": [
{
"text": "Zeros_of_the_Airy_function_Ai",
"href": "Zeros_of_the_Airy_function_Ai"
},
{
"text": "Values_of_the_Gamma_function_at_rational_numbers",
"href": "Values_of_the_Gamma_function_at_rational_numbers"
}
],
"unknown_key_count": 0
},
{
"phase": "before",
"section": "parity",
"js_errors": [],
"math_errors": 0,
"links": [
{
"text": "Gamma function",
"href": "Values_of_the_Gamma_function_at_rational_numbers"
}
],
"unknown_key_count": 0
},
{
"phase": "proposed",
"section": "properties",
"js_errors": [],
"math_errors": 0,
"links": [
{
"text": "How well the digits are known",
"href": "/help#how-well-known"
},
{
"text": "How they were obtained",
"href": "/help#how-well-known"
}
],
"unknown_key_count": 0
},
{
"phase": "proposed",
"section": "links",
"js_errors": [],
"math_errors": 0,
"links": [
{
"text": "Zeros of the Airy function \nAi",
"href": "Zeros_of_the_Airy_function_Ai"
},
{
"text": "Values of the Gamma function at rational numbers",
"href": "Values_of_the_Gamma_function_at_rational_numbers"
}
],
"unknown_key_count": 0
},
{
"phase": "proposed",
"section": "parity",
"js_errors": [],
"math_errors": 0,
"links": [
{
"text": "Gamma function",
"href": "Values_of_the_Gamma_function_at_rational_numbers"
},
{
"text": "Gamma function",
"href": "Values_of_the_Gamma_function_at_rational_numbers"
}
],
"unknown_key_count": 0
}
],
"chromium": "156.0.8078.4"
},
"audit_after_document_write": {
"tid": "T523",
"title": "Moments of the Brownian excursion area",
"findings": [],
"clean": true
},
"api_write": {
"tid": "T523",
"url": "Moments_of_the_Brownian_excursion_area",
"revision": "8897e717fc1fb1046ca1f90e0d3ad5e9b9cecd8f74a2f9f09f379f675daf90e0",
"unchanged": false,
"merged": false,
"reviewed": false
},
"artifact_hashes": {
"repair_checks.py": "b2df8aa231544840ab28bd5178ce78929de377adcd42e28a0bb32c95e4d419c3",
"repair-checks-before.txt": "63f698b13e6c40890d765c38c923b87b9a92f28a32e1976027621909119e763a",
"repair-checks-after.txt": "63f698b13e6c40890d765c38c923b87b9a92f28a32e1976027621909119e763a",
"document-before.json": "d8db5fe9366dcc54c4a9c333079be786b4f2bc7fd4d04d7875d13195da01ee79",
"document-after.json": "87c2aa99303d7cae8c28d8a0b3bed50633fd9131ce7062c3d6a5d0bd5cca3da6",
"proposed.diff": "c8441b3c3ca0fdbb082f677edcaf0ebe4d54a7ea4a34e0893f58e31ee30fbfde"
}
}