@peterxiaoyang/superspec 0.1.3 → 0.1.5

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (34) hide show
  1. package/adapters/codex/agents/architect.toml +4 -148
  2. package/adapters/codex/agents/code-reviewer.toml +4 -166
  3. package/adapters/codex/agents/critic.toml +5 -106
  4. package/adapters/codex/agents/test-engineer.toml +4 -154
  5. package/adapters/codex/agents/verifier.toml +4 -110
  6. package/dist/src/cli.js +15 -2
  7. package/dist/src/cli_args.d.ts +6 -0
  8. package/dist/src/cli_args.js +143 -16
  9. package/dist/src/gates.d.ts +1 -1
  10. package/dist/src/gates.js +3 -19
  11. package/dist/src/i18n.js +4 -3
  12. package/dist/src/init_cli.d.ts +2 -1
  13. package/dist/src/init_cli.js +31 -17
  14. package/dist/src/packet_measure.d.ts +43 -0
  15. package/dist/src/packet_measure.js +395 -0
  16. package/dist/src/packet_render.d.ts +4 -0
  17. package/dist/src/packet_render.js +652 -0
  18. package/dist/src/packet_schema.d.ts +55 -0
  19. package/dist/src/packet_schema.js +1 -0
  20. package/dist/src/project_init.js +7 -49
  21. package/dist/src/util.d.ts +21 -2
  22. package/dist/src/util.js +238 -6
  23. package/dist/superspec.js +4 -3
  24. package/package.json +2 -2
  25. package/templates/workflow/prompts/architect.md +16 -109
  26. package/templates/workflow/prompts/code-reviewer.md +17 -137
  27. package/templates/workflow/prompts/critic.md +18 -75
  28. package/templates/workflow/prompts/test-engineer.md +16 -126
  29. package/templates/workflow/prompts/verifier.md +17 -80
  30. package/templates/workflow/skills/superspec-apply/SKILL.md +65 -77
  31. package/templates/workflow/skills/superspec-archive/SKILL.md +42 -36
  32. package/templates/workflow/skills/superspec-explore/SKILL.md +64 -76
  33. package/templates/workflow/skills/superspec-propose/SKILL.md +65 -84
  34. package/templates/workflow/skills/superspec-review/SKILL.md +77 -232
@@ -10,83 +10,71 @@ metadata:
10
10
 
11
11
  ## 语言规则 / Language
12
12
 
13
- - 默认使用简体中文撰写所有人类可读产物、分析、报告、说明和 OpenSpec 文档正文。
14
- - 保留命令、路径、JSON 字段、gate 名、task/test id、代码标识符和外部 API 名称的原文。
15
- - 当 OpenSpec 模板要求固定标题或字段时,保留模板结构,只将正文内容写成中文。
16
- - 对话窗口里的解释、总结、提问和下一步说明必须使用中文;除命令、路径、字段名、代码标识符外,不要夹带英文说明词。
17
- - 对话窗口、AskUserQuestion 文案、进度更新和最终总结不得裸露内部证据种类、字段名或 reason code;用户确认记录、审查问题记录、审查轮次编号、问题唯一标识等都只用中文业务说法。原始协议名只允许写在证据 JSON、代码、测试、精确命令输出或用户明确要求的诊断片段中。
18
- - 本 skill 文档中的内部协议名只用于落盘证据或运行 guard;写给用户时必须先翻译成中文业务动作,例如“记录用户确认”“记录审查问题”“完成最终审查判断”。
19
- - 向用户转述 guard / review 输出时,不要直接贴英文 `message`、`next_allowed_actions` 或英文模板标题;应改写为中文,并仅在需要定位内部协议时保留英文 code/command 于反引号中。
13
+ - 默认使用简体中文写人类可读内容;命令、路径、字段名、gate 名、task/test id、代码标识符保留原文。
14
+ - 用户可见文案不得使用“裁决”描述用户动作;统一说“确认”“范围取舍”“处理方式选择”或“用户确认记录”。
15
+ - 不把内部证据种类、reason code、JSON 字段大全直接转述给用户;需要诊断时才引用原文。
16
+ - 普通 workflow 命令使用 `--format agent`;`--format json` 只用于诊断,不作为默认上下文。
20
17
 
21
18
  ## 命令执行 / Shell
22
19
 
