In July 2026, Alpöge and Fable published a disproof of the Jacobian Conjecture in dimension ≥3, a question open for decades. This desk does not claim any part of that result. What it did do: take the argument's formal core, compile it independently in Lean 4, and check it against the kernel from scratch — 3,003 of 3,003 jobs passing, zero open sorry. An independent recompilation is a narrow thing — it confirms the formal steps hold together, not that the informal mathematics is correctly modeled by them — but it is a real, checkable thing, and the file is available for anyone to run themselves.
A standalone verification note, with the compiled file, is in preparation for the directory.
▸
▸
▸
▸
▸
Volume I is now at V6 (July 2026). It closes three results left unproved since the original V1 draft — Existence and Well-Posedness, Finite Branching, and Invariant 7.5 — and fixes an uncited transversality leap in the Classification theorem's Argument V, adding two new, explicitly stated assumptions each backed by a companion necessity proof. PrincipiaVol1.lean itself is unchanged from V5: 30+ facts, 1 scoped sorry (AXLE #12, separation_theorem), 0 axioms beyond Mathlib4 — the three new V6 results are proved at the prose/hand-verified level and not yet ported to Lean.
A claimed Whitney A₁ fold for DNLS breathers, reported here as tested and withdrawn, was never actually tested. On audit, the only Whitney A₁ fold formally verified in this repository (AutophagyDm3.lean) belongs to an unrelated mTORC1 kinase model. The DNLS-breather pairing exists solely as a speculative entry in an operator-chain mapping table, and a companion file already notes the classification as "a separate analytic claim not tested here." No continuation analysis of DNLS breathers testing this fold exists in the codebase.
The claim is corrected to "untested, not disproven" rather than "tested and withdrawn." A genuine continuation analysis is queued; this entry will be updated with a real result, not a re-assertion, once it runs.
Neither correction changes the framework's live results. Both are filed here because the ledger's value is in what it withdraws — and in what it admits it never actually checked.
Early-stage, proprietary research into zeolite-catalyzed conversion pathways for sustainable aviation fuel. The theoretical framework is drafted and deposited as a preprint; the in-situ DRIFTS experiments meant to test it have not been run yet. Full mechanistic detail is not being shared publicly at this stage.
Brazil's cashew belt discards roughly ten tonnes of pseudofruit for every tonne of nut processed — on the order of 1.5–2 million tonnes a year, mostly in three of the country's poorer states. Whether that discard stream can matter for aviation-fuel feedstock is the open question the team is studying.
Pablo Nogueira Grossi (G6 LLC) drafted the theoretical framework and preprint. Zila Sousa (UERJ) and Felipe de Aquino (ASTRO34) are set to run the DRIFTS experiments — not yet performed. Confidential, early-stage IP: further mechanistic detail is withheld by design, not omission.
A source-checked chapter on cacao, tea, pepper, and sugar — four substances that moved empires, told through pharmacology as much as history. Book VI.
RNA riboswitches, NGS bridge amplification, and microtubule curvature, read through the same contact-geometric operator chain — three biological domains, not one framework stretched to fit them.
Also underway: a companion paper bridging the dm³ operator chain to ADE Dynkin diagrams and the McKay correspondence. The finite-subgroup bridge is tagged conjectural until it is proved, not before.
All seven submissions accepted: five at the XII Bienal da Sociedade Brasileira de Matemática (UFRN, Natal, Aug 3–7) — times and rooms below confirmed directly against SBM's official accepted-submissions lists — and two at the XIII LAW3M (Latin American Workshop on Magnetism, Magnetic Materials and Their Applications, organized by ALMA; Natal-RN, Oct 19–23). LAW3M's own site lists formal notifications going out July 31; session slots aren't published yet.
| Code | Session | Format | When | Where |
|---|---|---|---|---|
| EXP13 | Cimática com Máquinas: Figuras de Chladni | Exhibition | Every day, Aug 3–7 · all day | CETECH foyer |
| MC48 | Atratores Helicoidais em Variedades de Contato | Minicourse | Tue Aug 4 & Thu Aug 6 · 16:30–18:30 | E1LAB |
| CO144 | O Princípio do Cajueiro e o Livro Inglês para Pesquisadores via TOGT | Oral communication | Wed Aug 5 · 17:30–18:30 | F6 |
| P290 | Atratores Helicoidais em Variedades de Contato de Dimensão 3: EDO de Brinquedo | Poster | Thu Aug 6 · 16:00–17:00 | CCET foyer |
| OF53 | A Escada de Recorrência: Do k-nacci ao limiar τ=2 | Workshop | Fri Aug 7 · 14:00–16:00 | H3 |
| LAW3M | Contact-Geometric Theory of Generative Transitions · Seven Proofs of the Tribonacci Constant | Talk — accepted | Oct 19–23 · time TBA | Natal-RN, room TBA |
| LAW3M | Plasma Companion Star · MHD Reconnection · dm³ Saddle Geometry | Talk — accepted | Oct 19–23 · time TBA | Natal-RN, room TBA |
Five free bilingual (Portuguese/English) community workshops are planned for October 2026 through January 2027, alongside the longer-term Newark Wellness Center vision at Forest Hill. The venue has changed: Uceda School of Elizabeth closed last month, so sessions move to a wider circuit — local public libraries in the Newark/Elizabeth, NJ area, plus New York Public Library (NYPL) branches. This is a separate ask from the Natal travel above. NYFA fiscal sponsorship is confirmed for this project, but this particular appeal runs direct, outside the NYFA channel — not tax-deductible.
A separate note on the JOMO/FOMO game-theoretic model — its equilibrium fraction f* = 1 − c/δ checked against replicator dynamics — is also in preparation.
Portuguese/English workshops, free and open to any English level, October 2026 through January 2027, meeting across a wider library circuit — local public libraries in the Newark/Elizabeth, NJ area, plus New York Public Library (NYPL) branches. The reading text is Book 3 of Principia Orthogona (“The Mini-Beast”), billed C1→C2 English for Researchers — built for exactly this kind of bilingual, concept-first language learning.
Read Book 3, Ch. 1 — The Cajueiro Principle →
Interested learners and bilingual facilitators (educator, social worker, artist — anyone who works with immigrant adults or youth in Newark): grossiatwork@gmail.com
Open calls on two fronts: Lean 4 / Mathlib4 formalization work on the AXLE proof library (open obligations, sorry-closing, new theorem ports), and domain-expert pilots carrying the dm³ operator chain into other fields — biotech, architecture, neuroscience, climate, urban planning, the arts. Co-author the cross-domain volume or lead a pilot in your field.
grossiatwork@gmail.com