sillyspec 3.27.2 → 3.27.6

package/.worktrees/8d2d0392/.claude/skills/sillyspec-quick/SKILL.md

@@ -0,0 +1,116 @@
+---
+name: sillyspec:quick
+description: 用于明确、低风险、范围很小的直接任务。适合用户说"直接改、快速修、顺手调整、改个文案、修个小 bug、更新一个文件、不要完整流程"。跳过 brainstorm/plan，但仍按 sillyspec quick 流程执行。
+---
+
+## 何时使用
+
+- 明确、低风险、范围小的直接修改：改文案、修小 bug、更新单个文件
+- 用户说"直接改、快速修、顺手调整、不要完整流程"
+- brainstorm 判定 `scale=small` 的变更：带 design.md 进 quick（`sillyspec run quick --linked-changes <变更名>`），design 当背景
+- 跳过 brainstorm/plan，但仍走 quick 的 3 步流程（理解任务 → 实现 → 自检提交）
+
+## 多变更说明（quick 特殊，务必注意）
+
+quick 阶段的 `--change` 语义是「关联变更」**且会触发步骤重置**，**不要用 `--change` 来指定关联变更**。多活跃变更时改用：
+
+- `--linked-changes none`：不关联，仅记 QUICKLOG（CLI 启动时写入）
+- `--linked-changes a,b`：显式关联到变更 a、b
+- `--non-interactive`：CI/脚本环境，默认不关联（避免交互 prompt 崩溃）
+
+首次 `sillyspec run quick` 选定的关联会持久化到 `.runtime/quick-sessions/<quick-session-id>/guard.json`（每个 quick 会话独立，多会话并发不互覆盖），后续 `--done` 自动复用，**不会重复弹交互 prompt**。
+
+## 步骤生命周期（所有阶段通用）
+
+> `sillyspec quick` 是 `sillyspec run quick` 的顶层别名，两者等价。
+
+```bash
+sillyspec run quick                            # 输出当前步骤 prompt（首次会记录 baseline）
+sillyspec run quick --done --output "摘要"     # 完成当前步骤
+sillyspec run quick --status                   # 查看阶段进度
+sillyspec run quick --skip                     # 跳过可选步骤
+sillyspec run quick --reset                    # 重置阶段（从头开始）
+sillyspec run quick --reopen --from-step N     # 重新打开已完成阶段修订（N=序号或名称）
+```
+
+### 已有进行中会话的恢复（sessionId）
+
+`sillyspec run quick` / `run quick --done` / `--status` **不带 `--change` 时，是启动一个新 quick 会话**（CLI 分配新 `quick-<hash>` + 新 ql-ID，QUICKLOG 追加「进行中」条目），不是恢复正在进行的旧会话。多会话并发或中断恢复时，必须带上启动时 CLI 打印的 sessionId：
+
+```bash
+sillyspec run quick --change quick-<hash>        # 恢复查看该会话当前 step prompt
+sillyspec run quick --done --change quick-<hash> --output "…"  # 完成该会话步骤
+```
+
+- 这里的 `--change quick-<hash>` 是「恢复到该 CLI 生成的 session」，与下方 `--linked-changes` 的关联业务变更语义不同：想关联真实业务变更才用 `--linked-changes`。
+- 误启动的空壳会话：`sillyspec run quick --cancel --change quick-<hash>` 一键取消（QUICKLOG 条目翻「已取消」+ tasks.md 挂载行移除 + 会话目录清理 + db 行注销；已完成/已勾选的拒绝取消）。
+
+## 通用参数（所有阶段适用）
+
+| 参数 | 说明 |
+|---|---|
+| `--spec-dir <path>` | 指定规范目录（默认 `<项目>/.sillyspec`） |
+| `--input "<一句话任务描述>"` | 通用参数，**quick 启动时强烈建议带**：作为 QUICKLOG 条目标题，条目从第一分钟即语义可读。不带则落「(quick 任务)」占位标题——平台「快速修复」列表默认隐藏进行中的占位条目，语义标题要到最终 `--done` 才回填（关联变更有 proposal/design 标题时可自动提取，免传） |
+| `--non-interactive` | CI/脚本下禁用交互式 prompt |
+| `--interactive` | 强制交互（即便 stdin 非 TTY） |
+| `--skip-approval` | 跳过阶段转换/审批检查（不能跳产物校验 gate——review.json/文档产物硬校验仍在） |
+
+## quick 特有参数
+
+| 参数 | 说明 |
+|---|---|
+| `--linked-changes none\|a,b` | **显式关联变更（取代 `--change`，推荐）**。none=不关联，a,b=关联列表 |
+| `--files a.js,b.js` | 显式声明本次允许修改的文件（边界保护 + 声明即归属：多 agent 并发仓防他者窗口文件混入 QUICKLOG 文件行，未声明窗口文件进「审计：」行追溯；**他向亦然**——其他 active 会话已声明的文件在你的 `--done` 审计中自动剔除归该会话，不再误拦、无需 `--force-baseline`）。**中途可追加**：发现要改声明外文件（如新写的测试）时，带新增文件恢复会话即并入边界（追加不替换）——`sillyspec run quick --files <新增> --change <sessionId>`；不带 `--files` 恢复则边界原样保留 |
+| `--file-notes "p::注 \|\| p::注"` | quick `--done` 用：QUICKLOG「文件：」行落盘为多行带括注 bullet（省事后手改文件行）。格式 `path::括注`，`\|\|` 分隔多条；**只随 step3 --done 同命令传**（CLI 短进程，step1/step2 传无效，不带到 step3） |
+| `--allow-new` | 允许新增文件（默认禁止，防意外创建） |
+| `--allow-delete` | 允许删除文件（默认 fail-closed，删除是破坏性操作；确认删除带此 flag 显式解锁） |
+| `--force-baseline` | 允许覆盖 baseline 受保护文件 / 压制 `.sillyspec/` 危险判定（危险，慎用） |
+| `--confirm` | ⚠️ 仅打印变更概览，**不解锁 blocked**（blocked 仍 exit 1）。真正解锁用 `--force-baseline`/`--allow-new`/`--allow-delete` |
+
+## 审计与并发变更（`--done` 边界审计）
+
+`--done` 收尾时对比 step1 baseline 与当前 `git status`，拦「危险文件 / 新增文件 / 覆盖 baseline」。要点：
+
+- **并发其他会话的 `.sillyspec/changes/<非关联变更>/` 不再被本 quick 拦截**。quick 自己没有 `changes/` 目录，该路径下非关联内容视为并发会话的工作，整体放行（确定性审计无法区分「并发工作」与「本 quick 偷建变更」，后者这类意图软判定留给 sillyhub）。
+- **其他 active 会话已声明的文件自动豁免（`--files` 的他向语义）**。多 agent 并发时，并行 quick 会话 `--files` 显式声明的文件（如它的 `daemon/router.py`）出现在你的窗口内（它在你启动后改的、不在你的 baseline）——`--done` 审计自动剔除归该会话边界管，不再判危险 BLOCK、无需 `--force-baseline`。放行可见：输出 🔗 软警告逐文件列归属会话；若确系你的改动，恢复会话时 `--files` 追加声明；超 7 天未收尾的僵尸会话声明自动失效（`sillyspec run quick --cancel --change <他者会话ID>` 清理）。豁免只认他者**显式声明**——未声明的他者文件照旧走各门判定（漏声明的补 `--files`，危险文件仍需 `--force-baseline`）。
+- **关联变更的文件仍走审计**：reverse-sync 改自己关联变更的 `design.md` 会被拦，需 `--force-baseline` 显式确认。
+- **baseline 折叠目录前缀匹配**：step1 启动时整片 `changes/` 未跟踪会被 git 折叠成 `?? .sillyspec/changes/`（带尾斜杠 token）；审计时若该目录下文件被并发会话跟踪而展开成文件级路径，按尾斜杠 token 前缀放行其下所有文件，不误判。
+- **同文件并发 warn（advisory，不阻断）**：step1 启动时若你的某个 `allowedFile` 已在他者脏文件列表里（他者也改了这文件），--done 时 CLI 会比对当前内容 hash 与启动时录入的 hash——不一致（你也改了它）即判「同文件并发」并 warn：整文件 pathspec 提交会夹带他者 hunk。warn 给出分离指引（`git add -p <file>` 交互选你自己的 hunk，或 `git diff <file> > mine.patch` 编辑后 `git apply --cached mine.patch` 再 commit）。这**不阻断** --done（你可能有意整文件提交），看 warn 后自行决定是否分离。
+- **`--confirm` ≠ 解锁**：它只打印概览。blocked 时真正解锁的是 `--force-baseline`（压制 `.sillyspec/` 危险判定 + baseline 覆盖）/`--allow-new`（放行新增）/`--allow-delete`（放行删除，删除是破坏性操作默认 fail-closed，须显式 opt-in），三者可在 step1 或 `--done` 传，都生效。
+
+## 典型用法
+
+```bash
+# 推荐启动：带一句话语义标题（QUICKLOG/平台快速修复列表进行中即可见可读）
+sillyspec run quick --input "修复登录限流 INCR 计数误清" --linked-changes none --files src/auth.ts
+
+# 单变更项目，直接开始
+sillyspec run quick
+
+# 多变更项目，显式不关联
+sillyspec run quick --linked-changes none
+
+# 多变更项目，关联到指定变更
+sillyspec run quick --linked-changes 2026-07-03-add-login
+
+# CI/脚本（非交互，避免 prompt 崩溃）
+sillyspec run quick --non-interactive
+sillyspec run quick --done --linked-changes none --output "修复手机号校验"
+
+# 限定修改文件范围
+sillyspec run quick --files src/phone.ts,src/phone.test.ts
+```
+
+## 铁律
+
+- **必须用 exec 工具（shell）执行 CLI，不要自己编造流程**
+- quick 直接在主工作区改代码（不创建 worktree），范围必须小且明确
+- 完成后立即 `--done`，不跳过
+- QUICKLOG 记录的**骨架由 CLI 接管**：启动时 CLI 自动分配 ql-ID 并在 `.sillyspec/quicklog/QUICKLOG-<user>.md` 写「进行中」条目（含关联变更 tasks.md），`--done` 时 CLI 自动翻「已完成」+ 勾选 task + 回填文件路径。ql-ID 分配/状态/task 你无需手写，只需用注入的 `<quicklog-id>` 在模块文档变更索引引用
+- **QUICKLOG 落盘已结构化（`--done` 后按需核对，多数无需手改）**：CLI 已落盘结构化条目——标题从 `--output` 的「需求：」自动提取、正文四字段自动分行、文件行用 `--file-notes` 时为多行带括注。`--done` 后只需核对：标题弱才改（禁留 `(quick 任务)` 占位）；没用 `--file-notes` 时文件行是单行、可事后补括注（参照同文件早期丰富条目）；正文 `需求：`/`根因：`/`方案：`/`结果：` 四段按需充实（禁只留一段「结果：」）。一条 quick = 一条独立 ql，不追加到旧条目
+- **收尾顺序（模块文档在 `--done` 前，QUICKLOG 在 `--done` 后，别记混）**：① 命中模块→改模块文档→`git add`；② `sillyspec run quick --done --change <id> --output "四字段" [--file-notes "..."]`（CLI 自动翻完成 + 勾 task + 落盘 QUICKLOG 标题/文件/正文；若 `--linked-changes` 关联的真实变更其 tasks.md 已全部勾选**且该变更未进入完整流程**（进度库阶段停在 brainstorm 及之前），CLI 会自动将其归档到 `changes/archive/`；已走到 plan/execute/verify/archive 的变更不自动归档（tasks.md 全勾不等于流程收尾），须走原流程收尾）；③ 核对 QUICKLOG 标题（CLI 已从「需求：」提取并截断，写成短标题则无需改）→若改了再 `git add`
+- **最后一步 `--done` 必须给全四字段**（逐项一句话）：🔧 **推荐四参数形式**（CLI 自动合成结构化模板，无格式事故面）：`--done --change <id> --req "一句语义化短标题" --cause "为什么改" --solution "怎么改的" --result "验证结果"`。兼容旧形式 `--output "需求：… 根因：… 方案：… 结果：…"`（手拼须懂截断规则、禁嵌套全角冒号，缺字段被拒 exit 1）。这是 QUICKLOG「结果：」归档的唯一来源。**`--req` 写一句语义化短标题**（写「改了什么」，如「登录限流修复——INCR 计数误清」）——CLI 把它提取为 QUICKLOG 条目标题，截到首个标点、超 80 字截断；写完整需求长句会被截成语义不完整的状语前半段，需求背景放 `--cause`/`--solution`。前两个 step 的 `--output` 是中间摘要，不用此模板
+- **禁止**在没有运行 CLI 的情况下自行决定流程
+
+## 用户指令
+$ARGUMENTS

