修复轨迹回放验证通过模拟在相同执行状态下仅依据抽象化后的问题描述重新运行修复轨迹中的关键步骤，检查是否能达到相同的修复结果。