@aipper/aiws-spec 0.0.20 → 0.0.23

package/docs/cli-interface.md

@@ -274,9 +274,31 @@
 - 调用 `python3 tools/ws_change_check.py` 校验单个 change 工件目录。
 - `--strict`：强门禁（例如 WS:TODO、占位符、缺归因、truth drift 等都失败）。
 - `--allow-truth-drift`：仅用于紧急场景跳过 truth drift gating（仍会输出 warnings；不建议常用）。
+- `--check-evidence`：证据存在性门禁（可选）：校验 `Evidence_Path` 声明的路径必须是工作区相对路径且文件存在；并要求至少包含 1 条持久证据路径（`changes/<id>/evidence/...` 或 `changes/<id>/review/...`）。
+- `--check-scope`：scope 门禁（可选，best-effort）：要求 proposal/plan 中包含 “In Scope” 与 “Out of Scope” 标记（用于减少 scope creep）。
 
 接口（仅定义）：
-- `aiws change validate [<change-id>] [--strict] [--allow-truth-drift]`
+- `aiws change validate [<change-id>] [--strict] [--allow-truth-drift] [--check-evidence] [--check-scope]`
+
+说明：
+- `--check-evidence/--check-scope` 默认不启用，避免对历史 change 造成行为破坏；交付阶段建议启用 `--check-evidence`。
+
+### `aiws change evidence`
+
+语义：
+- 为交付阶段生成“可入库的持久证据”，并自动回填 `Evidence_Path`：
+  - 写入 `changes/<change-id>/evidence/`（例如：严格门禁结果快照、状态快照、validate stamp 复制等）
+  - 将生成的证据路径追加回填到：
+    - `changes/<change-id>/proposal.md` 的 `Evidence_Path`
+    - `Plan_File` 指向的计划文件中的 `Evidence_Path`（若存在）
+  - 若存在 `.agentdocs/tmp/review/codex-review.md` 且 `changes/<id>/review/codex-review.md` 不存在：复制为持久 review 证据。
+
+接口（仅定义）：
+- `aiws change evidence [<change-id>] [--no-validate] [--allow-fail]`
+
+选项：
+- `--no-validate`：不执行严格门禁校验；仅生成/回填证据（适用于早期阶段先固化证据结构）。
+- `--allow-fail`：即使严格门禁失败也继续生成证据并回填（默认会失败退出，避免“带病交付”）。
 
 ### `aiws change archive`
 
@@ -301,6 +323,7 @@
 - `aiws change list`
 - `aiws change status [<change-id>]`
 - `aiws change next [<change-id>]`
+- `aiws change state [<change-id>] [--write]`（状态快照；`--write` 写入 `changes/<id>/STATE.md`）
 
 ### `aiws change templates which/init`
 
@@ -310,3 +333,11 @@
 接口（仅定义）：
 - `aiws change templates which`
 - `aiws change templates init`
+
+## `aiws metrics`
+
+语义：
+- 读取 `changes/*/metrics.json` 与 `changes/archive/*/metrics.json`，输出 best-effort 流程指标汇总（不修改任何文件）。
+
+接口（仅定义）：
+- `aiws metrics summary [--since YYYY-MM-DD]`

package/docs/spec-contract.md

@@ -18,6 +18,7 @@
 - managed surface（可托管面）：
   - `replace_file`：该文件由 aiws 全量托管（更新可整文件覆盖）。
   - `managed_blocks`：只更新文件内 `AIWS_MANAGED_BEGIN/END` 标记的托管块；块外内容保留给用户自定义。
+  - `remove`：该文件在本版本已废弃；`update` 会先备份再删除（可通过 `aiws rollback` 恢复）。仅用于跨版本改名/废弃场景。
 - unmanaged required（必需但不托管）：
   - 模板 `manifest.json` 里的 `required` 仅表示“init/validate 必须存在”。
   - 若某个 required 文件不在 `update.replace_file` 且不在 `update.managed_blocks` 中：视为用户自主管理内容；`aiws update` 不应修改其内容（最多只补齐缺失文件）。
@@ -127,8 +128,8 @@ hash 规则（用于跨平台稳定性）：
 - 默认覆盖：Claude Code / OpenCode / Codex / iFlow。
 
 约定路径（示例；最终以模板 manifest 为准）：
