PDD Kit 方法论：用变异测试验证每条规格条款的有效性

PDD Kit 的工作顺序是先确定意图、编写检查，再由 AI 智能体构建实现。其变异测试会为每条规格条款植入一个 bug，例如让系统拒绝所有用户，并要求 Verus 逐个拒绝这些变异体，以验证规格条款确实能约束实现。