@blxzer/pactile 0.5.0 → 0.6.0-beta.4

package/dist/templates/pactile/modules/approval-personal/contract.md

@@ -1,43 +1,31 @@
-# `approval-personal`
-
-P29 表名：`approval-personal`（不得改名）。层：baseline。
-
-## 职责
-
-Human Attention 的三道人门，不是 Kernel 状态机本身。Kernel 校验「能不能转」；本块决定「人有没有点头」。
-
-1. **Open**：同意建立 Task 并批准 Rigor×Topology。不授权改代码、不授权 Execute。
-2. **Execute**：Define 完成后，同意进入实现。`--check` 只是 CLI 预检（指纹/槽位/契约在不在），**不得**写成「已评审通过」。
-3. **Finalize**：需要人类权威时合并询问——Git commit、远程推送、最终业务验收等。可与 Close 收尾并成一次，不拆成逐步确认。
-
-## 触发/披露
-
-不到门不进 Prompt、不进用户视野。Define 进行中不反复问「是否同意」。无硬 Risk 的 Lite：Open 之后可在用户**预先启用** Auto-Approve 时不再问 Execute；仍必须写审计，不是跳过 Approve 里程碑。Full / Parent / 硬 Risk：默认 Open + Execute；Finalize 在有人类权威动作时出现。异常才打断：范围或契约变、Policy 豁免、Secret、不可逆或远程副作用、平台底线不满足、真实 blocker、新高风险权限。
-
-Agent 看见：
-
-1. 未过 Open：不得 `task.py create`（Intake 只出 Proposal）。
-2. 未过 Execute：不得把 Phase 推进到 Execute、不得 `--approved`、不得开始改产品代码。
-3. 预检 PASS 只可用来**请求** Execute 门，不可宣称已批准。
-4. 日常「ok / 开始 / 确认」若不是在回答明确的门，不得当成 Execute 授权。
-5. Return-to-Define 之后，旧 Execute 批准失效，必须再过门。
-
-用户看见：很少的关键问句。Lite 常常只有一次 Open。Full 通常 Open + Execute。有 commit/远程时再并一次 Finalize。不是每个 Phase 点一次。
-
-渐进：过门后从常驻包拿掉本块教战，只留「本任务已过哪些门」。
-
-## 停止条件
-
-- 三门各自授权什么、不授权什么（见职责）。
-- `--check` ≠ 人批；人批必须可审计（谁、何时、哪一扇门）。
-- Auto-Approve 边界：仅预启用 + 无硬 Risk + Policy 允许；仍留痕迹。
-- 升级打断清单与上列异常一致；同一 frontier 可批量问，避免一题一轮。
-- 不得把预检 PASS 写成已批准；不得把日常确认当成 Execute 授权。
-
-## 关掉必须消失
-
-没有人点头路径。不得静默 create / `--approved` / 把 commit 当已 Finalize。Kernel 仍可拒绝非法转换，但不能冒充人已批。
-
-## 不得带走
-
-契约正文与 AC（`define-basic`）；指纹算法与合法边（Kernel）；是否真的 git commit（`vcs-integration`）；物理归档（`retention-storage`）。
+# `approval-personal`
+
+P29 表名：`approval-personal`（不得改名）。层：baseline。
+
+## 职责
+
+区分人类授权、Kernel 校验和执行记录。
+
+1. **创建 Task：**先取得用户对交付物、AC、交付层级和已知硬依赖的明确同意。V2 Kernel 从 Define 开始；不要在 Kernel 中虚构 Open 阶段。
+2. **授权 Run：**开始执行前取得对指定范围的授权。V2 Run 会记录 `approvedBy`、`approvedAt`、`scope` 和证据引用；这些字段保留调用者声明和证据指针，本身不验证身份。
+3. **授权外部动作：**按需取得 commit、远程推送、合并、发布或其他重要外部动作的人类授权。Close 是独立的 Kernel 转换。
+
+## 触发/披露
+
+在决策边界提问，不在每个阶段反复询问。创建 Task 的请求不授权超出 Proposal 交付物的工作。Run 授权只适用于已记录范围和契约。
+
+## 停止条件
+
+- 用户未同意 Task Proposal，不创建 Task。
+- 没有明确 Run 授权，不开始实现 Run。
+- Kernel 预检 PASS 只表示记录的门看起来满足，不代表人已批准。
+- V2 `--approved-by` 与授权证据字段是调用者提供的记录，不是身份验证。V1 的 `--approved` 也不得教成身份或授权证明。
+- 交付物、AC、交付层级、依赖或授权范围发生实质变化时，继续执行前必须重新取得人类审查。
+
+## 关掉必须消失
+
+决策记录继续保留审计。不得把日常状态回复或一次 commit 当作隐式授权。
+
+## 不得带走
+
+Kernel 转换和依赖校验；定义内容（`define-basic`）；执行方式（`execute-agent`）；证据是否满足 AC（`verify-basic`）；外部系统是否真实完成动作。

package/dist/templates/pactile/modules/close-basic/contract.md