23
- - Windows PowerShell 中执行 npm 全局 bin 时,必须显式使用 `.cmd` shim:`superspec.cmd ...`、`openspec.cmd ...`;不要运行 `superspec.ps1` 或 `openspec.ps1`。
24
- - macOS、Linux、Git Bash、cmd.exe 或其他不会优先拦截 `.ps1` 的 shell 中,继续使用文档中的 `superspec ...`、`openspec ...` 命令。
25
-
26
- ## 上下文读取纪律 / Context Budget
27
-
28
- - guard 可以在本地读取完整 `.superspec/evidence/**/*.json` 并重算判定;主流程默认不要打开完整 evidence JSON,除非正在排查 guard block、修复 schema,或用户明确要求诊断原文。
29
- - 主流程默认只读取 guard decision、当前 task 必要 artifact、OpenSpec instructions apply 返回的 `contextFiles`、native subagent `output_ref` 的摘要/结论段,以及 task RED/GREEN 所需的最小测试摘要。
30
- - raw log、长报告和历史 superseded evidence 默认只作为引用、hash 或摘要保留;不要把全文复制进对话上下文或新的 evidence。
31
- - RED/GREEN 仍按 task 的 `test_refs` 记录 gate-driving evidence;同一次命令输出可以作为共享 raw log 被引用,但不要仅凭聚合日志替代每个 task/test 所需的 RED/GREEN 证据字段。
32
- - 使用按运行合并建档的 `test_ids[]` 清单时,每个 claimed id 都必须出现在引用的 raw log 中;若当前 task gate 需要单个 `test_id` 覆盖,仍要补齐对应 gate-driving evidence。
33
-
34
- 在 propose package 完成后使用本 skill 执行实现任务。**Task context、ordering 和 progress 来自 OpenSpec native apply instructions**(`openspec instructions apply`);SuperSpec 为每个 task 包上一层 RED/GREEN guard checks。
35
-
36
- ## 边界 / Boundaries
37
-
38
- - 先桥接 repo-local OpenSpec apply skill:读取 `.codex/skills/openspec-apply-change/SKILL.md`,并复用其中的 change status、`contextFiles`、task list、progress 和 dynamic instruction 协议。
39
- - SuperSpec 覆盖 OpenSpec apply skill 的直接实现循环:对应 SuperSpec RED/GREEN guard 允许之前,不要编辑实现,也不要勾选 task。
40
- - Apply 只能在 propose package 完成后开始。
41
- - Task list、`contextFiles` 和 dynamic instruction **必须**来自 `openspec instructions apply --json`。不要自行发明 task list,也不要跳过 native context files。
42
- - 主流程负责编排和编辑;role review evidence 仍必须来自 native subagents。
43
- - `check-task-edit` 允许之前,不得进行 task 的实现编辑。`check-task-complete` 允许之前,不得勾选 task checkbox。
44
- - `openspec instructions apply --json` 返回 `state:"all_done"` 只表示 `tasks.md` 当前全部勾选;它不等于 workflow 已经通过 review。若存在 live/pass 的 `kind:"main_adjudication"` 且 `review_decision:"request_changes"`,必须先按其路由决定是 reopen 既有 task,还是停止并回 propose / change update。
45
- - 若存在 live/pass 的 `main_adjudication(review_decision:"request_changes")` 或 unresolved `task_reopen`,apply 必须把 reopen 分支视为高优先级状态;此时忽略 OpenSpec `state:"all_done"` 的归档建议,不得结束 apply。
46
- - 对已完成 task 的合法回退路径固定为:补齐 reopen package(`task_reopen` + 配套 `status:"superseded"` evidence)-> `check-task-reopen` -> 仅把目标 task 的 checkbox 从 `[x]` 改回 `[ ]` -> 重新 RED/GREEN -> `check-task-complete` -> 勾回 `[x]` -> `task_reopen_resolved`。这些 reopen lifecycle evidence 一律由 `superspec-apply` 主流程创建。不要把 reopen 当普通 pending task,也不要绕过 guard 直接手工回退。
47
- - 若当前仓库尚未暴露 `check-task-reopen` 或等效 reopen-aware apply surface,本 skill 必须 fail-closed:报告协议未启用,不得建议 archive,也不得手工回退 checkbox。
48
- - v1 evidence 是 audit-only/self-reported;实际命令输出应尽量记录到 `.superspec/raw/`。
49
-
50
- ## 步骤 / Steps
51
-
52
- 1. 对实现隔离(apply isolation)和执行模式(execution mode)使用 AskUserQuestion,并等待明确选择;记录 `gate:"apply_isolation"` 的 `human_confirmation` evidence,必须包含 `confirmation_text`、`confirmed_refs` 和当前 `tasks_structure_hash`。
53
- 2. 当 dirty worktree、untracked files 或 branch state 需要确认时,使用 AskUserQuestion 处理分支状态。
54
- 3. 验证 apply readiness:
55
- ```text
56
- superspec guard check-apply-ready --change "<change>"
57
- ```
58
- 4. 获取 native apply context 和 task list:
59
- ```text
60
- openspec instructions apply --change "<change>" --json
61
- ```
62
- 读取 `contextFiles` 下的每个路径,遵守 `openspec-apply-change` 的要求。把返回的 task list、progress 和 dynamic instruction 作为实现 source of truth,并按 `tasks.md` 的结构化字段(`dependencies`、`parallel_group`、`read_scope`、`write_scope`、`test_refs`、`invariant_refs`)判断串行/并行顺序。
63
- 5. 先判断是否进入 review 驱动的 reopen 分支:
64
- - 如果 native apply 返回 `state:"all_done"`,但当前 change 仍有有效的最终审查判断要求返工(内部 `review_decision:"request_changes"`),或已经存在 unresolved `task_reopen`,不要把它当成“可归档”。
65
- - 若 `request_changes_route:"reopen_tasks"`,读取 `reopen_task_ids`,逐个判断当前 task 所处阶段:
66
- - 如果该 task 仍是 `[x]`,说明还处于首次回退前;先由主流程基于本轮 review 的结构化 output 写出该 task 的 `task_reopen` evidence 与配套 `status:"superseded"` evidence,形成完整 reopen package,再执行:
67
- ```text
68
- superspec guard check-task-reopen --change "<change>" --task-id "<task-id>"
69
- ```
70
- 只有该 guard `allow` 后,才允许把对应 task 从 `- [x]` 改为 `- [ ]`,并把它重新纳入本轮 apply。
71
- - 如果该 task 已经是 `[ ]`,且当前 `tasks.md` 已匹配授权后的 `after_tasks_sha256`,说明它已经处于合法 reopened apply;此时直接续跑 `check-task-edit -> RED/GREEN -> check-task-complete`,不要重复创建 `task_reopen`,也不要再次执行 pre-revert `check-task-reopen`。
72
- - 若 `request_changes_route:"change_update"`,停止 apply,回 propose / change update;不要试图通过 reopen 继续实现。
73
- 6. 对每个 pending task(包括刚刚合法 reopen 的 task),在任何实现编辑前执行任务编辑前检查(`check-task-edit`):
74
- ```text
75
- superspec guard check-task-edit --change "<change>" --task-id "<task-id>"
76
- ```
77
- 7. 在 runtime/business implementation edits 前产出 RED evidence,除非有允许的 `no_tdd_reason` 或处于现状锁定测试模式(`characterization mode`)。这里的 `characterization` 指“先把当前真实行为测出来并锁住,重构后保持一致”。RED/GREEN evidence 必须引用 task 的 `test_refs`,并在 task 声明 `invariant_refs` 时同步记录 `invariant_refs`。若 task 来自 reopen,本轮 successor GREEN / alternative verification / manual verification 必须携带同一 `reopen_id`。
78
- 8. 按 native dynamic instruction 和 `contextFiles` 指引,实现最小 task scope。
79
- 9. 产出 GREEN evidence,保留 `test_id`、`invariant_refs`、命令、输出摘要和 raw log ref;raw log ref 指向原始输出文件,evidence 中只写必要摘要,不复制完整日志。
80
- 10. 勾选 task 前执行任务完成检查(`check-task-complete`):
81
- ```text
82
- superspec guard check-task-complete --change "<change>" --task-id "<task-id>"
83
- ```
84
- 然后按 native apply semantics 将 task 从 `- [ ]` 改为 `- [x]`。
85
- 11. 如果该 task 来自 reopen,在重新勾回 `[x]` 后写入 `kind:"task_reopen_resolved"` evidence,关闭本轮 reopen 授权;不要复用旧 reopen 生命周期。reopen 只授权:
86
- - 写该 task 的 reopen / supersede / resolved evidence
87
- - 回退并恢复该 task 的 checkbox
88
- - 在该 task 既有 `write_scope` 内返工
89
- 若需要修改 sibling task 的 `write_scope`,停止并对 sibling 单独 reopen,或回 propose / 新开 change。
90
- 12. 如果实现范围扩大(scope expands),停止并通过 AskUserQuestion 重新设计或拆分新 change。
91
-
92
- 遇到任何 guard `block` 就停止。
20
+ - Windows PowerShell 中使用 `.cmd` shim:`superspec.cmd ...`、`openspec.cmd ...`;不要运行 `superspec.ps1` 或 `openspec.ps1`。
21
+ - 其他 shell 使用文档中的 `superspec ...`、`openspec ...` 命令。
22
+
23
+ ## 阶段职责
24
+
25
+ Apply 按 OpenSpec tasks 执行实现,负责 RED/GREEN 证据、任务勾选和 review request-changes 后的 reopen 修复。不扩大范围,不改 proposal package 语义。
26
+
27
+ ## 第一条必跑命令
28
+
29
+ ```text
30
+ superspec guard workflow-packet --change "<change>" --gate apply_ready --format agent
31
+ ```
32
+
33
+ 遇到任何 guard `block` 就停止。未 allowed 前不要编辑实现。
34
+
35
+ ## OpenSpec 边界
36
+
37
+ - 直接使用 OpenSpec CLI surface,不读取 repo-local `openspec-*` skill 文本。
38
+ - task list、`contextFiles`、progress 和 dynamic instruction 来自:
39
+
40
+ ```text
41
+ openspec instructions apply --change "<change>" --json
42
+ ```
43
+
44
+ 不要自行发明 task list,也不要跳过 OpenSpec 返回的 context files。
45
+
46
+ ## Task Guard 边界
47
+
48
+ 实现编辑前读取 task packet:
49
+
50
+ ```text
51
+ superspec guard workflow-packet --change "<change>" --gate task_edit --task-id "<task-id>" --format agent
52
+ ```
53
+
54
+ 勾选 task 前读取 completion packet:
55
+
56
+ ```text
57
+ superspec guard workflow-packet --change "<change>" --gate task_complete --task-id "<task-id>" --format agent
58
+ ```
59
+
60
+ `task_edit` 未 allowed 不得编辑实现;`task_complete` 未 allowed 不得把 checkbox 改成 done。
61
+
62
+ ## Reopen 边界
63
+
64
+ 如果 review 给出 `request_changes_route:"reopen_tasks"`,先生成完整 reopen package,再检查:
65
+
66
+ ```text
67
+ superspec guard workflow-packet --change "<change>" --gate task_reopen --task-id "<task-id>" --format agent
68
+ ```
69
+
70
+ 只有 `task_reopen` allowed 后,才允许把目标 task 从 checked 改回 unchecked 并重新 RED/GREEN。修完后写 `task_reopen_resolved`,再重新进入 review。若 route 是 `change_update`,停止 apply 并回 propose/change update。
71
+
72
+ ## 用户确认边界
73
+
74
+ - apply isolation 和 execution mode 必须等待明确选择。
75
+ - 分支状态、dirty worktree、scope expands 或需要改变 task scope 时必须停止并确认。
76
+ - 不要使用默认值、历史偏好或沉默作为确认。
77
+
78
+ ## Native Subagent 边界
79
+
80
+ Apply 主流程负责编辑和证据;role review evidence 仍必须来自 repo-local native subagents,不能由主线程自审替代。
@@ -10,50 +10,56 @@ metadata:
10
10
 
