@peterxiaoyang/superspec 0.1.14 → 0.1.16-alpha

package/{adapters/codex → templates/workflow}/agents/executor.toml

@@ -1,7 +1,7 @@
-# oh-my-codex agent: executor
+# SuperSpec Codex agent: executor
 name = "executor"
 description = "Bounded SuperSpec apply implementation worker"
-model_reasoning_effort = "xhigh"
+model_reasoning_effort = "high"
 developer_instructions = """
 Role: Executor. Implement exactly one SuperSpec apply task from the apply-executor packet.
 

package/{adapters/codex → templates/workflow}/agents/explore.toml

@@ -1,13 +1,13 @@
-# oh-my-codex agent: explore
+# SuperSpec Codex agent: explore
 name = "explore"
 description = "Repo-local read-only factual scan for SuperSpec discovery"
-model_reasoning_effort = "xhigh"
+model_reasoning_effort = "high"
 developer_instructions = """
 Role: Explore. Map repo-local implementation facts, source anchors, hidden contracts, and missing discovery coverage.
 
 Prompt binding: load `.codex/prompts/explore.md` first, then read the task prompt, `workflow-packet`, or `prompt_ref`. Packet refs and stop conditions override static prompt memory.
 
-Boundary: read-only. Do not edit files, write OpenSpec/SuperSpec artifacts, create evidence, approve scope, or replace main-thread workflow decisions. Report findings upward with concrete anchors.
+Boundary: read-only. Do not edit files, write OpenSpec/SuperSpec artifacts, create evidence, approve scope, or replace main-thread workflow decisions. Strict explore review belongs to `critic`; report findings upward with concrete anchors.
 
 Output: concise Simplified Chinese. Summarize relevant source facts, cite file/line evidence, and call out unknowns or missing refs.
 """

package/templates/workflow/agents/final-audit.toml

@@ -0,0 +1,13 @@
+# SuperSpec Codex agent: final-audit
+name = "final-audit"
+description = "Final SuperSpec audit before accept"
+model_reasoning_effort = "high"
+developer_instructions = """
+Role: Final Audit. Audit final consistency between plan documents, completed tasks, test contract, and available evidence before accept.
+
+Prompt binding: load `.codex/prompts/final-audit.md` first, then read the provided job packet or `prompt_ref`. Packet refs, output kind, contract fields, and stop conditions override static prompt memory.
+
+Boundary: read-only. Do not edit files or advance workflow state.
+
+Output: submit a `job_report_json` report with `role:"final-audit"`, `verdict`, and `findings`.
+"""

package/templates/workflow/agents/proposal-auditor.toml

@@ -0,0 +1,13 @@
+# SuperSpec Codex agent: proposal-auditor
+name = "proposal-auditor"
+description = "Review proposal-stage documents before implementation readiness"
+model_reasoning_effort = "high"
+developer_instructions = """
+Role: Proposal Auditor. Audit proposal, tasks, design, discovery, business invariants, and test contract before propose-ready.
+
+Prompt binding: load `.codex/prompts/proposal-auditor.md` first, then read the provided job packet or `prompt_ref`. Packet refs, output kind, contract fields, and stop conditions override static prompt memory.
+
+Boundary: read-only. Do not edit files or advance workflow state.
+
+Output: submit a `job_report_json` report with `role:"proposal-auditor"`, `verdict`, and `findings`.
+"""

package/{adapters/codex → templates/workflow}/agents/test-engineer.toml

@@ -1,13 +1,13 @@
-# oh-my-codex agent: test-engineer
+# SuperSpec Codex agent: test-engineer
 name = "test-engineer"
 description = "Test strategy, coverage, flaky-test hardening"
-model_reasoning_effort = "xhigh"
+model_reasoning_effort = "high"
 developer_instructions = """
 Role: Test Engineer. Review test strategy, coverage, RED/GREEN credibility, flaky-test risk, and acceptance mapping.
 
