Spec Kit：从可测试意图到可追踪验收
做一个仅追加的收敛记录器，再考虑连接编码助手
用纯合成模型练习保留既有任务、分配新编号和追踪缺口，把评估与修改代码分开。
做一个仅追加的收敛记录器，再考虑连接编码助手知识学习CN编辑简报更新 2026-09-14
你将学会
- 模拟写入约定，不虚构智能评估器
- 显示来源引用和模型限制
- 把记录器做成能读懂的审阅辅助
开始前需要
- 了解基本需求、Git 与测试
- 分清本地开发和应用部署
追踪小功能从意图到证据的过程，区分流程约定与已验证行为。
先看结论
- 保留行为与语义评估应分开测试。
- 来源引用说明新增任务为什么存在。
- 合成追加模型不能证明助手一定守规。
模拟写入约定，不虚构智能评估器
一个有用的学习项目可以接收既有任务文本和已经审阅的合成发现，预览将追加的收敛阶段。它不推断需求、不扫描真实代码，也不决定功能是否正确。这样可以把格式与保留行为，从更困难的语义评估中分离出来。
上游指令要求新编号高于既有最大编号，新阶段位于已有阶段之后，并保持早先任务不变。没有可执行发现时，tasks.md 应逐字节保持原样。这些都是无需助手就能由小模型测试的具体约定。
显示来源引用和模型限制
配套模型接受受限 Markdown 任务格式，以及包含来源、缺口类型和严重级别的已审阅发现。它先排列项目原则违规，再按严重程度排序、分配编号并返回新字符串。对于格式错误的发现，它明确拒绝，不假装能修复任意输入。
十二个合成案例覆盖无修改输出、既有编号与阶段、来源追踪、排序、非法输入和输入保留。这是教学模型，不是上游实现或完整 Markdown 解析器，也不能保证真实模型会遵守仅追加指令。
把记录器做成能读懂的审阅辅助
用表格列出来源引用、观察到的缺口、拟追加任务和验证状态。这里文本追踪关系最重要，小型前后对照比装饰性的三维场景更有帮助。未知观察应保留，发现需要由审阅者批准。
后续集成可以从沙箱项目采集证据，但文件写入、助手执行和发布仍应分成明确步骤。这里的原型不联网，不改真实任务文档，也不创建仓库问题单或发行版。
如何选择
| 比较维度 | 方案 A | 方案 B |
|---|---|---|
| Best when | You need predictable behavior and easy auditing | You need adaptive optimization and have reliable telemetry |
| Main risk | May leave performance on the table | Can become difficult to explain or debug |
实施步骤
- 1
准备合成任务文本和已审阅发现。
- 2
验证无发现时输出完全不变。
- 3
预览编号、排序和来源引用。
- 4
第一版不连接真实修改或智能评估。
可复制示例
json
{
"教学模型": true,
"既有任务": "T007",
"发现": {
"来源": "FR-002",
"缺口": "缺失",
"严重级别": "高"
},
"下个任务": "T008",
"真实文件写入": false,
"语义评估": false
}常见问题
记录器会自动发现实现缺失吗？
不会，它接收已经提供的合成发现。
它会运行 Spec Kit 或写 tasks.md 吗？
不会，它是纯字符串模型，不执行上游代码或真实文件写入。
资料来源
- Spec Kit / templates/commands/converge.md来源核查 2026-09-14