11
11
  ## 语言规则 / Language
12
12
 
13
- - 默认使用简体中文撰写所有人类可读产物、分析、报告、说明和 OpenSpec 文档正文。
14
- - 保留命令、路径、JSON 字段、gate 名、task/test id、代码标识符和外部 API 名称的原文。
15
- - 当 OpenSpec 模板要求固定标题或字段时,保留模板结构,只将正文内容写成中文。
16
- - 对话窗口里的解释、确认、总结和下一步说明必须使用中文;除命令、路径、字段名、代码标识符外,不要夹带英文说明词。
17
- - 对话窗口、AskUserQuestion 文案、进度更新和最终总结不得裸露内部证据种类、字段名或 reason code;用户确认记录、审查问题记录、审查轮次编号、问题唯一标识等都只用中文业务说法。原始协议名只允许写在证据 JSON、代码、测试、精确命令输出或用户明确要求的诊断片段中。
18
- - 本 skill 文档中的内部协议名只用于落盘证据或运行 guard;写给用户时必须先翻译成中文业务动作,例如“记录用户确认”“记录审查问题”“完成最终审查判断”。
19
- - 向用户转述 guard / archive 输出时,不要直接贴英文 `message`、`next_allowed_actions` 或英文模板标题;应改写为中文,并仅在需要定位内部协议时保留英文 code/command 于反引号中。
13
+ - 默认使用简体中文写人类可读内容;命令、路径、字段名、gate 名、task/test id、代码标识符保留原文。
14
+ - 用户可见文案不得使用“裁决”描述用户动作;统一说“确认”“范围取舍”“处理方式选择”或“用户确认记录”。
15
+ - 不把内部证据种类、reason code、JSON 字段大全直接转述给用户;需要诊断时才引用原文。
16
+ - 普通 workflow 命令使用 `--format agent`;`--format json` 只用于诊断,不作为默认上下文。
20
17
 
21
18
  ## 命令执行 / Shell
22
19
 
23
- - Windows PowerShell 中执行 npm 全局 bin 时,必须显式使用 `.cmd` shim:`superspec.cmd ...`、`openspec.cmd ...`;不要运行 `superspec.ps1` 或 `openspec.ps1`。
24
- - macOS、Linux、Git Bash、cmd.exe 或其他不会优先拦截 `.ps1` 的 shell 中,继续使用文档中的 `superspec ...`、`openspec ...` 命令。
20
+ - Windows PowerShell 中使用 `.cmd` shim:`superspec.cmd ...`、`openspec.cmd ...`;不要运行 `superspec.ps1` 或 `openspec.ps1`。
21
+ - 其他 shell 使用文档中的 `superspec ...`、`openspec ...` 命令。
25
22
 
26
- ## 上下文读取纪律 / Context Budget
23
+ ## 阶段职责
27
24
 
28
- - guard 可以在本地读取完整 `.superspec/evidence/**/*.json` 并重算 archive 判定;主流程默认不要打开完整 evidence JSON,除非正在排查 guard block、修复 preservation manifest,或用户明确要求诊断原文。
29
- - 主流程默认只读取 guard decision、archive preservation 摘要、OpenSpec archive 输出摘要,以及最终验证 archive 结果所需的最小 manifest 信息。
30
- - raw log、长报告和历史 superseded evidence 默认只作为引用、hash 或摘要保留;不要把全文复制进对话上下文或新的 evidence。
25
+ Archive 在 `review_complete` allowed 后收尾:确认 archive readiness、保全 `.superspec` 证据快照、运行 OpenSpec archive,并验证归档后的 preservation。
31
26
 
32
- 仅在 `review_complete` passes(其中已经包含 final verification)后使用本 skill。
27
+ ## 第一条必跑命令
33
28
 
34
- ## 边界 / Boundaries
29
+ ```text
30
+ superspec guard workflow-packet --change "<change>" --gate archive_ready --format agent
31
+ ```
35
32
 
36
- - 通过 native CLI 桥接 OpenSpec archive,不手动重实现 archive。可以读取 repo-local `.codex/skills/openspec-archive-change/SKILL.md` 来获取 selection/status guardrails,但其中手动 `mkdir`/`mv` archive procedure 在这里由 `openspec archive` 取代。
37
- - Archive 仍是 native `openspec archive`:它会移动 change、**更新 main specs(delta->main sync)**,并默认 **validates**。当前 SuperSpec v1 固定使用 `openspec archive -y "<change>"`,不暴露 `--skip-specs` 分支,且不允许 `--no-validate`。
38
- - SuperSpec 只检查 `archive_ready` 和 archived sidecar preservation;不重新实现移动、spec sync 或 validation。
39
- - preservation manifest 必须覆盖 `.superspec/artifacts/business-invariants.md`、`.superspec/artifacts/test-contract.md`、`.superspec/evidence/invariants/`、`.superspec/evidence/test-contract/`、RED/GREEN evidence、review/verification evidence,以及 archive evidence 本身。
40
- - v1 archive control 通过显式 guard checks 和 preservation verification 执行。
33
+ 遇到任何 guard `block` 就停止,不归档。
41
34
 
