G's life's work on lucid.rodeo — axioms, kill switches, runnable proofs, and Lucid offline. A claim is only worth as much as it can survive being questioned.
Offline, in your browser. Reasons over the 420 corpus before Wikipedia — cite or refuse. No server, no OpenAI.
The Five Doors and the full exhibition — PDFs on the420code.org, EPUB + online readers here, prerendered voice (plum while rendering).
Ask the Lucid brain; hear the cite-or-refuse answer in G’s voice. Voice and account provided by G — CongoSky TTS.
The long form: pillars, honest limits, receipts, and why this lives on CongoSky. Ambition labelled as ambition.
Aim the 420 axioms at Michio Kaku's string-theory picture — Independent, Compatible, Tension, Contradiction.