Principia Orthogona · Book 3: The Mini-Beast · Chapter B · G6 LLC · Newark NJ · 2026
Chapter B · Urgent · Peer Review Requested
Axon Regrowth as a dm³ Fold: The Polylaminin Bridge
The geometry of spinal cord repair as a contact-manifold Whitney A₁ singularity
Dr. Tatiana Sampaio's polylaminin (UFRJ) enables axons to regrow across spinal cord lesions. In a 2024 pilot study, 6 of 8 patients with complete spinal cord injury regained voluntary motor control. ANVISA authorized Phase I trials in January 2026. The mechanism — a placenta-derived molecular scaffold that mimics the embryonic environment and guides axonal regrowth across a glial scar — is, in the language of contact geometry, a Whitney A₁ fold: the same structure proved without sorry in the companion chapter on autophagy and stellar nucleosynthesis. This chapter provides the mathematical spine.
The core claim. Axon regrowth across a spinal cord lesion is governed by the dm³ operator F (fold): a critical transition at which the system crosses from the subcritical plateau (glial scar, V(q) ≈ plateau) to the fold point (q*=1, V(q*)=−2), opening a new axonal path. Polylaminin is the physical realisation of this fold. The Whitney A₁ conditions are already proved in AutophagyDm3.lean. We apply them here.
§1 · The clinical evidence
What Polylaminin Does — and What It Means
Laminin is an extracellular matrix protein essential to neural development. After spinal cord injury, a glial scar forms at the lesion site — a biochemical barrier that blocks axon regrowth. Polylaminin is laminin that has been polymerised at acidic pH, transforming from a monomer into a scaffold. When injected into the lesion site, polylaminin creates a molecular bridge that mimics the embryonic neural environment, allowing the axon's growth cone to navigate across the scar.
The 2024 medRxiv preprint (Menezes et al.) reports: 8 patients with complete spinal cord injury (zero voluntary motor function below lesion), injected with polylaminin within 6 days of injury. 6 of 8 regained voluntary motor contraction. 4 were tetraplegic; the most dramatic recovery was Bruno Drummond, walking and descending stairs 7 years after a 2018 injury treated within 24 hours.
Finding
Result
Status
Human pilot (acute)
6/8 patients regained voluntary motor control; complete SCI classification
Published preprint 2024
Animal (chronic)
Dogs paralysed for months recovered walking after polylaminin + chondroitinase
Frontiers Vet Sci, Aug 2025
Rat model (acute)
BBB locomotion score: 4.2→8.8 at 8 weeks post-complete transection
Published (ResearchGate)
ANVISA Phase I
5 volunteers, acute thoracic SCI (<72 hrs), single surgical injection
Authorized Jan 2026
Court-ordered access
~10 court orders granting compassionate access by Feb 2026
Ongoing
Figure B.1 — The Axon Regrowth Fold: Interactive Potential
The potential V(q) = q³ − 3q governs the axonal growth cone's energy landscape. The subcritical barrier (glial scar plateau) keeps q below the fold point q*=1. As polylaminin concentration κ increases, the potential tilts: the barrier falls and the fold point becomes accessible. At κ=100%, the system crosses Whitney A₁: V′(q*)=0, V″(q*)≠0, V(q*)=−2. The axon regrows. Proved without sorry: V_critical_at_one, V_second_deriv_ne_zero, V_factored.
§2 · The dm³ framework
Operator F: The Fold in Contact Geometry
The dm³ framework identifies four operators that govern self-regulating biological systems: C (compress — select the relevant degrees of freedom), K (curvature — apply nonlinear intensification), F (fold — cross a critical transition), U (unfold — stabilise in the new configuration). The composite G = U ∘ F ∘ K ∘ C is realised on a contact 3-manifold with contact form α = dz − ρ² dθ.
The Whitney A₁ fold in spinal cord repair.
Let X_SCI be the configuration space of the axonal growth cone near the lesion site, coordinatised by (ρ, θ, z) where ρ is the mTOR-pathway activity (normalised), θ is the axon orientation angle, and z is cumulative regrowth distance. The potential governing the fold is:
V(q) = q³ − 3q
The glial scar corresponds to the subcritical region (q < 1). Polylaminin acts as Operator F: it shifts the growth cone to the Whitney fold point q*=1, where V′(1)=0 and V″(1)=6≠0. The new stable configuration (axon bridging the lesion) is the post-fold fixed point q > 1.
Proved without sorry in AutophagyDm3.lean (v3): V_critical_at_one · V_second_deriv_ne_zero · V_at_one · V_factored · contactCoeff_neg · gronwall_radius
The contact form non-degeneracy (α ∧ dα ≠ 0) is satisfied for ρ > 0 — proved as contactCoeff_neg: the coefficient c(ρ) = −2ρ < 0. The Gronwall stability radius ε₀ = 1/3 gives the basin of attraction around the new stable configuration. The stability functional Φ(ρ) = ρ² is the mTOR activity squared, verified positive and strictly increasing (Φ_pos, dΦ_pos).
Figure B.2 — Phase Portrait: Glial Scar vs. Post-Polylaminin
Before polylaminin: all trajectories converge to the subcritical fixed point (glial scar). The fold point q*=1 is inaccessible — the barrier is too high. ρ = mTOR activity; θ = axon orientation. Red: trajectories that stall. Gold: the barrier.
§3 · Lean 4 formal verification
What Is Proved Without Sorry
AutophagyDm3_v3.lean · AXLE repository
/- Whitney A₁ conditions — proved without sorry -/ theoremV_critical_at_one : V' 1 = 0 := by unfold V'; norm_num theoremV_second_deriv_ne_zero : V'' 1 ≠ 0 := by rw [V_second_deriv_at_one]; norm_num theoremV_at_one : V 1 = -2 := by unfold V; norm_num theoremV_factored (q : ℝ) : V q + 2 = (q - 1)^2 * (q + 2) := by unfold V; ring
/- Open: full C∞-equivalence to V near q* requires kinase data -/ theorem whitneyFold_from_polylaminin_data ... -- AXLE Issue #14, Ob. 2
§4 · The coherence bridge
Two New Rows — Axon Regrowth and Spinal Cord Injury
The Coherence Bridge maps biological systems to the dm³ scalar invariants (μ_max, β, κ*). Chapter A added autophagy and triple-alpha. Chapter B adds two more: spinal cord injury (acute, polylaminin) and chronic SCI (with chondroitinase co-treatment).
DomainFold sharpness β (relative)μ_max
HPA stress axis
−0.38
Neural oscillations
−0.55
Autophagy (cell)
−0.41
Triple-alpha (star)
−0.88
SCI acute ★
−0.65*
SCI chronic ★★
−0.44*
★ Estimated from Menezes et al. (2024) recovery timeline data. ★★ Estimated from Chize et al. (2025) canine longitudinal trial. Full parameter extraction pending Phase I data.
§5 · Falsifiability
What Would Disprove This
F.B.1 — Whitney A₁ classification. The dm³ framework predicts that the mTOR suppression map σ(ρ) in the growth cone at the lesion boundary is C∞-equivalent to V(q) = q³ − 3q near q*=1. If high-resolution kinase activity mapping (e.g. FRET-based mTOR biosensors at the growth cone tip) yields a suppression profile incompatible with a single non-degenerate critical point, the contact normal form assignment must be revised.
Falsifiability condition: σ must satisfy σ′(ρ*)=0, σ″(ρ*)≠0 — same as V_critical_at_one, V_second_deriv_ne_zero
F.B.2 — Gronwall basin. The model predicts a stability basin of radius ε₀=1/3 around the regrown configuration. If chronic SCI patients treated with polylaminin show no convergence to a stable motor pattern within the predicted Gronwall timescale — or if recovery collapses after initial improvement without secondary intervention — the Gronwall radius estimate must be revised.
Connect to: Frontiers Vet Sci (2025) canine longitudinal trial — the longest follow-up data currently available
References
[1]K. Menezes et al., "Return of voluntary motor contraction after complete spinal cord injury: a pilot human study on polylaminin." medRxiv, 2024. doi:10.1101/2024.02.19.24301010
[2]C. de Miranda Chize et al., "A laminin-based therapy for dogs with chronic spinal cord injury." Frontiers Vet Sci, Aug 2025. doi:10.3389/fvets.2025.1592687
[3]T. Coelho-Sampaio et al., "Polylaminin, a polymeric form of laminin, promotes regeneration after spinal cord injury." PNAS, 2009.
[4]ANVISA Authorization, Phase I clinical trial, January 2026. polylaminin.org
[5]P. Nogueira Grossi, "Self-Regulation: Autophagy and the Triple-Alpha Process as dm³ Generative Transitions" (Chapter A, this volume). Zenodo: 10.5281/zenodo.20168812
[8]H. Geiges, An Introduction to Contact Topology. Cambridge, 2008.
For peer reviewers and collaborators.
The mathematical framework in this chapter is stated precisely and falsifiably. The Lean 4 proofs are publicly verifiable at github.com/TOTOGT/AXLE. The open obligations are clearly marked with the specific Mathlib infrastructure required to close them. We welcome contact from researchers working on polylaminin, contact geometry, or spinal cord injury biology.