验证重写

验证重写切片是否符合义务：执行预检、捕获最新测试证据、审计翻译腔与一致性，并更新账本。在 /phx:work 完成重写后或声称达成一致性前使用。