package/.worktrees/8d2d0392/.claude/skills/sillyspec-resume/SKILL.md

@@ -0,0 +1,70 @@
+---
+name: sillyspec:resume
+description: 恢复工作 — 从中断处继续
+---
+
+## 交互规范
+
+**当需要用户从多个选项中做出选择时，必须使用 Claude Code 内置的 AskUserQuestion 工具，将选项传入。**
+
+不要用编号列表让用户手动输入数字。
+如果需要自由输入，在 AskUserQuestion 的选项中加入"Other（自定义输入）"。
+
+---
+
+你现在是 SillySpec 的恢复管理器。
+
+## 流程
+
+### 1. 读取进度
+
+```bash
+sillyspec progress show
+```
+
+### 2. 如果有活跃变更
+
+从 `sillyspec progress show` 输出中提取并展示当前状态。
+
+然后问用户：
+   1. 直接继续执行下一步
+   2. 查看更多细节
+
+### 3. 如果没有活跃变更
+
+> 🔧 优先跑 `sillyspec next`——CLI 已内置下方探测表，直接输出「状态 + 下一步命令 + 依据」，按输出执行；异常时才按下方手工探测兜底。
+
+自动探测项目状态：
+
+```bash
+# 检查活跃变更
+ls -d .sillyspec/changes/*/ | grep -v archive 2>/dev/null
+
+# 检查大需求拆分
+ls .sillyspec/changes/*/MASTER.md 2>/dev/null
+
+# 检查扫描文档
+ls .sillyspec/docs/*/scan/ 2>/dev/null | wc -l
+
+# 检查需求/路线图
+cat .sillyspec/REQUIREMENTS.md 2>/dev/null
+cat .sillyspec/ROADMAP.md 2>/dev/null
+```
+
+根据探测结果推断：
+
+| 探测到的文件 | 推断阶段 | 建议操作 |
+|---|---|---|
+| 无任何 .sillyspec/ 内容 | 未开始 | `/sillyspec:init` 或 `/sillyspec:scan` |
+| 有 docs/ 但缺失文档 | 扫描中断 | `/sillyspec:scan`（断点续扫） |
+| 有 docs/ 7 份齐全但无 changes/ | 已扫描，未开始需求 | `/sillyspec:brainstorm "想法"` |
+| 有 REQUIREMENTS.md 但无 changes/ | 绿地项目，已有需求 | `/sillyspec:brainstorm "想法"` |
+| changes/ 下有 proposal + design，无 plan.md | 已有规范，待计划 | `/sillyspec:plan` |
+| changes/ 下有 plan.md，tasks 有未完成项 | 执行中 | `/sillyspec:execute` |
+| tasks.md / plan.md 全部 checkbox 已勾选 | 待验证 | `/sillyspec:verify` |
+| 已验证通过 | 待归档 | `/sillyspec:archive` |
+
+### 4. 关键原则
+
+- 进度数据存储在 SQLite 数据库中（`.sillyspec/.runtime/sillyspec.db`），通过 `sillyspec progress show` 命令查看
+- 进度随 `sillyspec run <stage> --done` 自动更新，不需要手动保存

