duck-proof - 通过反例与执行检查验证目标与实现验证测试伪证挑战代码证明更新于 2026-09-20通过反例挑战与否定假设、执行验证检查、修复问题并基于证据证明完成形态。⚙ 识别可反驳假设与反例⚙ 执行反例验证检查⚙ 按证据反驳层级修复代码