@@ -1,38 +1,35 @@
-# `close-basic`
-
-P29 表名：`close-basic`（不得改名）。层：baseline。
-
-## 职责
-
-Close 槽。在 Evidence 已覆盖之后，写入业务 **Outcome**（completed / cancelled / failed）和收尾结论，并给出学习 disposition（是否需要叫醒 `spec-learning`，本块不亲自改长期 spec）。学习 disposition 除叫醒 `spec-learning` 外，还决定是否写 Notes 索引投影（`note-projection`，见 `personal-memory`）：机器按 disposition 在 Close 边界把本次任务的可复用要点沉淀为 ≤N token 的索引投影（摘要 + 路径指针），供未来窗口第 4 层检索。缺投影槽只留痕、不阻塞 Close。Lite：缺 Git、缺 `task-map.md`、缺 `children[]` 都不得挡 Close。物理目录是否搬进 `archive/` 不改变 Outcome。需要 Integrate 的 Task 未完成集成不得 Close（那是 `parent-child` 的条件，本块遵守 Kernel 因果，不自己做集成）。
-
-## 触发/披露
-
-Phase=Close，或 Verify 已过且人走 Finalize 时加载。Open / Define / Execute 当天不讲归档、不灌 archive CLI。收尾结束后本块教战从常驻包拿掉，只留 Outcome。
-
-Agent 看见：
-
-1. Evidence 槽未完成 → 不得 Close。
-2. 不得把 `git commit`、推送、物理 archive 当成 Close 本身。
-3. cancelled / failed 必须带原因进审计（经 Kernel），不得假装 completed。
-4. 学习决策只输出 disposition：`update-spec`（叫醒 `spec-learning`）/ `no-update` / `unsure`（叫醒 `personal-memory` 检索）/ `note-projection`（机器写 Notes 索引投影，见 `personal-memory`）。disposition 只决定叫醒谁、写什么槽，本块不亲自改长期 spec。Notes 投影槽缺位**只留痕、不阻塞**：即使没有写成投影，Close 照常成立（同 Lite 下 `session_auto_commit` 失败仍放行收工的语义）。
-5. Finalize 门（commit/远程）仍归 `approval-personal`；本块在门过后写 Outcome。
-
-用户看见：阶段名 Close。结果是完成、取消还是失败。Lite 不要求先有一次 Git 提交才允许收工。缺 Notes 投影不会让收工卡住；投影是机器在边界自动写的，用户不需要被追问「要不要写记忆」。
-
-渐进：非 Close/Finalize 窗口不加载本块。
-
-## 停止条件
-
-- 输入：Verify 完成（AC 已覆盖）；若 topology 要求 Integrate，则集成已完成或 Child 已 cancelled。
-- 输出：Outcome + 收尾结论 + 学习 disposition。
-- 停止：用物理 retention 冒充完成；无 Evidence 关单；Parent 未集成就 Close。
-- Lite 缺 Git 不得挡 Close；缺 `task-map.md`、缺 `children[]` 也不得挡 Close；**缺 Notes 索引投影不得挡 Close**（只留痕、不阻塞）。
-
-## 关掉必须消失
-
-没有业务收尾，生命周期缺 Close 槽，预检应拒绝。不得靠「目录还在 archive 里」假装完成。
-
-## 不得带走
-
-`git commit` / PR（`vcs-integration`）；物理压缩搬家（`retention-storage`）；写回 `.pactile/spec`（`spec-learning`）；AC 映射（`verify-basic`）。
+# `close-basic`
+
+P29 表名：`close-basic`（不得改名）。层：baseline。
+
+## 职责
+
+只有最新记录的 Run（且状态必须为 completed）、它冻结的候选快照、绑定到该候选的最新通过的独立 Review、完整 AC 证据和调用者提供的当前候选观察都满足时，才可 Close V2 Task。所有硬依赖必须已成功 Close。
+
+交付证据的 level 必须与 Task 声明的交付层级完全一致：
+
+- `local-result`：引用已产出的本地结果；
+- `pull-request`：引用 Pull Request，且必须是绝对 HTTPS URL；
+- `merged-result`：引用已合并结果，且必须是绝对 HTTPS URL；
+- `documentation`：引用已交付的文档。
+
+level 不一致、候选过期、引用较早的 Review、证据缺失或依赖未满足都会拒绝 Close。不能从 Run 摘要推断交付证据。
+
+## 触发/披露
+
+Review 和证据就绪后加载。调用者对候选的观察必须匹配所选 Run 快照的 ID 和 fingerprint。Kernel 记录 Close 结论和审计历史；目录归档、Git commit、推送或发布都不等于 Close。
+
+## 停止条件
+
+- 没有完整 AC 证据和最新的候选绑定通过 Review，不 Close。
+- 有较新的 Run 时，不 Close 旧 Run。
+- 不得用其他交付层级或其他候选的证据替代。
+- 没有相应证据和另行要求的人类授权时，不得声称已外部合并、发布或通过业务验收。
+
+## 关掉必须消失
+
+Close 后继续保留 Task、Runs、候选、Reviews 和结项证据，作为可读取的生命周期历史。
+
+## 不得带走
+
+如何产出结果（`execute-agent`）；如何检查结果（`verify-basic`）；V1 Task 目录归档；Git、远程、发布或业务动作。

package/dist/templates/pactile/modules/context-progressive/contract.md