-- Claude Code：`.claude/commands/aiws-*.md`（commands）
-- OpenCode：`.opencode/command/aiws-*.md`（command）
+- Claude Code：`.claude/commands/p-aiws-*.md`（commands；私有原子入口）
+- OpenCode：`.opencode/command/p-aiws-*.md`（command；私有原子入口）
 - Codex：`.agents/skills/*/SKILL.md`（skills）
 - iFlow：`.iflow/commands/aiws-*.toml`（commands）
 
@@ -160,13 +161,13 @@ hash 规则（用于跨平台稳定性）：
 
 建议的默认取值（与 `workspace` 模板一致）：
 - Claude Code
-  - `path_pattern`：`.claude/commands/aiws-*.md`
+  - `path_pattern`：`.claude/commands/p-aiws-*.md`
   - `purpose`：提供“在 Claude 内可见的命令入口/说明”，引导用户运行 `npx @aipper/aiws ...`
   - `autodiscovery`：不作为契约要求（由工具决定；aiws 不做保证）
   - `reload_needed`：不作为契约要求
   - `fallback`：在 shell 直接运行 `npx @aipper/aiws init|update|validate|rollback`
 - OpenCode
-  - `path_pattern`：`.opencode/command/aiws-*.md`
+  - `path_pattern`：`.opencode/command/p-aiws-*.md`
   - `purpose`：提供命令入口/说明（同上）
   - `autodiscovery`：不作为契约要求
   - `reload_needed`：不作为契约要求

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aipper/aiws-spec",
-  "version": "0.0.20",
+  "version": "0.0.23",
   "description": "AIWS spec and templates (single source of truth).",
   "type": "module",
   "files": [

package/templates/workspace/.agents/skills/{aiws-change-archive → p-aiws-change-archive}/SKILL.md

@@ -1,6 +1,6 @@
 ---
-name: aiws-change-archive
-description: 归档变更工件（会先做严格校验）
+name: p-aiws-change-archive
+description: 私有：归档变更工件（会先做严格校验并生成 handoff.md）
 ---
 
 目标：
@@ -21,3 +21,4 @@ fi
 说明：
 - `archive` 默认会先跑严格校验并要求 tasks 全部勾选
 - `--force` 会绕过部分门禁（不推荐）
+- 归档后会生成交接文档：`changes/archive/<date>-<change-id>/handoff.md`

package/templates/workspace/.agents/skills/{aiws-change-finish → p-aiws-change-finish}/SKILL.md

@@ -1,6 +1,6 @@
 ---
-name: aiws-change-finish
-description: 安全合并 change/<change-id> 回目标分支（默认 fast-forward）
+name: p-aiws-change-finish
+description: 私有：安全合并 change/<change-id> 回目标分支（默认 fast-forward）
 ---
 
 目标：

package/templates/workspace/.agents/skills/{aiws-change-list → p-aiws-change-list}/SKILL.md

@@ -1,6 +1,6 @@
 ---
-name: aiws-change-list
-description: 列出 changes 工件（只读）
+name: p-aiws-change-list
+description: 私有：列出 changes 工件（只读）
 ---
 
 目标：

package/templates/workspace/.agents/skills/{aiws-change-new → p-aiws-change-new}/SKILL.md

@@ -1,6 +1,6 @@
 ---
-name: aiws-change-new
-description: 创建 changes/<change-id> 工件
+name: p-aiws-change-new
+description: 私有：创建 changes/<change-id> 工件
 ---
 
 目标：

package/templates/workspace/.agents/skills/{aiws-change-next → p-aiws-change-next}/SKILL.md

@@ -1,6 +1,6 @@
 ---
-name: aiws-change-next
-description: 给出下一步建议（只读）
+name: p-aiws-change-next
+description: 私有：给出下一步建议（只读）
 ---
 
 目标：

package/templates/workspace/.agents/skills/{aiws-change-start → p-aiws-change-start}/SKILL.md

@@ -1,6 +1,6 @@
 ---
-name: aiws-change-start
-description: 切分支并初始化变更工件（可选安装 hooks）
+name: p-aiws-change-start
+description: 私有：切分支并初始化变更工件（可选安装 hooks）
 ---
 
 目标：

package/templates/workspace/.agents/skills/{aiws-change-status → p-aiws-change-status}/SKILL.md

@@ -1,6 +1,6 @@
 ---
-name: aiws-change-status
-description: 查看单个变更工件状态（只读）
+name: p-aiws-change-status
+description: 私有：查看单个变更工件状态（只读）
 ---
 
 目标：

package/templates/workspace/.agents/skills/{aiws-change-sync → p-aiws-change-sync}/SKILL.md

@@ -1,6 +1,6 @@
 ---
-name: aiws-change-sync
-description: 同步真值基线到 changes/<change-id>（写入 .ws-change.json）
+name: p-aiws-change-sync
+description: 私有：同步真值基线到 changes/<change-id>（写入 .ws-change.json）
 ---
 
 目标：

package/templates/workspace/.agents/skills/{aiws-change-templates-init → p-aiws-change-templates-init}/SKILL.md

@@ -1,6 +1,6 @@
 ---
-name: aiws-change-templates-init
-description: 在仓库内初始化 change templates（写入 changes/templates）
+name: p-aiws-change-templates-init
+description: 私有：在仓库内初始化 change templates（写入 changes/templates）
 ---
 
 目标：

package/templates/workspace/.agents/skills/{aiws-change-templates-which → p-aiws-change-templates-which}/SKILL.md

@@ -1,6 +1,6 @@
 ---
-name: aiws-change-templates-which
-description: 查看当前 change templates 来源（只读）
+name: p-aiws-change-templates-which
+description: 私有：查看当前 change templates 来源（只读）
 ---
 
 目标：

package/templates/workspace/.agents/skills/{aiws-change-validate → p-aiws-change-validate}/SKILL.md

@@ -1,6 +1,6 @@
 ---
-name: aiws-change-validate
-description: 校验 changes 工件（可 strict）
+name: p-aiws-change-validate
+description: 私有：校验 changes 工件（可 strict）
 ---
 
 目标：

package/templates/workspace/.agents/skills/{aiws-hooks-install → p-aiws-hooks-install}/SKILL.md

@@ -1,6 +1,6 @@
 ---
-name: aiws-hooks-install
-description: 启用 git hooks 门禁（core.hooksPath=.githooks）
+name: p-aiws-hooks-install
+description: 私有：启用 git hooks 门禁（core.hooksPath=.githooks）
 ---
 
 目标：

package/templates/workspace/.agents/skills/{aiws-hooks-status → p-aiws-hooks-status}/SKILL.md

@@ -1,6 +1,6 @@
 ---
-name: aiws-hooks-status
-description: 查看当前仓库 hooks 状态（只读）
+name: p-aiws-hooks-status
+description: 私有：查看当前仓库 hooks 状态（只读）
 ---
 
 目标：

package/templates/workspace/.agents/skills/{aiws-init → p-aiws-init}/SKILL.md

@@ -1,6 +1,6 @@
 ---
-name: aiws-init
-description: 初始化工作区（生成真值文件与门禁）
+name: p-aiws-init
+description: 私有：初始化工作区（生成真值文件与门禁）
 ---
 
 目标：

package/templates/workspace/.agents/skills/{aiws-rollback → p-aiws-rollback}/SKILL.md

@@ -1,6 +1,6 @@
 ---
-name: aiws-rollback
-description: 回滚工作区（从备份恢复）
+name: p-aiws-rollback
+description: 私有：回滚工作区（从备份恢复）
 ---
 
 目标：

package/templates/workspace/.agents/skills/{aiws-update → p-aiws-update}/SKILL.md

@@ -1,6 +1,6 @@
 ---
-name: aiws-update
-description: 更新工作区（刷新模板与托管块）
+name: p-aiws-update
+description: 私有：更新工作区（刷新模板与托管块）
 ---
 
 目标：

package/templates/workspace/.agents/skills/{aiws-validate → p-aiws-validate}/SKILL.md

@@ -1,6 +1,6 @@
 ---
-name: aiws-validate
-description: 校验工作区（漂移检测 + 门禁）
+name: p-aiws-validate
+description: 私有：校验工作区（漂移检测 + 门禁）
 ---
 
 目标：

package/templates/workspace/.agents/skills/p-tasks-plan/SKILL.md

@@ -0,0 +1,37 @@
+---
+name: p-tasks-plan
+description: 原子：tasks 同步（从 changes/<id>/tasks.md 生成 update_plan payload）
+---
+
+用中文输出（命令/路径/代码标识符保持原样不翻译）。
+
+目标：
+- 用 `changes/<change-id>/tasks.md` 的 checkbox 任务作为“步骤真值”
+- 生成可直接用于 `update_plan` 的 JSON payload（`pending/in_progress/completed`）
+- 输出当前进度摘要（done/total + 当前 in_progress）
+
+约束：
+- 不写入任何 secrets（token、账号、内网端点等不得进入 git）
+- 只读 `changes/<id>/tasks.md`（不自动改写 tasks 文件）
+- 未运行不声称已运行
+
+执行步骤（建议）：
+1) 先运行 `$ws-preflight`。
+2) 推断 `change-id`：
+   - 优先从当前分支名读取：`git rev-parse --abbrev-ref HEAD`（期望形如 `change/<change-id>`）
+   - 若无法推断：让用户明确本次要同步的 `<change-id>`
+3) 检查 tasks 文件存在：`test -f changes/<change-id>/tasks.md`
+4) 输出进度摘要：
+```bash
+python3 tools/ws_tasks_plan.py status --file changes/<change-id>/tasks.md
+```
+5) 生成 `update_plan` payload（JSON 输出到 stdout）：
+```bash
+python3 tools/ws_tasks_plan.py plan --file changes/<change-id>/tasks.md --explanation "sync tasks.md -> update_plan"
+```
+6) 调用 `update_plan`，将上一步 JSON 原样作为入参（确保任意时刻最多 1 条 `in_progress`）。
+
+输出要求：
+- `Change_ID:` <change-id>
+- `Tasks:` `changes/<change-id>/tasks.md`
+- `Next:` 推荐下一步（通常为继续完善 tasks 或进入 `$ws-dev`）

