重写一致性审计

基于证据重新推导代码重写的等价性，将验收探针、契约见证和账本保证映射为测试并执行全新运行，拒绝过时或存根结果。适用于 /rewrite:verify 评分切片时。