目标
实现 TDD 模式判定纯函数,覆盖 Spec Section 4.3 完整真值表。
实现要点
Evaluator 函数 (
src/flowrun/evaluator.ts)typescriptevaluateTddCompliance(policy: TddPolicy, evidence: TddEvidence): EvaluationResult- 输入:冻结的
TddPolicy+TddEvidence - 输出:
EvaluationResult(pass/fail/waived + warnings) - 不访问文件系统、网络或任何运行时状态
- 输入:冻结的
核心规则
strict:至少一个 TDD criterion;每个 TDD criterion 被 cycle 覆盖;cycle 状态为passrelaxed:仅要求 regression 为pass,不检查 cyclebypass:要求全部 alternative validation 为pass,返回waivedverification: regressioncriterion 由 final regression 覆盖verification: manual仅允许 bypass,需要审批引用- Advisory 模式:缺 evidence 不阻断,仅产生 warning
- Runtime 模式:缺 evidence 阻断
测试覆盖
- strict + advisory → pass with warnings
- strict + runtime + 所有 criterion 有 cycle → pass
- strict + runtime + 缺一个 criterion cycle → fail
- relaxed + advisory → pass with warnings
- relaxed + runtime + regression pass → pass
- bypass + runtime + 替代验证完成 → waived
- bypass + runtime + 替代验证缺失 → fail
验收标准
- [ ] 真值表全部 8+ 组合覆盖
- [ ] 纯函数,可离线测试
- [ ]
npm run typecheck通过
Worktree
- 路径:
.worktree/tdd-b2-evaluator/ - 分支:
feat/tdd-b2-evaluator