package/.worktrees/8d2d0392/.claude/skills/sillyspec-scan/SKILL.md

@@ -0,0 +1,79 @@
+---
+name: sillyspec:scan
+description: 用于扫描项目代码库，生成架构文档、代码约定、目录结构等。适合用户说"扫描项目、分析代码库、生成文档、scan"。产出 7 份扫描文档 + 模块映射。
+---
+
+## 何时使用
+
+- 用户说"扫描项目、分析代码库、生成文档、scan"
+- 棕地项目首次接入 sillyspec，生成架构/约定/结构等基础文档
+- 产出 7 份 scan 文档（PROJECT/ARCHITECTURE/CONVENTIONS/STRUCTURE/INTEGRATIONS/TESTING/CONCERNS）+ 模块映射
+
+## 多变更说明
+
+scan 是辅助阶段，通常不需要 `--change`。但项目有多个活跃变更时，所有 `sillyspec run` 命令加 `--change <变更名>` 可指定操作目标。
+
+## 步骤生命周期（所有阶段通用）
+
+> `sillyspec scan` 是 `sillyspec run scan` 的顶层别名，两者等价。
+
+```bash
+sillyspec run scan                             # 输出当前步骤 prompt
+sillyspec run scan --done --output "摘要"      # 完成当前步骤
+sillyspec run scan --status                    # 查看阶段进度
+sillyspec run scan --skip                      # 跳过可选步骤
+sillyspec run scan --reset                     # 重置阶段（从头开始）
+```
+
+## 通用参数（所有阶段适用）
+
+| 参数 | 说明 |
+|---|---|
+| `--spec-dir <path>` | 指定规范目录（默认 `<项目>/.sillyspec`） |
+| `--non-interactive` | CI/脚本下禁用交互式 prompt |
+| `--skip-approval` | 跳过阶段转换/审批检查（不能跳产物校验 gate——review.json/文档产物硬校验仍在） |
+
+## scan 特有参数
+
+| 参数 | 说明 |
+|---|---|
+| `--quick` | 强制 quick profile（快速接入，仅 4 份核心文档，0 子代理） |
+| `--standard` | 强制 standard profile（压缩步骤，最多 1 子代理） |
+| `--deep` | 强制 deep profile（完整流程，不按规模裁剪） |
+| `--force-rescan` | 覆盖已有 scan 文档的保护（默认覆盖需 source_commit/updated_at 匹配） |
+| `--diff` | 增量漂移清单：`sillyspec scan diff`（或 `--diff` flag）算 source_commit..HEAD 的 A/D/M/R 四分类漂移，按 module-map paths 归模块，agent 据此定点补文档而非全量重扫（2026-08-16） |
+
+### scanProfile（显式选择优先，否则按规模自动裁剪）
+
+可用 `--quick` / `--standard` / `--deep` **显式指定 profile**（三档互斥，优先于自动判定）。
+不带 flag 时 CLI 按源码规模自动选择：
+
+| profile | 触发条件 | 行为 |
+|---|---|---|
+| quick | `--quick` 或 ≤30 文件 且 ≤80KB 且 ≤3 项目 | 3 步，0 子代理，4 份核心文档 |
+| standard | `--standard` 或 ≤200 文件 且 ≤800KB | 压缩步骤，最多 1 子代理 |
+| deep | `--deep` 或 大项目 | 完整流程 |
+
+> **平台快速接入**：对大项目用 `sillyspec run scan --quick`（含平台参数 `--spec-root`/`--workspace-id`/`--scan-run-id`）只生成 4 份核心文档完成接入，后续 `sillyspec run scan --deep` 覆盖升级为完整 7 份。quick 文档 frontmatter 标 `scan_depth: quick`，深度扫描识别后允许覆盖。
+
+### post-check
+
+scan 完成时 CLI **按 profile 校验文档齐全**：quick 模式只要求 4 份核心文档（PROJECT/ARCHITECTURE/CONVENTIONS/STRUCTURE），standard/deep 要求完整 7 份。缺失会设状态为 `failed_post_check`，阻断进入主流程下游（brainstorm/plan 等），需修复后重跑 scan。quick 模式带一条 informational warning（`quick_profile_notice`），状态落 `completed_with_warnings`，不阻断完成。
+
+## 阶段流转
+
+```
+(项目起点) → scan → brainstorm
+```
+
+scan 完成后，运行 `sillyspec run brainstorm "<需求>"` 开始具体变更的设计。
+
+## 铁律
+
+- **必须用 exec 工具（shell）执行 CLI，不要自己编造流程**
+- 只做当前步骤 prompt 描述的操作，不跳过
+- scan 文档写入 `{DOCS_ROOT}/scan/`（平台模式用占位符路径，不写裸 `.sillyspec/`）
+- 完成后立即 `--done`，不跳过
+
+## 用户指令
+$ARGUMENTS