package/templates/workspace/.agents/skills/ws-commit/SKILL.md

@@ -18,6 +18,7 @@ description: 提交（当前分支可直提；submodule 感知；先审计/门
 - 不自动 push
 - 不写入任何 secrets
 - 检测到 submodule 有未提交改动时，不允许直接提交 superproject（先处理 submodule）
+- commit message 默认使用中文（命令/路径/代码标识符保持原样不翻译）；格式建议：`<类型>: <简述>`（例如 `修复: 登录页空指针`、`功能: 新增 submodule targets 校验`、`重构: 提取共享脚本`）
 
 执行步骤（建议）：
 1) 运行 `$ws-preflight`（确保真值文件就绪）。
@@ -55,14 +56,37 @@ while read -r _ sub_path; do
 done < <(git config --file .gitmodules --get-regexp '^submodule\..*\.path$' 2>/dev/null || true)
 ```
 判定规则（强制）：
-- 任一 submodule `git status --porcelain` 非空：停止 superproject commit，先在对应 submodule 完成 commit（必要时先切回可提交分支），再回到 superproject 更新并提交 gitlink。
+- 任一 submodule `git status --porcelain` 非空：停止 superproject commit，先在对应 submodule 完成 commit，再回到 superproject 更新并提交 gitlink。
+- 若该 submodule 当前为 detached HEAD：先按 `.gitmodules` 的目标分支挂到 `aiws/pin/<target_branch>`；不要直接切 `change/<change-id>` / `main` / `master` 来“解 detached”。
+处理指引（detached submodule）：
+```bash
+cur_branch="$(git branch --show-current)"
+change_id="$(echo "${cur_branch}" | sed -n 's|^change/||p')"
+targets="changes/${change_id}/submodules.targets"
+
+source tools/ws_resolve_sub_target.sh
+ws_resolve_sub_target "${sub_path}" "${sub_name}" "${targets}" "${cur_branch}" || exit 2
+target_branch="${_resolved_branch}"
+remote="${_resolved_remote}"
+
+git -C "${sub_path}" fetch "${remote}" --prune
+if ! git -C "${sub_path}" show-ref --verify --quiet "refs/remotes/${remote}/${target_branch}"; then
+  echo "error: missing ${remote}/${target_branch} for submodule path=${sub_path}"
+  exit 2
+fi
+git -C "${sub_path}" checkout -B "aiws/pin/${target_branch}" HEAD
+git -C "${sub_path}" branch --set-upstream-to "${remote}/${target_branch}" "aiws/pin/${target_branch}" >/dev/null 2>&1 || true
+```
 7) 检查当前 staging 内容（必须输出给用户确认）：
 ```bash
 git status --porcelain
 git diff --staged --submodule=short
 ```
 8) 若没有 staged changes：停止并提示用户先明确要提交哪些文件（例如 `git add -p` 或 `git add <path>`）。
-9) 让用户提供 commit message（必须确认后再执行）。
+9) 生成中文 commit message 草案（格式：`<类型>: <简述>`），输出给用户确认后再执行。
+   - 类型参考：`功能` / `修复` / `重构` / `文档` / `测试` / `构建` / `杂项`
+   - 简述用一句话概括本次改动的"为什么"而非"改了什么"
+   - 命令/路径/代码标识符保持原样不翻译
 10) 执行提交（不带 `--no-verify`）：
 ```bash
 git commit -m "<message>"

