Title: Principia Orthogona, Volume I: The Mathematics of Generative Transitions

Principia Orthogona, Volume I: The Mathematics of Generative Transitions

Principia Orthogona, Volume I: The Mathematics of Generative Transitions
Principia Orthogona — Volume I: Generative Transitions

Version 6 — July 2026

Pablo Nogueira Grossi · G6 LLC, Newark NJ · ORCID: 0009-0000-6496-2186

Zenodo concept DOI (resolves to latest): https://doi.org/10.5281/zenodo.19117399
V4 DOI: 10.5281/zenodo.20784030
V5 DOI: 10.5281/zenodo.21121980
V6 DOI: https://doi.org/10.5281/zenodo.21146416
Series root: https://doi.org/10.5281/zenodo.19117399
AXLE: https://github.com/TOTOGT/AXLE · DM3-lab: https://github.com/TOTOGT/DM3-lab

What this paper does

Every threshold-crossing that cannot be undone — a cell beginning autophagy, a star igniting helium, an elastic rod buckling — follows the same four-step geometric sequence: compression toward a critical surface, curvature intensification, a Whitney fold that breaks injectivity, and stabilisation on a new branch.

This paper formalises that sequence as the operator chain G = U ∘ F ∘ K ∘ C acting on trajectories in a Riemannian manifold, derives a free-discontinuity variational principle and symplectic Hamiltonian structure, and proves seven structural theorems (existence and well-posedness, non-commutativity, irreducibility, finite branching, Whitney-fold classification, symplectic preservation, and injectivity before threshold), the five carried from V5 each established by seven independent arguments.

The three canonical constants — Gronwall stability radius ε₀ = 1/3, transverse Lyapunov exponent μ_max = −2, and embodiment threshold τ = 2 — are machine-checked in Lean 4 (AXLE) with zero axioms beyond Mathlib4 and zero sorry in PrincipiaVol1.lean. Theorems A–D are formalised as type-theoretic structures over an arbitrary MetricSpace carrier; toy-model constants P1–P6 are separately machine-checked as arithmetic facts.

A structural analogy between the five-operator chain and Perelman's Ricci flow with surgery is noted as Conjecture 15.1 (not proved here).

What V6 fixes

V6 (July 2026) closes three previously unproved or hand-waved results identified in an independent line-by-line audit, and adds two new, explicitly stated assumptions that the proofs require. No previously-proved theorem statement, canonical constant, or Lean-verified fact is altered; three theorems move from unproved or sketch status to fully proved (conditional on the two new assumptions), and one companion note supplies a previously missing proof of Invariant 7.5, closing a real dependency of Volume Two's Theorem B.

Change    Detail
New    Theorem (Existence and Well-Posedness) — previously stated with no proof anywhere in any version (V1–V5). Now proved as a direct corollary of Sequential Consistency and the four operator definitions: each of C, K, F, U is shown single-valued in sequence, composing to a well-defined G.
New    Theorem (Finite Branching) — previously justified only by an unverified "generic assumption" remark, unchanged since the original V1 (March 2026) draft. Now proved directly from the new Transverse Crossing assumption via an isolated-zeros/compactness argument.
New    Assumption (Transverse Crossing) — states explicitly that the curvature threshold crossing κ = κ* is simple (non-degenerate). A companion lemma shows this is necessary: under a constant κ*, the crossing is only ever approached asymptotically (exact ODE solution κ(s) = κ* − Ce^{−λs}) and never reached in finite arc-length, so Sequential Consistency's "if K is applied until curvature reaches κ*" hypothesis does not hold automatically and needs this assumption to be well-posed.
New    Assumption (Compression Regularity) — strengthens Compression Feasibility (bare Lipschitz) to piecewise-C¹ with finitely many pieces. A companion lemma shows this is necessary: an explicit bi-Lipschitz counterexample (infinitely many kinks accumulating at a point, constructed via a disjoint-support bump-function sum) satisfies the original Compression Feasibility assumption while failing to be piecewise smooth with finitely many pieces, so Symplectic Preservation's proof needed a stronger hypothesis than previously stated.
Fixed    Theorem (Classification of Generative Transitions), Argument V of the seven-proof section — previously asserted "lower Lipschitz bound on C ⟹ transversality" without derivation. Corrected to cite the new Transverse Crossing assumption directly, the same hypothesis used to close Sequential Consistency and Finite Branching.
New    Invariant 7.5 (Injectivity Before Threshold) — previously stated without proof in every version since V1. Proved in a companion note (deposited alongside this paper): the compression and folding parts hold unconditionally; the curvature part holds locally at scale π/κ̄ with no extra hypothesis, and globally under one explicit, checkable displacement condition (D). A counterexample (Gerono lemniscate, max curvature ≈4.79, self-intersecting at parameter separation π) confirms condition (D) is genuinely necessary — the unqualified global statement was false as originally written. The corollary actually used by Volume Two's Theorem 3.4 (no rank-1 fold below threshold ⟹ no fold-generated attracting cycle) requires only the unconditional folding part and is therefore established without condition (D).

Proved without sorry (30+ facts — unchanged from V5)

