渐进验证
wescode 的 QualityGate 验证体系:从 L0 到 L2.5 的渐进验证。
验证层级
| 层级 | 名称 | 机制 | 自动化 |
|---|---|---|---|
| L0 | 语法 | 编译 / lint | 全自动 |
| L1 | 构建 | go build / npm run build | 全自动 |
| L2 | 测试 | go test / npm test | 全自动 |
| L2.5 | 行为基线 | 运行时行为比对 | 半自动 |
QualityGate
CellSpec.QualityGate 提供 AI 编辑后的自动验证:
工作流程
- AI 完成一组编辑
- QualityGate 自动运行验证命令
- 验证失败 → 反馈给 AI 继续修复
- 验证通过 → 编辑确认
验证命令
验证命令在 PrimaryRoot(VS Code 项目根)下执行:
QualityGate: func(ctx context.Context, cell *wesgine.Cell) error {
// go build / go test / npm test 等
return runVerification(ctx, cell)
}
BenchMode 禁用
wescode bench 设置 BenchMode=true 时:
- QualityGate L2 自动验证禁用
- EditPatrol 禁用
- bench 使用自有
verify_cmd
L2.5 行为基线
行为基线是 wescode 的差异化能力:
核心问题
测试绿了,但行为变了
传统测试只验证"断言通过",不验证"运行时行为是否与上次一致"。
解决思路
- 记录 AI 编辑前的运行时行为快照
- AI 编辑后重新运行,比对行为差异
- 差异报告给用户决策
EditPatrol
监控 AI 编辑的额外安全网:
- 检测 AI 是否修改了不应修改的文件
- 检测 AI 是否引入了非预期的依赖
- 在
BenchMode下禁用
相关文档
- 编辑引擎 →
edit-engine.md - 基准评测 →
bench.md - CycleDetector →
cycle-detector.md