Proof Infrastructure Index
All modules below are standalone. No conjectural inputs. Scope fences are explicit in each file.
CLR final-wall-fo-k-locality/clr Status: Proven (ZFC, explicit constants)
Archimedean Kernel Rigidity archimedean-kernel-rigidity Status: Proven on dense Paley–Wiener domain; extends by closure
BSD Spectral Leap bsd-spectral-leap Status: Proven (curve-wise; uniformity not assumed)
Hodge Rigidity hodge-rigidity Status: Proven for admissible mixed variations