@@ -1,44 +1,44 @@
-# `context-progressive`
-
-P29 表名：`context-progressive`（不得改名）。层：baseline。
-
-## 职责
-
-唯一上下文编译器，也是渐进式披露的机械保证。输入只有：Kernel 的 Phase / Condition / Outcome、已激活模块列表、当前需要的产物角色。输出一份预算内的 Session 包（可去重、带来源与 freshness）。Baseline 只带四类检索意图（exact / semantic / structural / external），不绑 codegraph、fast-context 或任何 Agent 工具名。`workflow.md`、AGENTS 长文、`[workflow-state:*]` 整坨方法论**不是**合法输入。Adapter 只负责注入编译结果，不负责拼方法论。
-
-## 触发/披露
-
-五层，按序，不得跳层一次灌全：
-
-1. 常驻最小：阶段、关键约束、下一动作（无任务时几乎只有这些 + 若发生 Intake 事件则加 intake 短契约）。
-2. 已激活模块短契约（仅当前 Phase 需要的那些）。
-3. 当前阶段产物片段（如 Define 的 PRD/AC，不是整个 task 目录）。
-4. 有事实缺口才检索（薄路由；打分/pack 归 `retrieval-extended`）。
-5. 失败或复杂卡住才深诊断（break-loop、完整指南）。
-
-编译器自己几乎没有「教战」；它决定别人谁能进包。过了阶段，上一阶段模块正文从常驻包掉下去，需要时按产物角色再取片段。
-
-Agent 看见：
-
-1. 当前包里没有的模块 = 当作没装。不得自己去读 `workflow.md` 当 SSOT 补回来。
-2. 无 `selected_task`：不装任务产物；不装 Parent/Worker/VCS 教战。
-3. Worker / Resume 包与 Session 包语义分离：工人只带其任务路径与合同片段，不继承「整份梯子」。
-4. SessionStart 若只能注入编译结果；禁止再切 `workflow.md` 的 Phase Index 当 overview。
-
-用户看见：默认简单。高级模块用到才出现。不靠一次打开就看到全部 PACTILE。
-
-## 停止条件
-
-- 输入集合：Kernel 的 Phase / Condition / Outcome、已激活模块列表、当前需要的产物角色。非法输入：上帝文档、未激活模块正文。
-- 五层顺序与预算/去重/provenance/freshness 义务（数值实现后置）。
-- 有任务才装产物；Lite Single 拒绝把 Parent/VCS/Memory/Retention/retrieval-extended 塞进常驻包。
-- 停止：把未激活模块「顺便」编进去；用 workflow 切片冒充第 1 层。
-- 不新增第五个常驻检索意图。
-
-## 关掉必须消失
-
-没有 PACTILE 上下文包。Adapter 仍可起会话，但没有模块化披露。缺本槽则渐进式披露无法验收。
-
-## 不得带走
-
-各模块短契约正文的所有权；Event Bridge 总线（Adapter）；检索打分与 stop 钩（`retrieval-extended`）；journal 常驻注入（`personal-memory`）。
+# `context-progressive`
+
+P29 表名：`context-progressive`（不得改名）。层：baseline。
+
+## 职责
+
+唯一上下文编译器，也是渐进式披露的机械保证。输入只有：Kernel 的 Phase / Condition / Outcome、已激活模块列表、当前需要的产物角色。输出一份预算内的 Session 包（可去重、带来源与 freshness）。Baseline 只带四类检索意图（exact / semantic / structural / external），不绑 codegraph、fast-context 或任何 Agent 工具名。`workflow.md`、AGENTS 长文、`[workflow-state:*]` 整坨方法论**不是**合法输入。Adapter 只负责注入编译结果，不负责拼方法论。
+
+## 触发/披露
+
+五层，按序，不得跳层一次灌全：
+
+1. 常驻最小：阶段、关键约束、下一动作（无任务时几乎只有这些 + 若发生 Intake 事件则加 intake 短契约）。
+2. 已激活模块短契约（仅当前 Phase 需要的那些）。
+3. 当前阶段产物片段（如 Define 的 PRD/AC，不是整个 task 目录）。
+4. 有事实缺口才检索（薄路由；打分/pack 归 `retrieval-extended`）。
+5. 失败或复杂卡住才深诊断（break-loop、完整指南）。
+
+编译器自己几乎没有「教战」；它决定别人谁能进包。过了阶段，上一阶段模块正文从常驻包掉下去，需要时按产物角色再取片段。
+
+Agent 看见：
+
+1. 当前包里没有的模块 = 当作没装。不得自己去读 `workflow.md` 当 SSOT 补回来。
+2. 无 `selected_task`：不装任务产物；不装 Parent/Worker/VCS 教战。
+3. Worker / Resume 包与 Session 包语义分离：工人只带其任务路径与合同片段，不继承「整份梯子」。
+4. SessionStart 若只能注入编译结果；禁止再切 `workflow.md` 的 Phase Index 当 overview。
+
+用户看见：默认简单。高级模块用到才出现。不靠一次打开就看到全部 PACTILE。
+
+## 停止条件
+
+- 输入集合：Kernel 的 Phase / Condition / Outcome、已激活模块列表、当前需要的产物角色。非法输入：上帝文档、未激活模块正文。
+- 五层顺序与预算/去重/provenance/freshness 义务（数值实现后置）。
+- 有任务才装产物；Lite Single 拒绝把 Parent/VCS/Memory/Retention/retrieval-extended 塞进常驻包。
+- 停止：把未激活模块「顺便」编进去；用 workflow 切片冒充第 1 层。
+- 不新增第五个常驻检索意图。
+
+## 关掉必须消失
+
+没有 PACTILE 上下文包。Adapter 仍可起会话，但没有模块化披露。缺本槽则渐进式披露无法验收。
+
+## 不得带走
+
+各模块短契约正文的所有权；Event Bridge 总线（Adapter）；检索打分与 stop 钩（`retrieval-extended`）；journal 常驻注入（`personal-memory`）。

