This is the human-readable public home for a continuing mathematics project connecting explicit Erdos--Strauss arithmetic registers, split-zero and tagged-sedenion models, finite moonshine and Sigma (2, 3, 5) calculations, exact formal checks, and selected geometric experiments. The main Project Atlas explains the current mathematical state, gives direct reading routes, and separates exact theorems, checked calculations, generated constructions, obstructions, diagnostics, and genuinely open interfaces. The full payload contains complete current result packets rather than summaries alone: a bookmarked results compendium; Lean and Python sources; proof-status and axiom audits; machine-readable ledgers and text; editable visual sources; exact scene data; and replay/QA material. It retains Packet 076 and its source-crosswalk evidence required by Packet 077, the complete Packet 201 finite Cayley--Dickson implementation/facade/axiom audit/ledger/report, and the exact Packet 202 noncancellation result for the displayed no-defect L=8, j=2 shadow aggregate. The bounded Predatum/K4/Hopf N16--N18 working-note supplement from version DOI 10. 5281/zenodo. 21426216 is preserved unchanged. Its four executable groups reran at 12/12, 17/17, 10/10, and 12/12 encoded checks. N17 contributes terminology and dependency direction rather than a new theorem; topos-level statements, bundle classification, cited topology, and the recorded Gauss-linking calculation remain external or non-machine-checked steps. The new Part 8-C2A--C2F2 chain publishes seven atomic public proof bundles. It verifies the chosen D4 marking and maximal isotropic C6+C6+C2 glue data; the explicit even unimodular rank-24 A5⁴D4 completion and Niemeier isometry by classification; the finite extension-class lemma, C6+C3 kernel, and explicit split section; the distinct convolution and pointwise shell rings and Fourier interchange; the GL2 (F2) =S3 triality action, the non-invariant anti-diagonal, and the convention-specific sedenion zero rectangle; and the Coxeter/eta/Fricke, level-107, full M5 (F107) -generation, and theta coefficient calculations. The source-free Python replays pass 16/16, 19/19, 16/16, 18/18, 20/20, 11/11, and 19/19 checks. The status boundaries are part of the result. The D4 marking is chosen rather than canonical. 'Brauer-glue' is a finite-extension analogy and does not prove geometric Brauer-group vanishing, moduli fineness, or a universal family. The selected anti-diagonal is not invariant under full triality, and raw group-basis projector coefficients are not idempotent under convolution. No typed map connects the level-one Niemeier theta object to the level-107 Fricke block. C2D, C2E, and C2F1 ship exact Mathlib receipts; C2D's ten nativedecide finite exhaustions are disclosed theorem by theorem. C2F2 ships 13 axiom-free core-Lean theorems. No supplemental receipt contains sorryAx. Ownership and status. No JT-authored corpus dump is published here. Jacolm Tobley is credited as a researcher/project relationship; direct JT source remains under its own ownership and provenance. Raw Branch32-A/Kimi source, prompts, model reasoning, private inventories/runs, and copied literature are excluded. The public files contain repository-maintainer work, generated project mathematics, rights-screened derivatives, and exact checks under CC BY 4. 0. This is a working research record, not a completed universal framework or a refereed proof of any famous open problem.
The Clankers (Sun,) studied this question.