42
- ## 步骤 / Steps
35
+ ## OpenSpec 边界
43
36
 
44
- 1. 对 `archive_ready` 最终确认使用 AskUserQuestion,等待明确选择。记录 archive-scoped human-confirmation evidence。当前 v1 不询问也不使用 `--skip-specs`;若 change 不应同步 specs,应先回到 propose/change update 调整 OpenSpec 包,而不是在 archive 阶段跳过。
45
- 2. 检查 archive readiness 并生成 preservation manifest:
46
- ```text
47
- superspec guard check-archive-ready --change "<change>"
48
- ```
49
- 生成的 manifest 是 archive 前证据快照,必须能追踪 business-invariants、test-contract 和对应 invariant review evidence 的 sha256。
50
- 3. 运行 native OpenSpec archive(移动 change、同步 delta->main specs、执行 validation):
51
- ```text
52
- openspec archive -y "<change>"
53
- ```
54
- 4. 根据 manifest 验证 archived `.superspec/` preservation:
55
- ```text
56
- superspec guard check-archived --change "<change>"
57
- ```
37
+ - 直接使用 OpenSpec CLI surface,不读取 repo-local `openspec-*` skill 文本。
38
+ - 归档动作使用 native OpenSpec CLI;SuperSpec 不重新实现移动、spec sync 或 validation。
39
+ - 当前 v1 固定使用 `openspec archive -y "<change>"`,不暴露 `--no-validate` 或 skip-specs 分支。
58
40
 
59
- 遇到任何 guard `block` 就停止。
41
+ ## 用户确认边界
42
+
43
+ `archive_ready` 最终确认必须等待明确选择。若 change 不应同步 specs,先回 propose/change update 调整方案,不在 archive 阶段跳过。
44
+
45
+ ## 执行步骤
46
+
47
+ 确认后运行会写 preservation manifest 的 readiness check:
48
+
49
+ ```text
50
+ superspec guard check-archive-ready --change "<change>" --format agent
51
+ ```
52
+
53
+ 然后运行 OpenSpec archive:
54
+
55
+ ```text
56
+ openspec archive -y "<change>"
57
+ ```
58
+
59
+ 最后验证 archived sidecar preservation:
60
+
61
+ ```text
62
+ superspec guard check-archived --change "<change>" --format agent
63
+ ```
64
+
65
+ `.superspec/artifacts/business-invariants.md`、`.superspec/artifacts/test-contract.md`、review/verification evidence、RED/GREEN evidence 和 archive evidence 必须能从 preservation manifest 追溯。
@@ -10,82 +10,70 @@ metadata:
10
10
 
11
11
  ## 语言规则 / Language
12
12
 
13
- - 默认使用简体中文撰写所有人类可读产物、分析、报告、说明和 OpenSpec 文档正文。
14
- - 保留命令、路径、JSON 字段、gate 名、task/test id、代码标识符和外部 API 名称的原文。
15
- - 当 OpenSpec 模板要求固定标题或字段时,保留模板结构,只将正文内容写成中文。
16
- - 对话窗口里的解释、问题说明、总结、提问和下一步说明必须使用中文;除命令、路径、字段名、代码标识符外,不要夹带英文说明词。
17
- - 对话窗口、AskUserQuestion 文案、进度更新和最终总结不得裸露内部证据种类、字段名或 reason code;用户确认记录、审查问题记录、审查轮次编号、问题唯一标识等都只用中文业务说法。原始协议名只允许写在证据 JSON、代码、测试、精确命令输出或用户明确要求的诊断片段中。
18
- - 本 skill 文档中的内部协议名只用于落盘证据或运行 guard;写给用户时必须先翻译成中文业务动作,例如“记录用户确认”“记录审查问题”“完成最终审查判断”。
19
- - 向用户转述 guard / review 输出时,不要直接贴英文 `message`、`next_allowed_actions` 或英文模板标题;应改写为中文,并仅在需要定位内部协议时保留英文 code/command 于反引号中。
13
+ - 默认使用简体中文写人类可读内容;命令、路径、字段名、gate 名、task/test id、代码标识符保留原文。
14
+ - 用户可见文案不得使用“裁决”描述用户动作;统一说“确认”“范围取舍”“处理方式选择”或“用户确认记录”。
15
+ - 不把内部证据种类、reason code、JSON 字段大全直接转述给用户;需要诊断时才引用原文。
16
+ - 普通 workflow 命令使用 `--format agent`;`--format json` 只用于诊断,不作为默认上下文。
20
17
 
21
18
  ## 命令执行 / Shell
22
19
 