package/templates/workspace/.agents/skills/ws-deliver/SKILL.md

@@ -29,6 +29,7 @@ description: 交付（submodules + superproject 分步提交，并安全合并
 
 ## 0) submodule branch 真值检查（减少 detached 与人为差异）
 如果存在 `.gitmodules` 但缺少 `submodule.<name>.branch`，先运行 `$ws-submodule-setup` 并提交 `.gitmodules`，否则后续 `aiws validate .` 会失败，且 `ws-pull/ws-finish` 无法确定性工作。
+> 说明：若同一 superproject 分支内存在“多渠道 submodule 目标分支”的交付需求，可在 `changes/<change-id>/submodules.targets` 额外声明本次 change 的目标分支；交付时会优先使用该文件（不改变 `.gitmodules` 的团队默认真值）。
 ```bash
 if [[ -f .gitmodules ]]; then
   missing=0
@@ -44,6 +45,28 @@ if [[ -f .gitmodules ]]; then
     echo "hint: run $ws-submodule-setup (and commit .gitmodules), then retry"
     exit 2
   fi
+
+  # 强约束：当 .gitmodules 声明 submodules 时，要求本次 change 存在 submodules.targets 且覆盖所有 submodule path
+  if git config --file .gitmodules --get-regexp '^submodule\\..*\\.path$' >/dev/null 2>&1; then
+    change_id="$(git branch --show-current | sed -n 's|^change/||p')"
+    targets="changes/${change_id}/submodules.targets"
+    if [[ ! -f "${targets}" ]]; then
+      echo "error: missing ${targets} (required when .gitmodules declares submodules)"
+      exit 2
+    fi
+    t_missing=0
+    while read -r _ sub_path; do
+      [[ -z "${sub_path:-}" ]] && continue
+      if ! awk -v p="${sub_path}" '$1==p && $0 !~ /^[[:space:]]*#/ && $2!="" { found=1 } END { exit(found?0:1) }' "${targets}" 2>/dev/null; then
+        echo "error: ${targets} missing entry for submodule path=${sub_path}"
+        t_missing=1
+      fi
+    done < <(git config --file .gitmodules --get-regexp '^submodule\\..*\\.path$' 2>/dev/null || true)
+    if [[ "${t_missing}" -ne 0 ]]; then
+      echo "hint: fill ${targets} as: <path> <target_branch> [remote]"
+      exit 2
+    fi
+  fi
 fi
 ```
 
