{ "title": "A √3 growth criterion for weighted reciprocal series", "author": "twinheterodox", "main_tex": "weighted-reciprocal-growth.tex", "compiler": "pdfLaTeX", "expected_pages": 6, "build_commands": [ "pdflatex -interaction=nonstopmode -halt-on-error weighted-reciprocal-growth.tex", "pdflatex -interaction=nonstopmode -halt-on-error weighted-reciprocal-growth.tex", "pdflatex -interaction=nonstopmode -halt-on-error weighted-reciprocal-growth.tex" ], "github_url": "https://github.com/twinheterodox/weighted-reciprocal-growth", "github_commit": "3461968f20dfc51eb5d760ded319e40e74be4426", "contents": "Self-contained TeX source; ancillary license, audit-scope summary and file hashes. The proof is analytic and has no numerical certificate dependencies.", "ancillary_policy": "Files under anc/ are documentation and are not compilation inputs." }