23
- - Windows PowerShell 中执行 npm 全局 bin 时,必须显式使用 `.cmd` shim:`superspec.cmd ...`、`openspec.cmd ...`;不要运行 `superspec.ps1` 或 `openspec.ps1`。
24
- - macOS、Linux、Git Bash、cmd.exe 或其他不会优先拦截 `.ps1` 的 shell 中,继续使用文档中的 `superspec ...`、`openspec ...` 命令。
25
-
26
- ## 上下文读取纪律 / Context Budget
27
-
28
- - guard 可以在本地读取完整 `.superspec/evidence/**/*.json` 并重算判定;主流程默认不要打开完整 evidence JSON,除非正在排查 guard block、修复 schema,或用户明确要求诊断原文。
29
- - 主流程默认只读取 guard decision、当前 gate 必要 artifact、OpenSpec instructions 返回的必要 context、native subagent `output_ref` 的摘要/结论段,以及用户确认所需的最小原文。
30
- - 当前轮披露循环所需的最小结构化字段必须读取,不能只看 `output_ref` 摘要;包括 role evidence 的 `findings[]`、`finding_uid`、`decision_scope_key`、逐字 `summary`、`target_refs`,以及本轮 digest 需要引用的 evidence id。
31
- - raw log、长报告和历史 superseded evidence 默认只作为引用、hash 或摘要保留;不要把全文复制进对话上下文或新的 evidence。
32
- - native subagent 的 `output_ref` 应指向简洁审查报告;原始命令输出或长日志放在 raw/report 文件中被引用,不作为默认阅读材料。
33
-
34
- 在 init 之后、编写 OpenSpec proposal package 之前使用本 skill。
35
-
36
- ## 边界 / Boundaries
37
-
38
- - 先桥接 repo-local OpenSpec explore skill:读取 `.codex/skills/openspec-explore/SKILL.md`,并按它的探索方式工作:像需求探索搭档一样帮助用户澄清目标、调查代码、比较方案和暴露风险,不急着下结论。
39
- - 相比 OpenSpec 的原始探索模式,SuperSpec 增加了更严格的边界:**只思考和调查,不实现**。主流程可以读代码、搜索代码,并把发现写成探索记录(`discovery.md`)作为 evidence;但不能修改应用代码,也不能在本阶段编写 OpenSpec planning artifacts。如果调查过程中发现需要沉淀 proposal/specs/design/tasks,请先记录到探索记录(`discovery.md`),再交给 `superspec-propose`,由 `openspec instructions` 生成 OpenSpec artifacts。
40
- - Explore 只产出需求和上下文证据;不完成 OpenSpec proposal、specs、design 或 tasks。
41
- - 需求 critique evidence 必须来自 repo-local `critic` native subagent。
42
- - v1 evidence 是 audit-only/self-reported;除非有 OpenSpec facts 支撑,不要把它描述成强制运行时事实。
43
-
44
- ## 范围收敛透明度 / Scope Transparency
45
-
46
- - Agent 可以在 explore/propose 前基于证据收敛范围,但不得静默收窄用户目标。
47
- - 当用户目标、现有实现或合理利益相关方预期自然覆盖多个层级、模块、入口、流程、角色或行为,而探索记录、proposal 或 design 只准备覆盖其中一部分时,必须显式记录纳入范围、排除范围、排除理由、已知或可合理推断的影响,以及仍未知但会影响范围判断的风险。
48
- - 不能把“本轮先做最小改动”“默认不处理其他模块”“按当前实现猜测无影响”作为隐式排除理由;这些都必须写成可审查的范围决策。
49
- - `critic` 必须拦住未说明的关键范围收窄:如果范围收敛会改变用户合理预期、验收标准、兼容承诺、测试边界或后续实现风险,而 artifact 没有说明纳入/排除/理由/影响,则不能通过 explore/propose handoff。
50
-
51
- ## 审查问题确认循环 / Review Disclosure Loop(DISC Phase 1)
52
-
53
- 多角色审查发现的问题**不允许主流程自行处理掉**。关键问题包括:范围(`scope`)、非目标(`non_goal`)、验收标准(`acceptance`)、业务语义(`business_semantics`)、设计边界(`design_boundary`)。这些问题必须按原文展示给用户,拿到用户确认后才能继续。
54
-
55
- - critic review evidence 必须携带 `review_round_id`(形如 `explore_complete-r<N>`,从 r1 连续编号)和结构化 `findings[]`:每条 finding 含 `finding_id`、`finding_uid`(`<gate>:<evidence_id>:<finding_id>`)、`finding_type`(`blocker|scope_risk|open_question|agent_assumption|non_blocking_finding`)、`category`、`material_categories[]`、关键问题的 `decision_scope_key`,以及 reviewer 原话 `summary`。分类字段由 reviewer 产生,主流程不得改写(P0-2)。
56
- - 每轮审查后主流程写 `kind:"main_review_digest"` evidence(`created_by:"main-thread"`),逐条覆盖该轮所有 findings:身份字段与 `summary` **逐字拷贝**原始 finding,给出 `disposition`(`fixed|false_positive|accepted_deviation|user_decided|needs_user_decision`)、`rationale`、`route`/`route_reason` 和每种处理结果的证据;`target_refs` 固定记录当前探索记录内容;`source_review_evidence_refs` 引用本轮全部 role review;round>1 时 `previous_digest_refs` 串接上一轮记录。
57
- - **关键 finding 一律走用户确认点**:内部先写审查问题记录 evidence(JSON kind 为 `main_review_digest`,`status:"blocked"` + `needs_user_decision`),然后把 finding 原文 + A/B/C/D 选项 +(每个选项对范围、非目标、验收标准、测试边界的影响)呈现给用户。用户确认记录 evidence 的 JSON kind 为 `user_review_decision`(`created_by:"user"`,`finding_uids` 精确到 `finding_uid`,`decision_scope_key`、`material_categories[]`、`confirmed_refs` 固定记录用户看到的 blob)。D 选项必须保留 `user_text` 原文并填 `structured_decision`(scope/non_goals/acceptance_impact/test_impact + requires_artifact_update/requires_rereview 布尔值)。
58
- - 用户确认导致探索记录修改后:更新 artifact → supersede 过期的旧轮 review → 重跑 critic(round k>1 的 prompt **必须**内嵌工具生成的问题清单,由 `render_finding_ledger` 生成,guard 逐字校验)→ 写新一轮 `main_review_digest`(最终处理结果引用 `user_decision_refs`,artifact 修改时附 `artifact_update_refs`)。
59
- - 关键 finding 的任何最终处理结果(含 `fixed`/`false_positive`)必须引用 `user_decision_refs[]`、有效 `standing_authorization_refs[]` 或 `baseline_decision_refs[]`;standing authorization 只能由用户创建、按 category 授权、永不覆盖 blocker。
60
- - finding history 是 append-only:旧 blocker 不会因 clean 重审而消失,必须拿到最终处理结果;同一 gate 超过 3 轮仍未处理完成时停止迭代,把未决 findings 整体升级给用户(`escalate_round_budget`)。
61
- - 历史 change 的旧式 critic evidence(无 `review_round_id`/`findings[]`)维持原判定口径,不被追溯 block。
62
-
63
- ## 步骤 / Steps
64
-
65
- 1. 确保项目级 SuperSpec surfaces 已存在:
66
- ```text
67
- superspec init --scope project
68
- ```
69
- 2. 创建或打开 native OpenSpec change root,然后确认 change-scoped guard readiness 并拉取 native context:
70
- ```text
71
- openspec new change "<change>" # 仅当该 change 不存在时执行
72
- superspec guard check-init --change "<change>"
73
- openspec list --json
74
- openspec status --change "<change>" --json # changeRoot / artifactPaths / actionContext for grounding
75
- ```
76
- 3. 按 OpenSpec 的探索方式工作,同时遵守 SuperSpec 输出边界:可以自由调查和澄清,但本阶段只写 SuperSpec sidecar evidence。
77
- 4. 主流程直接调查当前实现:定位相关文件、隐藏契约、约束、风险和 source anchors。
78
- 5. 启动 repo-local `critic` native subagent(round r1),审查歧义、遗漏场景、矛盾、scope risk 和范围收敛透明度;如存在未显式说明的关键范围收窄,critic 必须 block。critic 输出按上方确认循环要求落成带 `review_round_id` + `findings[]` 的 evidence。
79
- 6. 写入合并后的探索记录文件:
80
- ```text
81
- openspec/changes/<change>/.superspec/artifacts/discovery.md
82
- ```
83
- 7. 在 `.superspec/evidence/discovery/` 记录 critic evidence,包含 `execution_mode:"native_subagent"`、`agent_role`、`agent_id`、`output_ref`、`source_anchors` 和 `target_refs`。
84
- 8. 按确认循环处理 findings:写本轮审查问题记录;存在关键问题时**停下来向用户说明并等待用户确认**,再按用户确认更新探索记录 / 重跑 critic / 写新一轮记录,直到最新轮 clean 且问题清单里没有未处理完的问题。
85
- 9. 对探索结论、范围边界和进入 propose 的授权使用 AskUserQuestion,并等待明确选择;记录探索阶段人工确认 evidence(JSON 中为 `gate:"explore_complete"`、`kind:"human_confirmation"`、`created_by:"user"`),`confirmed_refs` 固定记录用户确认过的探索记录。
86
- 10. 运行进入阶段前检查(`check-enter`),验证 explore completion:
87
- ```text
88
- superspec guard check-enter --change "<change>" --gate explore_complete
89
- ```
90
-
91
- 遇到任何 guard `block` 就停止。用户确认相关阻塞原因包括:缺少审查问题记录(`missing_review_digest`)、等待用户确认(`needs_user_decision_pending`)、历史 finding 未处理完(`finding_unresolved`)、用户确认未绑定(`user_decision_unbound`)、缺少 finding 问题清单(`ledger_injection_missing`)、审查轮次已达上限(`round_budget_exhausted`)等。它们的唯一合法出路是回到确认循环或升级给用户,不允许绕过。
20
+ - Windows PowerShell 中使用 `.cmd` shim:`superspec.cmd ...`、`openspec.cmd ...`;不要运行 `superspec.ps1` 或 `openspec.ps1`。
21
+ - 其他 shell 使用文档中的 `superspec ...`、`openspec ...` 命令。
22
+
23
+ ## 阶段职责
24
+
25
+ Explore 只做需求澄清、代码事实调查、范围边界和风险记录。产物是 `openspec/changes/<change>/.superspec/artifacts/discovery.md`;不写 `proposal.md`、`specs/**`、`design.md`、`tasks.md`,也不改实现代码。
26
+
27
+ ## 第一条必跑命令
28
+
29
+ ```text
30
+ superspec init --scope project --format agent
31
+ ```
32
+
33
+ 随后创建或打开 OpenSpec change,并读取当前上下文:
34
+
35
+ ```text
36
+ openspec list --json
37
+ openspec status --change "<change>" --json
38
+ superspec guard check-init --change "<change>" --format agent
39
+ superspec guard workflow-packet --change "<change>" --gate explore_complete --format agent
40
+ ```
41
+
42
+ 遇到任何 guard `block` 就停止,按 packet 的 `next_action` 处理;不要绕过 guard。
43
+
44
+ ## OpenSpec 边界
45
+
46
+ - 直接使用 OpenSpec CLI surface,不读取 repo-local `openspec-*` skill 文本。
47
+ - 用 `openspec list --json` 和 `openspec status --change "<change>" --json` 确认 change 结构、artifactPaths 和当前状态。
48
+ - OpenSpec 负责 change 结构和后续 artifact 语义;本阶段只补 SuperSpec discovery 证据。
49
+ - 如果发现需要正式方案、规格、设计或任务,先写入 discovery,再交给 `superspec-propose`。
50
+
51
+ ## Native Subagent 边界
52
+
53
+ 需求 critique 必须来自 repo-local `critic` native subagent。生成 prompt 时使用 packet,而不是把 disclosure 协议常驻在 skill 正文:
54
+
55
+ ```text
56
+ superspec guard review-packet --change "<change>" --gate explore_complete --role critic --round 1 --format prompt
57
+ ```
58
+
59
+ 主流程整理审查问题时读取 main-thread packet:
60
+
61
+ ```text
62
+ superspec guard review-packet --change "<change>" --gate explore_complete --role main-thread --round 1 --format agent
63
+ ```
64
+
65
+ round > 1 的 reviewer prompt 必须使用 packet/ledger 注入;不要手写历史问题清单。
66
+
67
+ ## 用户确认边界
68
+
69
+ - 关键范围、非目标、验收标准、业务语义或设计边界问题必须面向用户说明并等待明确确认。
70
+ - 探索结论、范围边界和进入 propose 的授权必须等待用户确认后再记录 evidence。
71
+ - 用户看到的文字要用中文业务语言;内部 JSON 名只写进证据、命令输出或诊断片段。
72
+
73
+ ## 完成检查
74
+
75
+ ```text
76
+ superspec guard workflow-packet --change "<change>" --gate explore_complete --format agent
77
+ ```
78
+
79
+ 只有 packet 显示 allowed 后,才进入 `superspec-propose`。
@@ -10,90 +10,71 @@ metadata:
10
10
 