@@ -64,11 +87,28 @@ git -C "$sub_path" status --porcelain
 ```
 2) 若 submodule 处于 detached HEAD（`branch --show-current` 为空）：
    - 说明：这通常是因为 superproject 的 gitlink checkout（例如 `git submodule update`）导致 detached。
-   - 若你要在该 submodule 里提交：在 submodule 内创建并切到同名 change 分支（与 superproject 对齐），例如 `change/<change-id>`：
+   - 不要直接切 `change/<change-id>` / `main` / `master` 来“解 detached”。
+   - 若你要在该 submodule 里提交：先按目标分支挂到 pin 分支 `aiws/pin/<target-branch>`，再在其上提交：
+     - 目标分支真值优先级：`changes/<change-id>/submodules.targets`（若存在）> `.gitmodules submodule.<name>.branch`
 ```bash
-git -C "$sub_path" switch -c "change/<change-id>"
+change_id="<change-id>"
+targets="changes/${change_id}/submodules.targets"
+base_branch="$(git branch --show-current)"
+
+source tools/ws_resolve_sub_target.sh
+ws_resolve_sub_target "${sub_path}" "${sub_name}" "${targets}" "${base_branch}" || exit 2
+target_branch="${_resolved_branch}"
+remote="${_resolved_remote}"
+
+git -C "$sub_path" fetch "${remote}" --prune
+if ! git -C "$sub_path" show-ref --verify --quiet "refs/remotes/${remote}/${target_branch}"; then
+  echo "error: missing ${remote}/${target_branch} for submodule path=${sub_path}"
+  exit 2
+fi
+git -C "$sub_path" checkout -B "aiws/pin/${target_branch}" HEAD
+git -C "$sub_path" branch --set-upstream-to "${remote}/${target_branch}" "aiws/pin/${target_branch}" >/dev/null 2>&1 || true
 ```
-   - 若用户明确不想建分支：停止，解释风险（提交可能不可追溯/难以推送）。
+   - 若 `origin/<target-branch>` 不存在，或用户明确不想使用 pin 分支：停止，解释风险（提交可能不可追溯/难以推送）。
 3) 选择性 staging（默认用 `-p` 更安全）：
 ```bash
 git -C "$sub_path" add -p
