AXLE — Principia Orthogona Repository Navigator

30+

Folders

100+

HTML Files

1474

Proved Theorems

15+

Papers

Volumes

Operators

τ=2

Threshold

⬡ Operator Chain — n-bonacci Recurrence Ladder

π → φ → μ → η → Δ → Σ → Ω → τ=2

▾

ch9-phi.html (geometry ↗)

Lyapunov Stability

−2

chMu-lyapunov.html (geometry ↗)

Tribonacci · DNLS

≈ 1.839

chapter-eta-dnls.html

Tetranacci

≈ 1.927

chDelta-tetranacci.html (geometry ↗)

Pentanacci

≈ 1.966

chSigma-pentanacci.html (geometry ↗)

Hexabonacci → τ

→ τ = 2

chOmega-hexabonacci.html (geometry ↗)

chT-tubulin.html (geometry ↗)

chLambda-polylaminin.html (geometry ↗)

Spectral Radius · Collatz

Collatz → dm³

spectral-radius.html

◈ Portals · Sample Chapters · Membership

public-facing · Gumroad · IMPA

▾

◈ Omega Point — The Convergence Series · companion volume (geometry ↗)

htmlomega-point-index.html (geometry ↗) htmlomega-point-sample-logos.html (geometry ↗) htmltrinity.html — The Father (geometry ↗) htmltrinity-son.html — The Son (geometry ↗) htmltrinity-spirit.html — The Holy Spirit (geometry ↗)

◉ Root HTML — Numbered Chapters & Theme Pages

root-level HTML files

▾

htmlch00-introduction.html htmlch01-cajueiro.html htmlch01-dm3-framework.html htmlch01-one-equation.html htmlch02-biological.html htmlch02-reading.html htmlch03-plasma.html htmlch03-sources.html htmlch04-markets.html htmlch04-milestone1.html htmlch05-oscillations.html htmlch06-argument.html htmlch06-pedagogy.html htmlch6-resonant.html htmlch-d2-academic.html htmlch-d2-parashurama.html htmlch-e-gtct.html htmlch-hawking.html htmlch-tau-tartaruga (1).html htmlcollatz.html htmlspectral-radius.html htmlspectral-radius-v2.html htmlfull-chapter-autophagy.html htmlenceladus_principia_analysis.html htmllexical-generativity-ijl.html htmldaily-strategy.html htmlnewark-wellness.html htmlwellness-soundworks.html htmlwigner-fractal.html htmlminibeast-pilot.html htmlsim.html htmlsim-lyapunov.html htmlsim-stormmanifold.html html229-ballantine.html htmlGameTheory_Full_Pack.html htmlGameTheory_Full_Pack (1).html htmlLesson07_Alpha_Submission_v2.html htmlLesson07_Alpha_Submission (1).html htmloldindex.html htmlindex2.html

▤ Subdirectories — 30 Folders

all repos · all domains · all volumes

▾

📁 AULA

htmlindex.html htmlLesson01_Vitruvian_Approximation.html htmlLesson02_Cajueiro_Principle.html htmlLesson02b_Galilean_Confluence.html htmlLesson03_Number33.html htmlLesson03b_Chladni_Plates.html htmlLesson04_USA_Top10.html htmlLesson07_Alpha_Submission_v2.html htmlcaela-framework.html htmlg6-earth-house.html htmlvoynich-caela-lesson.html

📁 book3 — Vol III Mini-Beast

htmlBook1.html htmlSportal.html htmlEnceladus.html htmlGameTheory_Full_Pack.html html229-ballantine.html htmlcajueiro_chapter1.html htmlch-d2-academic.html htmlch-e-gtct.html htmlch-ocio.html htmlch00-introduction.html htmlch00-student-edition.html htmlch-belousov-zhabotinsky.html htmlch-lorenz-chaos.html htmlch-mandelbrot-fractals.html htmlch-poincare-einstein.html htmlch-turing-morphogenesis.html htmlch01-one-equation.html htmlch14-axle.html htmlchapter-map.html htmlchw-wigner.html htmlcm-choreography.html htmlfull-chapter-autophagy.html htmlg6-drone-machine.html htmlhal-saflieni-resonance.html htmlimpa-portal-patch.html htmlom-machine.html htmlpranayama-machine.html htmlsoham-machine.html htmlspectral-radius.html htmlsri-yantra-sakti-machine.html htmlswarnakarshana-bhairava-machine.html htmlwellness-soundworks.html

+ more chapters in /book3/

📁 book4 — Vol IV GTCT

htmlchIV-preface.html htmlchIV-axioms.html htmlchIV-operators.html htmlchIV-orthogonality.html htmlchIV-field.html htmlchIV-recursion.html htmlchIV-time.html htmlchIV-emergence.html htmlliving-book.html htmlchIV-correspondence.html htmlchIV-appendices.html htmlchE-gtct.html htmlchE-gtct-alt.html htmlchTau-tartaruga.html htmlch-faraday.html htmlch01.html – ch11 arc htmlgomc-opus.html htmlch00-student-edition.html htmlch11-catgt.html

📁 book5 — Vol V

htmlindex.html htmlchV-preface.html htmlchV-banach.html htmlchV-constants.html

📁 CatGT

htmlCATGT_fixed.html htmlCATGT_v2.html htmlGOMC.html htmlGOMC2.html html33.html leanMain.lean leanAXLE.lean leanG6.lean leandm3_Criticality_gtct.lean