11
11
  ## 语言规则 / Language
12
12
 
13
- - 默认使用简体中文撰写所有人类可读产物、分析、报告、说明和 OpenSpec 文档正文。
14
- - 保留命令、路径、JSON 字段、gate 名、task/test id、代码标识符和外部 API 名称的原文。
15
- - 当 OpenSpec 模板要求固定标题或字段时,保留模板结构,只将正文内容写成中文。
16
- - 对话窗口里的解释、问题说明、总结、提问和下一步说明必须使用中文;除命令、路径、字段名、代码标识符外,不要夹带英文说明词。
17
- - 对话窗口、AskUserQuestion 文案、进度更新和最终总结不得裸露内部证据种类、字段名或 reason code;用户确认记录、审查问题记录、审查轮次编号、问题唯一标识等都只用中文业务说法。原始协议名只允许写在证据 JSON、代码、测试、精确命令输出或用户明确要求的诊断片段中。
18
- - 本 skill 文档中的内部协议名只用于落盘证据或运行 guard;写给用户时必须先翻译成中文业务动作,例如“记录用户确认”“记录审查问题”“完成最终审查判断”。
19
- - 向用户转述 guard / review 输出时,不要直接贴英文 `message`、`next_allowed_actions` 或英文模板标题;应改写为中文,并仅在需要定位内部协议时保留英文 code/command 于反引号中。
13
+ - 默认使用简体中文写人类可读内容;命令、路径、字段名、gate 名、task/test id、代码标识符保留原文。
14
+ - 用户可见文案不得使用“裁决”描述用户动作;统一说“确认”“范围取舍”“处理方式选择”或“用户确认记录”。
15
+ - 不把内部证据种类、reason code、JSON 字段大全直接转述给用户;需要诊断时才引用原文。
16
+ - 普通 workflow 命令使用 `--format agent`;`--format json` 只用于诊断,不作为默认上下文。
20
17
 
21
18
  ## 命令执行 / Shell
22
19
 