@@ -115,8 +155,26 @@ else
 fi
 ```
 
+## D2) 生成持久证据并回填 Evidence_Path（强烈建议）
+> 说明：`.agentdocs/tmp/...` 默认 gitignored；交付前建议把关键结果落到 `changes/<change-id>/evidence/...` 并回填 `proposal.md`/`plan` 的 `Evidence_Path`，避免后续评审/二次会话读不到证据。
+```bash
+change_id="<change-id>"
+if [[ -x "./node_modules/.bin/aiws" ]]; then
+  ./node_modules/.bin/aiws change evidence "${change_id}"
+elif command -v aiws >/dev/null 2>&1; then
+  aiws change evidence "${change_id}"
+else
+  npx @aipper/aiws change evidence "${change_id}"
+fi
+```
+
+## D3) 生成状态快照（可选，建议）
+```bash
+aiws change state "${change_id}" --write
+```
+
 ## E) 安全合并回目标分支（fast-forward）
-优先使用 `$ws-finish`（底层调用 `aiws change finish`）。
+优先使用 `$ws-finish`（底层调用 `aiws change finish`，并在 push 成功后清理对应 change worktree）。
 
 若需要显式指定目标分支：
 ```bash
@@ -132,4 +190,5 @@ aiws change archive <change-id>
 - `Submodules:` 每个 submodule 的分支/提交摘要（repo → commit sha → message）
 - `Superproject:` 提交摘要
 - `Merge:` `aiws change finish` 的输出（into/from）
+- `Worktree cleanup:` 若存在独立 change worktree，输出清理结果（removed/skipped + reason）
 - `Evidence:` `.agentdocs/tmp/aiws-validate/*.json`（若使用 --stamp）

package/templates/workspace/.agents/skills/ws-dev/SKILL.md

@@ -12,8 +12,68 @@ description: 开发（按需求实现并验证；适用于任何需要修改代
    - 若是中大型任务：建议先用 `$ws-plan` 生成 `plan/` 工件，再进入实现（便于可回放与对齐验证入口）。
    - 若已有 `plan/` 工件：先执行 `$ws-plan-verify`；通过后再进入实现（防止计划过长/跑偏）。
 2) 建立变更归因（推荐）：
