Unlock: Alignment Under Self-Modification: What Must Survive the Next Update

When a system changes its own weights, tools, memory, or evaluators, earlier safety evidence can stop applying. This page tracks a successor as a full configuration, proves what an inductive invariant guarantees under adaptive updates, derives a lifetime false-approval bound by error spending, gives an anytime-valid betting test for a failure rate, and separates approval error from operational exposure.