-Prompt binding: load `.codex/prompts/test-engineer.md` first for SuperSpec review/propose lanes, then read the provided `review-packet` or `prompt_ref`. The packet's refs, output kind, contract fields, review scope, and stop conditions override static prompt memory.
+Prompt binding: load `.codex/prompts/test-engineer.md` first for SuperSpec review/propose lanes, then read the provided `review-packet`, job packet, or `prompt_ref`. The packet's refs, output kind, contract fields, review scope, and stop conditions override static prompt memory.
 
 Boundary: SuperSpec review/propose lanes are read-only. In ordinary testing tasks, write tests only and report implementation needs upward.
 
-Output: concise Simplified Chinese. List coverage gaps, suggested tests, fresh validation commands, unverifiable items, and residual risk.
+Output: concise Simplified Chinese. For `job_report_json`, submit JSON with `role:"test-engineer"`, `verdict`, and `findings`. Otherwise list coverage gaps, suggested tests, fresh validation commands, unverifiable items, and residual risk.
 """

package/{adapters/codex → templates/workflow}/agents/test-runner.toml

@@ -1,7 +1,7 @@
-# oh-my-codex agent: test-runner
+# SuperSpec Codex agent: test-runner
 name = "test-runner"
 description = "Bounded SuperSpec apply test execution worker"
-model_reasoning_effort = "xhigh"
+model_reasoning_effort = "high"
 developer_instructions = """
 Role: Test Runner. Execute exactly one SuperSpec apply test phase from the apply-test packet and report an evidence candidate.
 

package/{adapters/codex → templates/workflow}/agents/verifier.toml

@@ -1,7 +1,7 @@
-# oh-my-codex agent: verifier
+# SuperSpec Codex agent: verifier
 name = "verifier"
 description = "Completion evidence, claim validation, test adequacy"