-   - 推荐一键：`aiws change start <change-id> --hooks`（切分支 + 初始化变更工件 + 启用 hooks）
-   - superproject + submodule（推荐）：`aiws change start <change-id> --hooks --worktree --submodules`（创建独立 worktree；当前目录分支保持不变）
+   - ⚠️ 开始前先确认工作区干净：`git status --porcelain` 为空；否则切分支/创建 worktree 后，未提交改动可能“看起来丢了”（worktree 只从 `HEAD` checkout，未提交内容会留在原目录）。
+   - 强制（当你准备执行 `aiws change start ... --worktree/--switch` 创建新 change 时）：先同步线上代码（含 submodules），避免基线过旧导致的 rebase/冲突与“别人已更新但本地没拉”的协作摩擦。
+     - 若你已经在 `change/<change-id>` 上继续开发：不要在此处强制 pull（避免把远端变动拉进变更分支）；改为按需 `git fetch`/rebase，并保持门禁与验证可复现。
+     - 在 AI 工具中运行：`$ws-pull`（推荐；会在工作区不干净时阻断）
+     - 或等价手工（必须工作区干净；失败则停止并人工处理）：
+```bash
+cur="$(git branch --show-current)"
+if [[ "${cur}" =~ ^(change|changes|ws|ws-change)/ ]]; then
+  echo "info: already on change branch (${cur}); skip pull here"
+else
+  git status --porcelain
+  git pull --ff-only
+  if [[ -f .gitmodules ]]; then
+    git submodule sync --recursive
+    git submodule update --init --recursive
+  fi
+fi
+```
+   - 推荐更安全（默认）：`aiws change start <change-id> --hooks --no-switch`（只创建分支/工件 + 启用 hooks；不切分支）
+   - 准备进入实现（且工作区干净）后再切换：`git switch change/<change-id>`
+   - 若你明确要“一键切分支”（不推荐，且 dirty 会被拦截）：`aiws change start <change-id> --hooks --switch`
+   - superproject + submodule（推荐）：`aiws change start <change-id> --hooks --worktree --submodules`（创建独立 worktree；当前目录分支保持不变；会在新 worktree 内初始化 submodules；若忘了 `--submodules` 也会强制初始化）
+   - 若后续需要在 detached submodule 内提交：先挂到 `aiws/pin/<target-branch>`；不要直接切 `change/<change-id>` / `main` / `master`
+   - 若仓库存在 submodule（`.gitmodules` 声明了 submodule 条目）：进入编码前必须准备好 `changes/<change-id>/submodules.targets`，并把每个 submodule 挂到对应的 `aiws/pin/<target_branch>`（必要时切到 `<remote>/<target_branch>`；这可能会改变 superproject 的 gitlink 指针，属于预期的“选渠道”行为；缺失该文件会被门禁阻断）
+```bash
+change_id="<change-id>"
+targets="changes/${change_id}/submodules.targets"
+has_submodules=0
+if [[ -f .gitmodules ]]; then
+  if git config --file .gitmodules --get-regexp '^submodule\\..*\\.path$' >/dev/null 2>&1; then
+    has_submodules=1
+  fi
+fi
+if [[ "${has_submodules}" -eq 1 && ! -f "${targets}" ]]; then
+  echo "error: missing ${targets} (required when .gitmodules declares submodules)"
+  exit 2
+fi
+
+if [[ -f "${targets}" ]]; then
+  echo "info: applying submodule targets: ${targets}"
+  while read -r sub_path target_branch remote; do
+    [[ -z "${sub_path:-}" ]] && continue
+    [[ "${sub_path}" == \#* ]] && continue
+    [[ -z "${target_branch:-}" ]] && { echo "error: missing target_branch for path=${sub_path}"; exit 2; }
+    remote="${remote:-origin}"
+
+    echo "== submodule: ${sub_path} target=${remote}/${target_branch} =="
+    if [[ -n "$(git -C "${sub_path}" status --porcelain 2>/dev/null)" ]]; then
+      echo "error: submodule dirty: ${sub_path} (commit/stash first)"
+      exit 2
+    fi
+    git -C "${sub_path}" fetch "${remote}" --prune
+    # 选渠道：默认切到远端目标分支，并用 pin 分支承载本地提交（避免 detached）
+    git -C "${sub_path}" checkout -B "aiws/pin/${target_branch}" "${remote}/${target_branch}"
+    git -C "${sub_path}" branch --set-upstream-to "${remote}/${target_branch}" "aiws/pin/${target_branch}" >/dev/null 2>&1 || true
+    git -C "${sub_path}" status -sb
+  done < "${targets}"
+
+  # 检查 superproject 的 gitlink 是否发生变化（预期：若切了不同渠道，会看到差异）
+  git diff --submodule
+fi
+```
    - 若你明确要在 superproject 直接切分支：`aiws change start <change-id> --hooks --switch`（仅在存在 `.gitmodules` 时有意义；会尝试让 submodules 工作区跟随 superproject 指针）
    - 或手工：`git switch -c change/<change-id>`，并创建 `changes/<change-id>/proposal.md` 与 `changes/<change-id>/tasks.md`（参考 `changes/README.md`）
 3) 如涉及需求调整：先做需求评审（可用 `$ws-req-review`）→ 用户确认后再做需求落盘（可用 `$ws-req-change`）（避免需求漂移）。