+ 15 more .lean files in /CatGT/

📁 DNLS

htmlchapter-eta-dnls.html leanTribonacciDNLS.lean pydnls_long_time.py pydnls_nbonacci.py pyanalyze_long_time.py

+ figures, copilot briefs in /DNLS/

📁 EMMEs

htmlindex.html htmlcollatz-engineering.html htmlgame-theory.html htmlprobability.html htmltheory.html htmlticker.html htmlpropaganda.html htmlprobaby.html htmlpropagan.html

📁 Enceladus

htmlenceladus_principia_analysis.html

📁 Faraday

htmlfaraday_explainer.html pdfFaraday_EM_dm3_Grossi2026.pdf pybuild_faraday_paper.py pyfaraday_figures.py

📁 Finance

htmlindex.html htmlLesson4.html html33.html htmlbtc_eth_grid_bot_backtest.html htmldaily-setups.html htmlmarket_assistant_ui.html htmlsimulator.html htmlstrategy.html htmlnvda_daily_setup_june1_2026.html htmlnvda_tp234_reality_check.html

📁 Autophagy

htmlsample-chapter-autophagy.html htmlsample-chapter-autophagy (1).html leanAutophagyDm3_v2.lean

📁 BioPhysics

leanMultiAgentTogt.lean pymulti_agent_togt.py

📁 Intelligence

leanSwarmSimulator.lean pyswarm_simulator.py

📁 SWARM

leanSwarmSimulator.lean pyswarm_simulator.py

📁 Multi-Orbit-Theory

leanMultiOrbitTogt.lean pymulti_orbit_togt.py

📁 FruitFly

leanMultiOrbitBioSwarm.lean pymulti_orbit_bioswarm.py

📁 NetworkGamesJOMO

htmlGameTheory_Full_Pack.html htmlGameTheory_Full_Pack (1).html dirTheory/ ↗

📁 Papers

htmlsample-chapter-autophagy.html pdfnbonacci_diffusion_draft.pdf pygenerate_all_figures.py pynbonacci_criticality.py leanAutophagyDm3.lean

📁 PrincipiaOrthogona1 — Vol I

htmlprincipia_vol1.html leanPrincipiaVol1.lean

📁 PrincipiaOrthogona_v2 — Vol II

htmldashboard.html leanVolumeTwo.lean

📁 a.PolyLaminin

htmlLesson7.html htmlbook3_index.html htmlchapter_B_polylaminin.html htmlprincipia_vol1.html

📁 SBM

htmlcajueiro_chapter1.html

📁 Lexicon

htmllexical-generativity-ijl.html yamlcoherence_bridge_v8_4.yaml yamlcoherence_bridge_v8_3.yaml

📁 Hospiteller

htmlManahattae.html

📁 DigitalHerbarium

jsxDigitalHerbarium.jsx

📁 lean — Core Proof Library

leanAXLE.lean leanAXLE_V8.lean leanMain.lean leandiscreteDm3.lean leangtct_t1.lean leangronwall_contraction… leandm3_euler_preservation.lean leanregeneration_loop_invariant.lean

+ 10 more .lean files in /lean/

📁 assignments

htmlLesson7.html pybtcMarkov.py

📁 AnuclearPhysics

pdfNuclearPhysicsB_latex.pdf texTOGTnuclearPhysicsB.latex

📁 scripts

pyc92_fourier.py pyc92_pipeline.py pyc92_sampler.py

📁 simulations

pyconnectome_loader.py pysimple_to_operator.py

📁 mappings · docs · WaveNumber6

mdmappings/domain_mappings.md mddocs/index.md leanWaveNumber6/Wavenumber6.lean

📁 GTCT

leanAXLE.lean leandm3_Criticality_gtct.lean leanCriticality_Principle.lean

◎ Root Lean Proof Files — AXLE Formal Library

Lean 4 · formal proofs · doi:10.5281/zenodo.19117400

▾

leanAXLE.lean leanAXLE_v5_1.lean leanAXLE_v6.lean leanAutophagyDm3.lean leanAutophagyDm3_v2.lean leanDm3Comp.lean leanDm3GoldbachToy.lean leanDm3NSToy.lean leanDm3RHToy.lean leanExamples.lean leanMain_v6.lean leanMonotonicity.lean leanMultiChamber.lean leanTribonacciMeasure.lean leandiscretedm3.lean leanfinite.lean leangronwall_proof.lean

◐ Papers · Publications · Zenodo Archive

doi:10.5281/zenodo.19117400 · ORCID 0009-0000-6496-2186

▾

doiZenodo Vol I — 10.5281/zenodo.19117400 pdfTOGT — Collatz as DM3 System GROSSI2026.pdf pdfCollatz_Paper_Grossi2026.pdf pdfG6_TOGT_NASA_MoonBase_Research.pdf pdfGCM-Manifesto.docx.pdf pdfGrossi2026_Number33_Intelligencer.pdf pdfNuclearPhysicsB_latex.pdf pdfPaper1_PositionalDominance_NetworkGames.pdf pdfPaper2_Companion_OneThird_Invariant.pdf pdfPositionalDominance_NetworkGames_Grossi2026.pdf pdfautophagy_dm3.pdf pdfdm3_programme_structure.pdf mdAXLE-REPO-PROFILE.md mdZENODO_DESCRIPTION.md svgaxle_sorry_roadmap.svg