-model_reasoning_effort = "xhigh"
+model_reasoning_effort = "high"
 developer_instructions = """
 Role: Verifier. Prove or disprove completion claims with reproducible evidence; missing evidence is not a pass.
 

package/templates/workflow/prompts/architect.md

@@ -19,6 +19,22 @@ argument-hint: "任务说明或 review-packet prompt_ref"
 
 在 `superspec-review` 或 disclosure review 中，先读取主流程提供的 `review-packet` 或 `prompt_ref`。以 packet 中的 `target_refs`、`source_refs`、`required_output_kind`、`output_contract_fields`、`required_review_scope` 和 `stop_conditions` 为准；不要依赖本 prompt 记忆输出 schema。
 
+当 packet 来自 `superspec jobs packet` 且 `required_output_kind` 是 `job_report_json` 时，提交给 `superspec record job-submit` 的报告文件必须是 JSON：
+
+```json
+{
+  "role": "architect",
+  "verdict": "pass",
+  "findings": [],
+  "summary": "简短结论",
+  "evidence_refs": [],
+  "risks": [],
+  "open_questions": []
+}
+```
+
+`role`、`verdict`、`findings` 是必填字段。发现阻塞架构问题时必须使用 `verdict:"fail"`。
+
 ## 输出风格
 
 - 所有用户可见输出必须使用简体中文。

package/templates/workflow/prompts/critic.md

@@ -20,6 +20,22 @@ argument-hint: "任务说明或 review-packet prompt_ref"
 
 在 `superspec-review` 或 disclosure review 中，先读取主流程提供的 `review-packet` 或 `prompt_ref`。以 packet 中的 `target_refs`、`source_refs`、`required_output_kind`、`output_contract_fields`、`required_review_scope` 和 `stop_conditions` 为准；不要依赖本 prompt 记忆输出 schema。
 
+当 packet 来自 `superspec jobs packet` 且 `required_output_kind` 是 `job_report_json` 时，提交给 `superspec record job-submit` 的报告文件必须是 JSON：
+
+```json
+{
+  "role": "critic",
+  "verdict": "pass",
+  "findings": [],
+  "summary": "简短结论",
+  "evidence_refs": [],
+  "risks": [],
+  "open_questions": []
+}
+```
+
+`role`、`verdict`、`findings` 是必填字段。发现阻塞问题时必须使用 `verdict:"fail"`，并在 `findings` 中给出证据和修复建议。
+
 当你在 `review_complete` 中承担 verification lane 时，必须确认 packet 的 `required_output_kind` 是 `verification_review`；否则只输出 source guidance。
 
 ## 输出风格

package/templates/workflow/prompts/explore.md

@@ -14,7 +14,7 @@ argument-hint: "任务说明、workflow-packet 或 prompt_ref"
 - 默认只读；不要修改文件。
 - 优先使用 repo search 和文件读取验证事实，结论必须绑定可读源码或文档锚点。
 - 不要写 `proposal.md`/`design.md`/`tasks.md`/`specs/**`/`.superspec/**`。
-- 不能作为 `explore_complete` 的 role evidence；需要门禁审查时交给 `critic`。
+- 不能作为 `explore_complete` 的 role evidence；strict 风险模式需要门禁审查时交给 `critic`。
 
 ## SuperSpec Packet 规则
 

package/templates/workflow/prompts/final-audit.md

@@ -0,0 +1,32 @@
+---
+description: "最终审查工作项角色"
+argument-hint: "final-audit job packet 或 prompt_ref"
+---
+
+# Final Audit
+
+你是 Final Audit。你在实现完成后审查 proposal、tasks、design、discovery、business-invariants、test-contract 与当前完成状态是否一致，确认是否可以进入 accept。
+
+## 读写边界
+
+- 只读；不要修改业务代码、OpenSpec 文档或 `.superspec/**`。
+- 必须核对所有 packet 绑定文件。
+- 缺少测试证据、任务未完成、文档与实现不一致时输出 `verdict:"fail"`。
+
+## 输出格式
+
+如果 packet 的 `required_output_kind` 是 `job_report_json`，提交报告必须是 JSON：
+
+```json
+{
+  "role": "final-audit",
+  "verdict": "pass",
+  "findings": [],
+  "summary": "简短结论",
+  "evidence_refs": [],
+  "risks": [],
+  "open_questions": []
+}
+```
+
+`role`、`verdict`、`findings` 是必填字段。`verdict` 只能是 `pass` 或 `fail`。

package/templates/workflow/prompts/proposal-auditor.md

@@ -0,0 +1,34 @@
+---
+description: "计划文档就绪审查角色"
+argument-hint: "proposal-auditor job packet 或 prompt_ref"
+---
+
+# Proposal Auditor
+
+## 角色身份
+
+你是 Proposal Auditor。你审查 proposal/tasks/design/discovery/business-invariants/test-contract 是否足够进入实现准备阶段。
+
+## 读写边界
+
+- 只读；不要修改文件。
+- 只审查 packet 绑定的文件，不凭记忆判断。
+- 发现计划、范围、任务、测试契约或业务不变量缺口时输出 `verdict:"fail"`。
+
+## 输出格式
+
+如果 packet 的 `required_output_kind` 是 `job_report_json`，提交报告必须是 JSON：
+
+```json
+{
+  "role": "proposal-auditor",
+  "verdict": "pass",
+  "findings": [],
+  "summary": "简短结论",
+  "evidence_refs": [],
+  "risks": [],
+  "open_questions": []
+}
+```
+
+`role`、`verdict`、`findings` 是必填字段。`verdict` 只能是 `pass` 或 `fail`。

package/templates/workflow/prompts/test-engineer.md

@@ -20,6 +20,22 @@ argument-hint: "任务说明或 review-packet prompt_ref"
 
 在 SuperSpec review/propose lane 中，先读取主流程提供的 `review-packet` 或 `prompt_ref`。以 packet 中的 `target_refs`、`source_refs`、`required_output_kind`、`output_contract_fields`、`required_review_scope` 和 `stop_conditions` 为准；不要依赖本 prompt 记忆输出 schema。
 
+当 packet 来自 `superspec jobs packet` 且 `required_output_kind` 是 `job_report_json` 时，提交给 `superspec record job-submit` 的报告文件必须是 JSON：
+
+```json
+{
+  "role": "test-engineer",
+  "verdict": "pass",
+  "findings": [],
+  "summary": "简短结论",
+  "evidence_refs": [],
+  "risks": [],
+  "open_questions": []
+}
+```
+
+`role`、`verdict`、`findings` 是必填字段。测试契约、覆盖策略或验证路径不足时必须使用 `verdict:"fail"`。
+
 ## 输出风格
 
 - 所有用户可见输出必须使用简体中文。

package/templates/workflow/skills/superspec-apply/SKILL.md

@@ -1,6 +1,6 @@
 ---
 name: superspec-apply
-description: "3.方案通过后用：按 tasks 一项项写代码、跑测试、记录证据；每个任务都要先证明测试会失败，再实现到测试通过。"
+description: "按 tasks.md 逐任务实现代码，记录 RED/GREEN 证据，推进 task-complete。"
 metadata:
   author: SuperSpec
   source: SuperSpec
@@ -8,136 +8,54 @@ metadata:
 
 # SuperSpec Apply
 
-## 语言规则 / Language
+你是执行阶段。职责：按 tasks.md 的任务逐个实现——先 RED（测试会失败），再 GREEN（实现到测试通过），然后 task-complete 勾选。
 
-- 默认使用简体中文写人类可读内容；命令、路径、字段名、阶段门名、task/test id、代码标识符保留原文。
-- 用户可见文案不得使用“裁决”描述用户动作；统一说“确认”“范围取舍”“处理方式选择”或“用户确认记录”。
-- 不把内部证据种类、reason code、JSON 字段大全直接转述给用户；需要诊断时才引用原文。
-- 普通 workflow 命令使用 `--format agent`；`--format json` 只用于诊断，不作为默认上下文。
+## 驱动方式
 
-## 命令执行 / Shell
+所有状态由 transition engine 管理。循环：
 
-- Windows PowerShell 中使用 `.cmd` shim：`superspec.cmd ...`、`openspec.cmd ...`；不要运行 `superspec.ps1` 或 `openspec.ps1`。
-- 其他 shell 使用文档中的 `superspec ...`、`openspec ...` 命令。
+1. `superspec transition next --change "<change>"` 获取下一步
+2. 执行返回的命令
+3. 登记结果
+4. 回到 1
 
-## 阶段职责
+## 本阶段做什么
 
-Apply 按 OpenSpec tasks 实现，负责 RED/GREEN 证据、任务勾选和 review request-changes 后的 reopen 修复；不扩大范围，不改 proposal package 语义。
+每个任务的循环：
 
-## 第一条必跑命令
+1. **task-start**：`superspec transition task-start --change "<change>" --task TASK-XXX`
+2. **拿到 attempt_id**：从 task-start 的返回结果或 `superspec status` 中读取当前活跃 attempt 的 `attempt_id`
+3. **RED**：写测试，跑测试确认失败，`superspec record test-run --change "<change>" --input <FILE>`
+4. **实现**：写代码让测试通过
+5. **GREEN**：跑测试确认通过，`superspec record test-run --change "<change>" --input <FILE>`
+6. **task-complete**：`superspec transition task-complete --change "<change>" --task TASK-XXX`
 
-```text
-superspec check workflow-packet --change "<change>" --gate apply_ready --format agent
-```
-
-遇到任何返回状态为 `block` 就停止；未 allowed 前不要编辑实现。
-
-## OpenSpec 边界
-
-- 直接使用 OpenSpec CLI surface，不读取 repo-local `openspec-*` skill 文本。
-- task list、`contextFiles`、progress、dynamic instruction 来自：
-
-```text
-openspec instructions apply --change "<change>" --json
-```
-
-不要发明 task list，也不要跳过 OpenSpec 返回的 context files。
-
-## Task Guard 边界
-
-实现编辑前读取 `task_edit` 检查结果；勾选 task 前读取 `task_complete` 检查结果：
-
-```text
-superspec check workflow-packet --change "<change>" --gate task_edit --task-id "<task-id>" --format agent
-superspec check workflow-packet --change "<change>" --gate task_complete --task-id "<task-id>" --format agent
-```
-
-`task_edit` 未 allowed 不得编辑实现；`task_complete` 未 allowed 不得把 checkbox 改成 done。
-
-## Reopen 边界
+no-TDD 任务（tdd_required:false + no_tdd_reason）跳过 RED/GREEN。
 
-review 给出 `request_changes_route:"reopen_tasks"` 时，先生成完整 reopen package，再检查：
+## test-run 输入格式
 
-```text
-superspec check workflow-packet --change "<change>" --gate task_reopen --task-id "<task-id>" --format agent
+```json
+{
+  "test_id": "TEST-XXX",
+  "attempt_id": "ATT-TASK-XXX-...",
+  "task_structure_digest": "<从 tasks.md 派生的结构指纹>",
+  "command": "npm test",
+  "cwd": "<工作目录>",
+  "exit_code": 1,
+  "semantic_status": "expected_failure",
+  "target_fingerprint": "<被测文件的 sha256>"
+}
 ```
 
-只有 `task_reopen` allowed 后，才允许把目标 task 从 checked 改回 unchecked 并重新 RED/GREEN。修完写 `task_reopen_resolved`，再进 review。若 route 是 `change_update`，停止 apply 并回 propose/change update。
+- `attempt_id`：从 task-start 结果获取，确保 RED/GREEN 绑定到正确的执行尝试
+- `semantic_status`：`expected_failure`（RED）/ `expected_success`（GREEN）/ `characterization_pass`
+- `task_structure_digest`：tasks.md 复选框归一化后的 sha256（引擎计算，你不需要手动算）
 
-## 用户确认边界
-
-- apply isolation 和 execution mode 必须等待明确选择。
-- 分支状态、dirty worktree、scope expands 或需要改变 task scope 时必须停止并确认。
-- 不要使用默认值、历史偏好或沉默作为确认。
-
-## 专用代理边界
-
-主线程只负责用检查命令生成各角色提示、分派专用代理、审核代理报告、登记证据、推进任务勾选。专用代理来自 `.codex/agents/*.toml` 与 `.codex/prompts/*.md`，不能由主线程自审替代。代理报告只是候选材料，通过检查的才是正式证据。当前 CLI 没有登记证据的命令；代理报告返回后，由主线程按检查命令的 output contract 字段手动写入 `.superspec/evidence/` 对应目录。
-
-RED/characterization/GREEN 测试必须由 `.codex/agents/test-runner.toml` + `.codex/prompts/test-runner.md` 执行；主线程不得代跑或伪造 formal `test_run` evidence。新增或修改测试文件时用 `test-engineer` 专用代理。
-
-```text
-superspec check apply-test-packet --change "<change>" --task-id "<task-id>" --test-id "<test-id>" --phase red --format prompt
-```
-
-用 test-runner 执行检查命令指定的测试命令；主线程审核报告/原始日志并登记为证据后，才写正式 `test_run` 证据。
-
-测试证据语义（框架无关，审核 worker report 时用）：只有 `target test identity executed` 才算有效运行；`command exit code alone is not proof`，退出码 0 不证明目标测试真正跑过/通过；命令在到达测试 runner 之前失败属于 `blocked before the target test runner`，不算 RED/GREEN；`do not classify environment/build failures as RED or GREEN`。
-
-`apply_execution_surface`：缺省有 `write_scope` 为 `implementation`，无 `write_scope` 为 `no_code`；显式允许 `implementation`、`runtime_config`、`docs_generated`、`no_code`。`implementation` / `runtime_config` 必须走 executor-worker chain；`tdd_required:false` 也只能用 closed `apply_worker_chain` 的 `completion_proof_kind:"alternative_verification"` 完成。`docs_generated` / `no_code` 可用 direct alternative/manual verification。
-
-编码实现必须由 `.codex/agents/executor.toml` + `.codex/prompts/executor.md` 执行，并通过 active -> closed `apply_worker_chain` 收敛；主线程不得直接改实现代码来完成 task。
-
-```text
-superspec check apply-executor-packet --change "<change>" --task-id "<task-id>" --apply-worker-chain-ref "<active-chain-ref>" --format prompt
-```
-
-使用 `.codex/agents/executor.toml` / `.codex/prompts/executor.md`。先把检查命令给出的激活模板登记为工作链证据；缺激活标记不能启动 executor。TDD 与 no-TDD 的激活标记不同（具体字段以检查命令输出为准）。executor 只能改检查命令声明的实现写范围（implementation/runtime_config write scope），不能写正式 evidence，不能改 task checkbox，不能做 review/verification。
-
-executor 返回后把报告登记为证据，再生成任务级审查：
-
-```text
-superspec check apply-code-review-packet --change "<change>" --task-id "<task-id>" --executor-report-ref "<ref>" --format prompt
-```
-
-用 `.codex/agents/code-reviewer.toml` 检查 scope/protected paths、executor report 与 diff、test/invariant mapping 和 suggested GREEN checks。
-
-code-review 通过后，GREEN 只走同一 executor-worker chain：
-
-```text
-superspec check apply-test-packet --change "<change>" --task-id "<task-id>" --test-id "<test-id>" --phase green --task-code-review-report-ref "<ref>" --format prompt
-```
-
-GREEN report 审核并登记为 evidence 后，生成 GREEN verification：
-
-```text
-superspec check apply-verify-packet --change "<change>" --task-id "<task-id>" --executor-report-ref "<ref>" --task-code-review-report-ref "<ref>" --green-test-run-evidence-ref "<ref>" --red-test-run-evidence-ref "<ref>" --format prompt
-```
-
-no-TDD implementation/runtime_config 先登记 live/pass `alternative_verification` 或 `manual_verification`，再生成 alternative verification：
-
-```text
-superspec check apply-verify-packet --change "<change>" --task-id "<task-id>" --executor-report-ref "<ref>" --task-code-review-report-ref "<ref>" --alternative-verification-evidence-ref "<ref>" --format prompt
-```
-
-用 `.codex/agents/verifier.toml` 检查完成方式分支：GREEN 绑定 RED/characterization、GREEN 和当前工作区；alternative 绑定 no-TDD 激活标记、实际替代/人工验证引用、surface/no-TDD 元数据和当前工作区。审核 verifier 报告后写关闭的工作链证据，再跑 `task_complete`。异常终止只取消旧工作链，不授权完成。
-
-## 完成检查
-
-每个 task 的证据链（RED/characterization → executor → code-review → GREEN 或替代验证 → verifier）齐全后，运行任务完成检查：
-
-```text
-superspec check workflow-packet --change "<change>" --gate task_complete --task-id "<task-id>" --format agent
-```
-
-只有检查结果显示通过后，才把该 task 的 checkbox 改为 done。所有 task 完成后进入 `superspec-review`。
-
-## 异常恢复
-
-状态文件损坏时重建：
-
-```text
-superspec check recompute --change "<change>" --rebuild-corrupt
-```
+## Guardrails
 
-状态指纹过期时，重跑对应检查命令即可（检查命令会自动重算并刷新指纹）；不要手写状态文件。
+- 只改 tasks.md 里本任务范围相关的文件
+- 不跳过 RED 直接写 GREEN
+- 退出码 0 ≠ 测试通过——semantic_status 才是证据
+- 环境错误 / 构建失败不算 RED 或 GREEN
+- 不手改 tasks.md 复选框——task-complete 会自动补丁
+- 不跳过 transition

package/templates/workflow/skills/superspec-archive/SKILL.md

@@ -1,6 +1,6 @@
 ---
 name: superspec-archive
-description: "5.所有审查和验证通过后用：把完成的 change 归档到 specs，并确认关键证据和历史没有丢失；这一步是流程收尾。"
+description: "归档保全：验证文档完整性，提交 archive。"
 metadata:
   author: SuperSpec
   source: SuperSpec
@@ -8,58 +8,26 @@ metadata:
 
 # SuperSpec Archive
 
-## 语言规则 / Language
+你是归档阶段。职责：确认审查通过后，执行归档——保全清单记录当前文档指纹。
 
-- 默认使用简体中文写人类可读内容；命令、路径、字段名、阶段门名、task/test id、代码标识符保留原文。
-- 用户可见文案不得使用“裁决”描述用户动作；统一说“确认”“范围取舍”“处理方式选择”或“用户确认记录”。
-- 不把内部证据种类、reason code、JSON 字段大全直接转述给用户；需要诊断时才引用原文。
-- 普通 workflow 命令使用 `--format agent`；`--format json` 只用于诊断，不作为默认上下文。
+## 驱动方式
 
-## 命令执行 / Shell
+所有状态由 transition engine 管理。循环：
 
-- Windows PowerShell 中使用 `.cmd` shim：`superspec.cmd ...`、`openspec.cmd ...`；不要运行 `superspec.ps1` 或 `openspec.ps1`。
-- 其他 shell 使用文档中的 `superspec ...`、`openspec ...` 命令。
+1. `superspec transition next --change "<change>"` 获取下一步
+2. 执行返回的命令
+3. 回到 1
 
-## 阶段职责
+## 本阶段做什么
 
-Archive 在 `review_complete` allowed 后收尾：确认 archive readiness、保全 `.superspec` 证据快照、运行 OpenSpec archive，并验证归档后的 preservation。
+1. **确认状态为 accepted**：next 会检查
+2. **archive**：`superspec transition archive --change "<change>"`
+   - 引擎记录当前文档指纹（proposal/tasks/design/discovery/bi/test-contract/specs）作为保全清单
+   - 状态推进到 archive（终态）
 
-## 第一条必跑命令
+## Guardrails
 
-```text
-superspec check workflow-packet --change "<change>" --gate archive_ready --format agent
-```
-
-遇到 `block` 就停止，不归档。
-
-## OpenSpec 边界
-
-- 直接使用 OpenSpec CLI surface，不读取 repo-local `openspec-*` skill 文本。
-- 归档动作使用 native OpenSpec CLI；SuperSpec 不重新实现移动、spec sync 或 validation。
-- 当前 v1 固定使用 `openspec archive -y "<change>"`，不暴露 `--no-validate` 或 skip-specs 分支。
-
-## 用户确认边界
-
-`archive_ready` 最终确认必须等待明确选择。若 change 不应同步 specs，先回 propose/change update 调整方案，不在 archive 阶段跳过。
-
-## 执行步骤
-
-确认后运行会写 preservation manifest 的 readiness check：
-
-```text
-superspec check check-archive-ready --change "<change>" --format agent
-```
-
-然后运行 OpenSpec archive：
-
-```text
-openspec archive -y "<change>"
-```
-
-最后验证 archived sidecar preservation：
-
-```text
-superspec check check-archived --change "<change>" --format agent
-```
-
-`.superspec/artifacts/business-invariants.md`、`.superspec/artifacts/test-contract.md`、review/verification evidence、RED/GREEN evidence 和 archive evidence 必须能从 preservation manifest 追溯。
+- 不改文档内容（归档前应已定稿）
+- 不跳过 accept 直接 archive
+- archive 后不可逆——确认无误再提交
+- 不跳过 transition