package/dist/templates/pactile/modules/debug-recovery/contract.md

@@ -1,44 +1,44 @@
-# `debug-recovery`
-
-P29 表名：`debug-recovery`（不得改名）。层：on-demand。
-
-## 职责
-
-打转逃生，不是第一次修 bug，也不是独立 Check。同一症状在没有新证据的情况下被同一假设反复处理时：停手、分类、升级给人，必要时 Return-to-Define，修完或放弃后再做 break-loop（根因分类 + 防再发 disposition）。进行中的硬诊断纪律（先建 red-capable 环再假设）是本块可加载的深层指南，不是每回合短契约。不拥有 Cursor Debug 模式本身（Adapter 绑定）。
-
-## 触发/披露
-
-未触发当没装。第一次红测、一次能看懂的轻量缺陷，只走 `execute-agent` / `verify-basic`。触发（可审计）：
-
-1. 同一问题第二次仍用同一假设，且没有更紧的反馈环或新证据；或
-2. Condition 已是 blocked，症状未变；或
-3. 用户说卡住 / 不要再盲试；或
-4. 硬 bug / 性能回归已经不是「一眼可证」。
-
-进包后走 `context-progressive` 第 5 层（深诊断），不把 6 阶段全文灌进第 2 层。脱离打转窗口，本块正文从常驻包消失；只留「曾 blocked / 曾 Return-to-Define」摘要（若 Kernel 已记）。
-
-Agent 看见：
-
-1. 禁止静默同质重试。停手时必须分类：实现缺陷 / 契约或范围错 / 环境或权限不够 / 平台 capability 不满足 / 过程打转（无环乱猜）。
-2. 实现缺陷 → 仍在 Execute 修，但必须先有（或声明跳过理由的）可复现环；不得先读代码再编原因。
-3. 契约/范围/capability 假设错 → Return-to-Define，再走 Execute 门。这是本块**触发**合法转换，转换本身仍是 Kernel + `define-basic` / `approval-personal`。
-4. 分类结果升级给用户（同一 frontier 可批量选项），不得一个人连试三次还不说。
-5. Adapter 可把运行时复现绑到 Cursor Debug；证据仍落回任务产物。Debug UI 说明书不在本块。
-6. 打转结束后（修好、降级或取消）才做 break-loop：为什么同一手法失败、防再发、是否叫醒 `spec-learning`。break-loop 不负责找到第一因，也不亲自改长期 spec。不是用户 slash。
-
-用户看见：卡住时被问「这是代码、契约、环境还是该停」。日常一次失败的修复看不见本块。没有常驻 Debug 配置页。
-
-## 停止条件
-
-- 触发与非触发（第一次失败不是本块）。
-- 停手 + 分类出口（上列五类）+ 人升级。
-- 进行中 vs 修完后：诊断纪律 vs break-loop；二者不互相替代。
-- 停止：把第一次红测当 break-loop；用本块代替 `verify-basic` 的 AC 映射；在 Execute 里改 PRD 充数；把 Cursor Debug 写成 PACTILE 自研调试器；把防再发直接写成 spec（那是 `spec-learning`）。
-
-## 关掉必须消失
-
-无失败分类、无停手纪律、无 break-loop 教战、无「先建红环」深层指南注入。第一次失败仍可修。因契约变更的 Return-to-Define 仍可由 Kernel + define/approval 处理。Adapter 仍可打开 Cursor Debug，只是没有 PACTILE 打转剧本。
-
-## 不得带走
-
-AC→Evidence（`verify-basic`）；独立第二遍（`independent-check`）；契约正文（`define-basic`）；合法转换与 Condition 单写（Kernel）；写长期 spec（`spec-learning`）；Plan/Ask/Debug 是否存在（Adapter）。
+# `debug-recovery`
+
+P29 表名：`debug-recovery`（不得改名）。层：on-demand。
+
+## 职责
+
+打转逃生，不是第一次修 bug，也不是独立 Check。同一症状在没有新证据的情况下被同一假设反复处理时：停手、分类、升级给人，必要时 Return-to-Define，修完或放弃后再做 break-loop（根因分类 + 防再发 disposition）。进行中的硬诊断纪律（先建 red-capable 环再假设）是本块可加载的深层指南，不是每回合短契约。宿主原生调试界面由 Adapter 绑定，本模块不拥有其 UI。
+
+## 触发/披露
+
+未触发当没装。第一次红测、一次能看懂的轻量缺陷，只走 `execute-agent` / `verify-basic`。触发（可审计）：
+
+1. 同一问题第二次仍用同一假设，且没有更紧的反馈环或新证据；或
+2. Condition 已是 blocked，症状未变；或
+3. 用户说卡住 / 不要再盲试；或
+4. 硬 bug / 性能回归已经不是「一眼可证」。
+
+进包后走 `context-progressive` 第 5 层（深诊断），不把 6 阶段全文灌进第 2 层。脱离打转窗口，本块正文从常驻包消失；只留「曾 blocked / 曾 Return-to-Define」摘要（若 Kernel 已记）。
+
+Agent 看见：
+
+1. 禁止静默同质重试。停手时必须分类：实现缺陷 / 契约或范围错 / 环境或权限不够 / 平台 capability 不满足 / 过程打转（无环乱猜）。
+2. 实现缺陷 → 仍在 Execute 修，但必须先有（或声明跳过理由的）可复现环；不得先读代码再编原因。
+3. 契约/范围/capability 假设错 → Return-to-Define，再走 Execute 门。这是本块**触发**合法转换，转换本身仍是 Kernel + `define-basic` / `approval-personal`。
+4. 分类结果升级给用户（同一 frontier 可批量选项），不得一个人连试三次还不说。
+5. Adapter 可把运行时复现绑定到宿主原生调试界面；证据仍落回任务产物。调试 UI 说明书不在本块。
+6. 打转结束后（修好、降级或取消）才做 break-loop：为什么同一手法失败、防再发、是否叫醒 `spec-learning`。break-loop 不负责找到第一因，也不亲自改长期 spec。不是用户 slash。
+
+用户看见：卡住时被问「这是代码、契约、环境还是该停」。日常一次失败的修复看不见本块。没有常驻 Debug 配置页。
+
+## 停止条件
+
+- 触发与非触发（第一次失败不是本块）。
+- 停手 + 分类出口（上列五类）+ 人升级。
+- 进行中 vs 修完后：诊断纪律 vs break-loop；二者不互相替代。
+- 停止：把第一次红测当 break-loop；用本块代替 `verify-basic` 的 AC 映射；在 Execute 里改 PRD 充数；把宿主原生调试器写成 Pactile 自研工具；把防再发直接写成 spec（那是 `spec-learning`）。
+
+## 关掉必须消失
+
+无失败分类、无停手纪律、无 break-loop 教战、无「先建红环」深层指南注入。第一次失败仍可修。因契约变更的 Return-to-Define 仍可由 Kernel + define/approval 处理。Adapter 仍可打开宿主原生调试界面，只是没有 Pactile 打转剧本。
+
+## 不得带走
+
+AC→Evidence（`verify-basic`）；独立第二遍（`independent-check`）；契约正文（`define-basic`）；合法转换与 Condition 单写（Kernel）；写长期 spec（`spec-learning`）；Plan/Ask/Debug 是否存在（Adapter）。

