sillyspec-execute

name	sillyspec:execute
description	用于按 plan 执行代码实现。适合用户说"开始写代码、执行任务、跑 execute、开干"。按 plan.md 中的 Wave 和 Task 逐步实现，遵循 design.md 和模块文档。

何时使用

• 用户说"开始写代码、执行任务、跑 execute、开干"
• 按 plan.md 的 Wave 分组和 Task 逐步实现代码
• 遵循 design.md + 模块文档 + CONVENTIONS.md

多变更说明

项目有多个活跃变更（.sillyspec/changes/ 下有多个目录）时，所有 sillyspec run 命令需加 --change <变更名> 指定操作目标；只有一个变更时可省略（CLI 自动检测）。

步骤生命周期（所有阶段通用）

sillyspec execute 是 sillyspec run execute 的顶层别名，两者等价。

sillyspec run execute                          # 输出当前步骤 prompt（首次自动创建 worktree）
sillyspec run execute --done --output "摘要"   # 完成当前步骤（--input "用户原话" 记录输入）
sillyspec run execute --status                 # 查看阶段进度
sillyspec run execute --skip                   # 跳过可选步骤
sillyspec run execute --reset                  # 重置阶段（从头开始）
sillyspec run execute --reopen --from-step N   # 重新打开已完成阶段修订（N=序号或名称）

通用参数（所有阶段适用）

参数	说明
--change <名>	指定变更名（多活跃变更必填，单变更可省略自动检测）
--spec-dir <path>	指定规范目录（默认 <项目>/.sillyspec）
--non-interactive	CI/脚本下禁用交互式 prompt
--skip-approval	跳过阶段转换/审批检查（不能跳产物校验 gate——review.json/文档产物硬校验仍在）

execute 特有：Worktree 隔离

• CLI 启动 execute 阶段时自动创建 git worktree，AI 不需要手动创建
• worktree 路径在步骤 prompt 中输出（worktreePath），后续子代理的 cwd 必须设为该路径
• 禁止跳过 worktree 或在主仓库直接写代码
• worktree 创建失败时 CLI 报错退出，排查后重试
• worktree 创建/进入不依赖工作区 git 状态（dirty/未提交文件均可）：直接按 CLI 输出的路径操作，无需自行检查 git 状态；sillyspec worktree apply 步以命令实际输出为准（apply 会校验 dirty，按输出处理）
• create 时若检测到 base 落后/分叉 origin/<默认分支>，CLI 会醒目报告（⚠️「落后 N 个 commit」+ 对齐命令），不阻断 execute。看到此报告时评估是否提示用户先对齐 main，但不要自行 fetch/ff——对齐是用户/主仓库的显式动作

依赖门控（depsStatus）

--done 时 CLI 校验 worktree 的依赖状态（depsStatus）。不达标会阻断完成并提示：

# 修复依赖供给
sillyspec worktree doctor --fix --change <变更名>

linked / installed / n/a 放行；missing / stale / failed / unknown 阻断。Wave 内所有 task 声明 no_deps_verify: true 时可 opt-out。

符号影响面报告（「加载上下文」步硬门）

execute 前缀步「加载上下文」的 --done 会硬校验符号影响面报告：

• 路径：{SPEC_ROOT}/changes/<变更名>/symbol-impact.md（步骤 prompt 中会输出具体路径）。
• 要求：plan.md 中每个 task-XX 都要有一行结论——涉及签名级变更（构造函数参数/接口/DTO/方法签名增删改）就列变更类型 + 受影响调用点 + 是否在任务范围内；无签名级变更也要显式写「无签名级变更」。
• 🔧 骨架生成：sillyspec symbol-impact --change <变更名> 从 tasks.md 生成逐 task <!--TODO--> 骨架（撞 gate 时 CLI 也会自动落一份），逐行替换为结论即可；未替换的 TODO 占位会被 gate 拒绝（骨架不能直接过门）。
• 文件缺失或未覆盖全部 task → --done 被阻断（进度不推进），补全后重跑即可。

Task Review Gate

execute 完成时，每个 task 必须有 review.json 且 verdict 通过，否则阻断完成。例外：task 在 tasks/task-XX.md frontmatter 声明 low_risk: true（type-only / 机械迁移等低逻辑风险）时，缺 review.json 只发 warning 不阻断。cannot_verify 的 task 会写入 verify-required-evidence.json，由 verify 阶段消费。

