Doctor of Philosophy · Trinity Research Programme · v5.21.3
Flos Aureus
A Trinity Framework for the Golden Ratio: Mechanized Proofs, Empirical Anchors, and a Coq-Bounded Neural Architecture Search.
φ² + φ⁻² = 3
La natura è piena di ragioni che sembrano numeri.Leonardo da Vinci
The Identity
The whole monograph rotates around φ²+φ⁻²=3 — proven in 331 Coq theorems across 44 .v files, with zero free parameters.
Mechanized Proofs
Every numerical claim is bridged to a Coq theorem via the runtime invariant map (App. F), regenerated weekly.
Empirical Anchors
BPB<1.85 Gate-2 + BPB<1.5 Gate-3 reproduced on RunPod GPUs with the tri-gardener orchestrator and pre-registered ASHA rungs.
Coq-Bounded NAS
Neural architecture search where every candidate is gated by a formal proof before it touches GPU minutes — invariants block invalid topologies at ingest.
DMITRII VASILEV · Doctor of Philosophy · Department of Computer Science / Trinity Research Programme · Defense 2026-06-15 SPbGU · 734 p EN · 725 p RU · 154 illustrations · 212 references