Guided Tours Publications
Structural falsification guides and Lean verification companions — 56 pages of whitepapers plus 7 native Lean 4 tour modules.
What This Family Does
Guided Tours are controlled entry points into the load-bearing parts of the program. They are shorter than the books and more technical than the homepage: each tour names the hinge, shows why it matters, and points to the place where a reader can attack it.
Use this family when you want to evaluate a book without first reading the full monograph, or when you want the Lean counterpart for a specific structural claim.
Guided Tour Whitepapers
Seven PDF whitepapers (56 pages total), each identifying the 5-8 structural hinges of one book:
| Book | Pages | Hinges | Key attack vectors | Download |
|---|---|---|---|---|
| I | 6 | 7 | Axiom independence, Hyperfact counterexample | |
| II | 7 | 7 | Ghost function, break Mutual Determination | |
| III | 8 | 6 | Construct E5, break sector template | |
| IV | 7 | 7 | Falsify alpha formula, mass ratio wrong | |
| V | 8 | 8 | CMB-S4 kills r=iotatau4, direct DM detection | |
| VI | 9 | 7 | Living system without SelfDesc | |
| VII | 11 | 7 | Construct E4, cross the boundary |
Lean Verification Companions
7 native Lean 4 modules that let you #check each hinge theorem directly. 49 structural hinges mapped to their exact formalization:
Interactive Tours
8 audience-targeted tours in TauLib (Tour/*.lean), each a self-contained Lean 4 module you can run with lake build:
- VerifyItYourself — the skeptic’s tour (5 claims, verified live)
- Foundations — 5 generators, 7 axioms, rigidity
- CentralTheorem — O(τ³) ≅ A_spec(L)
- Physics — 9 electroweak predictions
- OneConstant — full constants ledger from ιτ
- MillenniumProblems — GRH, BSD, Poincaré
- LifeFromPhysics — 4+1 life sectors, genetic code
- MindAndEthics — CI, consciousness, free will
Where to Go Next
If a tour raises a technical question, follow it into TauLib or the relevant Corpus registry object. If it raises an empirical question, follow the prediction or falsification target into Results and Verify.
Save or share this page for inspection
Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.