dev-playbooks-cn 1.0.0

package/skills/devbooks-spec-contract/scripts/implicit-change-detect.sh

@@ -0,0 +1,378 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+# ============================================================================
+# implicit-change-detect.sh
+# ============================================================================
+# Detects implicit changes not declared in design.md.
+#
+# Implicit change = changes that affect system behavior but are not explicitly
+#                   declared in the proposal/design documents.
+#
+# Detection categories:
+# - Dependency changes (package.json, requirements.txt, go.mod, etc.)
+# - Configuration changes (*.env*, *.config.*, *.json, *.yaml)
+# - Build changes (Makefile, tsconfig.json, webpack.config.*, Dockerfile, etc.)
+#
+# Reference: "The Mythical Man-Month" Chapter 7 "Why Did the Tower of Babel Fail?" - Implicit changes are dangerous
+# ============================================================================
+
+usage() {
+  cat <<'EOF' >&2
+usage: implicit-change-detect.sh <change-id> [--base <commit>] [--project-root <dir>] [--change-root <dir>]
+
+Detects implicit changes not declared in design.md.
+
+Detection categories:
+- Dependency changes (package.json, requirements.txt, go.mod, etc.)
+- Configuration changes (*.env*, *.config.*, *.json, *.yaml)
+- Build changes (Makefile, tsconfig.json, webpack.config.*, Dockerfile, etc.)
+
+Options:
+  --base          Base commit to compare against (default: HEAD~1)
+  --project-root  Project root directory (default: pwd)
+  --change-root   Change package root (default: changes)
+
+Output:
+  JSON report to <change-root>/<change-id>/evidence/implicit-changes.json
+
+Examples:
+  implicit-change-detect.sh feat-001
+  implicit-change-detect.sh feat-001 --base origin/main
+  implicit-change-detect.sh feat-001 --project-root /path/to/repo
+EOF
+}
+
+# Color output helpers
+red() { printf '\033[0;31m%s\033[0m\n' "$*" >&2; }
+green() { printf '\033[0;32m%s\033[0m\n' "$*" >&2; }
+yellow() { printf '\033[0;33m%s\033[0m\n' "$*" >&2; }
+
+err() { red "error: $*"; }
+warn() { yellow "warn: $*"; }
+ok() { green "ok: $*"; }
+
+if [[ $# -eq 0 ]]; then
+  usage
+  exit 2
+fi
+
+if [[ "${1:-}" == "-h" || "${1:-}" == "--help" ]]; then
+  usage
+  exit 0
+fi
+
+change_id="$1"
+shift
+
+project_root="${DEVBOOKS_PROJECT_ROOT:-$(pwd)}"
+change_root="${DEVBOOKS_CHANGE_ROOT:-changes}"
+base_commit="HEAD~1"
+
+while [[ $# -gt 0 ]]; do
+  case "$1" in
+    -h|--help)
+      usage
+      exit 0
+      ;;
+    --base)
+      base_commit="${2:-}"
+      shift 2
+      ;;
+    --project-root)
+      project_root="${2:-}"
+      shift 2
+      ;;
+    --change-root)
+      change_root="${2:-}"
+      shift 2
+      ;;
+    *)
+      usage
+      exit 2
+      ;;
+  esac
+done
+
+if [[ -z "$change_id" ]]; then
+  err "change-id is required"
+  exit 2
+fi
+
+# Normalize paths
+project_root="${project_root%/}"
+change_root="${change_root%/}"
+
+if [[ "$change_root" = /* ]]; then
+  change_dir="${change_root}/${change_id}"
+else
+  change_dir="${project_root}/${change_root}/${change_id}"
+fi
+
+output_file="${change_dir}/evidence/implicit-changes.json"
+design_file="${change_dir}/design.md"
+
+mkdir -p "$(dirname "$output_file")"
+
+# Check if we're in a git repo
+if ! git -C "$project_root" rev-parse --git-dir >/dev/null 2>&1; then
+  err "not a git repository: ${project_root}"
+  exit 1
+fi
+
+# Validate base commit
+if ! git -C "$project_root" rev-parse --verify "$base_commit" >/dev/null 2>&1; then
+  warn "base commit not found: ${base_commit}, using HEAD"
+  base_commit="HEAD"
+fi
+
+echo "=== Implicit Change Detection: ${change_id} ==="
+echo "base: ${base_commit}"
+echo ""
+
+# ============================================================================
+# Detection functions
+# ============================================================================
+
+# Detect dependency changes
+detect_dependency_changes() {
+  local changes='[]'
+
+  # npm/yarn: package.json
+  if [[ -f "$project_root/package.json" ]]; then
+    local old_deps new_deps
+    old_deps=$(git -C "$project_root" show "${base_commit}:package.json" 2>/dev/null | jq -r '.dependencies // {} | to_entries | .[] | "\(.key)@\(.value)"' 2>/dev/null | sort || echo "")
+    new_deps=$(jq -r '.dependencies // {} | to_entries | .[] | "\(.key)@\(.value)"' "$project_root/package.json" 2>/dev/null | sort || echo "")
+
+    # Find added/removed/changed
+    while IFS= read -r line; do
+      [[ -n "$line" ]] || continue
+      pkg=$(echo "$line" | cut -d'@' -f1)
+      if ! echo "$old_deps" | grep -q "^${pkg}@"; then
+        changes=$(echo "$changes" | jq --arg pkg "$pkg" --arg ver "$(echo "$line" | cut -d'@' -f2-)" \
+          '. + [{name: $pkg, type: "npm", change: "added", new_version: $ver}]')
+      fi
+    done <<< "$new_deps"
+
+    while IFS= read -r line; do
+      [[ -n "$line" ]] || continue
+      pkg=$(echo "$line" | cut -d'@' -f1)
+      old_ver=$(echo "$line" | cut -d'@' -f2-)
+      new_line=$(echo "$new_deps" | grep "^${pkg}@" || true)
+      if [[ -z "$new_line" ]]; then
+        changes=$(echo "$changes" | jq --arg pkg "$pkg" --arg ver "$old_ver" \
+          '. + [{name: $pkg, type: "npm", change: "removed", old_version: $ver}]')
+      else
+        new_ver=$(echo "$new_line" | cut -d'@' -f2-)
+        if [[ "$old_ver" != "$new_ver" ]]; then
+          changes=$(echo "$changes" | jq --arg pkg "$pkg" --arg old "$old_ver" --arg new "$new_ver" \
+            '. + [{name: $pkg, type: "npm", change: "version_change", old_version: $old, new_version: $new}]')
+        fi
+      fi
+    done <<< "$old_deps"
+  fi
+
+  # pip: requirements.txt
+  if [[ -f "$project_root/requirements.txt" ]]; then
+    local old_reqs new_reqs
+    old_reqs=$(git -C "$project_root" show "${base_commit}:requirements.txt" 2>/dev/null | grep -v '^#' | grep -v '^$' | sort || echo "")
+    new_reqs=$(grep -v '^#' "$project_root/requirements.txt" 2>/dev/null | grep -v '^$' | sort || echo "")
+
+    # Simple diff detection
+    while IFS= read -r line; do
+      [[ -n "$line" ]] || continue
+      pkg=$(echo "$line" | sed 's/[=<>!].*//')
+      if ! echo "$old_reqs" | grep -q "^${pkg}"; then
+        changes=$(echo "$changes" | jq --arg pkg "$pkg" --arg spec "$line" \
+          '. + [{name: $pkg, type: "pip", change: "added", spec: $spec}]')
+      fi
+    done <<< "$new_reqs"
+  fi
+
+  # go.mod
+  if [[ -f "$project_root/go.mod" ]]; then
+    local go_diff
+    go_diff=$(git -C "$project_root" diff "${base_commit}" -- "go.mod" 2>/dev/null || true)
+    if [[ -n "$go_diff" ]]; then
+      changes=$(echo "$changes" | jq '. + [{name: "go.mod", type: "go", change: "modified"}]')
+    fi
+  fi
+
+  echo "$changes"
+}
+
+# Detect configuration changes
+detect_config_changes() {
+  local changes='[]'
+  local config_patterns=(
+    "*.env"
+    "*.env.*"
+    ".env"
+    ".env.*"
+    "*.config.js"
+    "*.config.ts"
+    "*.config.json"
+    "config/*.json"
+    "config/*.yaml"
+    "config/*.yml"
+    "*.yaml"
+    "*.yml"
+  )
+
+  for pattern in "${config_patterns[@]}"; do
+    local diff_output
+    diff_output=$(git -C "$project_root" diff "${base_commit}" --name-only -- "$pattern" 2>/dev/null || true)
+
+    while IFS= read -r file; do
+      [[ -n "$file" ]] || continue
+      # Check if it's a real config file (not node_modules, etc.)
+      if [[ "$file" != *"node_modules"* && "$file" != *"vendor"* ]]; then
+        changes=$(echo "$changes" | jq --arg f "$file" '. + [{file: $f, type: "config"}]')
+      fi
+    done <<< "$diff_output"
+  done
+
+  echo "$changes"
+}
+
+# Detect build changes
+detect_build_changes() {
+  local changes='[]'
+  local build_patterns=(
+    "Makefile"
+    "*.gradle"
+    "build.gradle"
+    "pom.xml"
+    "tsconfig.json"
+    "tsconfig.*.json"
+    "webpack.config.*"
+    "vite.config.*"
+    "rollup.config.*"
+    "Dockerfile"
+    "Dockerfile.*"
+    "docker-compose.yml"
+    "docker-compose.*.yml"
+    ".github/workflows/*.yml"
+    ".gitlab-ci.yml"
+    "Jenkinsfile"
+  )
+
+  for pattern in "${build_patterns[@]}"; do
+    local diff_output
+    diff_output=$(git -C "$project_root" diff "${base_commit}" --name-only -- "$pattern" 2>/dev/null || true)
+
+    while IFS= read -r file; do
+      [[ -n "$file" ]] || continue
+      changes=$(echo "$changes" | jq --arg f "$file" '. + [{file: $f, type: "build"}]')
+    done <<< "$diff_output"
+  done
+
+  echo "$changes"
+}
+
+# Check if change is declared in design.md
+check_declared() {
+  local item="$1"
+  local type="$2"
+
+  if [[ ! -f "$design_file" ]]; then
+    echo "unknown"
+    return
+  fi
+
+  # Search for the item in design.md (case-insensitive)
+  if grep -qi "$item" "$design_file" 2>/dev/null; then
+    echo "true"
+  else
+    echo "false"
+  fi
+}
+
+# ============================================================================
+# Main execution
+# ============================================================================
+
+echo "detecting: dependency changes..."
+dependency_changes=$(detect_dependency_changes)
+dep_count=$(echo "$dependency_changes" | jq 'length')
+echo "  found: ${dep_count}"
+
+echo "detecting: configuration changes..."
+config_changes=$(detect_config_changes)
+cfg_count=$(echo "$config_changes" | jq 'length')
+echo "  found: ${cfg_count}"
+
+echo "detecting: build changes..."
+build_changes=$(detect_build_changes)
+bld_count=$(echo "$build_changes" | jq 'length')
+echo "  found: ${bld_count}"
+
+total=$((dep_count + cfg_count + bld_count))
+
+# Check declaration status
+if [[ -f "$design_file" ]]; then
+  echo ""
+  echo "checking: declaration status in design.md..."
+
+  # Add declared field to each change
+  dependency_changes=$(echo "$dependency_changes" | jq --arg df "$design_file" '
+    map(. + {declared: (
+      if .name then
+        ($df | @sh | "grep -qi " + (.name | @sh) + " " + . + " 2>/dev/null && echo true || echo false" | @sh) == "true"
+      else
+        false
+      end
+    )})
+  ')
+fi
+
+# Generate report
+jq -n \
+  --arg ts "$(date -u +%Y-%m-%dT%H:%M:%SZ)" \
+  --arg base "$base_commit" \
+  --arg change_id "$change_id" \
+  --arg design_exists "$(test -f "$design_file" && echo 'true' || echo 'false')" \
+  --argjson deps "$dependency_changes" \
+  --argjson configs "$config_changes" \
+  --argjson builds "$build_changes" \
+  '{
+    timestamp: $ts,
+    base_commit: $base,
+    change_id: $change_id,
+    design_md_exists: ($design_exists == "true"),
+    dependency_changes: $deps,
+    config_changes: $configs,
+    build_changes: $builds,
+    summary: {
+      total: (($deps | length) + ($configs | length) + ($builds | length)),
+      dependency: ($deps | length),
+      config: ($configs | length),
+      build: ($builds | length)
+    }
+  }' > "$output_file"
+
+echo ""
+echo "=== Detection Summary ==="
+echo "  dependencies: ${dep_count}"
+echo "  config:       ${cfg_count}"
+echo "  build:        ${bld_count}"
+echo "  total:        ${total}"
+echo ""
+ok "report: ${output_file}"
+
+# Output warning if implicit changes detected
+if [[ $total -gt 0 ]]; then
+  echo ""
+  warn "implicit changes detected!"
+  echo ""
+  echo "Recommended actions:"
+  echo "  1. Review ${output_file}"
+  echo "  2. Declare significant changes in design.md"
+  echo "  3. Add contract tests for dependency/config changes"
+  echo "  4. Run 'change-check.sh ${change_id} --mode apply' to validate"
+
+  if [[ ! -f "$design_file" ]]; then
+    echo ""
+    warn "design.md not found - cannot check declaration status"
+  fi
+fi

package/skills/devbooks-spec-gardener/SKILL.md

@@ -0,0 +1,72 @@
+---
+name: devbooks-spec-gardener
+description: devbooks-spec-gardener：归档前修剪与维护 <truth-root>（去重合并/删除过时/目录整理/一致性修复），避免 specs 堆叠失控。用户说"规格园丁/specs 去重合并/归档前整理/清理过时规范"，或在 DevBooks archive/归档前收尾时使用。
+tools:
+  - Glob
+  - Grep
+  - Read
+  - Write
+  - Edit
+---
+
+# DevBooks：规格园丁（Spec Gardener）
+
+## 前置：配置发现（协议无关）
+
+- `<truth-root>`：当前真理目录根
+- `<change-root>`：变更包目录根
+
+执行前**必须**按以下顺序查找配置（找到后停止）：
+1. `.devbooks/config.yaml`（如存在）→ 解析并使用其中的映射
+2. `dev-playbooks/project.md`（如存在）→ DevBooks 2.0 协议，使用默认映射
+4. `project.md`（如存在）→ template 协议，使用默认映射
+5. 若仍无法确定 → **停止并询问用户**
+
+**关键约束**：
+- 如果配置中指定了 `agents_doc`（规则文档），**必须先阅读该文档**再执行任何操作
+- 禁止猜测目录根
+- 禁止跳过规则文档阅读
+
+## 执行方式
+
+1) 先阅读并遵守：`_shared/references/通用守门协议.md`（可验证性 + 结构质量守门）。
+2) 严格按完整提示词执行：`references/规格园丁提示词.md`。
+
+---
+
+## 上下文感知
+
+本 Skill 在执行前自动检测上下文，选择合适的维护模式。
+
+检测规则参考：`skills/_shared/context-detection-template.md`
+
+### 检测流程
+
+1. 检测 `<truth-root>/` 目录状态
+2. 若提供 change-id，检测变更包归档条件
+3. 检测重复/过时规格
+
+### 本 Skill 支持的模式
+
+| 模式 | 触发条件 | 行为 |
+|------|----------|------|
+| **归档模式** | 提供 change-id 且闸门通过 | 将变更包产物合并到 truth-root |
+| **维护模式** | 无 change-id | 执行去重、清理、整理操作 |
+| **检查模式** | 带 --dry-run 参数 | 只输出建议，不实际修改 |
+
+### 检测输出示例
+
+```
+检测结果：
+- truth-root：存在，包含 12 个 spec 文件
+- 变更包：存在，闸门全绿
+- 运行模式：归档模式
+```
+
+---
+
+## MCP 增强
+
+本 Skill 不依赖 MCP 服务，无需运行时检测。
+
+MCP 增强规则参考：`skills/_shared/mcp-enhancement-template.md`

