A Pilot for ESL Students, STEM Teachers, and Everyone Who Suspects the Universe Runs on One Equation.
Buy the book. Get the classroom. Do the math.
This repository is the operational classroom for Book 3. You start outside it, buy the book, and then this repo becomes your workspace for the rest of the course.
Purchase The Mini-Beast (Book 3) via the IMPA Portal. Choose the eBook ($19.99) or the Complete Series ($199.99 hardback). After payment, send your GitHub username to the instructor.
You receive three things: the full PDF of Book 3 (living document, updated as the pilot expands), an invitation to the G6LLC GitHub Classroom — your personal copy of this repo — and a key to the Student Portal.
Work through the assignments/ folder. Use the Student Portal's structured LLM prompts
to guide your reading, writing, and formal verification. Push your work. Open pull requests.
Reach D1. The threshold is mathematical — you will know when you cross it.
Some material is freely available. The rest is unlocked by purchasing the book. No subscription. No expiry. Your education is yours.
book3-starter repository, accepted via GitHub Classroom. Contains all assignment starters, Lean 4 verification files, and shared resources.dm³_Operator_Formalization.lean and tubulinselectArchitecture.lean files — machine-checkable proofs of the core theorems. Run them locally against Mathlib4. Zero axioms beyond Mathlib.Access to the full PDFs and classroom is coordinated via the IMPA portal after payment verification. A lightweight NDA process applies — details provided upon contact. Questions: g6llc@proton.me
Once you accept the GitHub Classroom assignment, you get a personal fork of this repository. The structure is designed to mirror the operator sequence C → K → F → U: each assignment folder takes you one step deeper into the mathematics.
Commit your work with descriptive messages. Push before the deadline. Open a pull request if peer review is required for an assignment.
The lean/ folder contains machine-checkable proofs. You can run these locally with Lean 4 + Mathlib4. They encode the fixed-point theorem and the full selectArchitecture grammar.
Accept the assignment via the GitHub Classroom link from your instructor. Clone your personal copy:
git clone https://github.com/G6LLC/<your-repo>
21 structured LLM prompts across 7 levels — one set per CEFR stage, mapped to the operator sequence C → K → F → U. Select your level on the progress bar, copy the prompt with one click, paste into any LLM (Claude, GPT-4, Gemini). The portal does not give you answers. It teaches you to ask the right question at the right level of abstraction.
Open Sportal.html in your browser.
Click your current level on the progress bar.
Hit COPY PROMPT next to any prompt.
Paste into Claude, GPT-4, or Gemini.
Answer the LLM's follow-up. Repeat until the operator chain is automatic.
That is D1. You will know.
Threshold: Θ = g₃₃ + N × M. Portal access is included with any purchase — eBook, Complete Series, or IMPA Edition.
Two full chapters, open access. No purchase required.
In 1964, Stanisław Ulam asked what the optimal physical substrate for computation would be. Biology answered 500 million years ago — with a single 110-kiloDalton protein that self-assembles into fifteen radically different architectures from one molecular grammar, in ordinary water, at room temperature. This chapter applies the dm³ operator framework to tubulin: C → K → F → U running continuously in every eukaryotic cell alive right now.
Read Chapter T →Eugene Wigner predicted in 1934 that electrons — with nothing holding them together but their own mutual repulsion — would freeze into a crystal at low enough density or temperature. It took until 2021 to see it directly. This chapter shows that Wigner crystallization is a dm³ generative transition, extends the Coherence Bridge parameter table to a seventh domain, and explains what the 2024–2025 moiré imaging results are actually showing.
Read Chapter W →Purchase The Mini-Beast to unlock the full classroom — Book 3 PDF, GitHub Classroom access, Student Portal prompts, and Lean 4 verification files.
Questions? Email g6llc@proton.me or open an issue in the classroom repo.