@rosenfan/matrix 0.1.1 → 0.1.3

package/README.zh-CN.md

@@ -1,271 +1,309 @@
-# Matrix Workflow
+# Matrix Workflow
+
+一个提供 Prim 与 Arch 编排的证据驱动开发工作流，灵感来自 [Comet](https://github.com/rpamis/comet)。Matrix 可以使用自身能力，也可以按事实调用已验证的 [Matt Pocock agent skills](https://github.com/mattpocock/skills)，但生命周期所有权始终由 Matrix 保持。
+
+**[English](./README.md)** | 中文
+
+<p align="center">
+  <img src="./assets/matrix-workflow-poster-zh.svg" alt="Matrix Workflow" width="100%">
+</p>
+
+---
+
+## 目录
+
+- [为什么需要 Matrix](#为什么需要-matrix)
+- [它做了什么](#它做了什么)
+- [前置条件](#前置条件)
+- [安装](#安装)
+- [快速开始](#快速开始)
+- [工作流阶段](#工作流阶段)
+- [工作原理](#工作原理)
+- [工作流类型](#工作流类型)
+- [与 Matt Pocock Skills 的集成](#与-matt-pocock-skills-的集成)
+- [许可证](#许可证)
+
+---
+
+## 为什么需要 Matrix
+
+[Matt Pocock 的 skills](https://github.com/mattpocock/skills) 提供 `/grilling`、`/tdd`、`/code-review` 等聚焦能力。但缺少统一生命周期所有者时会导致常见问题：
+
+- **无流程记忆**：你进行了 grilling，然后实现，但没有记录决策过程
+- **阶段混乱**：设计完成了吗？我们在构建阶段吗？上下文丢失后很难判断
+- **静默范围蔓延**：需求在构建过程中变更，却没有返回设计阶段
+- **缺少证据**："看起来完成了"却没有验证证明
+
+Matrix 通过唯一的确定性状态机解决这些问题 —— 包含明确的阶段、守卫条件和产物追踪。Skill 可以协助阶段，但生命周期始终由 Matrix 拥有。
+
+---
+
+## 它做了什么
+
+Matrix 在集中定义的两种 workflow profile 上提供两种能力编排：
 
-一个基于 [Matt Pocock 的 Claude Code skills](https://github.com/mattpocock/skills) 的结构化工作流编排器，灵感来自 [Comet](https://github.com/rpamis/comet)。它通过强制执行基于证据的阶段转换，规范使用这些 skills 时的开发流程。
-
-**[English](./README.md)** | 中文
-
-<p align="center">
-  <img src="./assets/matrix-workflow-poster-zh.svg" alt="Matrix Workflow" width="100%">
-</p>
-
----
-
-## 目录
-
-- [为什么需要 Matrix](#为什么需要-matrix)
-- [它做了什么](#它做了什么)
-- [前置条件](#前置条件)
-- [安装](#安装)
-- [快速开始](#快速开始)
-- [工作流阶段](#工作流阶段)
-- [工作原理](#工作原理)
-- [工作流类型](#工作流类型)
-- [与 Matt Pocock Skills 的集成](#与-matt-pocock-skills-的集成)
-- [许可证](#许可证)
-
----
-
-## 为什么需要 Matrix
-
-[Matt Pocock 的 skills](https://github.com/mattpocock/skills) 是优秀的独立工具 —— `/grill-with-docs` 用于需求澄清，`/tdd` 用于测试驱动开发，`/implement` 用于执行实现。但单独使用它们会导致常见问题：
-
-- **无流程记忆**：你进行了 grilling，然后实现，但没有记录决策过程
-- **阶段混乱**：设计完成了吗？我们在构建阶段吗？上下文丢失后很难判断
-- **静默范围蔓延**：需求在构建过程中变更，却没有返回设计阶段
-- **缺少证据**："看起来完成了"却没有验证证明
-
-Matrix 通过将这些 skills 封装到确定性状态机中来解决这些问题 —— 包含明确的阶段、守卫条件和产物追踪。灵感来自 [Comet](https://github.com/rpamis/comet) 的阶段式方法。
-
----
-
-## 它做了什么
-
-Matrix 将 Matt Pocock 的 skills 编排成结构化工作流：
-
-```
-open → design → build → verify → archive
-(开放)  (设计)   (构建)   (验证)   (归档)
-  ↓       ↓        ↓        ↓        ↓
-grill   plan    implement  tdd    commit
-        design            review
-```
-
-每个阶段：
-- 有特定的交付物（产物）
-- 有必须通过的守卫条件
-- 记录所有转换
-- 可承受上下文丢失（状态存储在磁盘上）
-
----
-
-## 前置条件
-
-- 已安装 [Claude Code](https://docs.anthropic.com/claude-code)
-- Node.js 18+（用于运行安装器）
-- Python 3.8+ 已添加到 PATH
-
----
-
-## 安装
-
-只需全局安装一次 Matrix CLI：
-
-```bash
-npm install --global @rosenfan/matrix
 ```
-
-之后在任意项目中初始化：
-
-```bash
-cd /path/to/your/project
-matrix init
-```
-
-交互式初始化支持：
-
-- 选择安装到当前项目或全局
-- 复制 skills（推荐）或为本地开发创建符号链接
-- 更新已有安装，并自动备份被替换的 Matrix 文件
-- 在同一流程中安装 Matt Pocock 的配套 skills
-
-自动化或 CI 环境可以使用：
-
-```bash
-# 使用推荐的项目级默认值，不显示交互问题
-matrix init --yes --with-mattpocock
-
+full：                    open → design → build → verify → archive
+hotfix/tweak lightweight：open ─────────→ build → verify → archive
+
+Prim：Matrix 使用自身能力
+Arch：仅在任务事实满足触发条件时调用已验证的原子 Skill
+```
+
+恢复路径由 Runtime 受控执行：
+
+```text
+build  --design-gap--------------------> design
+verify --verification-failed-----------> build
+verify --acceptance-or-design-gap------> design
+任意活动阶段 --abort-------------------> aborted
+```
+
+每个阶段：
+- 有特定的交付物（产物）
+- 有必须通过的守卫条件
+- 记录所有转换
+- 可承受上下文丢失（状态存储在磁盘上）
+
+---
+
+## 前置条件
+
+- 已安装 [Claude Code](https://docs.anthropic.com/claude-code) 和/或 Codex，作为 Skill 宿主
+- Node.js 18+，且 `npm` 已加入 PATH（用于 Matrix CLI）
+- Python 仅在兼容窗口内的旧适配器路径使用；新安装使用内置 Node workflow runtime
+- Git 仅在从 GitHub 安装或参与 Matrix 开发时需要
+
+---
+
+## 安装
+
+只需全局安装一次 Matrix CLI：
+
+```bash
+npm install --global @rosenfan/matrix
+```
+
+之后在任意项目中初始化：
+
+```bash
+cd /path/to/your/project
+matrix init
+```
+
+交互式初始化支持：
+
+- 选择安装到当前项目或全局
+- 复制 skills（推荐）或为本地开发创建符号链接
+- 安全地重新配置已有安装，并自动备份被替换的 Matrix 文件
+- 在同一流程中安装 Matt Pocock 的配套 skills
+- 选择 Prim 或 Arch 作为项目默认值，且不禁用另一种可用模式
+
+自动化或 CI 环境可以使用：
+
+```bash
+# 使用推荐的项目级默认值，不显示交互问题
+matrix init --yes --with-mattpocock
+
+# 显式选择项目默认编排
+matrix init --yes --with-mattpocock --default-orchestration arch
+
 # 检查安装完整性和运行环境
 matrix doctor
 ```
 
-npm 包正式发布前，也可以直接从 GitHub 安装：
+更新已经初始化的项目：
 
 ```bash
-npm install --global github:Rosenfan/Matrix
-```
-
-Matrix 将安装：
-- `matrix/` — 入口点和状态管理
-- `matrix-open/` — 开放阶段（使用 `/grill-with-docs`）
-- `matrix-design/` — 设计阶段（使用 `/prototype`、`/research`）
-- `matrix-build/` — 构建阶段（使用 `/implement`、`/tdd`）
-- `matrix-verify/` — 验证阶段（使用 `/code-review`）
-- `matrix-archive/` — 归档阶段
-- `matrix-hotfix/` — 小型 Bug 快捷方式
-- `matrix-tweak/` — 有界变更快捷方式
-- `matrix-status/` — 检查当前状态
-- `matrix-claude/` — 可选：导出供 Claude Code 使用
+# 检查新版 Matrix CLI，确认计划后更新 CLI 并同步当前项目资产
+matrix update
 
----
+# 离线或本地开发：不访问 npm registry，只用当前 CLI 同步资产
+matrix update --skip-self-update
 
-## 快速开始
-
-在 Claude Code 中：
-
-```
-$matrix 我想给 API 添加用户认证
+# 已在自动化中明确授权写入
+matrix update --yes
 ```
 
-Matrix 将会：
-1. 用工作流类型 `full` 初始化一个变更
-2. 进入 `open` 阶段 → 调用 `/grill-with-docs` 澄清需求
-3. 创建 `proposal.md`，包含目标、范围、验收标准、风险
-4. 守卫检查：所有章节是否内容充实？
-5. 如果通过 → 转换到 `design`
-
----
-
-## 工作流阶段
-
-| 阶段 | 使用的 Matt Pocock Skills | 交付物 | 守卫条件 |
-|------|---------------------------|--------|----------|
-| **open** | `/grill-with-docs`（自动调用 `/grilling` + `/domain-modeling`） | `proposal.md`、`CONTEXT.md`、ADRs | 目标、范围、验收标准、风险存在 |
-| **design** | `/domain-modeling` → `/research` → `/wayfinder` → `/prototype` → `/codebase-design` | `design.md`、`plan.md` | 决策、测试点、步骤已记录 |
-| **build** | `/implement`（自动调用 `/tdd` + `/code-review`）、`/diagnosing-bugs`、`/resolving-merge-conflicts` | 代码、`verification.md` | 计划存在，构建证据已记录 |
-| **verify** | `/code-review`（双轴：Standards + Spec）、`/improve-codebase-architecture` | 测试和审查证据 | 测试和审查证据存在 |
-| **archive** | — | Git commit | 验证守卫通过 |
-
----
-
-## 工作原理
-
-状态存储在 `.matrix/` 目录：
-
-```
-.matrix/
-├── active.json              # 当前变更 ID
-├── config.yaml
-├── changes/
-│   └── <change-id>/
-│       ├── matrix.yaml      # 阶段、工作流、时间戳
-│       ├── run-state.json
+`matrix update` 会保留既有安装的 scope、平台、语言、mode 与 orchestration。它先隔离验证 npm 新包，再由新 CLI 同步项目资产。npm 与项目资产是两个事务：若 CLI 已更新但资产同步失败，可运行 `matrix update --skip-self-update` 重试。修改安装选择请使用 `matrix init`；只读诊断请使用 `matrix doctor`。
+
+`matrix init` 选择的语言决定新 Matrix 产物的正文语言：`zh-CN` 使用中文、`en` 使用英文。Runtime 守卫依赖的 Markdown 英文标题 token 保持不变；每个 change 在创建时冻结该语言。
+
+也可以直接从 GitHub 安装，而不是 npm：
+
+```bash
+npm install --global github:Rosenfan/Matrix
+```
+
+Matrix 将安装：
+- `matrix/` — 入口点和状态管理
+- `matrix-open/` — Open 阶段与 canonical proposal
+- `matrix-design/` — Design、plan 与 Contract 批准
+- `matrix-build/` — 有界实现与构建证据
+- `matrix-verify/` — 测试和双轴审查证据
+- `matrix-archive/` — 归档阶段
+- `matrix-hotfix/` — 小型 Bug 快捷方式
+- `matrix-tweak/` — 有界变更快捷方式
+- `matrix-status/` — 检查当前状态
+- `matrix-claude/` — 可选：导出供 Claude Code 使用
+
+---
+
+## 快速开始
+
+在 Claude Code 中：
+
+```
+$matrix 我想给 API 添加用户认证
+```
+
+Matrix 将会：
+1. 用工作流类型 `full` 和冻结的 `prim|arch` 编排初始化变更
+2. 进入 `open`；Prim 直接处理，Arch 只调用已证明的需求触发能力
+3. 创建 `proposal.md`，包含目标、范围、验收标准、风险
+4. 守卫检查：所有章节是否内容充实？
+5. 如果通过 → 转换到 `design`
+
+---
+
+## 工作流阶段
+
+| 阶段 | Arch 能力（按事实触发，不是固定序列） | 交付物 | 守卫条件 |
+|------|----------------------------------------|--------|----------|
+| **open** | `/grilling`、`/domain-modeling` | `proposal.md`；可选仓库约定的 context/ADR 证据 | 目标、范围、验收标准、风险存在 |
+| **design** | `/domain-modeling`、`/research`、`/wayfinder`、`/prototype`、`/codebase-design` | `design.md`、`plan.md` | 决策、测试点、步骤已记录 |
+| **build** | `/tdd`、`/diagnosing-bugs`、`/resolving-merge-conflicts` | 代码、`verification.md` | 已批准的精确 Contract 匹配，且已记录构建证据 |
+| **verify** | `/code-review` | 测试和审查证据 | 测试和审查证据存在 |
+| **archive** | 无；两种模式均由 Matrix 拥有 | 归档记录 | 验证守卫通过 |
+
+---
+
+## 工作原理
+
+状态存储在 `.matrix/` 目录：
+
+```
+.matrix/
+├── active.json              # 当前变更 ID
+├── config.yaml
+├── changes/
+│   └── <change-id>/
+│       ├── matrix.yaml      # 唯一 workflow、orchestration、阶段、状态与 revision 事实
+│       ├── workspace-baseline.json # lightweight 的实施顺序边界
 │       ├── events.jsonl
-│       └── artifacts/
-│           ├── proposal.md
-│           ├── design.md
-│           ├── plan.md
-│           └── verification.md
-└── archive/
-```
-
-状态机强制执行转换：
-
-```bash
-# 检查守卫
-python .claude/skills/matrix/scripts/matrix_state.py guard open
-
+│       └── artifacts/
+│           ├── proposal.md
+│           ├── design.md
+│           ├── plan.md
+│           ├── verification.md
+│           └── evidence-history/
+└── archive/
+```
+
+状态机强制执行转换：
+
+```bash
+# 检查守卫
+matrix workflow guard open
+
 # 推进（仅在守卫通过时）
-python .claude/skills/matrix/scripts/matrix_state.py transition design
-```
-
----
-
-## 工作流类型
-
-| 类型 | 使用场景 | 阶段 |
-|------|----------|------|
-| **full** | 新功能、架构变更 | 全部 5 个阶段 |
-| **hotfix** | 可复现的小型 Bug | 简化：open → build → verify → archive |
+matrix workflow transition design
+
+# lightweight：确认紧凑 proposal 后进入 Build
+matrix workflow transition build --confirmed
+
+# 验证失败时返回 Build；旧证据保留在历史目录
+matrix workflow return build --reason verification-failed
+
+# 终止变更但保留产物，不撤销工作区代码
+matrix workflow abort --reason requirement-cancelled
+
+# 最终归档强制使用两步乐观提交
+matrix workflow archive --dry-run
+matrix workflow archive --expect-preflight <dry-run-返回的-sha256>
+# hotfix/tweak 的提交命令还必须带 --confirmed
+
+# 只读诊断中断的 Workflow
+matrix workflow doctor
+
+# 只恢复 doctor 明确报告的 transaction 或陈旧锁
+matrix workflow doctor --repair --transaction <id> --strategy <continue|rollback>
+matrix workflow doctor --repair --lock <id>
+```
+
+`matrix.yaml` 仍是 workflow、orchestration、阶段、状态与 revision 的唯一事实来源。full 批准 proposal/design/plan 的精确字节；lightweight 批准紧凑 proposal，要求明确确认，并与初始化工作区基线比较，阻止先实现后补方案。Contract 漂移会阻断后续阶段。最终 Archive 仍使用只读 dry-run 与 hash-bound commit，shortcut 还要求明确确认；所有多文件 mutation 继续受持久 journal 保护。
+
+---
+
+## 工作流类型
+
+| 类型 | 使用场景 | 阶段 |
+|------|----------|------|
+| **full** | 新功能、架构变更 | 全部 5 个阶段 |
+| **hotfix** | 可复现的小型 Bug | 简化：open → build → verify → archive |
 | **tweak** | 有界变更，无 API/架构影响 | 简化：open → build → verify → archive |
 
----
-
-## 特别功能：matrix-claude
-
-**默认用法**：直接使用主流程即可。无论你用 Codex 还是 Claude Code，标准流程都适用：
-
-```
-$matrix → open → design → build → verify → archive
-```
-
-**何时使用 `$matrix-claude`**：仅当你想**跨工具拆分工作**时 —— 用 Codex 设计，然后交给 Claude Code 实现。
-
-| 场景 | 操作 |
-|------|------|
-| 一个工具完成所有工作（默认） | 直接用 `$matrix`，无需额外步骤 |
-| Codex 设计 + Codex 实现 | 标准流程：design → build → verify |
-| Codex 设计 + Claude Code 实现 | design → `$matrix-claude` → Claude Code → verify |
-
-### matrix-claude 工作原理
-
-1. 设计阶段完成，守卫通过
-2. 运行 `$matrix-claude` → 导出冻结的设计为 `artifacts/claude-task.md`
-3. Claude Code 读取任务包并实现
-4. Claude Code 在 `artifacts/verification.md` 中产生证据
-5. 返回 Matrix：构建守卫 → 验证 → 归档
-
-此 sidecar 不会改变 Matrix 状态。它只是纯粹的导出 —— 就像为另一个工具拍一张设计快照。
-
----
-
-## 与 Matt Pocock Skills 的集成
-
-Matrix 设计为**在 Matt Pocock 的 skills 之上工作**，而非替代它们。以下是各阶段的详细映射：
-
-### open 阶段
-
-| Skill | Matrix 如何使用 |
-|-------|-----------------|
-| `/grill-with-docs` | 主技能：运行 `/grilling` + `/domain-modeling` 澄清需求 |
-| `/grilling` | 通过连续提问压力测试计划 |
-| `/domain-modeling` | 建立共享词汇，创建 `CONTEXT.md` 和 ADRs |
-
-### design 阶段（推荐顺序）
-
-| 顺序 | Skill | Matrix 如何使用 |
-|------|-------|-----------------|
-| 1 | `/domain-modeling` | 从提案中建立或精炼领域词汇 |
-| 2 | `/research` | 调查外部 API、文档、规范（后台运行） |
-| 3 | `/wayfinder` | 探索复杂代码库结构和依赖 |
-| 4 | `/prototype` | 用一次性实验验证设计问题 |
-| 5 | `/codebase-design` | 定义模块边界、接口、测试点 |
-
-### build 阶段
-
-| Skill | Matrix 如何使用 |
-|-------|-----------------|
-| `/implement` | 主技能：执行计划，使用 TDD，运行代码审查，然后提交 |
-| `/tdd` | 由 `/implement` 自动调用：在确认的接缝处进行红绿重构 |
-| `/diagnosing-bugs` | 遇到失败时：先构建紧凑的反馈循环再修复 |
-| `/resolving-merge-conflicts` | 遇到合并冲突时：系统性解决 |
-
-### verify 阶段
-
-| Skill | Matrix 如何使用 |
-|-------|-----------------|
-| `/code-review` | 双轴审查：**Standards**（编码规范）+ **Spec**（需求忠实度） |
-| `/improve-codebase-architecture` | 可选：扫描浅模块深化机会 |
-
----
-
-**关键区别**：Matt Pocock 的 skills 是独立工具。Matrix 增加了：
-- **状态持久化**：可承受上下文丢失
-- **阶段强制**：不能跳过设计直接进入构建
-- **证据要求**：守卫检查产物，而非断言
-- **转换日志**：完整的阶段变更审计记录
-
----
-
-## 许可证
-
-[MIT](./LICENSE)
+hotfix 与 tweak 引用同一个内部 `lightweight` 迁移 profile，只在入口和证据上区分：hotfix 要求复现、根因、回归证据；tweak 要求行为边界、diff 与范围审查证据。
+
+---
+
+## 特别功能：matrix-claude
+
+**默认用法**：直接使用主流程即可。无论你用 Codex 还是 Claude Code，标准流程都适用：
+
+```
+$matrix → open → design → build → verify → archive
+```
+
+**何时使用 `$matrix-claude`**：仅当你想**跨工具拆分工作**时 —— 用 Codex 设计，然后交给 Claude Code 实现。
+
+| 场景 | 操作 |
+|------|------|
+| 一个工具完成所有工作（默认） | 直接用 `$matrix`，无需额外步骤 |
+| Codex 设计 + Codex 实现 | 标准流程：design → build → verify |
+| Codex 设计 + Claude Code 实现 | design → build（批准 Contract）→ `$matrix-claude` → Claude Code → verify |
+
+### matrix-claude 工作原理
+
+1. 设计阶段完成，守卫通过
+2. 运行 `$matrix-claude` → 导出冻结的设计为 `artifacts/claude-task.md`
+3. Claude Code 读取任务包并实现
+4. Claude Code 在 `artifacts/verification.md` 中产生证据
+5. 返回 Matrix：构建守卫 → 验证 → 归档
+
+此 sidecar 不会改变 Matrix 状态。它只是纯粹的导出 —— 就像为另一个工具拍一张设计快照。
+
+---
+
+## 与 Matt Pocock Skills 的集成
+
+Prim 使用 Matrix 自身能力。Arch 使用初始化时验证的十项原子能力：
+
+| 阶段 | 能力 | 触发条件 |
+|---|---|---|
+| open | `/grilling` | 存在重大歧义或用户明确要求压力测试 |
+| open/design | `/domain-modeling` | 词汇、不变量或架构决定不清晰 |
+| design | `/research` | 仓库内无法获得必需的外部事实 |
+| design | `/wayfinder` | 模块归属或依赖接缝未知 |
+| design | `/prototype` | 重大设计问题需要一次性实验证据 |
+| design | `/codebase-design` | 深模块、接口或测试接缝决定尚未完成 |
+| build | `/tdd` | 可测试接缝上的可观察行为发生变化 |
+| build | `/diagnosing-bugs` | 存在真实失败且根因未知 |
+| build | `/resolving-merge-conflicts` | 正在发生 merge/rebase 冲突 |
+| verify | `/code-review` | 需要 Standards 与 Spec 双轴证据 |
+
+`grill-with-docs`、`implement`、`improve-codebase-architecture` 不受 Matrix 管理，也不会自动调用。用户已安装的副本会作为非受管额外 Skill 保留。companion 不得推进、提交、归档或写 Matrix 状态。
+
+---
+
+**关键区别**：Matt Pocock 的 skills 是独立工具。Matrix 增加了：
+- **状态持久化**：可承受上下文丢失
+- **阶段强制**：full 不能跳过 Design；lightweight 不能在确认 Open Contract 前修改实现
+- **证据要求**：守卫检查产物，而非断言
+- **转换日志**：完整的阶段变更审计记录
+
+---
+
+## 许可证
+
+[MIT](./LICENSE)

package/assets/skills-zh-CN/matrix/SKILL.md

@@ -1,28 +1,83 @@
----
-name: matrix
-description: 启动、恢复并治理持久化的 Matrix 开发工作流。
----
-
+---
+name: matrix
+description: 启动、恢复并治理持久化的 Matrix 开发工作流。
+---
+
 # Matrix
 
-Matrix 的事实来源是当前项目的 `.matrix/`，不得从聊天记录推断阶段。
-
-先执行：
-
-```powershell
-matrix workflow inspect
-```
-
-只有当系统明确报告 `matrix` 命令不存在时，才解析当前 Matrix Skill 目录并执行：
-
-```powershell
-node <matrix-skill-directory>/scripts/matrix-runtime.mjs inspect
-```
-
-若没有活动变更，为开发请求创建 kebab-case 变更 ID：
-
-```powershell
-matrix workflow init <change-id> --workflow <full|hotfix|tweak> --title "<title>"
-```
+以当前仓库的 `.matrix/` 为唯一状态来源；不得从聊天记录推断阶段。
 
-阶段只能由 `matrix workflow transition` 推进；架构、范围或归档前必须征求用户确认。
+读取 `matrix workflow inspect` 的 `artifact_language`。规范 Markdown 标题 token 必须保持不变；面向用户的产物正文、说明和 handoff 在 `zh-CN` 时写中文，在 `en` 时写英文。
+
+先执行：
+
+```powershell
+matrix workflow inspect
+```
+
+只有系统明确报告 `matrix` 命令不存在时，才使用当前 Matrix Skill 目录中的 bundled runtime：
+
+```powershell
+node <matrix-skill-directory>/scripts/matrix-runtime.mjs inspect
+```
+
+有活动变更时，报告其 phase、冻结的 `orchestration` 以及 Arch 安装完整性，再按 Runtime 结果进入 `next_skill`。没有活动变更时，为开发请求创建简短 kebab-case ID：
+
+```powershell
+matrix workflow init <change-id> --workflow <full|hotfix|tweak> --orchestration <prim|arch> --title "<title>"
+```
+
+显式模式优先，否则使用项目 `default_orchestration`。解析后的模式在整个 change 生命周期中不可切换。
+
+## 编排模式
+
+- **Prim**：各阶段使用 Matrix 自身能力，不依赖 Matt Skills。
+- **Arch**：仅在任务事实满足触发条件时，调用初始化阶段已验证的十项原子能力。
+
+两种编排模式使用已选定的 workflow profile：`full` 走 `open → design → build → verify → archive`；`hotfix` 与 `tweak` 共用内部 `lightweight` profile，走 `open → build → verify → archive`，仅证据策略不同。Arch 能力不得写 Matrix 状态、推进阶段、提交、归档或创建竞争工作流。
+
+正确安装的 Arch 能力执行失败时，最多允许一次同能力的 Matrix fallback，并记录失败与证据。缺失、修改或不完整的 Arch 安装必须通过 `matrix init --with-mattpocock` 修复，不得切换活动 change 到 Prim。
+
+## 恢复
+
+只能通过 Runtime 恢复，不得手工修改状态：
+
+```powershell
+matrix workflow return design --reason design-gap
+matrix workflow return build --reason verification-failed
+matrix workflow return design --reason acceptance-or-design-gap
+matrix workflow abort --reason <requirement-cancelled|superseded|no-longer-valuable|blocked|other>
+```
+
+Return 会把当前 `verification.md` 轮换至按 revision 编号的证据历史。Archive 等待确认期间若验收或设计改变，只能使用 `archive -> design` 的 `acceptance-or-design-gap` Return。Abort 将终态变更移入 `.matrix/archive/`，但不会撤销工作区代码。
+
+任何 mutation 返回 `WORKFLOW_RECOVERY_REQUIRED` 时，停止正常阶段操作并先执行只读诊断：
+
+```powershell
+matrix workflow doctor
+```
+
+不得推断恢复目标或策略，只能执行 doctor 返回的精确命令：
+
+```powershell
+matrix workflow doctor --repair --transaction <id> --strategy <continue|rollback>
+matrix workflow doctor --repair --lock <id>
+```
+
+## 精确 Contract
+
+full 的 `design -> build` 会批准 proposal/design/plan；lightweight 的 `open -> build --confirmed` 只批准紧凑 proposal，并拒绝初始化后、批准前发生的项目实现改动。Contract 后续漂移都会阻断推进。
+
+## 可选 Claude 交接
+
+`$matrix-claude` 只在已批准的 Build 中使用，导出同一 Contract 快照给 Claude Code。它不拥有阶段推进或验收；直接由 Codex 实现仍使用原有 Matrix 主流程。
+只有用户明确选择“Codex 设计、Claude Code 实现”时才使用，不得自动插入标准流程。
+
+## 规则
+
+- 阶段只能经 `matrix workflow transition` 正向推进。
+- 只能经上述明确的 `matrix workflow return` 反向推进。
+- 成功 Archive 必须使用两步乐观提交：先运行 `matrix workflow archive --dry-run`，再将其精确 hash 传给 `matrix workflow archive --expect-preflight <sha256>`；不得绕过预演。
+- `matrix workflow doctor` 始终只读；transaction 与陈旧锁 repair 必须显式绑定 doctor 报告的 identity，不得手工编辑或删除 `.matrix/transactions/`、`.matrix/workflow.lock`。
+- 重大架构/范围决定和 archive/commit 前应暂停等待用户确认。
+- shortcut 范围扩大时执行 `matrix workflow return design --reason design-gap`；Runtime 将其升级为 full。