yibie Do
只执行当前允许的一个切片，不重新打开已经确认的设计。
开始前
先确定走的是哪一条路径，两条的前置条件不同。
SPEC 路径（经过 capture 与 arrange）
读取 AGENTS.md、.spec-agents/doctrine/docs/WORKFLOW.md、CONTEXT.md、项目
.spec-agents/state/KERNEL.md（若存在）、.spec-agents/state/STATUS.md、相关 SPEC.md、一个目标 Slice 和必要的
Protocol、Runbook、Lesson。确认：
- Slice 状态是
ready或已明确授权的doing； - 所有
blocked_by已完成； - SPEC 没有
stale； - Slice 未声明
writer:，或声明的就是do； - Slice 的
authority:已对照过 Kernel 的 Architecture boundaries（见下）； - 当前代码、测试和配置与任务范围一致。
短路径（plan 直接给出 approve）
这条路径上没有 SPEC 也没有 Slice。不要为它创建一个 —— 那正是这套流程
拒绝的 ticket。读取 AGENTS.md、.spec-agents/doctrine/docs/WORKFLOW.md、
CONTEXT.md、项目 .spec-agents/state/KERNEL.md（若存在）、.spec-agents/state/STATUS.md 和必要的 Protocol、
Runbook、Lesson。确认：
plan给出的结果允许直接执行：approve；或已获用户明确授权的plan-only； 或compatible revise且该替代方案在当前上下文内可完成；- 它交出的「保持不变的契约」和那句验收都已知；
- 工作仍然可以在当前上下文内完成。
执行中发现它不再是单上下文的工作，停下回到 plan，不要就地编一个 SPEC。
两条路径都适用：先对权威落点
动手前把这次要写的位置，对照项目 .spec-agents/state/KERNEL.md 的 Architecture boundaries
（权威落点地图）。短路径上没有 Slice，就直接拿打算落笔的模块去对。两种结果：
- 图上有这条规则，而目标位置不是它 —— 停下回到
plan。要么落点不对， 要么地图该改，两者都不是do能自己决定的。 - 图不存在，或图上没有覆盖这条规则的条目 —— 不要停。记下打算落笔的
位置，产出一个
semantic发现交给plan，然后继续执行。
第二种情况刻意不阻断：存量 Kernel 本来就不要求回填这张图（见 .spec-agents/doctrine/START.md），
把地图缺失变成硬停会让合规项目动不了，而一条动不了的规则一定会被绕过。缺失
是 Kernel 的缺口，不是这次工作的缺陷 —— 交给拥有 Kernel 变更的那道门去补。
do 从不修改这张图。在症状出现的那一层顺手加分支，是功能生效但生效在错误
位置的主要方式。
执行
- 先追踪真实调用链和既有 seam，选择最小可行改动。
- 对有分支、循环、解析、金钱或安全影响的逻辑，留下一个可运行的检查。
- 保持 Action Contract、不变量和数据契约不变，除非
plan已批准兼容修订。 - 运行任务要求的测试、类型检查、静态检查或最小手工验证。
- 把当前 Slice 留在
doing并写下验证摘要，供check、learn使用； 短路径上没有 Slice 可更新，跳过这一步；保持evidence_ref为空。do不关闭 Slice ——done与evidence_ref由learn在check之后一起写入。 - 不写根目录 Evidence，也不回写 Evidence ID。
如果仓库存在 .jj/，本地版本操作遵循 JJ：用 jj new/jj edit 开始上下文、
用 jj describe 记录意图、用 jj status/jj diff 检查。把当前 JJ Change
ID 写入 Slice 或交接摘要时，仍然以 SPEC 与 Slice 作为语义来源；不要用
git add、git commit 或 git stash 模拟 JJ。没有 .jj/ 时才沿用项目现有
Git 工作流；不要在 do 中自动初始化或 push。
发现冲突时
发现新的概念、身份、关系、生命周期、不变量、接口或知识适用范围冲突时：
- 停止扩张实现；
- 保留可重现的事实和失败验证；
- 将 Slice 标为
blocked或stale；短路径上没有 Slice，直接回到plan； - 回到
plan，不直接修改.spec-agents/state/KERNEL.md、CONTEXT.md、ADR、Protocol、Runbook、Lesson 或 SPEC。
写入边界
do 写 Code，以及当前 Slice 的验证摘要，并把它留在 doing。
除此之外都不写：
.spec-agents/state/KERNEL.md、CONTEXT.md、.spec-agents/state/STATUS.md、.spec-agents/state/EVIDENCE.md和docs/{adr,protocols,runbooks,lessons}/由learn写入；.spec-agents/specs/<feature>/SPEC.md由capture写入，Slice 由arrange创建；do在任何路径上都不创建 Slice；Slice 的done/evidence_ref和 SPEC 的verified由learn写入；- 被管项目中，安装进来的 doctrine（
AGENTS.md、.spec-agents/doctrine/START.md、.spec-agents/doctrine/UPGRADE.md、.spec-agents/doctrine/skills/、.spec-agents/doctrine/docs/）任何动作都不写——本地修改会被下一次安装 覆盖，要改就改上游。
产品是什么，Code 就是什么：在 SPEC-AGENTS 仓库自身，上面那五者就是它的
Code，do 写它们；在被管项目里它们是 doctrine。
切片声明了 writer: 且不是 do 时，do 不执行它，交回给该动作。
完成条件
代码只覆盖当前切片，任务验证已运行，Slice 状态和剩余 blocker 已记录（短路径上没有 Slice，把范围和验证结果口头交给 check），并把可复核的证据交给 check。