用途:协作编写 nlspec 规格文档。使用前先加载 spec-writing 标准,其中定义了本文所用术语;产出物为 nlspec,使用前需经 spec-review 审查。
主要流程:
- 目标:用 /grilling 访谈 HITL,明确范围、受众、高层目标与成功标准,不追问细节;起草 Overview 与 Goals 并迭代至 HITL 认可。
- 分解:先提出单元(cell)与接缝(seam),不含契约细节;对每个接缝应用 Parnas 检验,判断变更理由是否不同;以单元列表加文件树草图呈现,与 HITL 细化,并为每个单元分配预算。
- 契约:按接缝逐个加固契约,外部接缝优先,使用记法标准;每个实质性的新公开概念都需 HITL 批准。
- 声明与排除:编写完成定义,将每条声明归类为单元内或集成,并列出其经过的单元;若多数声明仅为集成,回到第 2 步;随时记录排除项,HITL 拒绝的内容即为排除候选。
停止规则:仅当答案会落入 nlspec 自身章节时继续提问。若下一个答案可能改变接缝、声明、预算或排除项,须先回答再停止;若只会改变单元内部,则不问,因为那属于可推导跨度,提前回答属于臆测。连续两轮访谈只出现可推导材料后,编写结束。问题不会穷尽,但能移动接缝的答案会。
未决问题:有意识未回答的难题记入 Deferred Decisions 章节。跨度在规格生命周期内通过两个泵维持,而非在编写时穷尽达成;当某个切片真正遇到该问题时再回答,并仅在问题出现时付出成本。
交接:草稿在支配任何工作前先运行 spec-review;对重要规格,可通过 /request-adversarial-review 为 HITL 提供独立审查。
限制:资料未提供具体安装命令、平台支持、收费或价格信息。