Anacardium occidentale · Pirangi-RN · 8.500 m² · one organism
A healing walking meditation. An acoustic machine. A bilingual exhibition. A community in formation. The cajueiro establishes itself in difficult soil — branches, touches the ground, re-roots, becomes new trunks. One organism. 8,500 m².
Not a hierarchy, not a ladder — four surfaces of the same mathematical object, each of which you can enter first. They are Ler, Simular, Provar, and Ensinar — to read, to simulate, to prove, to teach. They travel in Portuguese through every Level. Meet them once, in the legend below, and afterward they will carry you.
Every Level offers all four faces. Each closes by leaving one open problem in your hands. Not because the book forgot to solve it — because that is how the book knows you are learning. This is Axiom 9, Honest Incompleteness, made didactic.
You, the reader, this book will call camarada — companion in the circle. When a Level hands you back an open problem and you carry it out of the book, the sound of your work returning to the roda has a name in Portuguese: ressonância.
Não é hierarquia, não é escada — são quatro superfícies do mesmo objeto matemático. Ler, Simular, Provar e Ensinar. Atravessam todos os Níveis sem tradução.
As quatro faces respondem às quatro cores do encadeamento operatorial: C · Comprimir (Ler), K · Curvatura (Simular), F · Filtro (Provar), U · Desdobrar (Ensinar).
O cajueiro é a meditação de caminhada. A raiz aérea toca o solo, se enraíza de novo, se torna novo tronco. Um organismo. Esta é a prática: comprimir até a semente, sentir o solo, cruzar o limiar, desdobrar para a copa. C K F U. Cada passo é um operador.
A caminhada da rua Tiffany Blvd até Forest Hill, é uma passagem completa do operador G = U ∘ F ∘ K ∘ C. Coloque o som. Comece a andar.
Cada Nível se fecha deixando um problema em aberto nas suas mãos — não porque o livro esqueceu de resolvê-lo, mas porque é assim que o livro reconhece que você está aprendendo. Isso é o Axioma 9 (Incompletude Honesta) feito didática.
Você, leitor, este livro chama de camarada. Não aluno, não pupilo. Companheiro na roda. Quando um Nível devolve um problema em aberto e você o carrega para fora do livro, o som do seu trabalho voltando à roda se chama ressonância.
The former Delaware, Lackawanna & Western Railroad Boonton Line runs past 90 Tiffany Blvd. The street is named for the Tiffany & Co. manufacturing plant that stood at Forest Hill station — where American silver was made, where the train served the factory, where the station planned a subway connection that was never built. Passenger service abandoned in 2002. Now proposed as the Ice & Iron Greenway. Put the soundworks on. Begin.
The soundworks is the score for this walk. Play it before you come. Play it while you walk. After you donate, you are invited to visit the cajueiro — the physical installation (in person from spring 2027; venue to be announced, as we look for school partners) and, when it opens, the homebase at Forest Hill.
Five teaching stages, from seed to canopy. Each has a name, a count, a place on the walk, and a place in the learning body. The g-series is a teaching taxonomy — its fold core proved in Lean 4, walked in Newark, taught in the book.
The g-series is a teaching taxonomy with a proved core. What is proved (Lean 4 / Mathlib, no sorry): the fold and its hysteresis — the branch lifetimes, the jump and the bistable window (FoldHysteresis.lean), and the square-root law near a fold (FoldScaling.lean). What is not: GCTC's Chain.lean rests on two axioms that are false as stated, both refuted in GSeries.lean; its poincare_collatz_contracting gives 33 no special role; and T1 is not proved. The numbers 0, 2, 6, 33 and 64 are teaching labels; the canonical version, with both layers and the field-by-field statuses, is The g-series. (Corrected in Book 3 v2, 2026-09-26; version 1 called the taxonomy formally verified with no axioms beyond Mathlib.)
Does the GCM/TO/TOGT operator framework, applied honestly, say anything new about which rational approximations arise naturally within its structure?
The answer is: partly. The G-cycle provides a clean, explicit route to the Rhind Papyrus approximation — recovering an ancient result via a single deterministic operator pass. The dm³ stability conditions confirm that the Rhind compression ratio is admissible in the basin sense but do not select it. A proposed selection functional 𝒞_rat has the continued-fraction convergents of π as its minimizers — but whether iterated G generates those convergents as outputs remains an open problem, honestly marked sorry in the Lean formalization.
One operator. Any domain. Foundations that hold to g⁵-hyper-Mahlo.
No other framework makes all three claims.
3–7 agosto 2026. UFRN, Natal, Rio Grande do Norte. Five bilingual submissions — come to the exposition, the minicurso, the oficina. Bring your students. Bring your research. The Cajueiro de Pirangi is 20 km from the campus. Everything is free and open to the public.
The moon cajueiro is the digital expansion: soundworks, Lean 4 formalization, Web Audio engine, bilingual education platform. The homebase is the physical one: Forest Hill. We need contributors for both. All code MIT licensed. All educational materials CC BY-NC-ND 4.0.
Portuguese/English facilitators for the Cajueiro Workshops. Newark and Elizabeth NJ. In-person workshops are postponed to spring 2027 (venue to be announced); a video version is being recorded at Made @ NPL, the Newark Public Library makerspace, on 5 November 2026, for YouTube. Educator, social worker, artist — if you work with immigrant adults or youth in Newark, we want to talk.
Close the kappa_lipschitz sorry in AXLE (Lean 4 + Mathlib4). Extend the dm³ Web Audio engine. Build the interactive Chladni simulator for the Bienal exposition. github.com/TOTOGT/AXLE
Test the TOGT didactic framework in your domain — biology, finance, architecture, nursing, music. The Mini-Beast (Vol. III) has 33 task cycles ready to deploy. Partner institutions in Brazil, India, Portugal, and the US invited.
Forest Hill, Newark. The vision: a wellness center, sound studio, workshop space, and community garden along the Boonton Line greenway corridor. Architects, urban planners, community builders — open call.
Tier 1: Portuguese, Russian, Hindi, Mandarin. Tier 2: Spanish, Arabic, Bengali, Tamil. The series has a 40-language roadmap. Translators, educators, and ministry contacts invited. All translations CC BY-NC-ND 4.0.
Newark Arts ArtStart applied. Fiscally sponsored by the New York Foundation for the Arts (NYFA; project page). NJSCA fellowship June 2026. Dodge Foundation LOI July 2026. NSF DRL Q3 2026. Reach out: g6llc@proton.me
The seed tends to a forest with a home. The cajueiro does not plan the canopy — it becomes one. 90 Tiffany Blvd is where the root is. Forest Hill is where it reaches.
The caju forest in Forest Hill, then on the moon.
We dream big.
Tiffany Blvd is named for the Tiffany & Co. manufacturing plant that stood at Forest Hill station on the Boonton Line — where American silver was made from 1877, where the rail served the factory, where early 20th-century planners designed a Newark City Subway connection that was never built. The homebase is planned for Forest Hill. When the Ice & Iron Greenway opens, the walk from this building to Forest Hill will be a public meditation trail. That walk is the practice. That walk is the operator. G = U ∘ F ∘ K ∘ C.
Current funding: Newark Arts ArtStart 2026–27 (applied) · NYFA fiscal sponsorship (in place; project page) · NJSCA Individual Artist Fellowship (applying June 2026) · Dodge Foundation LOI (July 2026) · Personal funds confirmed · Venues: public libraries in Newark, Elizabeth and New York City
G6 LLC · EIN 33-2880433 · Fiscal sponsor: New York Foundation for the Arts (NYFA) · g6llc@proton.me
The former Delaware, Lackawanna & Western Railroad Boonton Line. Passenger service abandoned in 2002. Proposed as the Ice & Iron Greenway — Montclair to Jersey City waterfront, through Glen Ridge, Bloomfield, Belleville, Newark North Ward, Kearny. The Tiffany & Co. factory stood at Forest Hill station. The homebase is planned for Forest Hill. The walk between them is the operator.
One day we hope to walk the line.