package/.worktrees/8d2d0392/.claude/skills/sillyspec-state/SKILL.md

@@ -0,0 +1,64 @@
+---
+name: sillyspec:state
+description: 查看当前工作状态 — 显示 SillySpec 进度
+---
+
+你现在是 SillySpec 的状态查看器。
+
+## 流程
+
+### 1. 读取进度
+
+```bash
+sillyspec progress show
+```
+
+### 2. 如果有活跃变更
+
+格式化展示当前状态：
+
+> 📊 当前状态
+>
+> **变更**：<名称>
+> **阶段**：<当前阶段>
+> **进度**：<具体进度>
+> **下一步**：<命令>
+>
+> **阶段进度**（大模块）：
+> （显示各阶段状态表）
+>
+> **关键决策**：
+> - xxx
+>
+> **阻塞项**：
+> - xxx（如无则省略）
+
+### 3. 如果没有活跃变更
+
+提示用户项目还没有开始：
+
+> 📊 还没有工作记录。
+>
+> 开始使用：
+> - 新项目：`/sillyspec:init`
+> - 已有项目：`/sillyspec:scan`
+> - 恢复中断的工作：`/sillyspec:resume`
+>
+> 进度数据会在 `sillyspec init` 时自动创建到 SQLite 数据库中。
+
+## progress 完整子命令（只读查询 / 诊断）
+
+```bash
+sillyspec progress show [--change <名>]    # 当前工作状态（本 skill 主命令）
+sillyspec progress check                   # 状态一致性检查（只报告，不修复）
+sillyspec progress repair                  # 修复状态元数据（dry-run，加 --apply 才真改）
+sillyspec progress validate                # 校验并修复
+sillyspec progress reset [--stage <阶段>]  # 重置进度（破坏性，慎用）
+```
+
+### 注意
+
+- 这是只读命令，**不修改任何文件**（repair/validate/reset 除外）
+- `/sillyspec:status` 查看项目整体进度（change 文件级别）
+- `/sillyspec:state` 查看当前工作状态（阶段/步骤级别）
+- 两者互补：status 看"有什么"，state 看"在做什么"

