28 lines
1.1 KiB
Markdown
28 lines
1.1 KiB
Markdown
---
|
||
created: "2026-03-20 10:02"
|
||
type: zettel
|
||
tags: [zettel, claude-code, verification, methodology, ai-quality, gsd]
|
||
source: "https://github.com/gsd-build/get-shit-done"
|
||
---
|
||
|
||
# 目标回溯验证 vs 正向任务检查
|
||
|
||
传统软件验证是正向的: "任务 1 完成了吗？任务 2 完成了吗？全部完成 = 目标达成。" 这隐含假设任务列表是完备的。
|
||
|
||
GSD 的目标回溯验证(Goal-Backward Verification)反转方向: "用户应该能做什么？这个能力在代码中存在吗？不仅存在，还是真实实现（非桩代码）？不仅实现了，还与系统连接了？"
|
||
|
||
四级验证层次:
|
||
1. Exists — 文件在预期路径
|
||
2. Substantive — 真实实现，非 TODO/placeholder
|
||
3. Wired — 与系统其他部分连接（import 被使用，API 被调用）
|
||
4. Functional — 实际调用时能工作
|
||
|
||
这对 AI 生成代码尤其重要: LLM 擅长生成"看起来正确"的代码（通过 Level 1-2），但经常遗漏连接（Level 3）。GSD 的桩代码检测模式专门针对这一弱点。
|
||
|
||
---
|
||
|
||
## Related
|
||
|
||
- [[GSD 方法论与最佳实践]]
|
||
- [[Hook驱动优于提示词驱动]]
|