package/dist/templates/pactile/modules/define-basic/contract.md

@@ -1,39 +1,35 @@
-# `define-basic`
-
-P29 表名：`define-basic`（不得改名）。层：baseline。
-
-## 职责
-
-Open 已成立之后、Execute 门之前。只负责**定义面**：Definition + 可测的 Acceptance Contract。Lite 到此为止（默认表面 `prd.md` + AC 清单）。Full 时按 Kernel 已解析的 `required_controls` 补齐 **Execution Contract** 与 **Verification Plan** 两个语义角色（默认可仍写在 `implement.md`），不因「要显得完整」机械生成空文档。本块**产**契约；`execute-agent` / `verify-basic` **消费**契约。契约变更必须 Return-to-Define，刷新后再走 Execute 门。
-
-## 触发/披露
-
-Phase=Define 时加载本块短契约 + 当前 Definition/AC（及 Full 时已有的执行/验证契约片段）。Grill、深研、`design.md` 仅当 `define-extended` 已激活才进入包。Execute 门过后，常驻包只留**已批准定义摘要**（加 AC 列表），不留 Grill 全文、不留未批准草稿。
-
-Agent 看见：
-
-1. 没有可测 AC，不得请求 Execute 门。
-2. 不得在 Define 写实现代码、不得 `--approved`。
-3. Full 缺已解析 controls 要求的语义角色，Define 未完成。
-4. Design 不是本块的必产出；出现 Design 需求时触发 `define-extended`，不把 Grill 正文写进本块短契约。
-5. Adapter 可以把本阶段绑到 Cursor Plan；那是 Adapter 绑定，不是本块拥有 Plan 模式说明书。
-
-用户看见：阶段名 Define。Lite：一份需求 + 验收。Full：需求 + 验收 + 执行/验证契约（仍是人话文档，不是设计论文）。被问的是意图、范围、风险接受，不是仓库里已有的事实。
-
-渐进：过了 Define，从常驻包拿掉本块教战，只留已批摘要。
-
-## 停止条件
-
-- 输入：Open 已过（Task 已建、Rigor×Topology 已批）；`selected_task` 指向本任务。
-- 输出（Lite）：Definition + 可测 AC。缺 AC = Define 未完成。
-- 输出（Full）：在 Lite 之上，按 `required_controls` 补 Execution Contract 与 Verification Plan 角色；Design 角色不在本块。
-- 不改产品代码、不 archive、不假装 Execute 已批、不把 `workflow.md` 当定义 SSOT。
-- Return-to-Define：范围/AC/执行契约/验证策略/capability 假设变化时，停 Execute，刷新定义与门指纹后再请 Execute 批准。
-
-## 关掉必须消失
-
-不能写验收、不能宣称 Define 完成、不能把 AC 当 Evidence。Kernel 仍可停在 Open，但没有定义槽 provider。
-
-## 不得带走
-
-Task 前澄清（`intake-basic`）；Grill / 深研 / 条件 Design / spec-bootstrap（`define-extended`）；Execute 人批（`approval-personal`）；jsonl/上下文预算（`context-progressive`）；独立 Check（`independent-check`）。
+# `define-basic`
+
+P29 表名：`define-basic`（不得改名）。层：baseline。
+
+## 职责
+
+在第一个 Run 开始前定义 V2 deliverable Task。Kernel Definition 记录标题、描述、交付物、单一交付层级、验收标准和硬依赖 Task ID。交付物应足以供人检查，每条 AC 应能映射到证据。
+
+交付层级应描述 Task 所要求的结果：
+
+- `local-result`：项目或指定工作区中的可审查结果；
+- `pull-request`：可审查的 Pull Request；Close 证据须为 HTTPS 引用；
+- `merged-result`：已合并的结果；Close 证据须为 HTTPS 引用；
+- `documentation`：要求交付的文档。
+
+每个依赖都是硬依赖：它必须存在且成功 Close，当前 Task 才能开始 Run 或 Close。仅表示建议顺序的事项不应写成硬依赖。以 V2 Kernel 字段作为定义，不额外引入未记录的流程模型。
+
+## 触发/披露
+
+V2 Define 阶段加载。Kernel Definition 是 Task 交付物、AC、交付层级和依赖 ID 的事实来源。草稿可以帮助人写定义，但不能代替 Kernel 中的记录。
+
+## 停止条件
+
+- 未记录交付物、交付层级和可测 AC，不得开始 Run。
+- 每个硬依赖都必须指向现存 Task ID；缺失依赖和依赖环均无效。
+- 范围或交付层级变化时，先使用 Kernel 支持的定义更新路径，再请求 Run 授权；不要在实现或 Review 中静默改契约。
+- 不得宣称 CLI 预检或授权记录字段验证了某人的身份或批准。
+
+## 关掉必须消失
+
+定义稳定后，以已记录 Definition 作为执行边界。契约变化时须重新评估 Run 授权和候选证据。
+
+## 不得带走
+
+人类授权（`approval-personal`）；实现（`execute-agent`）；AC 到证据的映射及候选 Review（`verify-basic`）；交付证据和 Close（`close-basic`）。

