EvoUndo shows why capability gains are insufficient for self-modifying Agent Harnesses. Require witnessed, counterfactual recovery before merge.