Erdős–Straus Project Archive: Residual Divisor Shells, Quotient Surpluses, and Finite Verification

Abstract

This record gathers the Erdős–Straus project under its existing concept DOI. The principal paper develops the residual divisor-shell equivalence and its origin counts, proves the Star–Kneser quotient-surplus theorem, and records the exact certificate at p = 12289 with R = 11, m = (3,6,3), and surplus profile (1,6,2,1). It also treats the divisor-complement involution, Wick-completed support coordinates, the mod-107 congruence package, coefficient-space circle inversion, and the Fable–Circle–Sarnak identities. The accompanying archives contain the complete LaTeX source, a research logbook, replayed symbolic and finite checks, a pinned Lean 4 development for the formalized core, earlier versions and drafts with a correction guide, and a reviewed working corpus. DOI_LINEAGE.csv records the earlier Erdős–Straus records and related project lineages. This work supersedes and corrects Kokuno Yumeto, Miroku Akagi, and Maya Sakuyah, The Z3 Center Symmetry: Arithmetic Lattices, Automorphic Spectral Triples and QCD, 10.5281/zenodo.16936041. Its usable three-sector and modular constructions are retained as source material; the present paper replaces the earlier unsupported global identifications with the exact support-indexed statements and stated hypotheses proved here. The full Erdős–Straus conjecture remains open. The divisor involution is proved; a cyclic action on a larger completed arithmetic envelope remains unresolved. Historical drafts that made stronger claims are retained with corrections. Current edition, 4 August 2026: the principal reader is 110 pages. Adds the tetrahedral S4 structure inside the Klein-Fano carrier, a Toeplitz encoding of the complete 12289 orbit, support-indexed modular and Fourier orientation results, and an explicit correction of the superseded Z3 center-symmetry record with its current source artifacts. Begin with 00_ERDOS_STRAUSS_Project_Reader.pdf.