GOLDEN SUNFLOWERS
PhD on φ-Numerics for Neural Network Training
Anchor: $\varphi^2 + \varphi^{-2} = 3$ · TRINITY · v3.0 MEASURED HARDWARE · 🌻
This online edition is synced live from Neon SSOT (schema=ssot).
Every chapter body lives in ssot.chapters.body_md; agents that complete a
ONE SHOT directive update the row, and a GitHub Action rebuilds this book.
Three evidence axes
- Empirical — BPB benchmark vs FineWeb · multi-agent IGLA RACE · pre-registered seeds
- Formal Verification — 297 Qed in t27/proofs/canonical/ · 38 bundles · 11 IGLA invariants · 28 falsification examples · CI-gated
- Hardware — QMTech XC7A100T Artix-7 · 0 DSP · 63 toks/sec @ 92 MHz · 0.94–1.07 W bench · 5.8 / 19.6 % LUT · 9.8 / 52 % BRAM · 1003 toks HSLM sim-verified
Sources of truth
| Layer | Link |
|---|---|
| Coq SSOT | t27#569 |
| Master Book v3.0 | trios#380 |
| Coq Census | trios#373 comment |
| SSOT issue | trios#372 |
| Live Dashboard | phd-dashboard.up.railway.app |
| Download PDF | t27.ai/pdf/full (compiled live by tectonic) |
Sanctioned seeds
{F₁₇=1597, F₁₈=2584, F₁₉=4181, F₂₀=6765, F₂₁=10946} ∪ {L₇=29, L₈=47}
Forbidden seeds: {42, 43, 44, 45} (never used).
R5-honest disclosure
297 Qed proven · 41 Admitted (Coq.Interval upgrade lane) · 11 Abort (no silent merges).
AI-as-author forbidden — only AI-assisted code generation in Acknowledgments.
phi^2 + phi^-2 = 3 · TRINITY · NEVER STOP 🌻