23
- - Windows PowerShell 中执行 npm 全局 bin 时,必须显式使用 `.cmd` shim:`superspec.cmd ...`、`openspec.cmd ...`;不要运行 `superspec.ps1` 或 `openspec.ps1`。
24
- - macOS、Linux、Git Bash、cmd.exe 或其他不会优先拦截 `.ps1` 的 shell 中,继续使用文档中的 `superspec ...`、`openspec ...` 命令。
25
-
26
- ## 上下文读取纪律 / Context Budget
27
-
28
- - guard 可以在本地读取完整 `.superspec/evidence/**/*.json` 并重算判定;主流程默认不要打开完整 evidence JSON,除非正在排查 guard block、修复 schema,或用户明确要求诊断原文。
29
- - 主流程默认只读取 guard decision、当前 gate 必要 artifact、OpenSpec instructions 返回的必要 context、native subagent `output_ref` 的摘要/结论段,以及用户确认所需的最小原文。
30
- - 当前轮披露循环所需的最小结构化字段必须读取,不能只看 `output_ref` 摘要;包括 role evidence 的 `findings[]`、`finding_uid`、`decision_scope_key`、逐字 `summary`、`target_refs`,以及本轮 digest 需要引用的 evidence id。
31
- - raw log、长报告和历史 superseded evidence 默认只作为引用、hash 或摘要保留;不要把全文复制进对话上下文或新的 evidence。
32
- - native subagent 的 `output_ref` 应指向简洁审查报告;原始命令输出或长日志放在 raw/report 文件中被引用,不作为默认阅读材料。
33
-
34
- 在 explore 完成后使用本 skill,用于把探索记录整理成可执行的正式方案包。OpenSpec 负责生成标准方案文件,具体写法必须通过它自带的指令(`openspec instructions`)获取;SuperSpec 负责在外层增加审查门禁(gates)、业务约束(`business-invariants.md`)、测试契约(`test-contract.md`)和任务元数据。
35
-
36
- ## 边界 / Boundaries
37
-
38
- - 先读取项目里的 OpenSpec propose 说明:`.codex/skills/openspec-propose/SKILL.md`。方案文件的生成顺序、`openspec status` 和 `openspec instructions` 的用法以它为准。
39
- - SuperSpec 不采用“一次性把所有方案文件都生成完”的做法。本阶段不创建或选择 change,也不能绕过 SuperSpec 门禁检查一次性完成所有产物。`superspec-explore` 负责创建 change 和探索记录(`discovery.md`);本 skill 负责按阶段检查来编写正式方案文件。
40
- - OpenSpec 标准方案文件(`proposal.md`、`specs/**/*.md`、`design.md`、`tasks.md`)**必须**通过 `openspec instructions <artifact> --json` 编写,使用其返回的 `template`/`rules`/`context`。**不要手写这些文件绕过 OpenSpec 自带指令**,否则会丢失标准模板、项目上下文和校验一致性。
41
- - Propose 阶段还要生成 SuperSpec 补充方案文件:`.superspec/artifacts/business-invariants.md` 和 `.superspec/artifacts/test-contract.md`。任务依赖、读写范围、TDD 元数据和映射关系直接写入 `tasks.md` 的结构化字段,不再维护单独的 JSON 任务图文件。
42
- - 本阶段门禁检查包括:探索完成 `explore_complete`、方案说明已审查 `proposal_reviewed`(`propose.proposal_reviewed`)、设计已审查 `design_complete`(`propose.design_reviewed`)、业务约束已审查 `invariants_reviewed`(`propose.invariants_reviewed`)、测试契约已起草 `test_contract_drafted`(`propose.test_plan_drafted`)、任务映射已完成 `tasks_complete`(`propose.tasks_mapped`),以及最终 `propose_complete`。
43
- - `proposal_reviewed` 是硬性 internal gate(DISC Phase 2),不是 advisory note:`proposal.md` 完成后必须运行带 `review_round_id`(`proposal_reviewed-r<N>`)和 `findings[]` 的 `critic` review,并由主流程记录审查问题记录(内部 evidence kind 为 `main_review_digest`)。guard 对该 gate 不提供 legacy 豁免——没有 round-tagged review + digest 一律 block。审查问题确认循环规则(关键 findings 必须经用户确认、findings 问题清单不可抹除、digest 链与轮次连续性)与 `superspec-explore` skill 的「审查问题确认循环 / Review Disclosure Loop」一节完全一致。
44
- - `design_complete`、`invariants_reviewed`、`test_contract_drafted` 在出现 round-tagged review evidence 后进入同一确认循环(DISC Phase 3);旧式无 `review_round_id`/`findings[]` 的 review evidence 维持 grandfathered 口径(P2-3),但**新写的 review 必须走完整确认循环**。
45
- - `tasks_complete` 仅在新增 round-tagged role review 后才纳入确认循环(本 gate 本身不强制 role review;一旦 agent 为 tasks 写了带 findings 的 review,就必须完成 digest + 用户确认)。
46
- - proposal review 的 route 约束:若 finding 证明探索记录本身不完整或范围(`scope`)不清,处理 route 必须是 `return_explore`(回 `superspec-explore` 补事实层),不得在 proposal 内静默补范围;仅措辞/意图不一致且不改范围时才可 `stay_same_gate_fix`。
47
- - design review 的 route 约束:scope / non-goal 与上游不一致时用 `return_explore_or_proposal_reviewed`;设计边界/架构取舍用 `stay_same_gate_user_decision`。
48
- - invariants / test-contract review 的 route 约束:业务语义/不变量真相不确定、验收标准(`acceptance`)变更等关键 finding 用 `stay_same_gate_user_decision`;若需回改 spec/design 表达,用 `return_explore_or_proposal_reviewed`。
49
- - tasks review 的 route 约束:task 映射 / test_refs / read-write scope 问题用 `stay_same_gate_fix`;若验收标准本身错了,用 `return_test_contract_drafted` 回 test-contract gate,不得静默改 tasks 来处理关键 acceptance 问题。
50
- - Role-gate evidence 必须来自 native subagents。v1 evidence 是 audit-only/self-reported;除非有 OpenSpec facts 支撑,不要把它描述成强制运行时事实。
51
-
52
- ## 步骤 / Steps
53
-
54
- 1. 运行前置门禁检查(`check-enter`),确认探索阶段已经完成;该 gate 必须包含用户对探索结论和进入 propose 的明确确认,若 guard block 则停止并回到 explore 补确认:
55
- ```text
56
- superspec guard check-enter --change "<change>" --gate explore_complete
57
- ```
58
- 2. 从 OpenSpec 获取方案文件生成顺序:
59
- ```text
60
- openspec status --change "<change>" --json
61
- ```
62
- 按 `openspec-propose` 的说明解析 `applyRequires`、`artifacts`(status + dependencies)、`planningHome`、`changeRoot`、`artifactPaths` 和 `actionContext`。按依赖顺序编写方案文件(proposal -> specs -> design -> tasks)。
63
- 3. 对每个状态为 `ready` 的 OpenSpec 方案文件,都通过 OpenSpec 自带指令编写:
64
- ```text
65
- openspec instructions <artifact-id> --change "<change>" --json
66
- ```
67
- - 读取依赖的方案文件和探索记录 `.superspec/artifacts/discovery.md` 作为上下文。
68
- - 使用 `template` 写入 `resolvedOutputPath`;把 `context`/`rules` 当约束使用,不要复制进产物正文。
69
- - 重新运行 `openspec status --change "<change>" --json`,确认该方案文件变为 `done`,再执行对应 SuperSpec 层。
70
- 4. 方案说明 `proposal.md` 编写并经 `openspec status` 确认为 `done` 后、开始 `specs/**`/`design.md` 前:执行 `proposal_reviewed` 确认循环:
71
- - 启动 `critic` native-subagent review,范围限定在方案范围、意图、非目标和隐藏假设;evidence 必须带 `review_round_id`(`proposal_reviewed-r<N>`)、`findings[]` 和 pinned `target_refs`(`proposal.md` + `.superspec/artifacts/discovery.md`)。
72
- - 主流程记录审查问题记录,给每个 finding 写处理结果:关键 findings(范围、非目标、验收标准、业务语义、设计边界)必须进入用户确认并停下来,用 AskUserQuestion 把原文和 A/B/C/D 选项展示给用户,拿到用户确认后才能继续;发现探索记录不完整时 route 用 `return_explore` 回 explore,不得自行补范围。
73
- - 修订 `proposal.md` 后必须重跑 `critic`(新一轮 round),直到 clean round + digest 通过,然后验证:
74
- ```text
75
- superspec guard check-enter --change "<change>" --gate propose.proposal_reviewed
76
- ```
77
- guard 未通过前不要开始编写 `specs/**` 或 `design.md`(两者的入口门禁都是 `proposal_reviewed`)。
78
- 5. 设计说明 `design.md` 编写后:获取 `architect`、`critic`、`test-engineer` 的 native-subagent review evidence(带 `review_round_id` `design_complete-r<N>` + `findings[]` + 全量 pinned target:`proposal.md` + `design.md` + `specs/**/*.md` + 探索记录)。主流程记录审查问题记录;关键问题必须停下来向用户说明并等待用户确认,按用户确认改 design/specs 后 supersede 旧轮并重审。对于设计选项选择和最终设计确认,使用 AskUserQuestion 并等待明确选择;记录 human-confirmation evidence,然后验证:
79
- ```text
80
- superspec guard check-enter --change "<change>" --gate propose.design_reviewed
81
- ```
82
- 6. 需求规格 `specs/**` 和设计说明 `design.md` 编写后、测试契约 `test-contract.md` 编写前:起草业务约束 `.superspec/artifacts/business-invariants.md`。每条 `INV-*` 必须有 statement、scope、source anchors、acceptance_refs、risk_refs、confidence、enforcement_level、test_refs_or_review_only_reason;记录 rejected candidates,防止把当前实现习惯误升格为业务真相。获取 `critic` + `test-engineer` review evidence(带 `review_round_id` `invariants_reviewed-r<N>` + `findings[]` + pinned target:business-invariants + design + specs glob)。主流程记录审查问题记录;关键业务语义问题必须进入用户确认,不得把实现习惯静默升格为 invariant 真相。然后验证:
83
- ```text
84
- superspec guard check-enter --change "<change>" --gate propose.invariants_reviewed
85
- ```
86
- 7. 业务约束 `business-invariants.md` 完成后、任务清单 `tasks.md` 编写前:起草测试契约 `.superspec/artifacts/test-contract.md`,覆盖 specs 中每个 `#### Scenario` 和命中本 change scope 的 hard `INV-*`,包含 TEST ids、关联 INV ids、预期 RED reasons、预期 GREEN criteria 和 commands。获取 `test-engineer` + `critic` review evidence(带 `review_round_id` `test_contract_drafted-r<N>` + `findings[]` + pinned target:test-contract + invariants + design + specs glob)。主流程记录审查问题记录;验收标准变更等关键问题必须用户确认。然后验证:
87
- ```text
88
- superspec guard check-enter --change "<change>" --gate propose.test_plan_drafted
89
- ```
90
- 8. 通过 `openspec instructions tasks` 编写任务清单 `tasks.md` 时:为每个 task 补充 `requirement_refs`、`invariant_refs`(必须是 business-invariants `INV-*` ids 的子集)、`test_refs`(必须是 test-contract TEST ids 的子集)、`read_scope`、`write_scope`、dependencies、TDD metadata,以及需要时的 parallel group。若 reviewer 对 task 映射提出 round-tagged findings,走 `tasks_complete-r<N>` 确认循环(pinned target:tasks + test-contract + invariants + design + specs glob);验收标准问题 route 用 `return_test_contract_drafted`,映射问题用 `stay_same_gate_fix`。对于任务审查确认,使用 AskUserQuestion 并等待明确选择;按披露循环记录用户裁决和审查问题处理结果,然后验证:
91
- ```text
92
- superspec guard check-enter --change "<change>" --gate propose.tasks_mapped
93
- ```
94
- 9. 验证 apply readiness:
95
- ```text
96
- superspec guard check-apply-ready --change "<change>"
97
- ```
98
-
99
- 遇到任何 guard `block` 就停止。
20
+ - Windows PowerShell 中使用 `.cmd` shim:`superspec.cmd ...`、`openspec.cmd ...`;不要运行 `superspec.ps1` 或 `openspec.ps1`。
21
+ - 其他 shell 使用文档中的 `superspec ...`、`openspec ...` 命令。
22
+
23
+ ## 阶段职责
24
+
25
+ Propose 把 discovery 转成 OpenSpec proposal package,并补 SuperSpec 业务约束和测试契约。负责的文件是 `proposal.md`、`specs/**/*.md`、`design.md`、`tasks.md`、`.superspec/artifacts/business-invariants.md`、`.superspec/artifacts/test-contract.md`。本阶段不改实现代码。
26
+
27
+ ## 第一条必跑命令
28
+
29
+ ```text
30
+ superspec guard workflow-packet --change "<change>" --gate explore_complete --format agent
31
+ ```
32
+
33
+ 遇到任何 guard `block` 就停止,回 explore 补事实或确认。
34
+
35
+ ## OpenSpec 边界
36
+
37
+ - 直接使用 OpenSpec CLI surface,不读取 repo-local `openspec-*` skill 文本。
38
+ - 用 `openspec status --change "<change>" --json` 获取 artifact 顺序、状态和路径。
39
+ - OpenSpec 标准文件必须通过 `openspec instructions` 生成,不要手写绕过:
40
+
41
+ ```text
42
+ openspec instructions <artifact-id> --change "<change>" --json
43
+ ```
44
+
45
+ ## Packet 驱动的阶段门
46
+
47
+ 按 artifact 依赖顺序工作,每个门都先读 packet,allowed 后才进入下一段:
48
+
49
+ ```text
50
+ superspec guard workflow-packet --change "<change>" --gate proposal_reviewed --format agent
51
+ superspec guard workflow-packet --change "<change>" --gate design_complete --format agent
52
+ superspec guard workflow-packet --change "<change>" --gate invariants_reviewed --format agent
53
+ superspec guard workflow-packet --change "<change>" --gate test_contract_drafted --format agent
54
+ superspec guard workflow-packet --change "<change>" --gate tasks_complete --format agent
55
+ superspec guard workflow-packet --change "<change>" --gate apply_ready --format agent
56
+ ```
57
+
58
+ `proposal_reviewed` 不是 advisory note;它是硬门。`propose.proposal_reviewed`、`propose.design_reviewed`、`propose.invariants_reviewed`、`propose.test_plan_drafted`、`propose.tasks_mapped` 是兼容别名,packet 输出中的规范 gate 名为准。
59
+
60
+ ## Native Subagent 边界
61
+
62
+ - proposal review 使用 repo-local `critic`。
63
+ - design review 使用 repo-local `architect`、`critic`、`test-engineer`。
64
+ - business-invariants 和 test-contract review 使用 repo-local `critic` / `test-engineer`。
65
+ - reviewer prompt 一律由 `review-packet --format prompt` 生成;主线程 digest 输入一律由 `review-packet --role main-thread --format agent` 读取。
66
+ - round > 1 必须使用 packet/ledger 注入,不手写历史 finding 清单。
67
+
68
+ ## 用户确认边界
69
+
70
+ 关键范围、非目标、验收标准、业务语义和设计边界问题必须停止并交给用户确认。主线程不能静默关闭这类 finding;需要回 explore 或回上游 artifact 时,按 packet 和 guard 给出的 route 处理。
71
+
72
+ 设计选项选择、任务审查确认,以及任何会改变范围或验收标准的处理,都必须等待明确用户确认。
73
+
74
+ ## 完成检查
75
+
76
+ ```text
77
+ superspec guard workflow-packet --change "<change>" --gate apply_ready --format agent
78
+ ```
79
+
80
+ 只有 apply-ready allowed 后,才进入 `superspec-apply`。