| Code | Title | Schedule |
|---|---|---|
| EXP13 | Cimática com Máquinas · Figuras de Chladni | Every day Aug 3–7 · CETECH Foyer · All day |
| MC48 | Atratores Helicoidais em Variedades de Contato · dm³ System | Tue Aug 4 & Thu Aug 6 · E1LAB · 16:30–18:30 |
| OF53 | A Escada de Recorrência: Do k-nacci ao limiar τ=2 | Fri Aug 7 · H3 · 14:00–16:00 |
| CO144 | O Princípio do Cajueiro e o Livro Inglês para Pesquisadores via TOGT | Wed Aug 5 · F6 · 17:30–18:30 |
| P290 | Atratores Helicoidais em Variedades de Contato de Dimensão 3 · EDO de Brinquedo | Thu Aug 6 · CCET Foyer · 16:00–17:00 |
| File | Content | Status |
|---|---|---|
| A1Singularity.lean | Universal A₁ node · 7 physical instances · DM3-lab ↔ AXLE bridge | ✓ proved |
| PolarVortex.lean | Saturn north-polar vortex · moat · hexagon · three-layer dm³ | ✓ proved |
| SaturnRing.lean | Cassini Division 2:1 resonance · dm³ limit cycle · G6 Crystal | ✓ proved |
| Chain_updated.lean | gronwall_outer · spiral_return_exists (T1) · poincare_collatz_contracting | ✓ 4 proved · 2 axioms |
| AutophagyDm3.lean | Autophagy + Triple-Alpha · 26 theorems · Chapter A | ✓ 26 thm · 0 sorry |
| VolumeTwo.lean | 8 theorems proved · eigenvalue, τ=2, ε₀=1/3, singularity bijection | ✓ 8 proved · 4 open |
| turtle_carapace.lean New | Voronoi dm³ partition · scute fold events · curved-surface Chladni (Ch.τ) | ⚠ open · AXLE #τ |
| inner_basin_asymmetric | r*≈0.773 ≠ r_att−ε₀=2/3 · asymmetric basin · AXLE #13 | ⚠ axiom pending |
| poincare_collatz_general | General orbit convergence · dm³ analogue of Collatz · $1M | ⚠ open · ★★★★★ |
| Series root (all volumes) | 10.5281/zenodo.19117399 | concept DOI · always resolves to latest |
| Vol. I v3 — Operator algebra | 10.5281/zenodo.20298665 | C→K→F→U · Whitney A₁–A₃ · Lean 4 |
| Vol. II v2a — Contact geometry | 10.5281/zenodo.20159456 | dm³ · τ=2 · ε₀=1/3 · 8 thm proved · dashboard.html |
| GTCT Ring 5 v3 | 10.5281/zenodo.20230641 | Theorem T1 · DOP853 · 0 sorry |
| Autophagy / Triple-Alpha Ch.A | 10.5281/zenodo.20168812 | 26 theorems · 0 sorry · biology |
| DNLS / N-bonacci Ch.η | 10.5281/zenodo.20026942 | η≈1.839 · criticality |
| FruitFly Connectome | 10.5281/zenodo.19210136 | neural architecture · dm³ |
| Book 3 · The Mini-Beast | SSRN 6805940 | pending approval · Principia Orthogona Vol. III |
| Vol. I + II combined | SSRN 6439626 | 11 downloads · live |