This month a sweep checked every “verified in Lean / zero sorry” claim across the series against the actual proof files. Two failed. A chapter on Susumu Kitagawa’s metal–organic frameworks cited a Lean file that does not exist — and the theorem it “verified,” that a metal’s coordination number fixes the framework’s topology, is itself false: the standard RCSR catalogue lists hundreds of distinct nets on the same coordination number. The theorem was restated to what is true — connectivity constrains the possible nets, it does not choose one — and the phantom citation withdrawn.
The second was sharper. A dark-matter file opened with the line “Status: FULLY VERIFIED (zero sorry blocks)” while carrying seven open sorry and five standing axioms. The genuine part — that the Tribonacci constant exceeds one and its inverse-power weight pulls mass inward — is real and kernel-checked, but in a different file (TribonacciMeasure.lean, zero sorry, zero custom axioms). The page now says precisely that: mechanism verified, the density-ratio step open, the headline number numerical.
The recurring fault was a citation that rots — a filename with no findable file behind it. The remedy adopted with this issue: paste the verified theorem inline, on the page, so the claim carries its own proof.
▸
▸
▸
▸
▸
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. New this week: a route to fund those runs — New Jersey's CSIT R&D Voucher (up to $40,000 for instrument time and technician support at an approved NJ core facility) covers exactly this kind of in-situ measurement, and NJIT's analytical-chemistry facilities qualify. A scope is drafted; the facility confirmation is the next call. Funding avenue, not secured.
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