用途:诊断并修复 Fallow 的误报(false positive)或漏报(false negative),从复现到真实消费者验证形成完整闭环。
主要流程与能力:
- 复现:在当前 main 上用 --format json --quiet 复现,保存一条能展示错误结果的命令;在该命令存在前不要改代码。重启或更新后先清除 .fallow/ 缓存。
- 最小化:在不丢失行为的前提下缩减为最小 fixture。
- 假设:写 3 到 5 条排序假设,每条都能被一次探测证伪;每次探测只验证一条假设。
- 追踪:沿 extract、resolve、graph、reachability、analysis、suppression、filters、report assembly 逐层追踪该发现。
- 修复:修复最早出错的那一层;修模式而非修个例(测试证据见 docs/development/quality-gates.md)。若 3 次修复失败,停止并写下它们共有的前提,在第四次修复前质疑该前提。
- 回归:添加一个在未修复时会失败的回归测试。
- 验证:在清除 .fallow/ 缓存的真实消费者项目上运行修复后的二进制,比较新旧输出。
- 评审:让受影响的表面评审者进行 review。
限制:当语义模型需要更广泛的修正时,不要围绕单个 fixture 调整预期输出。资料未提供具体命令示例、安装方式、支持平台与收费信息。