光谱点
ADLC相: C1 (P1门)
审计缺乏具体核查方法的接受标准.
每个接受标准必须注明将如何检查它——一个测试文件,一个测试文件
命令,其输出被断言,明确 verify: 标签,一个 assert
声明,或 exit code 参考文献。 没有一条标准 愿望。 。 。 .
希望在2号出口被标记 屏蔽CI,直到锁定目标.
使用量
spec-lint <spec.md> [--llm] [--json] [--prompt-only] [--record --ticket <id>]
旗帜
| 旗帜 | 说明 |
|---|---|
--llm | 运行廉价的LLM通过VERIFIED标准来捕捉空闲方法("工作正确","运行测试"). 降职标准成为WISH. 需要一个提供者env var(见核心). |
--json | Emit机器可读JSON(用于管弦乐手). 所有其他输出都被压制. |
--prompt-only | 打印准确的 LLM 提示并退出 0 。 使用零 API 键工作——将粘贴入任意的吊带. |
--record | 在经过的跑道,记录 spec-lint 进入 .adlc/manifest.jsonl 通过 gate-manifest,散开 <spec.md> 进入它。 要求数 --ticket ——无约束记录可以满足另一张票的P1门. 从不记录一个失败的(包含WISH)运行. |
--ticket <id> | 将记录条目绑定在(需要使用) --record) (中文(简体) ). |
退出代码
| 代码 | 含义 |
|---|---|
0 | 出入口——每个验收标准都称核查方法. |
1 | 操作错误——文件缺失,无法读取,或LLM呼叫失败. |
2 | 门失败——一个或多个标准是愿望(行号被打印出),或者光谱表示根本没有接受标准. |
核查方法是什么?
一个标准是 已证实 如果其案文包含下列内容之一:
- 类似命令或断言的反向跨度:
`npm test`, (中文(简体) ),`curl -s ... | jq .`, (中文(简体) ),`stripe-test --card=valid`,或者一个赤裸的跨度 紧接前的用词像 "验证通过"/"跑". 赤裸的反链条跨度, 没有类似命令的内容( 如文件名) 顺便提到,`vitest.config.ts`)为 没有 仅此而已. - 路径匹配
*.test.<ext>或者说*.spec.<ext>数字 :auth.spec.ts verify:或者说verified by随后是文本test:随后是文本- 短语
exit code - 词
assert
其它的都是个 冰岛。 。 。 .
在找到标准的地方
标准摘自:
- 清单项目 (单位:千美元)
-, (中文(简体) ),*, (中文(简体) ),1., (中文(简体) ),- [ ], (中文(简体) ),- [x]在任意标题下匹配/acceptance|criteria|requirements|definition of done|success/i- 这包括文字 标记下行向 (## Acceptance Criteria)或只用粗体的伪头条 (单位:千美元)**Acceptance criteria**:) (中文(简体) ). 列表项所包裹的续行(缩进,非横行, 新的列表标记/标题)被加入同一逻辑标准之前 分类,匹配标记下渲染器处理单一列表项目的方式. - 独立行 从开始
MUST或者说SHOULD(任何地方在文件中)
LLM 降级(--llm)
甚至严格标准也可能是空洞的。 "运行测试和验证 它的工作正确"
包含回击命令,但不会传达任何可检查的命令。 这个 --llm 旗帜发送
验证标准,要求它找出空虚的方法
返回 a { vacuous: [indices], reason: {...} } JSON对象. 含糊不清的标准
降为WISH.
使用 --prompt-only 在不拨打任何 API 电话的情况下获得精确的提示
用于测试、审计或粘入不同的模型.
JSON 输出
{
"file": "spec.md",
"total": 5,
"verified": 3,
"wishes": 2,
"criteria": [
{ "line": 8, "status": "VERIFIED", "text": "...", "reason": "..." },
{ "line": 9, "status": "WISH", "text": "...", "reason": "no verification method found" }
]
}
示例
# Run gate — exit 2 if any wishes
spec-lint docs/spec.md
# Machine-readable for CI
spec-lint docs/spec.md --json
# Inspect LLM prompt without API key
spec-lint docs/spec.md --prompt-only
# Full LLM-backed demotion pass
ANTHROPIC_API_KEY=sk-... spec-lint docs/spec.md --llm
与兄弟姐妹工具的关系
- C2 尸检前 ——通过分镜后,用一分镜对核定分镜进行压力测试 前沿模型(死后框架).
- C3 冷启动 – 平板空隙分析; spec-lint 门 spec, cold start 门个人票.
- C11 门外 - 货单上应附上货谱显示的结果 门开后分类账.
核心差距
无。 所有需要的功能(complete, (中文(简体) ), extractJson, (中文(简体) ), parseArgs, (中文(简体) ),
pass, (中文(简体) ), gateFail, (中文(简体) ), opError, (中文(简体) ), printJson, (中文(简体) ), promptOnly)在核心中存在.