P1a–d: Whitney A₁ conditions on V(q) = q³−3q at q = 1
P2: Contact non-degeneracy c(ρ) = −2ρ < 0
P3: Gronwall radius ε₀ = 1/3
P4: Basin asymmetry 1/3 < 4/5
P5: Lyapunov exponent μ_max = −2 < 0; quadratic nonlinearity coefficient L₂ = −V″(1)/2 = −3
P6: Stability functional σ(ρ) = ρ² > 0, σ′(ρ) > 0
A: GenerativeOp well-defined (existence by construction)
B: CompressionOp contractive + injective
C: FoldOp non-injective + finite branch
D: UnfoldOp Φ-decrease + stable branch
+: Canonical triple (T*, μ_max, τ) = (2π, −2, 2); noise tolerance τ·ε₀ = 2/3
+: Gronwall contraction exponent sign
+: Club filter / stationary sets for regular uncountable ordinals
+: Regeneration hierarchy (unbounded, ordinal, Mahlo-like)
+: Crystal aspect ratio arithmetic (66 = 33·τ)
T1a: scalar entropy monotonicity ż|Γ = 1 > 0 (proved, carried from V4)

Proved in V6 (new, not yet ported to Lean)

Existence and Well-Posedness (Theorem 5.1) — proved as corollary, algebraic/analytic argument
Finite Branching (Theorem 5.4) — proved via isolated-zeros/compactness argument
Invariant 7.5 (Injectivity Before Threshold) — proved in companion note; unconditional parts and one conditional part under displacement condition (D)

Open obligations (5 — unchanged from V5, none closed in V6; these are Lean-formalisation items, distinct from the prose-level proofs closed above)

ID    Description    Status
O1    AXLE #12: Eigenvalue API gap in separation_theorem    Open — 1 scoped sorry
O2    AXLE #14: Mather step; Poincaré–Bendixson    Strengthened / Partial
O3    AXLE #15 / T1b: Full ODE Gronwall basin integration    Open — scalar case (T1a) proved
O4    Discrete dm³ extension to ℤ    Open — 1 sorry, separate file from PrincipiaVol1.lean
O5    Conjecture 15.1: Perelman functor 𝒫    Open — stated as conjecture

New open item, Lean formalisation of Theorem 5.1, Theorem 5.4, and Invariant 7.5 (all currently proved at the prose/hand-verified level in this deposit, not yet ported to Lean 4 — recommend tracking as new AXLE issues distinct from O1–O5).

Version history

Version    Date    Key addition
V1    March 17, 2026    Original four-operator framework
V2    May 16, 2026    Fifth operator E; Perelman analogy; Collatz threshold
V3    May 2026    Full reproducibility stack: Lean file, figures.py, figure PDFs, changelogs
V4    June 21, 2026    Seven-proof template on all five theorems; precision/completeness pass
V5    July 2026    Hand-verified correction pass on §18–22: two arithmetic/notational fixes, two clarity edits, stale version-header fix
V6    July 2026    Closes Existence and Well-Posedness, Finite Branching, and Invariant 7.5 (all previously unproved since V1); adds two new, explicitly stated assumptions (Transverse Crossing, Compression Regularity) that these proofs require, each backed by a companion necessity lemma/counterexample; fixes Classification Argument V's uncited transversality leap

Deposit contents

principia_vol1_v6.pdf — paper (this file)
principia_vol1_v6.tex — LaTeX source
invariant_7_5_proof.pdf / .tex — companion note proving Invariant 7.5 (new)
PrincipiaVol1.lean — Lean 4 / Mathlib4 formal verification (30+ facts, 1 scoped sorry, 0 axioms beyond Mathlib4) — unchanged from V5; does not yet cover Theorem 5.1, Theorem 5.4, or Invariant 7.5
fig1_phase_portrait, fig5_coherence_bridge, fig6_operator_sequence — figures (unchanged from V5)
CHANGES_Vol1.md — full V1→V6 version history
OPEN_QUESTIONS.md — open obligations with status

Build instructions

Lean 4:
lake update && lake build PrincipiaVol1
Dependencies: Mathlib4 (current stable)

Figures:
pip install numpy matplotlib
python figures.py
Outputs: fig1_phase_portrait.pdf through fig7_contact_3d.pdf

Paper:
pdflatex principia_vol1_v6.tex
pdflatex principia_vol1_v6.tex
(Run three times for cross-references and citations)

Series context

Role    DOI
Series root / concept DOI    10.5281/zenodo.19117399
Volume I (this deposit)    V6: 10.5281/zenodo.21146416 (latest) · V5: 10.5281/zenodo.21121980 · V4: 10.5281/zenodo.20784030
Volume II (contact geometry)    10.5281/zenodo.19379473
GCM paper (dm³ toy model)    10.5281/zenodo.19379385
G6 Crystal (lunar architecture)    10.5281/zenodo.19162013
Multi-Orbit Identity Theory    10.5281/zenodo.20230614
Autophagy / Triple-Alpha (Book 3, Ch.A)    10.5281/zenodo.20168812
Fibonacci / Tribonacci DNLS    10.5281/zenodo.20026942
TOGT / Contact Realisation    10.5281/zenodo.20682934
AXLE formal verification hub    github.com/TOTOGT/AXLE

MSC codes: 37C25, 37G10, 53D10, 57M27, 58K05, 70H05, 47H10

Keywords: generative transitions · contact geometry · operator sequence · Whitney fold · singularity theory · variational mechanics · symplectic geometry · Ricci flow · Perelman conjecture · Lean 4 formal verification · dimensional threshold · dm³ framework · Gronwall stability · seven-proof template · injectivity before threshold · transverse crossing · Principia Orthogona · G6 LLC

License: CC BY-NC-ND 4.0 (paper) · MIT (code)
Copyright: © 2026 Pablo Nogueira Grossi, G6 LLC
Contact: g6llc@proton.me

Note on Volume Two: Volume Two's Theorem 3.4 (backward direction of Theorem B, Threshold Equivalence) cites this volume's Invariant 7.5. That citation should be updated to point to Corollary 1 of the companion note (invariant_7_5_proof.pdf), which supplies the unconditional proof of exactly the fact Theorem 3.4 needs. Volume Two has not yet been re-deposited with this update.