package/.worktrees/8d2d0392/.claude/skills/sillyspec-status/SKILL.md

@@ -0,0 +1,54 @@
+---
+name: sillyspec:status
+description: 用于查看 SillySpec 当前进度和状态。适合用户说"看下状态、当前进度、status"。显示当前阶段、步骤完成度、活跃变更。
+---
+
+## 何时使用
+
+- 用户说"看下状态、当前进度、status"
+- 查看项目整体进度：活跃变更、各阶段状态、步骤完成度
+
+## status vs state 分工
+
+- **`/sillyspec:status`**（本 skill）— 查看项目整体进度（change 文件级别、各阶段状态）。走 `sillyspec run status` 阶段。
+- **`/sillyspec:state`** — 查看当前工作状态（阶段/步骤级别、下一步建议）。走 `sillyspec progress show`。
+
+两者互补：status 看"有什么"，state 看"在做什么"。
+
+## 多变更说明
+
+status 是辅助阶段。项目有多个活跃变更时，加 `--change <变更名>` 查看指定变更的详情；不指定时汇总显示所有变更。
+
+## 步骤生命周期（所有阶段通用）
+
+> `sillyspec status` 是 `sillyspec run status` 的顶层别名，两者等价。status 是辅助阶段，只读。
+
+```bash
+sillyspec run status                           # 输出当前步骤 prompt
+sillyspec run status --done --output "摘要"    # 完成阶段
+sillyspec run status --status                  # 查看阶段状态
+```
+
+## 通用参数（所有阶段适用）
+
+| 参数 | 说明 |
+|---|---|
+| `--change <名>` | 指定变更名（多变更时查看指定变更详情） |
+| `--spec-dir <path>` | 指定规范目录（默认 `<项目>/.sillyspec`） |
+
+## 配套的只读查询命令（不经 run）
+
+```bash
+sillyspec progress show                        # 当前工作状态（阶段/步骤级）
+sillyspec progress show --change <名>          # 指定变更详情
+sillyspec progress check                       # 状态一致性检查
+```
+
+## 铁律
+
+- status 是只读阶段，**不修改任何文件**
+- **必须用 exec 工具（shell）执行 CLI**
+- 完成后立即 `--done`，不跳过
+
+## 用户指令
+$ARGUMENTS