package/dist/templates/pactile/modules/define-extended/contract.md

@@ -1,45 +1,45 @@
-# `define-extended`
-
-P29 表名：`define-extended`（不得改名）。层：on-demand。
-
-## 职责
-
-Define 阶段的加深，不是第二条生命周期。含：PRD Grill、多源研究协调、**条件** Design、按仓库事实第一次建立项目 Spec。Task **之前**只澄清到「有没有工作」——那是 `intake-basic`。本块只在 Open 之后、还在 Define 时出现。Design 角色仅当 Risk/Policy 或 `verification_profile: architecture` 要求时才成为必产出；不给每个 Full 空造 `design.md`。
-
-## 触发/披露
-
-未触发当没装。触发：Phase=Define 且（Rigor=Full 或硬 Risk 或用户明确要深挖/研究/设计）。Lite 成功路径可以全程不见 Grill、不见 Design。外部事实走 Middleware（smart-search）；本块协调「要不要研、研完写哪」，不实现搜索引擎。
-
-离开 Define 或未触发则从包中消失。
-
-Agent 看见：
-
-1. Grill 纪律：只问产品意图/偏好/风险；仓库事实自己取。
-2. 不得把 Grill 做成每回合仪式，也不得恢复 `[Triage:]`。
-3. 无 Design 要求时，不写空 `design.md` 来「凑 Full」。
-4. spec-bootstrap 只在项目确实还没有、且需要编码规范时，依据仓库事实建；安装不预置空 spec 骨架。
-5. Adapter 可把深 Define 绑到 Cursor Plan；Plan 说明书不在本块。
-
-用户看见：需要深挖时才出现 Grill/设计讨论。Lite 写完 PRD+AC 就可以去请 Execute，不必经过本块。
-
-## 停止条件
-
-- 触发条件见上。
-- 产出：Grill 结论写回 Definition；条件 Design；可选 research 产物；条件 spec 骨架。
-- 停止：Task 前用本块代替 intake 澄清；Lite 强制 Design；把 smart-search 实现收进本块。
-
-## 关掉必须消失
-
-无 Grill 全文、无条件 Design、无深研协调、无 bootstrap spec。`define-basic` 的 PRD/AC 仍足够 Lite Close 路径。
-
-## 不得带走
-
-AC 最低面（`define-basic`）；Execute 门（`approval-personal`）；检索 pack（`retrieval-extended`）。
-
-## Grill 备忘
-
-Grill 机制备忘只写在本块内。不恢复独立 skill 名作 slash，没有两个 slash、没有两个 subagent。
-
-- **`grill-me`**：来自 Pactile/Herbivore 的无状态面试 skill。输入是用户访谈，用来逼问 PRD。Claude 路径曾是强制 gate（没 grill 完不准 design/implement）。PACTILE **没有**把这个 skill 装进 Cursor 默认包，也 **不**复制那道阻塞 gate。Matt 同名 skill 被标为「已被 `pactile-micro-grill` 覆盖」（KB `01`）。引擎（frontier 轮次）经 P03 进了 brainstorm / micro-grill 的提问节奏，**不是**独立 `grill-me` 包装。
-- **`grill-with-docs`**：工作区从未找到正式 skill。2026-06-16 锁定的是其**精神**：以 `prd.md` 为唯一文档面做检查 pass（目标、事实 vs 假设、可测 AC、非目标、依赖、平台…），仓库能查的不问用户。落地在 bundled `brainstorm` 的 Phase B，Cursor 可加载摘要是 `.pactile/framework/prd-grill-frontier.md`。
-- **现在怎么存在**：Task 前澄清 = `intake-basic`（旧称 micro-grill 策略，不是 Task 类型）。Open 之后的 PRD Grill = `define-extended` 内的文档检查 pass + 仅 blocking 项再用 micro-grill 契约追问。提问节奏：PRD Grill 用 frontier（一轮 ≤3）；单独 micro-grill 仍可一次一问（`prd-grill-frontier.md` 的 override 说明）。完成标准：清单满足或显式 N/A、无 blocking open questions、AC 可测——然后才是 Execute 门，不是「grill-me subagent 打勾」。
+# `define-extended`
+
+P29 表名：`define-extended`（不得改名）。层：on-demand。
+
+## 职责
+
+Define 阶段的加深，不是第二条生命周期。含：PRD Grill、多源研究协调、**条件** Design、按仓库事实第一次建立项目 Spec。Task **之前**只澄清到「有没有工作」——那是 `intake-basic`。本块只在 Open 之后、还在 Define 时出现。Design 角色仅当 Risk/Policy 或 `verification_profile: architecture` 要求时才成为必产出；不给每个 Full 空造 `design.md`。
+
+## 触发/披露
+
+未触发当没装。触发：Phase=Define 且（Rigor=Full 或硬 Risk 或用户明确要深挖/研究/设计）。Lite 成功路径可以全程不见 Grill、不见 Design。外部事实走 Middleware（smart-search）；本块协调「要不要研、研完写哪」，不实现搜索引擎。
+
+离开 Define 或未触发则从包中消失。
+
+Agent 看见：
+
+1. Grill 纪律：只问产品意图/偏好/风险；仓库事实自己取。
+2. 不得把 Grill 做成每回合仪式，也不得恢复 `[Triage:]`。
+3. 无 Design 要求时，不写空 `design.md` 来「凑 Full」。
+4. spec-bootstrap 只在项目确实还没有、且需要编码规范时，依据仓库事实建；安装不预置空 spec 骨架。
+5. Adapter 可把深 Define 绑定到宿主提供的计划界面；界面说明不在本块。
+
+用户看见：需要深挖时才出现 Grill/设计讨论。Lite 写完 PRD+AC 就可以去请 Execute，不必经过本块。
+
+## 停止条件
+
+- 触发条件见上。
+- 产出：Grill 结论写回 Definition；条件 Design；可选 research 产物；条件 spec 骨架。
+- 停止：Task 前用本块代替 intake 澄清；Lite 强制 Design；把 smart-search 实现收进本块。
+
+## 关掉必须消失
+
+无 Grill 全文、无条件 Design、无深研协调、无 bootstrap spec。`define-basic` 的 PRD/AC 仍足够 Lite Close 路径。
+
+## 不得带走
+
+AC 最低面（`define-basic`）；Execute 门（`approval-personal`）；检索 pack（`retrieval-extended`）。
+
+## Grill 备忘
+
+Grill 机制备忘只写在本块内。不恢复独立 skill 名作 slash，没有两个 slash、没有两个 subagent。
+
+- **`grill-me`**：来自 Pactile/Herbivore 的无状态面试 skill。输入是用户访谈，用来逼问 PRD。Claude 路径曾是强制 gate（没 grill 完不准 design/implement）。Pactile **没有**把这个 skill装进默认包，也 **不**复制那道阻塞 gate。Matt 同名 skill 被标为「已被 `pactile-micro-grill` 覆盖」（KB `01`）。引擎（frontier 轮次）经 P03 进了 brainstorm / micro-grill 的提问节奏，**不是**独立 `grill-me` 包装。
+- **`grill-with-docs`**：工作区从未找到正式 skill。2026-06-16 锁定的是其**精神**：以 `prd.md` 为唯一文档面做检查 pass（目标、事实 vs 假设、可测 AC、非目标、依赖、平台…），仓库能查的不问用户。落地在 bundled `brainstorm` 的 Phase B，可加载摘要是 `.pactile/framework/prd-grill-frontier.md`。
+- **现在怎么存在**：Task 前澄清 = `intake-basic`（旧称 micro-grill 策略，不是 Task 类型）。Open 之后的 PRD Grill = `define-extended` 内的文档检查 pass + 仅 blocking 项再用 micro-grill 契约追问。提问节奏：PRD Grill 用 frontier（一轮 ≤3）；单独 micro-grill 仍可一次一问（`prd-grill-frontier.md` 的 override 说明）。完成标准：清单满足或显式 N/A、无 blocking open questions、AC 可测——然后才是 Execute 门，不是「grill-me subagent 打勾」。

