Mathematical branches

Four separately defined theories, an external SRSD audit instrument, and a legacy G₆ package. They are not one theorem.

Dynamics — Papers I–IIQuantized and rational-floor maps Cubature — Papers IV, VIClass-I grids over ℚ(√5)Ω₀ — Paper VReference identities Geometry — Paper VIIMarked kernel, angular fan, R³ frame

SRSD — Paper III, external audit instrumentFrozen v1.0. Applied to the separately defined theories; not their foundation and not a combined object.Legacy G₆ reproducibility releaseHistorical implementation packaging. Not the current semantic architecture and not one theorem.

Four separately defined theories. SRSD stands outside them as the audit instrument. G₆ is retained as frozen provenance.

Dynamics — Papers I–II

Quantized contraction, rational floor maps, remainders, reconstruction, first disagreement.

15-bit successor search · 600-cell signals · canonical terminology · Omega-Alpha synthesis

Cubature IV, VI

Radial Class-I grids and exact linear algebra over $\mathbb{Q}(\sqrt{5})$ . Independent of Ω₀ and SRSD.

Ω₀ reference, Paper V

Definitions and exact identities associated with Ω₀ = φ + π.

Geometry — Paper VII

Local marked Euclidean kernel, complete center-angular fan, and exact realization in R³. Metric outer scaffold adopted; remaining notebook completion is not claimed.

SRSD audit instrument — Paper III

Frozen external arithmetic and resolution audit. Not the foundation of a combined object.

Typed network of exact interfaces

5 September 2026 locally hosted dossier. Exact maps among Papers VII, V, I, II and frozen SRSD, with an independent cubature junction. Stronger than “the papers are related.” Not a claim that the packages form one retrospective theory, and not historical G₆ packaging.

Lean 4 geometric-provenance formalization

Documentation of a selected-measurement Lean 4 formalization. Hosted sources match SHA256SUMS. Python axiom-coverage PASS. lake build PASS on this archive 2026-09-13. Not an additional source paper and not a joining theorem.

Julia mathematical proof companion

Companion software v0.1 (0.1.0): written proofs and exact certificates corresponding to the Lean source. Not a source paper and not a joining theorem. Sixty-eight members hosted; SHA256SUMS match. Author-supplied Julia 1.11.6 O0/O3 records are not a site run. Cubature 10–21 and 23–24 packages are hosted separately under /cubature/.

Legacy G₆ reproducibility release

Historical implementation packaging and named frozen outputs. Not the current semantic architecture and not one combined theorem.