Machine-verified foundations of modified gravity, relational geometry, sovereign semiotics, and governance runtime.