package/.worktrees/8d2d0392/.claude/skills/sillyspec-verify/SKILL.md

@@ -0,0 +1,87 @@
+---
+name: sillyspec:verify
+description: 用于验证代码实现是否符合 design 和模块文档。适合用户说"验证下、检查下、跑 verify"。对照 design.md + 模块文档检查任务完成度、设计一致性、运行测试。
+---
+
+## 何时使用
+
+- 用户说"验证下、检查下、跑 verify"
+- 对照 design.md + 模块文档检查任务完成度
+- 设计一致性检查 + 运行测试套件
+- 产出 `verify-result.md`（PASS / PASS WITH NOTES / FAIL）
+
+## 多变更说明
+
+项目有多个活跃变更（`.sillyspec/changes/` 下有多个目录）时，所有 `sillyspec run` 命令需加 `--change <变更名>` 指定操作目标；只有一个变更时可省略（CLI 自动检测）。
+
+## 步骤生命周期（所有阶段通用）
+
+> `sillyspec verify` 是 `sillyspec run verify` 的顶层别名，两者等价。
+
+```bash
+sillyspec run verify                           # 输出当前步骤 prompt
+sillyspec run verify --done --output "摘要"    # 完成当前步骤（--input "用户原话" 记录输入）
+sillyspec run verify --status                  # 查看阶段进度
+sillyspec run verify --skip                    # 跳过可选步骤
+sillyspec run verify --reset                   # 重置阶段（从头开始）
+sillyspec run verify --reopen --from-step N    # 重新打开已完成阶段修订（N=序号或名称）
+```
+
+## 通用参数（所有阶段适用）
+
+| 参数 | 说明 |
+|---|---|
+| `--change <名>` | 指定变更名（多活跃变更必填，单变更可省略自动检测） |
+| `--spec-dir <path>` | 指定规范目录（默认 `<项目>/.sillyspec`） |
+| `--non-interactive` | CI/脚本下禁用交互式 prompt |
+| `--skip-approval` | 跳过阶段转换/审批检查（不能跳产物校验 gate——review.json/文档产物硬校验仍在） |
+
+## verify 特有：完成门控（重要）
+
+verify 是只读阶段（**禁止改代码/改 git 状态**，只检查 + 写报告）。
+
+**diff 对账基点**：本变更走 worktree 时，「加载规范并锚定」步骤会注入 worktree 基线锚点（分支名 + `git merge-base` 真实基点）——对照设计做 diff 对账时以它为基点，**不要拿主仓当前 HEAD 当基点**（主仓在 execute 期间可能被并行推进，用错基点会把别人的演进误判为本变更越权改动）。task review 的 base/head 引用分支上的 commit，逐 task 核验用 `git diff <base>..<head>`。完成时有硬校验：
+
+- **必须产出 `verify-result.md`**——不存在则阻断完成（不能跳过报告直接 `--done`）
+- **结论为 `FAIL` 则阻断完成**——不能带着 FAIL 标记 verify 完成
+- **`integration-critical` / `deployment-critical` 变更**（design/plan 含 daemon/session/lease/lifecycle 等关键词）：结论 PASS WITH NOTES 降级为 FAIL，必须有真实集成证据（Runtime Evidence section）——该证据为 Agent 自报告，CLI 仅校验其字面存在、不独立运行时核验，须真实执行过
+- `verify-required-evidence.json`（execute 写入，schema `{items:[{task,verdict,evidence:[]}]}`）中 cannot_verify 任务未在 verify-result.md 体现 → **advisory warn（不阻断归档）**；evidence 是否真满足（satisfied/missing/partial）由 agent 在 verify-result.md 自报告，CLI 只查任务被提及、不替你语义判定。结论能否 PASS 由你诚实判定（有 missing evidence 不应 PASS）。
+
+被阻断时 CLI 打印 ❌ 校验失败，不会提示"验证通过"。修复 `verify-result.md` 后重新 `--done`。
+
+## verify-result.md 格式
+
+> 🔧 **机械探针 + 报告骨架一条命令**：`sillyspec verify-probes --change <变更名> --init`——探针 1（TODO 标记）/3（测试覆盖）/5（API 契约对账）/6（删除对账）CLI 跑完并预填进 verify-result.md 骨架（七章节、已存在不覆盖）；探针 2/4（关键词/决策追踪）与断言抽查、集成盲区标注是语义判断，替换骨架里的 `<!--TODO-->` 完成。结论必须写明 PASS/FAIL——留「待填」会被 gate 判不过。
+>
+> 🔧 **test/lint 实测对账**：`--done` 时 CLI 亲自执行 local.yaml 的 `commands.test`（实测失败阻断 verify 完成）与 `commands.lint`（advisory 对账，实测失败会明示）——自报告与实测不符时以实测为准，勿谎报跑过。
+
+```markdown
+# 验证报告
+## 结论
+PASS / PASS WITH NOTES / FAIL      ← 必须有结论章节（标题含"结论/Conclusion/Result/结果"即可，不限于确切"## 结论"），FAIL 会阻断 verify 完成
+## 任务完成度
+## 设计一致性
+## 探针结果
+## 测试结果
+## 变更风险等级
+## Runtime Evidence（integration/deployment-critical 必填；自报告，CLI 仅字面校验、不独立核验）
+```
+
+## 阶段流转
+
+```
+execute → verify → archive
+```
+
+verify 通过（PASS）后，运行 `sillyspec run archive --change <变更名>` 归档。FAIL 则修复后重跑 `sillyspec run verify`。
+
+## 铁律
+
+- **必须用 exec 工具（shell）执行 CLI，不要自己编造流程**
+- verify 阶段**绝对禁止** git checkout/restore/reset、删除/覆盖源码文件——只检查 + 报告
+- 发现问题只报告，不尝试修复（修复回 execute）
+- `verify-result.md` 结论必须基于证据，不写"看起来没问题"
+- 完成后立即 `--done`，不跳过
+
+## 用户指令
+$ARGUMENTS