task 级 review.json 契约（CLI 硬校验）

• 路径：.sillyspec/.runtime/execute-runs/<execute-run-id>/tasks/task-XX/review.json（目录不存在需先建）。

• execute-run-id 取自第一次 --done prompt 输出（形如 exec-2026-07-28-112833），也写在 marker 文件 .runtime/current-execute-run-id-<变更名>。多个 run 时 gate 读最新 marker。

• 字段（schemaVersion:1）：

  {
    "schemaVersion": 1,
    "task": "task-01",
    "base": "<git-base-commit-hash>",
    "head": "<git-head-commit-hash>",
    "changedFiles": ["src/..."],
    "specVerdict": "pass",        // pass | fail | cannot_verify
    "qualityVerdict": "pass",     // pass | fail | cannot_verify
    "reviewerNotes": "...",
    "requiredEvidence": []        // cannot_verify 时必须非空
  }
  

• base / head 必须是（），否则判伪造并阻断。 与实际 完全不相交也判伪造。base..head 空 commit diff 但 working-tree 有未提交改动 → 视为有效改动（warning 不阻断）。

🔧 mechanics 字段不要手算：schemaVersion/task/base/head/changedFiles(/跨仓 repo) 全部可由 CLI 从 git + task 卡推导。子代理/你只需写语义字段（specVerdict/qualityVerdict/reviewerNotes/requiredEvidence），mechanics 字段可以瞎填占位（如 "base": "TODO"），写完跑 sillyspec backfill-reviews --change <变更名> --adopt 一键重算代填（verdict 原样保留）。gate 拦下 mechanics 错误时也跑同一条命令修复。

• 后端 router task 另需产出 API 端点清单：sillyspec endpoints extract --change <变更名> --task <task-NN>（CLI 静态扫描 FastAPI/Express/Spring 路由装饰器生成 endpoints.json，verify 探针 5 消费；扫描面默认取 task 卡 allowed_paths ∪ design 清单，也可 --dir/--files 显式指定）。勿手扫装饰器手写——易漏 endpoint。

Stage Review Gate（execute 末尾的 acceptance review.json）

execute 还有第二道独立的 stage 级审查：除逐 task review.json 外，整个 execute 阶段完成还需一个 stage 级 review.json（在 "完成确认"/acceptance 步骤产出）。CLI Stage Review Gate 硬校验其 schema 与 docHash 真实性。

• 路径：.sillyspec/.runtime/stage-reviews/execute-review-<stage-review-run-id>/review.json（目录可能不存在需手建；run-id 由该步 --done prompt 输出指定）。marker 文件 .runtime/current-stage-review-run-id-execute-<变更名>。

• run-id / marker 由 CLI 自动生成注入（review step prompt 渲染时 echo 完整目录路径 + 写 marker；撞 gate 报缺 review.json 时 gate 也 echo 完整路径 + 写 marker）。直接用 CLI 给的路径写 review.json，勿手算 run-id（必须 review- 前缀）、勿手写 marker。卡住时用 sillyspec register-stage-review --change <名> --stage execute 一步生成。

