Yes. Prove is a step in the loop, not an afterthought. Every action is logged with a plain-language reason and an undo path.