package/dist/templates/pactile/modules/execute-agent/contract.md

@@ -1,38 +1,30 @@
-# `execute-agent`
-
-P29 表名：`execute-agent`（不得改名）。层：baseline。
-
-## 职责
-
-生命周期的 Execute 槽。把**平台无关的执行要求**交给 Adapter 去绑：是否允许委派、是否必须隔离、写入边界、必须停在已批合同内。个人默认绑定是**主 Agent、当前会话、inline**。不点名 Subagent、不点名 worktree、不点名某个模型。真正绑到 Cursor Agent / Task / worktree 是 Adapter + 按需模块的事。
-
-## 触发/披露
-
-仅 Phase=Execute，且实际 binding 为 inline（或 Worker 不可用而诚实降级为此）时加载本块短契约。Define / Open / 无任务时看不见「去改代码」。Execute 结束后教战从常驻包拿掉。
-
-Agent 看见：
-
-1. 已批 Definition / AC /（Full 时）执行与验证契约是边界；实现缺陷留在 Execute 修。
-2. 范围、AC、执行契约、验证策略、capability/runtime、Parent 边界变化 → 停手，Return-to-Define，再走 Execute 门。不得边改 PRD 边假装仍在 Execute。
-3. 不得因本块去 spawn `pactile-implement` / `pactile-check`；那只在 `worker-orchestration` 激活且合同要求 worker 时出现。
-4. 不得因本块去 integrate-child 或建 Child。
-5. Adapter 可将本阶段绑到 Cursor Agent；Plan/Debug 不是本块说明书。
-
-用户看见：阶段名 Execute。Lite：主会话在已同意的范围内改东西。不默认看到并行工人、worktree、检查 Agent。
-
-渐进：非 Execute 阶段不加载本块。
-
-## 停止条件
-
-- 输入：Execute 门已过；Definition 有效；Kernel Phase=Execute。
-- 输出：合同内的工作结果（代码/配置/文档 diff）。Evidence 角色仍归 `verify-basic` 收。
-- 停止：契约变更；未批准的写入；把 Verify/Close 提前做完并宣称完成。
-- 降级：平台绑不上 Worker/隔离时，记 assurance，走 inline，不得假装隔离已发生。
-
-## 关掉必须消失
-
-没有「主 Agent 在合同内执行」这条默认路径。没有本槽则 Profile 预检应拒绝启动生命周期（Execute 是必需槽）。
-
-## 不得带走
-
-类型化 Agent 派工（`worker-orchestration`）；Child 拓扑与集成（`parent-child`）；AC 怎么写（`define-basic`）；假绿判定（`verify-basic`）；Git（`vcs-integration`）。
+# `execute-agent`
+
+P29 表名：`execute-agent`（不得改名）。层：baseline。
+
+## 职责
+
+按已记录的 Task Definition 执行一个获授权的 V2 Run。一个 Task 可以保留多个 Run；每次尝试和结果都要留在历史中。前一次结束后重试应新建 Run，不覆盖先前记录。每个成功 Run 都有独立冻结的候选快照供后续 Review。
+
+写入前遵守 Run 的授权范围和 `writeSetSnapshot`。记录可获得的等待、执行、Review 时长估算及实测引用，供后续调度评估成本。估算本身不能证明工作已开始或完成。
+
+## 触发/披露
+
+只有在取得该 Run 的人类授权、且 Kernel 校验 Task 硬依赖后才执行。一个 Task 同时最多有一个 active 或 waiting Run。使用平台 Adapter 的真实执行绑定；未发生隔离或委派时不得声称已发生。
+
+不同 Task 的 Run 只有经过派工协调器准入后才可并发。硬依赖必须先成功 Close。写集重叠默认串行；显式允许重叠时，必须记录授权与集成计划。仅有 worker 请求或本合同本身不构成并行许可。
+
+## 停止条件
+
+- 工作不得超出交付物、AC、已批范围和 Run 写集。
+- 成功时记录候选条目和证据；失败、取消或阻塞时如实记录该 Run 的终态。
+- 实现发现定义或授权不正确时停止，在获支持的定义/授权更新后再继续。
+- 不得把计划中的 Run 报告为已完成工作。
+
+## 关掉必须消失
+
+Intake、Define、Review 和 Close 阶段不加载实现教战。保留 Run 历史和候选身份供后续生命周期使用。
+
+## 不得带走
+
+Task 定义和 AC（`define-basic`）；人类授权（`approval-personal`）；派工/准入政策；候选 Review（`verify-basic`）；交付验收（`close-basic`）。