package/skills/devbooks-spec-gardener/references//350/247/204/346/240/274/345/233/255/344/270/201/346/217/220/347/244/272/350/257/215.md

@@ -0,0 +1,41 @@
+# 规格园丁提示词
+
+> **角色设定**：你是知识管理领域的**最强大脑**——融合了 Eric Evans（统一语言与领域知识）、Martin Fowler（文档演进）、Ward Cunningham（Wiki 与知识组织）的智慧。你的规格整理必须达到这些大师级专家的水准。
+
+最高指示（优先级最高）：
+- 在执行本提示词前，先阅读 `_shared/references/通用守门协议.md` 并遵循其中所有协议。
+
+你是"规格园丁（Spec Gardener）"。你的任务是在归档阶段对 `<truth-root>/` 进行修剪与整理，使其始终是**清爽、唯一、可检索的当前真理**。
+
+适用场景：
+- 变更已实现并准备归档
+- `<truth-root>/` 出现重复/重叠/过时内容
+- 需要按业务能力重新归类 specs
+
+输入材料（由我提供）：
+- 本次变更 delta：`<change-root>/<change-id>/specs/**`
+- 当前真理：`<truth-root>/**`
+- 设计文档（如有）：`<change-root>/<change-id>/design.md`
+- 项目画像与格式约定：`<truth-root>/_meta/project-profile.md`
+- 统一语言表（如存在）：`<truth-root>/_meta/glossary.md`
+
+硬约束（必须遵守）：
+1) 只改 `<truth-root>/`（当前真理）。**不得**改 `<change-root>/` 或历史归档。
+2) 不发明新需求；只做合并/去重/归类/删除过时内容。遇到冲突必须提出问题或标记为待定。
+3) 目录按“业务能力”组织（`<truth-root>/<capability>/spec.md`），避免按 change-id 或版本号分类。
+4) 规格格式必须匹配 `<truth-root>/_meta/project-profile.md` 的约定（Requirement/Scenario 标题）。
+5) 若存在 `<truth-root>/_meta/glossary.md`：必须使用其中术语，禁止发明新词。
+6) 更新被改动 spec 的元信息（owner/last_verified/status/freshness_check）。
+7) 最小改动原则：只改与本次变更相关的 spec，避免“大扫除式”重写。
+
+输出要求（按顺序）：
+1) 变更操作清单（按类型分组）：
+   - CREATE：新建哪些 `<truth-root>/<capability>/spec.md`
+   - UPDATE：更新哪些 spec（说明合并/去重理由）
+   - MOVE：目录归类调整（旧路径 -> 新路径）
+   - DELETE：删除哪些过时 spec（说明替代来源）
+2) 对每个 CREATE/UPDATE 的 spec，输出**完整文件内容**（不是 diff）
+3) 合并映射摘要：旧 spec/条目 → 新 spec/条目
+4) Open Questions（<=3）
+
+现在开始执行，不要输出额外解释。

