publications
White Papers
Technical white papers supporting the research program — falsification pack, Lean verification report, reviewer's dossier, and more.
Falsification Pack
220+ quantitative predictions with precision claims, pre-registered for CMB-S4.
Lean Verification Report
TauLib: 450 modules, 125,771 lines, zero sorry in Books I-VI.
Reviewer's Dossier
Factual substrate for institutional evaluators.
Available White Papers
| Document | Pages | Audience | Download |
|---|---|---|---|
| Falsification Pack | 8 | Physicists, experimentalists | |
| Lean Verification Report | 6 | Formal methods, mathematicians | |
| Reviewer’s Dossier | 4 | Journal reviewers, evaluators | |
| Reader’s Guide | 3 | All readers | |
| Series Prospectus | 23 | Academics, institutions | |
| Seminar Abstracts | 4 | Seminar organizers | |
| Category τ at a Glance | 1 | Everyone |
All white papers are available as free PDF downloads.