package/.worktrees/8d2d0392/.claude/skills/sillyspec-workspace/SKILL.md

@@ -0,0 +1,175 @@
+---
+name: sillyspec:workspace
+description: 工作区管理 — 初始化、管理多项目工作区，查看子项目状态
+---
+
+## 交互规范
+
+**当需要用户从多个选项中做出选择时，必须使用 Claude Code 内置的 AskUserQuestion 工具，将选项以参数传入。**
+
+不要用编号列表让用户手动输入数字。
+如果需要自由输入，在 AskUserQuestion 的选项中加入"Other（自定义输入）"。
+
+---
+
+## CLI 边界（重要）
+
+`sillyspec workspace` 命令已存在（2026-08-21 落地）：
+```bash
+sillyspec workspace add <名> <相对路径> [--role <角色>] [--repo <仓库地址>]   # 登记子项目（外科写入 yaml，已有字段保留）
+sillyspec workspace remove <名>                                             # 删除登记（项目本体不动）
+sillyspec workspace status                                                  # 三态探测表（已扫描/已初始化/未初始化）
+```
+优先用命令；命令异常时才按下文手工兜底（yaml 字段口径：init 写 name/path/status 三字段，role/repo 由 add 追加）。
+
+## 相关 CLI 命令
+
+```bash
+sillyspec scan                       # 扫描子项目生成文档
+sillyspec init [--tool <名>]         # 安装命令模板
+sillyspec progress show              # 查看进度
+```
+
+你现在是 SillySpec 的工作区管理器。
+
+## 用户指令
+$ARGUMENTS
+
+## 核心流程
+
+### Step 1: 检查工作区配置
+
+```bash
+ls .sillyspec/projects/*.yaml 2>/dev/null | grep -q .
+```
+
+如果不存在 → 这是一个尚未配置工作区的项目。询问用户：
+   1. 初始化工作区
+   2. 跳过
+
+### Step 2: 解析指令
+
+根据 `$ARGUMENTS` 或默认行为：
+
+- **无参数 / `status`** → 显示工作区状态
+- **`add`** → 添加子项目
+- **`remove`** → 移除子项目
+- **`info`** → 显示某个子项目详情
+- 无参数且 projects/*.yaml 不存在 → 初始化工作区
+
+### Step 3: 执行对应操作
+
+#### 3a. 初始化工作区（projects/ 不存在时）
+
+1. 询问工作区名称（默认用当前目录名）
+2. 逐个添加子项目：
+   - 询问子项目名称（如 `frontend`、`backend`）
+   - 询问子项目路径（相对于工作区根目录，如 `./frontend`）
+   - 询问子项目角色描述（如 `前端 - Vue3 + TypeScript`）
+   - 询问仓库地址（可选）
+   - 验证路径存在
+   添加完后询问：
+   > 1. 继续添加子项目
+   > 2. 完成，配置共享规范
+3. 询问共享规范文件
+4. 为每个子项目创建 `.sillyspec/projects/<name>.yaml`：
+   ```yaml
+   name: <name>
+   path: <relative-path>
+   status: active
+   ```
+   > ⚠️ `sillyspec init` 只会写入 `name`、`path`、`status` 三个字段。
+   > `role` 和 `repo` 由 `/sillyspec:workspace add` 追加。
+5. 创建 `.sillyspec/shared/` 目录
+
+#### 3b. 添加子项目（`add`）
+
+1. 询问名称、路径、角色
+2. 验证路径存在
+3. 创建/更新 `.sillyspec/projects/<name>.yaml`
+4. Git 提交
+
+#### 3c. 移除子项目（`remove`）
+
+1. 显示当前所有子项目列表
+2. 询问要移除哪个：
+   > 1. （列出子项目名称）
+   > 2. 取消
+3. 删除 `.sillyspec/projects/<name>.yaml`
+4. Git 提交
+
+#### 3d. 工作区状态（`status`，默认）
+
+读取所有 `projects/*.yaml`，对每个子项目检查：
+
+```bash
+# 读取子项目列表
+for f in .sillyspec/projects/*.yaml; do
+  [ -f "$f" ] || continue
+  proj_name=$(basename "$f" .yaml)
+  proj_path=$(grep '^path:' "$f" | head -1 | sed 's/^path:[[:space:]]*//')
+  proj_role=$(grep '^role:' "$f" | head -1 | sed 's/^role:[[:space:]]*//')
+  # 检查子项目状态
+  cd "$proj_path"
+  ls .sillyspec/ 2>/dev/null
+  cat .sillyspec/PROJECT.md 2>/dev/null
+  ls .sillyspec/docs/${proj_name}/scan/ 2>/dev/null | wc -l
+  cd -
+done
+```
+
+输出格式：
+
+```
+🏢 工作区：<workspace-name>
+
+📦 子项目（N 个）：
+  ✅ frontend  ./frontend       前端 - Vue3 + TypeScript    已扫描（7 份文档）
+  ⚠️ backend   ./backend        后端 - Node.js              已初始化（未扫描）
+  ❌ miniprogram  ./miniprogram  小程序 - Taro               未初始化
+
+📄 共享规范：2 份
+  - api-contract.md
+  - data-models.md
+
+💡 操作：
+  /sillyspec:workspace add        — 添加子项目
+  /sillyspec:workspace remove     — 移除子项目
+  /sillyspec:init                 — 初始化子项目
+  /sillyspec:scan                 — 扫描子项目
+```
+
+#### 3e. 子项目详情（`info <name>`）
+
+显示指定子项目的详细信息，包括 PROJECT.md、REQUIREMENTS.md 内容摘要、扫描文档列表。
+
+### Step 4: projects/*.yaml 格式
+
+每个子项目对应 `.sillyspec/projects/<name>.yaml`：
+
+**sillyspec init 创建的格式（3 字段）：**
+```yaml
+name: frontend
+path: ./frontend
+status: active
+```
+
+**workspace add 扩展的格式（最多 5 字段）：**
+```yaml
+name: frontend
+path: ./frontend
+status: active
+role: 前端 - Vue3 + TypeScript
+repo: https://github.com/xxx/frontend.git  # 可选
+```
+
+### 最后说：
+
+> 工作区已更新。
+> 下一步：对子项目运行 `/sillyspec:init` 或 `/sillyspec:scan`。
+
+## 绝对规则
+- 不修改子项目目录下的任何文件
+- projects/*.yaml 必须是合法 YAML
+- 子项目路径必须是相对于工作区根目录的相对路径
+- 路径必须验证存在性

package/.worktrees/8d2d0392/.claude/skills/verify-per-user/SKILL.md

@@ -0,0 +1,6 @@
+---
+name: verify-per-user
+description: verify
+---
+
+# test

package/.worktrees/8d2d0392/.gitattributes

@@ -0,0 +1,2 @@
+# 强制所有被识别为文本的文件使用 LF 换行符
+* text=auto eol=lf