日常工作知识库

Appearance

🛡️ SpecFlow Loop Harness 门禁自愈与多节点循环回溯架构规范 ​

在传统的 AI 辅助编程或轻量级 Agent 工作流中，AI 生成的代码往往止步于“一掷性生成（One-shot Generation）”。当生成的代码存在语法错误、安全漏洞或未能覆盖边缘单元测试时，流程往往中断并依赖人工排查。

SpecFlow 在架构设计上引入了 Loop Harness（门禁驱动反馈自愈循环引擎）。Loop Harness 并非仅仅应用于 P4 单测阶段，而是作为贯穿 P1~P5 研发全生命周期 的核心治理设施。

📌 一、 Loop Harness 在 SpecFlow P1~P5 节点的分布全景 ​

⚙️ 二、 4 大 Loop Harness 核心回溯机制详解 ​

1. P1 / P2 契约与架构合规 Loop Harness ​

  • 触发条件：当解析输入的自然语言需求或美事在线文档时，若提取出的契约缺少“金融级金额 BigDecimal 传输”标记、缺少安全鉴权要求或 AC 测试场景为空。
  • 回溯动作：Harness 捕获缺失项，阻止向 P3 推进，重新提示 Agent 补齐 specify.spec.md 与 plan.md 的 5 维矩阵描述。

2. P3 AI 编码静态 AST 反馈 Loop Harness ​

  • 触发条件：AI 在实施编码时，若产出的 Java/Vue/Node 代码中存在硬编码密钥、浮点金额直接算术加减、空 catch 异常块或未导入相关依赖包。
  • 回溯动作：Harness 静态 AST 分析器抓取具体的 Error 行号与上下文，将 Error 作为 Prompt 规则反馈给 AI 进行针对性物理重构，直到源码编译通过且 0 违规。

3. P4 单测覆盖率强回溯 Loop Harness (Testcase Harness) ​

  • 触发条件：在 P4 运行单测引擎后，若整体覆盖率低于门禁红线（Standard 标准级 $<85%$，Strict 级 $<90%$）。
  • 回溯动作：Harness 提取覆盖率报告中的“未覆盖代码行与分支列表（Uncovered Lines & Branches）”，自动回溯并驱动 P3 补全相对应的单元测试用例，反复迭代直到单测覆盖率通过卡卡点。

4. P5 审查门禁双表扣分 Loop Harness (Review Harness) ​

  • 触发条件：在 P5 阶段运行 14 条通用审查规则（安全、空指针、性能、TypeScript 类型安全等）时，若得分 $<85$分 或存在致命级别 (Error) 问题。
  • 回溯动作：Harness 自动导出 分类/规则细分扣分表 (Category Breakdown Table)，将扣分最高的问题精准下发回 P3/P4 修复，直至评审通过并产生 0 Error 终态。

💡 三、 产研复盘与落地方向 ​

通过在 P1~P5 每一个关卡中引入确定性的 Loop Harness，SpecFlow 将原本不可控的 AI 随机输出收敛为具备自我纠偏与质量兜底的确定性工程流水线，极大减轻了 Code Review 人工审核的负担。