Proof-Carrying Self-Modification
A training loop in which every weight update a model proposes for itself must carry a machine-checkable proof that the constitution survives the change. Self-improvement stopped being a leap of faith and became an engineering discipline — auditable, reversible, and boring in exactly the right way. This paper is why the ledger exists, why AEGIS exists, and why the lights are still on.