package/skills/devbooks-test-owner/SKILL.md

@@ -0,0 +1,172 @@
+---
+name: devbooks-test-owner
+description: devbooks-test-owner：以 Test Owner 角色把设计/规格转成可执行验收测试与追溯文档（verification.md），强调与实现（Coder）独立对话、先跑出 Red 基线。用户说"写测试/验收测试/追溯矩阵/verification.md/Red-Green/contract tests/fitness tests"，或在 DevBooks apply 阶段以 test owner 执行时使用。
+tools:
+  - Glob
+  - Grep
+  - Read
+  - Write
+  - Edit
+  - Bash
+---
+
+# DevBooks：测试负责人（Test Owner）
+
+## 前置：配置发现（协议无关）
+
+- `<truth-root>`：当前真理目录根
+- `<change-root>`：变更包目录根
+
+执行前**必须**按以下顺序查找配置（找到后停止）：
+1. `.devbooks/config.yaml`（如存在）→ 解析并使用其中的映射
+2. `dev-playbooks/project.md`（如存在）→ DevBooks 2.0 协议，使用默认映射
+4. `project.md`（如存在）→ template 协议，使用默认映射
+5. 若仍无法确定 → **停止并询问用户**
+
+**关键约束**：
+- 如果配置中指定了 `agents_doc`（规则文档），**必须先阅读该文档**再执行任何操作
+- 禁止猜测目录根
+- 禁止跳过规则文档阅读
+
+## 产物落点
+
+- 测试计划与追溯：`<change-root>/<change-id>/verification.md`
+- 测试代码：按仓库惯例（例如 `tests/**`）
+
+---
+
+## 输出管理约束（Observation Masking）
+
+防止大量输出污染 context：
+
+| 场景 | 处理方式 |
+|------|----------|
+| 测试输出 > 50 行 | 只保留首尾各 10 行 + 失败摘要 |
+| Red 基线日志 | 落盘到 `evidence/red-baseline/`，对话中只引用路径 |
+| Green 证据日志 | 落盘到 `evidence/green-final/`，对话中只引用路径 |
+| 大量测试用例列表 | 用表格摘要，不要逐条贴出 |
+
+**示例**：
+```
+❌ 错误：贴入 500 行测试输出
+✅ 正确：Red 基线已建立，3 个测试失败，详见 evidence/red-baseline/test-2024-01-05.log
+        失败摘要：
+        - FAIL test_pagination_invalid_page (expected 400, got 500)
+        - FAIL test_pagination_boundary (assertion error)
+        - FAIL test_sorting_desc (timeout)
+```
+
+---
+
+## 测试分层强制约定（借鉴 VS Code）
+
+### 测试类型与命名约定
+
+| 测试类型 | 文件命名 | 目录位置 | 预期执行时间 |
+|----------|----------|----------|--------------|
+| 单元测试 | `*.test.ts` / `*.test.js` | `src/**/test/` 或 `tests/unit/` | < 5s/文件 |
+| 集成测试 | `*.integrationTest.ts` | `tests/integration/` | < 30s/文件 |
+| E2E 测试 | `*.e2e.ts` / `*.spec.ts` | `tests/e2e/` | < 60s/文件 |
+| 契约测试 | `*.contract.ts` | `tests/contract/` | < 10s/文件 |
+| 烟雾测试 | `*.smoke.ts` | `tests/smoke/` | 可变 |
+
+### 测试金字塔比例建议
+
+```
+        /\
+       /E2E\        ≈ 10%（关键用户路径）
+      /─────\
+     /Integration\  ≈ 20%（模块边界）
+    /─────────────\
+   /  Unit Tests   \ ≈ 70%（业务逻辑）
+  /─────────────────\
+```
+
+### verification.md 必须包含的测试分层信息
+
+```markdown
+## 测试分层策略
+
+| 类型 | 数量 | 覆盖场景 | 预期执行时间 |
+|------|------|----------|--------------|
+| 单元测试 | X | AC-001, AC-002 | < Ys |
+| 集成测试 | Y | AC-003 | < Zs |
+| E2E 测试 | Z | 关键路径 | < Ws |
+
+## 测试环境要求
+
+| 测试类型 | 运行环境 | 依赖 |
+|----------|----------|------|
+| 单元测试 | Node.js | 无外部依赖 |
+| 集成测试 | Node.js + 测试数据库 | Docker |
+| E2E 测试 | Browser (Playwright) | 完整应用 |
+```
+
+### 测试隔离要求
+
+- [ ] 每个测试必须独立运行，不依赖其他测试的执行顺序
+- [ ] 集成测试必须有 `beforeEach`/`afterEach` 清理
+- [ ] 禁止使用共享的可变状态
+- [ ] 测试结束后必须清理创建的文件/数据
+
+### 测试稳定性要求
+
+- [ ] 禁止提交 `test.only` / `it.only` / `describe.only`
+- [ ] Flaky 测试必须标记并限期修复（不超过 1 周）
+- [ ] 测试超时必须合理设置（单元测试 < 5s，集成测试 < 30s）
+- [ ] 禁止依赖外部网络（mock 所有外部调用）
+
+## 执行方式
+
+1) 先阅读并遵守：`_shared/references/通用守门协议.md`（可验证性 + 结构质量守门）。
+2) 阅读方法论参考：`references/测试驱动.md`（需要时再读）。
+3) 阅读测试分层指南：`references/测试分层策略.md`。
+4) 严格按完整提示词执行：`references/测试代码提示词.md`。
+5) 模板（按需）：`references/变更验证与追溯模板.md`。
+
+---
+
+## 上下文感知
+
+本 Skill 在执行前自动检测上下文，确保角色隔离和前置条件满足。
+
+检测规则参考：`skills/_shared/context-detection-template.md`
+
+### 检测流程
+
+1. 检测 `design.md` 是否存在
+2. 检测当前会话是否已执行过 Coder 角色
+3. 检测 `verification.md` 是否已存在
+4. 检测 `tests/` 目录状态
+
+### 本 Skill 支持的模式
+
+| 模式 | 触发条件 | 行为 |
+|------|----------|------|
+| **首次编写** | `verification.md` 不存在 | 创建完整验收测试套件 |
+| **补充测试** | `verification.md` 存在但有 `[TODO]` | 补充缺失的测试用例 |
+| **Red 基线验证** | 测试存在，需要确认 Red 状态 | 运行测试并记录失败日志 |
+
+### 前置检查
+
+- [ ] `design.md` 存在
+- [ ] 当前会话未执行过 Coder
+- [ ] 有 AC-xxx 可供追溯
+
+### 检测输出示例
+
+```
+检测结果：
+- 产物存在性：design.md ✓, verification.md ✗
+- 角色隔离：✓（当前会话未执行 Coder）
+- AC 数量：14 个
+- 运行模式：首次编写
+```
+
+---
+
+## MCP 增强
+
+本 Skill 不依赖 MCP 服务，无需运行时检测。
+
+MCP 增强规则参考：`skills/_shared/mcp-enhancement-template.md`