Safety, Correctness, and the Shape of Reasoning. - Teodorescu, Lucian Radu (Overload, 2026)