publications

Guided Tours

Structural falsification guides and Lean verification companions — 56 pages of whitepapers plus 7 native Lean 4 tour modules.

7 whitepapers
One per book, identifying 5-8 load-bearing hinges with exact attack vectors and survival analysis.
7 Lean companions
Native Lean 4 modules mapping 49 structural hinges to their machine-checked formalizations.
8 interactive tours
Step-through modules in TauLib for mathematicians, physicists, biologists, philosophers, and skeptics.

Guided Tour Whitepapers

Seven LaTeX whitepapers (56 pages total), each identifying the 5-8 structural hinges of one book:

Book Pages Hinges Key Attack Vectors
I 6 7 Axiom independence, Hyperfact counterexample
II 7 7 Ghost function, break Mutual Determination
III 8 6 Construct E₅, break sector template
IV 7 7 Falsify α formula, mass ratio wrong
V 8 8 CMB-S4 kills r=ι_τ⁴, direct DM detection
VI 9 7 Living system without SelfDesc
VII 11 7 Construct E₄, cross the boundary

Available as PDF downloads at panta-rhei.site.

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: