exact-solutions

Exact true- and false-spike known-answer controls validating amended formulas and centered reconstruction while exposing translation/periodic-domain nonclosure.

A propose → verify → evolve loop for exact solutions of Einstein's field equations — genetic programming proposes, SymPy proves (theorem or nothing). Also: proven Kaluza–Klein/thermodynamic-gravity theorems, chaos as a LISA signature, and the first Python Cartan–Karlhede equivalence-problem solver.