back to table · edit · history · where entries came from · files · download
14872 bytes, as of the version from 2026-09-27 14:25 (current). Recorded here, not run.
{
"table": "T437",
"baseline_sha256": "9d9adbf3354248b51a44a480b794568d88badd08fdcc6e36d61781261500b420",
"candidate_sha256": "080ee5bf752b6947d5af6c71f2ed43b8a08527f3fa67df4403504e14381d6bd9",
"proof": {
"generator_sha256": "dde038403800b0590cc097a03e389679d53c341905938374a5fb9133c1baac0d",
"entries_sha256": "c44142401063f2d13658e39340778a03f3a6f5f85c57fa33825c753f4fa99425",
"all_entries_checked": true,
"independent_checks": [
{
"method": "Independent Taylor ODE shooting and variational-identity normalization",
"files": [
"ode-controls.json",
"ode-status.json"
],
"branch_count": 8,
"entries_checked": 104,
"nonexact_entries_checked": 101,
"analytic_control_runs": 10,
"maximum_difference_in_output_units": "0.491566967926335856050336789146",
"maximum_profile_difference_in_output_units": "5.26743246323855158080730677852E-27",
"case_summaries": [
{
"n": 0,
"q": "8",
"entries_checked": 13,
"profiles": [
{
"profile": [
140,
100,
10
],
"eigenvalue": "-10.606729235552647985202356829680937607784692045331394255942025431969081694667023088391384703426830965373804737629725215726034607239352158115",
"boundary": "neumann",
"last_newton_correction": "-4.34294453351464852171681e-126",
"normalization_integral": "3744.724714011555152099250586240922685975",
"iterations": 4
},
{
"profile": [
170,
130,
14
],
"eigenvalue": "-10.606729235552647985202356829680937607784692045331394255942025431969081694667023088391384703426830965373804737629725215726034602896407650550981157210164777218972270306484",
"boundary": "neumann",
"last_newton_correction": "9.573666951861120234297238e-171",
"normalization_integral": "3744.724714011555152099250586240922685975",
"iterations": 5
}
],
"elapsed_seconds": 4.320251025026664
},
{
"n": 1,
"q": "8",
"entries_checked": 13,
"profiles": [
{
"profile": [
140,
100,
10
],
"eigenvalue": "-0.43594360132082895605176360844830936069278883666745768025173260198956044712847416584082918024152983517440564532546384091665214065310003643241",
"boundary": "dirichlet",
"last_newton_correction": "-7.270232997451242040638762e-129",
"normalization_integral": "85.12955333200357368452560794597019949877",
"iterations": 4
},
{
"profile": [
170,
130,
14
],
"eigenvalue": "-0.43594360132082895605176360844830936069278883666745768025173260198956044712847416584082918024152983517440564532546384091665214064582975847626322934731263102469334718005726",
"boundary": "dirichlet",
"last_newton_correction": "2.222457546059771401503628e-171",
"normalization_integral": "85.12955333200357368452560794597019949877",
"iterations": 5
}
],
"elapsed_seconds": 4.432322772918269
},
{
"n": 2,
"q": "8",
"entries_checked": 13,
"profiles": [
{
"profile": [
140,
100,
10
],
"eigenvalue": "8.115238830263265859507801525085707597920212536041494633702869896314731710612947483074298755978239529137615258921739780165298177473360298752",
"boundary": "neumann",
"last_newton_correction": "-2.144520409470969072923095e-133",
"normalization_integral": "5.025358365937724499940151933034523258014",
"iterations": 4
},
{
"profile": [
170,
130,
14
],
"eigenvalue": "8.1152388302632658595078015250857075979202125360414946337028698963147317106129474830742987559782395291376152589217397801652981774733603604686488992163863800475988310257268",
"boundary": "neumann",
"last_newton_correction": "-1.795929982982108296844924e-171",
"normalization_integral": "5.025358365937724499940151933034523258014",
"iterations": 5
}
],
"elapsed_seconds": 4.442386399023235
},
{
"n": 3,
"q": "8",
"entries_checked": 13,
"profiles": [
{
"profile": [
140,
100,
10
],
"eigenvalue": "14.181880362316342858671489743959230992404548684763737421354053932463559869143865023526682840165324883969994843233444156636645288088448931819",
"boundary": "dirichlet",
"last_newton_correction": "-4.948780270645304156233185e-128",
"normalization_integral": "0.9862886529257198133279503444997768627287",
"iterations": 4
},
{
"profile": [
170,
130,
14
],
"eigenvalue": "14.181880362316342858671489743959230992404548684763737421354053932463559869143865023526682840165324883969994843233444156636645288137936890994170147586659304898184268332844",
"boundary": "dirichlet",
"last_newton_correction": "4.385779123233674080338073e-171",
"normalization_integral": "0.9862886529257198133279503444997768627287",
"iterations": 5
}
],
"elapsed_seconds": 4.803786562057212
},
{
"n": 4,
"q": "8",
"entries_checked": 13,
"profiles": [
{
"profile": [
140,
100,
10
],
"eigenvalue": "19.252705059424239989005075130981682658551051512480338075966737991025178455125986195965234877857924840878559781672476512049347466707128992972",
"boundary": "neumann",
"last_newton_correction": "-1.114275983007145088518293e-140",
"normalization_integral": "0.5439425754673663821144508938527970666865",
"iterations": 4
},
{
"profile": [
170,
130,
14
],
"eigenvalue": "19.252705059424239989005075130981682658551051512480338075966737991025178455125986195965234877857924840878559781672476512049347466707128682450859531577884169336405824481468",
"boundary": "neumann",
"last_newton_correction": "-4.778140336338292721045294e-149",
"normalization_integral": "0.5439425754673663821144508938527970666865",
"iterations": 4
}
],
"elapsed_seconds": 4.209851042949595
},
{
"n": 5,
"q": "8",
"entries_checked": 13,
"profiles": [
{
"profile": [
140,
100,
10
],
"eigenvalue": "26.57775329260188279907447933894863281440629791011221123953677020798430250520346525588706388720445761736926162281885063725843763849213094117",
"boundary": "dirichlet",
"last_newton_correction": "-1.652470431299764819337164e-140",
"normalization_integral": "0.5314337164814047344618030498811464802689",
"iterations": 4
},
{
"profile": [
170,
130,
14
],
"eigenvalue": "26.577753292601882799074479338948632814406297910112211239536770207984302505203465255887063887204457617369261622818850637258437638492131947688752831319058366822027693698105",
"boundary": "dirichlet",
"last_newton_correction": "1.303569320286088275080536e-170",
"normalization_integral": "0.5314337164814047344618030498811464802689",
"iterations": 5
}
],
"elapsed_seconds": 4.310965646058321
},
{
"n": 0,
"q": "1/8",
"entries_checked": 13,
"profiles": [
{
"profile": [
140,
100,
10
],
"eigenvalue": "-0.0077991963586045269753743521361540366872992172859446180739024147559449022742012555948563264564421180102374633828764938679926832751375848736814",
"boundary": "neumann",
"last_newton_correction": "-6.494089617804806947615407e-143",
"normalization_integral": "1.788436884683364226788547799301703473066",
"iterations": 4
},
{
"profile": [
170,
130,
14
],
"eigenvalue": "-0.0077991963586045269753743521361540366872992172859446180739024147559449022742012555948563264564421180102374633828764938679926832751375848736813890484805292946417683599546403",
"boundary": "neumann",
"last_newton_correction": "-2.378146090144124876942061e-147",
"normalization_integral": "1.788436884683364226788547799301703473066",
"iterations": 4
}
],
"elapsed_seconds": 3.798496695002541
},
{
"n": 4,
"q": "4",
"entries_checked": 13,
"profiles": [
{
"profile": [
140,
100,
10
],
"eigenvalue": "16.649818906817179194046764185299491668800836361140513621918067729836395106553307183754444663213840850319901469419411144308476736051257538447",
"boundary": "neumann",
"last_newton_correction": "2.454862357260084981228056e-132",
"normalization_integral": "0.5850506440827983665876358967619435009624",
"iterations": 4
},
{
"profile": [
170,
130,
14
],
"eigenvalue": "16.64981890681717919404676418529949166880083636114051362191806772983639510655330718375444466321384085031990146941941114430847673605125508358777644109203856001020726243412",
"boundary": "neumann",
"last_newton_correction": "-1.318607569253860020726856e-171",
"normalization_integral": "0.5850506440827983665876358967619435009624",
"iterations": 5
}
],
"elapsed_seconds": 4.512047384050675
}
]
}
],
"evidence_sha256": {
"attachment-checks/group-00.json": "15843070368d4ec7199e1a3a95c077ccdc07ba8a48ee5a04ff87bfc48679ebfa",
"previous/computation-summary.json": "ea37c151b3f34614f116bedb4a879fe3231cc735b5377b3bcbe712aa792dbcb5",
"previous/computed-entries.json": "94d276c75ea8dc5cee1eb90fa335c74e12ab17112c3c31868d90d4451bd8f71e",
"previous/generate-full.out": "dcb57ecc82b9eb99345e3878c85f03c4966ca35f20288ecdd7154448e4fdf23f",
"previous/generate.py": "85e2e8c3b7fbdd946dac660fb6501a45e5ce528af40bbddc13c16e520d513341",
"previous/progress.md": "0eaf013919c010a4a59d29fe151ebac9c771b75ce6d4423f3bb80fedbaec6fd9",
"reuse-review.json": "58dbf48979e0c54672026aa7efc4f369385f3042c3ffd6d770415622f6ddc9c5",
"ode/case-00.json": "1b14f58552bc6ecb2f35b397bd554e0b15f8221bf0e966582241a68be0411d58",
"ode/case-01.json": "a902db767175b4946848e8ac9a86dc8cb163903654f5bbc894732a1880bac487",
"ode/case-02.json": "e7d846c9084b143d3bfeb68f8ecc5abf798009ec05ead381aad8b635bd94e9e1",
"ode/case-03.json": "cec333a708526edc1071f5f4be716065e45cc9d615ce8cfc069875f3e876eaf9",
"ode/case-04.json": "bf477fc1aaf025693d86d9c36e79c65048158a801c7343f22edb0dd30859bf98",
"ode/case-05.json": "a12d1b7c8b5ec920583b2734928e14b588f1996d4d78f934bad72fed4afedb0f",
"ode/case-06.json": "b422badb07eb6c2cb1ee1f05da30dbf53ccc30aff2a771a7003a0013fd5a4a65",
"ode/case-07.json": "eb4cd9aeebaf2b27a8faabf3080186a7a0263974618ee166fd2124724dd82c30",
"attachment-check-status.json": "277ccffbd2c310f6a1374c2f6b994152ac04fa7e9b739ab88c3eac57ded23262",
"ode-status.json": "0a023abefe8e6db8f42996bdccc29c8fd31658a63a28398dd8403e9999af1259",
"ode-controls.json": "726455ab5483c069f71430b9e42df31749779118f2af186c5ffc0c8ad706aab3",
"attachment-manifest.json": "6f93772bd4fc279d288e03a02f6af1dbdbc9c9ea1ada6040114f07fc1dc96e96"
},
"limitations": "Heuristic agreement-checked, not proven. Finite Fourier sections have no certified infinite-operator tail bound. Independent ODE Taylor shooting and its normalization have no rigorous remainder enclosure. ODE checks cover selected branches and all stored angles on those branches, not every coupling/order. SciPy checks only branch and sign conventions at double precision. No website publication or independent approval is implied.",
"baseline_sha256": "01ae49d03f1bfb37613e8b9cd06b6d01914f2760d302c20c8589cbbb68c4c47f",
"status": "candidate_only_requires_independent_review",
"support_files": {},
"runtime_dependencies": [
"numberdb",
"mpmath"
],
"reproduction_scope": "Historical full-table computation reused; portable generator recomputed one Fourier group, with identical copied numerical routines and a tested two-setting guard.",
"anonymous_api_readable_at_assembly": true
},
"provenance": {
"pipeline": "precision-repair",
"engine": "codex-cli",
"model": "gpt-5.2",
"stage": "independently-checked-refinement"
},
"batch": "mathieu-20260927",
"authority": "Website database and revisions; cloud files are supporting evidence."
}