• 字段（schemaVersion:1，reviewType=acceptance —— 区别于 brainstorm/plan 的 "design"）：

  {
    "schemaVersion": 1,
    "reviewType": "acceptance",
    "reviewedFiles": ["changes/<变更名>/design.md", "<可选追加 git diff 涉及的源码>"],
    "docHash": "<sha256(reviewedFiles[0] 文件内容，hex)>",
    "specVerdict": "pass",       // pass | fail | cannot_verify
    "qualityVerdict": "pass",    // pass | fail | cannot_verify
    "checklist": [               // 扁平数组（非按层嵌套！），逐条对照 design 章节 + FR/NFR/决策核验代码
      { "item"         
    
           
     
  
  

运行时 CLI 会把精确 schema 表 + 完整 JSON 示例 + docHash 算法注入到该步 prompt。本段为常驻摘要；以你实际收到的注入版契约为权威逐字模板。

派发模式（SillyHub MCP，可选）

execute Wave 内的子代理默认用本机 Agent tool 执行。若消费方配置了 SillyHub MCP（local.yaml 的 mcp 段写 mcp.url / mcp.token——可由 sillyspec platform connect 同源写入或手填；或环境变量 SILLYHUB_MCP_URL / SILLYHUB_MCP_TOKEN 作回退），Wave 步骤 prompt 运行时可能注入一段 SillyHub 派发指令——出现就照其中的指令执行（创建 mission / dispatch_worker / 轮询结果 / 本机兜底），没出现就用本机 Agent tool。未配置 MCP 时完全不注入，行为与无此机制一致。

可选：sillyspec dispatch probe 查看 SillyHub 是否可用。

📍 local.yaml 恒在 .sillyspec/local.yaml——项目根目录没有这个文件，别去那里找或新建（hook 会拦）。worktree 内该文件不随 checkout 出现，读配置直接跑 sillyspec config cat（自动定位到主仓真实配置）；可用键清单见 sillyspec config schema。

跨仓 task（一个 change 改多个仓库）

单个 change 的 task 可以分散到主仓 + 多个跨仓仓实现（典型场景：dogfood 自指、monorepo 多包仓、共享库 + 调用方联合改造）。单仓 change 不需要任何跨仓配置（所有 task 不写 repo: 即走原流程，零回归）。

跨仓 task 配置（plan 阶段产出，execute 阶段消费）

• task 卡片 repo: 字段：跨仓 task 在 tasks/task-NN.md frontmatter 写 repo: <key>（缺省='main'=主仓 task，不写即主仓）。
• local.yaml repos: 段：跨仓仓路径注册（main 不用注册，隐式=当前项目）。用命令注册，勿手编 YAML：sillyspec local register-repo <key> <跨仓仓根路径>（execute 启动报缺注册时报错文案里就带这条命令）。手写格式参考：

  repos:
    shared-lib: ../shared-lib
    tool-repo: C:/path/to/your/tool-repo
  

  task 卡 repo: 引用的 key 必须在此注册，否则 execute 启动 fail-closed 阻断（跨仓 apply 走错仓=数据所有权事故，配置错误不降级）。
• 跨仓 task 的 allowed_paths：指相对跨仓仓根的路径（非主仓根）。

workdir 切换（execute 派发子代理时）

• 主仓 task：子代理 workdir = 主仓 worktree 路径（CLI 自动创建的隔离 worktree）。
• 跨仓 task：子代理 workdir = 跨仓仓根目录（直接在跨仓仓主干工作区改+commit，不经主仓 worktree、不建分支）。commit 到跨仓仓主干即落盘。
• 同一个 Wave 内允许混合主仓 + 跨仓 task。默认每 task 独立子代理（各传各的 workdir，Wave prompt 注入 per-task workdir 表，按表选）；同 Wave 内满足文件正交 / 无契约链 / 组 ≤3 三个条件的 task 可合并为一个 batch 子代理串行实现——batch 只合并实现，task 审查、review.json 产出与 checkbox 勾选仍归主 agent（子代理返回后逐 task 进行）。

跨仓 task 的双锡点（CLI 写入，子代理不改）

• base_commit：CLI 派发跨仓 task 前实时 git -C <跨仓仓根> rev-parse HEAD 落盘到 task 卡 frontmatter（锁 base，防同 Wave 多 task 改同跨仓仓时 HEAD 推进致 diff 漂移）。
• head_commit：同样由 CLI 自动落盘——execute --done 时 CLI 实时 git -C <跨仓仓根> rev-parse HEAD 幂等写入 task 卡（已存在不覆盖，你手写的精确锚点优先）。你无需手跑 rev-parse。review.json 的 base/head 无需手算，跑 sillyspec backfill-reviews --change <变更名> --adopt 从 task 卡锡点一键代填。
• review.json 的 base/head 取这两个锡点（非瞬时 HEAD）。

跨仓 task 的 review.json

• 路径仍写主仓 .sillyspec/.runtime/execute-runs/<run-id>/tasks/task-XX/review.json（review 统一存主仓）。
• 加 repo: <key> 字段标该 task 所属仓（缺省='main'）。
• base/head 是跨仓仓的 commit（取 task 卡锡点），CLI 据此在跨仓仓根跑 git 校验。

跨仓 task apply = no-op

跨仓 task 的代码由子代理直接 commit 到跨仓仓主干（commit 即落地），主仓 worktree apply 对跨仓 task 不打 patch、不 cleanup——只校验 review.head 是跨仓仓真实 commit。主仓 task 走原 apply 路径不变。

worktree 子命令（execute 相关）

sillyspec worktree apply <变更名>              # 校验并应用 worktree 变更到主工作区
sillyspec worktree apply <变更名> --check-only # 只检查不应用
sillyspec worktree apply <变更名> --skip-overlap # 主仓有并行在途变更时：跳过重叠文件，只应用非重叠子集
sillyspec worktree assess <变更名>             # 风险审计 + 自动 apply
sillyspec worktree list                        # 列出所有活跃 worktree
sillyspec worktree meta <变更名>               # 读取 worktree meta.json
sillyspec worktree cleanup <变更名>            # 清理 worktree
sillyspec worktree doctor [--fix]              # 健康检查 + 修复

apply 并发要点（多 agent 仓库）：

• 主仓互斥锁：apply / worktree cleanup / 归档收尾共用主仓级互斥锁（.sillyspec/.runtime/main-repo.lock，10 分钟 stale）——两会话并发对主仓的写操作会报「主仓互斥锁被占用（持有者: pid=…, change=…, 操作=…）」并退出，等对方完成重试即可；确认持有进程已崩溃时按报错里的路径删锁。等待时长可用 env SILLYSPEC_MAIN_REPO_LOCK_TIMEOUT_MS 调短。
• --skip-overlap：主仓有与本次变更同文件的未提交改动（并行会话在途变更）时，默认整批拦截；带 --skip-overlap 则只应用非重叠子集，重叠文件安全留在 worktree（不覆盖主仓在途改动），输出后续指引——主仓提交/stash 后重新 apply 只补剩余文件，或确认放弃后 cleanup --force。优先用这条路，别再走 rescue 手动 cp。
• --merge 冲突保留现场：--merge 遇真冲突不再直接 abort——主仓保留 merge-in-progress（冲突标记 + MERGE_HEAD），按提示编辑冲突文件 → git add → git commit 完成合并即可（无需重跑 apply）；git merge --abort 可放弃。若主仓有未提交改动会被合并覆盖，git 会拒绝启动合并（无现场），按提示先 commit/stash 或改用 --skip-overlap。
• 派生产物基线漂移提示：apply 输出若警告「N 个变更文件在 worktree 基线后主仓已有新提交」——多 agent 并发仓中并行变更可能已把新内容合入主仓，你 worktree 里生成的产物（api-types/generated 等）是旧基线版本，apply 会覆盖已合入内容；apply 后必须在新基线重跑一次生成命令（如 gen:types）再验证。
• worktree 目录残留清理：apply/cleanup 输出若提示「部分清理残留」——Windows 下勿直接 rm -rf（会穿透 node_modules junction 删主仓依赖）：先 cmd /c rmdir "<worktree>\node_modules" 解链（含子模块 junction）再删目录，或跑 sillyspec worktree doctor --fix。

阶段流转

plan → execute → verify

execute 完成后（所有 Wave/task 完成 + Task Review Gate 通过），运行 sillyspec run verify --change <变更名> 验证。

批量完成（一次 --done 收尾）

当 tasks.md（任务注册表唯一真相）所有 task checkbox 已勾（agent 按 review gate 手动勾或基于各 task review.json pass 由 CLI autoCheckPlanFromReviews 自动勾，双路都写 tasks.md、文件锁 .tasks.md.lock 串行化）且代码客观核验通过（checkExecuteCodeEvidence 非"零变更"）时，任一 execute --done 会一次性补完所有剩余 step 直达阶段完成，不必逐次 +1 推进。日志会打印 🚀 execute 批量完成 提示。条件不满足（tasks.md 未全勾 / 代码零变更）时仍按单步推进，要求补 review 后重跑 --done 直至满足。

铁律

• 必须用 exec 工具（shell）执行 CLI，不要自己编造流程
• 你是执行者不是设计师——按 plan 搬砖，发现 plan 不合理就停下来反馈，不自己改方案
• 子代理 cwd 必须用 CLI 输出的 worktreePath
• 完成后立即 --done，不跳过

用户指令

$ARGUMENTS