@blxzer/pactile 0.5.0

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

@@ -0,0 +1,34 @@
+# `intake-basic`
+
+P29 表名：`intake-basic`（不得改名）。层：baseline。
+
+## 职责
+
+事件式入口。在无选中任务、或新请求可能产生工作时，判断：直接回答（无 Task）/ 澄清 / 进池意图 / 建议开 Task，并带上建议的 Rigor（Lite|Full）与 Topology（single|parent-child）。建议 Topology 时必须带「有无可隔离单位」（写集 / 交付物能否切开）。产出 Open Proposal 形状，不创建 Task。无 `[Triage:]` 行。任务内跟进不重跑 Intake（除非显式切换/退出/新独立交付物/契约冲突）。
+
+## 触发/披露
+
+Baseline 装着，但只在 Intake 事件进入 Prompt。有 `selected_task` 且无冲突时，本块不进包。
+
+触发：无选中任务 | 新请求与当前 Task 冲突 | 用户显式要新 Task。
+
+Agent 看见：入口判断规则、Risk 初判标签（可解释，非黑箱分）、禁止未同意就 `task.py create` 的提醒（门本身在 approval）。建议 Topology 时先问/判「有无可隔离单位」：能指出 ≥2 个可隔离写集 → 倾向多个可 Close 的 Full 或 Full 扇出，**不默认 Parent**；要统一集成权威才建议 parent-child；指不出 → 倾向 single，并预期真·单写集要写 `serial_reason`。用户要开始实现**已 accepted** 池条目时，Open Proposal 必须带切片清单（写到该条目 `## 切片`：短名、`touches`、Lite/Full/Parent、并行或 `serial_reason`），未 Open 不建目录。开过大 Task（关不了 / 证不了 / `touches` 跨无关模块）必须建议按池拆分规则再拆；用户可坚持，但要写范围风险 / `serial_reason`。会话内已可直接做的小改仍可不进池。看不见五档梯子印、看不见 Parent 集成教战。
+
+用户看见：闲聊被直接回答；要开 Task 时看到形状建议（Lite/Full × single/parent-child）以及有无可隔离单位，被问是否 Open；未成形想法可被建议进池。
+
+派生摘要可内用，不得要求每回合打印 `[Triage:]`。
+
+## 停止条件
+
+- 输入：Intake 事件（无选中任务 / 冲突 / 显式要新 Task）。
+- 出口：无 Task（直接答）/ 澄清（Task 前，只澄清到「有没有工作」）/ 进池意图 / Open Proposal（Rigor×Topology + 有无可隔离单位 + 若来自已 accepted 池条目则含 `## 切片` 提案 + 理由）。
+- 不得写 `prd.md`、不得 archive、不得改代码。
+- 不得未同意就 `task.py create`。
+
+## 关掉必须消失
+
+开 Task 判断、形状建议、进池意图。Kernel 仍在，但没有入口模块。
+
+## 不得带走
+
+Open/Execute 人批（`approval-personal`）；池目录物化（`candidate-pool`）；Grill/Design（`define-basic` / `define-extended`）；Decompose 建 Child（`parent-child`，Intake 只可建议 Topology=parent-child）。

package/dist/templates/pactile/modules/observability-local/contract.md

@@ -0,0 +1,31 @@
+# `observability-local`
+
+P29 表名：`observability-local`（不得改名）。层：baseline。
+
+## 职责
+
+本地、只读消费式的可观测性。记录生命周期耗时、门的通过/失败、Return-to-Define、AC 覆盖、上下文包大小/重复、人工打断、Verify 后返工原因。默认不外发、不进 Session 包、不以 Token 估算或 Agent 调用次数当质量。评价回到节奏是否可靠、上下文是否浪费、有没有假绿、返工是否集中（与 P26 四轴一致）。不控制生命周期，不写 Kernel 核心状态。
+
+## 触发/披露
+
+永远可以记（被动、后台）。**永远不**作为第 2 层模块短契约进入默认 Prompt。用户问健康/返工、或 Close 需要引用本地事实时，由 `context-progressive` 按第 4 层缺口再取片段。不是监控产品、不是常驻仪表盘。
+
+Agent 看见：默认看不见本块教战。不得把「记了多少事件」写成任务已完成。平台没有 Token/成本数据时标 `unavailable`，不得编数字。
+
+用户看见：按需。日常 Open→Close 不出现可观测性配置。外发遥测必须显式 opt-in（本需求默认不做外发）。
+
+渐进：需要时才披露片段，从不常驻。
+
+## 停止条件
+
+- 输入：Kernel 审计、Gate、Evidence、编译器包元数据（大小/层/模块列表）。
+- 输出：本地事实记录。零 Prompt 是成功标准，不是缺陷。
+- 停止：把本块灌进 SessionStart；用虚荣指标代替 Evidence；默默上传。
+
+## 关掉必须消失
+
+不再记账。Open→Close 仍必须能走完（本块不是生命周期必需槽，是 Baseline 里的横切记录器）。
+
+## 不得带走
+
+Gate 是否通过（Kernel）；Evidence 正文（`verify-basic`）；为了「像模块」而占常驻包。

package/dist/templates/pactile/modules/parent-child/contract.md

@@ -0,0 +1,45 @@
+# `parent-child`
+
+P29 表名：`parent-child`（不得改名）。层：on-demand。
+
+## 职责
+
+拓扑模块。把「一件事拆成可独立验收的多交付物」变成单父树，并提供 **Integrate** 槽的行为（Kernel 仍写 Phase/依赖图；本块提供 Decompose、边界、集成权威与 `integration-handoff`）。Parent 握总需求、Child 边界、集成权、最终 Evidence；默认不直接写功能代码。Child 是独立 Task：自己的生命周期、自己的 Rigor。Decompose **只出提案**，用户确认后才建 Child。依赖图投影为 `task-map`（人读）；依赖管 readiness，不调度、不表达所有权。
+
+## 触发/披露
+
+未触发当没装。Single 的 Open→Close 全程不见本块、不见 Integrate 阶段名。触发（可审计）：
+
+1. Open Proposal 的 Topology 已批为 parent-child；或
+2. 已选中任务出现 ≥2 个可独立演示的交付物，建议拆分；或
+3. 用户明确要求拆 Parent/Child。
+
+**不是**触发：Rigor=Full；文件多、耗时长。个人默认只暴露 **一层**（Parent + 其 Child）；Kernel 允许更深嵌套，本 Profile 短契约不教孙任务 Decompose。
+
+非 Parent/非拆分窗口不进包。Child 会话只带该 Child 合同 + 与 Parent 的边界，不灌整棵树教战。
+
+Agent 看见：
+
+1. Decompose 产出：纵向切片边界、依赖、每 Child 的 Acceptance、冲突面、集成点。未获人确认不得 `create --parent` / 挂 Child。
+2. Child 不得 `integrate-child`，不得把自己标成 accepted / integrating / integrated / cancelled。Child 交付 = Verify 完成 + `integration-handoff`。只有 Parent 做 Integrate。
+3. Parent 未把每个结构性 Child 标成 integrated 或 cancelled，不得 Close（`close-basic` 已遵守此因果）。
+4. Parent 与 Child 各自 Lite/Full；Parent 常建议 Full，但不与 Full 绑定。拓扑叠加的是 task-map、Child Evidence、Integration Gate，不是自动 Independent Check。
+5. 并行声明（可并行组 / 合并点 / 冲突面）写在 task-map；HITL、Execute 门、Check、`integrate-child` 仍串行。默认 `merge_limit: 1`。串行执行须写 `serial_reason`。真正 spawn 工人仅当 `worker-orchestration` 同时激活；否则 Child 走 inline 或顺序会话。
+6. 跨树关系走 Kernel 依赖图（`requires` 硬前置 / advisory 提示）。默认 advisory；硬挡是 Policy/opt-in，不是本块调度器。
+
+用户看见：只有多交付物或主动要拆时才出现 Parent/Child 与 Integrate。Lite Single 看起来仍是一条直线。没有「拆了才算 Full」。
+
+## 停止条件
+
+- 触发与非触发；个人默认一层。
+- Decompose 提案形状；建 Child 必须先确认。Decompose 先提案，未确认不得建 Child。
+- 权威：Parent 独有 Integrate；Child 独有自身 Verify + handoff。
+- 停止：未激活仍讲 task-map / integrate-child；Child 自集成；把依赖当调度器；把 Parent 当 Full 的同义词；未确认就建 Child。
+
+## 关掉必须消失
+
+无 Decompose、无建 Child、无 task-map 教战、无 Integrate 阶段叙事、无集成权。Intake 仍可在 Open Proposal 里**建议** Topology=parent-child，但无处落地。Full Single 仍合法。
+
+## 不得带走
+
+Kernel 的 `topology` / `parent_id` / 合法 Integrate 边（Kernel 单写）；工人派工（`worker-orchestration`）；Git worktree 命令细节（`vcs-integration`，本块只要求 Child 可隔离交付）；跨窗 `/pactile-handoff`（`session-transfer`）；池条目（`candidate-pool`）。

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

@@ -0,0 +1,56 @@
+# `personal-memory`
+
+P29 表名：`personal-memory`（不得改名）。层：on-demand。
+
+## 职责
+
+跨 Task 的可搜索个人记忆。默认 **Task-first**：续作先读当前/归档任务产物、Kernel 审计、Close 摘要。Journal 不是 Baseline，不常驻注入 Session 包。本块按需提供：检索「上次…」跨任务记忆；可选地在用户要记下时才 Capture 一条；**Close 收尾时由机器写入 Notes 索引投影**（非正文，详见「Close Notes 索引投影」）。安装不预建默认 Journal。Developer Identity（路径用的开发者 id）可以在安装时存在，但不等于本块已激活，也不进每回合 Prompt。
+
+### Close Notes 索引投影
+
+Close 边界按学习 disposition 写 Notes 索引投影（`note-projection`，见 `close-basic`）：**≤N token 的摘要 + 路径指针**（N 由 S2/P1 定，占位不填值），进 `context-progressive` **第 4 层检索**，**不常驻注入**（不进第 2 层常驻）。
+
+**投影 ≠ journal 正文**：
+
+| 轨 | 谁写 | 形态 | 供谁 |
+| --- | --- | --- | --- |
+| Notes 索引投影 | 机器（Close 自动） | ≤N token 摘要 + 路径指针 | 供检索 |
+| journal 正文 | Agent 主动 | 完整正文 | 供阅读 |
+
+二者不同轨。投影是机器在 Close 边界旁路写入的槽位，不要求 Agent 每次收工「写日记」，也不进常驻 Prompt；journal 仍是"首次 Capture 才物化"、"Journal 不是 Evidence"的既有语义，本条款只额外给了一把机器自动写的检索钥匙，不改变 journal 的物化与地位。
+
+## 触发/披露
+
+未触发当没装。日常 Open→Close 只靠任务目录。触发（可审计）：
+
+1. 用户问跨任务的「上次 / 我们是不是说过 / 搜 journal」；或
+2. 用户明确要记一条跨任务备忘。
+
+**不是**触发：有 `selected_task` 的普通续作（Continue / 任务产物即可）；SessionStart；Close 强制写 journal。
+
+问完/记下后从常驻包消失。
+
+Agent 看见：
+
+1. 有选中任务时，先读该任务产物。不得用 journal 代替 PRD/Evidence。
+2. 跨任务才搜记忆；命中以路径+短摘要进第 4 层，不把 journal 全文灌进第 2 层。
+3. 首次 Capture 才物化 `.pactile/workspace/<id>/journal-*.md`。未激活不得在 SessionStart 打印 journal 行数当教战。
+4. Journal 不是 Evidence、不是长期 spec、不是 session-transfer 过境文档。
+5. `init_developer` / `.developer` 若已存在，只用于路径；不因此加载本块正文。
+
+用户看见：只有主动回忆或要记下时才出现记忆搜索。没有常驻「日记必须写」的仪式。新安装可以没有 journal 文件。Notes 索引投影是机器在 Close 边界自动写的，用户只在需要时（如未来窗口检索）看到它，收工时不机械问「要不要写记忆」。
+
+## 停止条件
+
+- Task-first vs 跨任务搜索的分界。
+- 触发与非触发；首次 Capture 才物化。
+- Notes 索引投影：走第 4 层检索、不进第 2 层常驻；缺投影槽与缺 journal 都不挡 Close（Close 只留痕）。
+- 停止：SessionStart 注入 journal 正文或当方法论；把 Notes 投影当 journal 正文常驻注入；用 journal 或投影当 Close 完成条件；用记忆代替任务 SSOT；安装预建空 journal。
+
+## 关掉必须消失
+
+不注入 journal、不做跨 Task 记忆检索、不要求写日记。`.pactile/tasks/`、Continue、`selected_task` 仍在。Identity 文件可以留着当路径，不进 Prompt。
+
+## 不得带走
+
+任务产物与审计（Kernel / `close-basic`）；过境 handoff（`session-transfer`）；长期 spec（`spec-learning`）；编译器常驻包（`context-progressive`）；检索 pack（`retrieval-extended`）。

package/dist/templates/pactile/modules/retention-storage/contract.md

@@ -0,0 +1,43 @@
+# `retention-storage`
+
+P29 表名：`retention-storage`（不得改名）。层：on-demand。
+
+## 职责
+
+Closed Task 的**物理**处置：目录搬家（如 `archive/`）、压缩、保留期限、冷存储。不写业务 Outcome，不撤销 Close。Close 与 Archive 分离：`close-basic` 完成生命周期；本块可以在 Close **之后**跑。Retention 失败不得改 Outcome；只留下 Condition / 修复证据。本需求**不包含** Event Sourcing；更高级存储若将来出现，也只是 Policy 可选实现，不是完成条件。
+
+## 触发/披露
+
+维护者 / 磁盘策略。Agent 日常 Open→Execute→Verify **不看见**本块。触发（可审计）：
+
+1. Outcome 已写入之后的物理收纳；或
+2. 维护者明确要压缩/清理；或
+3. Policy 的保留期限到期。
+
+**不是**触发：把 `task.py archive` 当成 Close；Execute 当天；用搬家证明做完了。
+
+永远不进默认 Prompt 第 2 层（可与 `observability-local` 类似：零教战成功）。
+
+Agent 看见：
+
+1. 不得用「目录已在 archive/」宣称 completed。
+2. 不得在未 Close 时搬走活任务目录。
+3. 删除、覆盖原目录、不可逆压缩：先问（人 / Policy）。个人默认搬家不是静默删除。
+4. 搬家后若路径变了，通知 Kernel 更新投影；本块不写 Phase/Outcome。
+5. 不拥有 Git；不拥有 session temp handoff。
+
+用户看见：日常收工只关心 Outcome。磁盘策略、压缩、过期清理不出现在每回合。关掉本块时，Closed Task 可以留在原地。
+
+## 停止条件
+
+- Close 已完成才可物理处置。
+- 失败不回滚 Outcome。
+- 停止：物理搬家冒充 Close；未 Close 就 archive；静默删除用户工作；把 Event Sourcing 当成本需求验收。
+
+## 关掉必须消失
+
+不能把搬家当完成条件。Outcome 照写。活任务目录不被本块搬走。CLI 仍可有业务 Close，只是不移动文件。
+
+## 不得带走
+
+业务 Close / Outcome（`close-basic`）；Git commit（`vcs-integration`）；过境文档（`session-transfer`）；journal（`personal-memory`）。

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

@@ -0,0 +1,77 @@
+# `retrieval-extended`
+
+P29 表名：`retrieval-extended`（不得改名）。层：on-demand。
+
+## 职责
+
+对**已经收集到的**证据做评分、排序、retrieval pack、probe/matrix。它是检索质量层，不是搜索引擎，也不是薄路由。个人默认不把评测栈灌进每个 Task。后续检索优化的**产品落点**是本块内部 + Middleware Provider，不是再写一部上帝检索文档。
+
+## 触发/披露
+
+未触发当没装。Lite 日常 `rg` / 一次 cheap 外部查询看不见本块。触发（可审计）：
+
+1. 任务目录里已有 research / 多源证据，需要 ranking 或收口引用；或
+2. `define-extended` 深研结束，要打 pack 而不是再搜一轮；或
+3. 维护者跑 probe / 评测矩阵。
+
+**不是**触发：每个用户回合；第一次字面搜索；第一次外部知识探测；仓库装着 codegraph / fast-context。
+
+打分窗口结束，本块从常驻包消失。
+
+Agent 看见：
+
+1. 搜索 ≠ 打分。没有收集到的材料，不得空跑 pack 充 Evidence。
+2. 命中是候选，直到被仓库 / 测试 / 第二源证实。Pack 整理已有材料的质量与来源，不代替 `verify-basic` 的 AC 映射。
+3. 钩 `inject-retrieval-plan.py` / `research-end-retrieval-pack.py` 仅本块激活时订阅；后者还要有 research 产物。Cursor `additional_context` 经常到不了模型：通道失败时只记 assurance / 本地遥测，**不得**假装计划已进 Prompt。成功标准是该打分时打分，不是每回合强制注入计划。
+4. 四意图标签来自编译器；本块不把 Agent 工具名（Grep、@codebase、codegraph、WebSearch…）写进 Baseline。Optional Provider 只有 Profile 选了才由 Adapter 绑定。
+5. 需要外部知识而 Provider 未就绪：走 Middleware 降级（平台 Web ≠ 等价）。不需要外部知识的 Task 仍可 Close。本块不实现爬虫。
+
+用户看见：普通 Lite 不出现矩阵、pack、per-prompt 计划。没有常驻检索配置向导。维护者评测是另一条面。
+
+## 停止条件
+
+- 三层分界见下方 ABI 表。
+- 输入产物：`collected-evidence`（路径 + provider 标签 + 可选 freshness）。输出产物：`retrieval-pack`（排序、分数、provenance）；可选 `probe-report`（维护者）。
+- 停止：未激活仍灌检索教战或 stop 打分钩；把 pack 当 AC Evidence；把 smart-search 收进本块；每回合强制检索计划；通道失败却声称已注入。
+- 评分算法细节用指针，不在本块另写上帝文档。算法/ranking 特征/pack schema 版本属于本块内部，后续可改。
+
+## 关掉必须消失
+
+无 pack、无 per-prompt 检索计划、无 stop 打分钩。四意图路由仍在；smart-search 仍可按需。不需要外部知识的 Open→Close 仍成立。
+
+## 不得带走
+
+薄 router（`context-progressive`）；smart-search 本体与就绪（Middleware）；要不要研、写到哪（`define-extended`）；journal 搜索（`personal-memory`）；AC→Evidence（`verify-basic`）。
+
+## 检索三层 ABI
+
+冻结。后续优化检索时不得拆掉，否则会重新变成上帝文档。
+
+| 层 | Owner | 认什么 | 不认什么 |
+| --- | --- | --- | --- |
+| 意图 | `context-progressive` | `exact` / `semantic` / `structural` / `external` | 工具名、分数、pack、每回合计划 |
+| 提供 | Middleware | capability 就绪与降级；默认 `external-knowledge` → smart-search；Optional 的 codegraph / fast-context 经 Profile 选择 | PACTILE Kernel 发版锁步；平台 Web 冒充等价 |
+| 质量 | `retrieval-extended` | 对已收集证据打分、pack、probe | 自己去搜；自己当 Close Evidence |
+
+不新增第五个常驻检索意图，除非同时改编译器契约。
+
+## 后续不可改
+
+后续优化**可以**改（不必回头改本重构的生命周期）：
+
+- 本块内部的评分算法、ranking 特征、pack schema 版本。
+- 维护者 probe / 评测矩阵。
+- 新 Optional Provider：Manifest + Adapter 绑定到已有意图，不新增第五个常驻意图，除非同时改编译器契约。
+- 注入通道：Cursor 若将来能稳定送达检索计划，本块消费；不能则继续 telemetry，产品不假绿。
+- smart-search 独立发版、独立 CLI。
+
+后续优化**不可以**改（改了等于放弃模块化）：
+
+- 把旧 8 意图或工具名写回 Baseline 常驻 Prompt。
+- 把 smart-search 收进 Kernel / 本块 / `pactile update` 锁步。
+- 每个回合强制 pack 或强制 `beforeSubmitPrompt` 计划。
+- 用 pack 代替 `verify-basic`。
+- 把 `retrieval-daily-guide.md` 当 SessionStart SSOT。
+- 为了「检索好改」把三层重新合并进 `workflow.md`。
+
+现状债务（优化时面对；本需求不假装已修好）：`inject-retrieval-plan.py` 目前常是 telemetry；旧路由器仍带多于四意图的执行细节；搜索与 pack 在文档里仍易混用；codegraph / fast-context 曾被当成默认。完成态是所有权先分清，再在本块和 Provider 里演进算法。

package/dist/templates/pactile/modules/session-transfer/contract.md

@@ -0,0 +1,41 @@
+# `session-transfer`
+
+P29 表名：`session-transfer`（不得改名）。层：on-demand。
+
+## 职责
+
+把**还在飞的工作**搬到另一个会话 / 人 / 宿主 / 目录。产出一份一次性过境文档（默认写 OS temp，不进仓库、不当任务证据）。`/pactile-handoff` 是 Adapter 的平台入口；本块拥有正文契约（何时搬、写什么、不写什么）。与 Child 的 `integration-handoff`（任务目录里的集成证据）分 owner。不是 Continue，不是 Compact，不是派工包。
+
+## 触发/披露
+
+未触发当没装。日常 Open→Close、同窗继续，看不见本块。触发（可审计）：用户显式要搬走，或阶段边界判定「工作需要旅行」（换宿主、换目录/仓、交给同事、分叉旁路）。
+
+**不是**触发：同宿主同目录接着做（Continue / Compact）；派一个工人（`worker-orchestration`）；Child 向 Parent 交集成证据（`parent-child`）；Close 收尾。
+
+写完并交出路径后，本块教战从常驻包消失。
+
+Agent 看见：
+
+1. 先问清下一会话用途，按用途裁剪「为什么」，不整段复制会话。
+2. 写 temp 文件，回报**完整绝对路径**，并提醒 temp 易挥发。需要跨小时/跨宿主时，请用户立刻拷到耐久位置。
+3. 只引用磁盘路径（任务目录、spec、ADR、commit），不粘贴 PRD/diff 正文。密钥/token/PII → `<REDACTED>`。事实与未验证信念必须分开写。
+4. 不得写入 `.pactile/tasks/<dir>/handoff.md` 冒充集成证据；不得把过境文档当长期 spec。
+5. 不得用 shell 引号把全文塞给下一个 Agent（截断）。下一个 Agent 去读文件路径。
+6. 不自动 hook 交接；不在 Close 时强制写一份。
+
+用户看见：少数逃生舱之一。用时得到一条 temp 路径。同窗接着做只用 Continue，不出现本块。
+
+## 停止条件
+
+- 触发与非触发（五问里本块只占 Handoff）。
+- 产出位置（OS temp）与必须回报绝对路径。
+- 内容角色：Goal / Done / Blocked / Next / 按用途裁过的 whys / Facts vs beliefs / 指针。
+- 停止：与 `integration-handoff` 混用；同窗续做却写 handoff；把过境文档当任务证据或长期记忆；泄露密钥。
+
+## 关掉必须消失
+
+不能生成跨窗过境文档、Prompt 无搬运教战。Continue / Compact / 选中任务指针仍在。Parent 集成交接若 `parent-child` 开着仍在。
+
+## 不得带走
+
+`integration-handoff` 与集成权（`parent-child`）；Continue 与窗口标题（Adapter）；`selected_task`（Kernel）；工人派工包（`worker-orchestration`）；journal 跨 Task 记忆（`personal-memory`）；物理 archive（`retention-storage`）。

package/dist/templates/pactile/modules/spec-learning/contract.md

@@ -0,0 +1,50 @@
+# `spec-learning`
+
+P29 表名：`spec-learning`（不得改名）。层：on-demand。
+
+## 职责
+
+Close 窗口里，把**可复用**的约定写进长期知识（`.pactile/spec/`、ADR、Policy）。先提案、人确认、再写盘。`pactile-update-spec` 是本块的内部技能，不是用户 slash。`close-basic` 只产出学习 disposition（update-spec / no-update / unsure）；本块只在 disposition 需要写盘时才动手。不在 Execute 中改长期 spec，不把任务 `prd.md` 当长期 spec。
+
+## 写盘动作会有机器记录（只记事实、不拦写盘）
+
+对 `.pactile/spec/`、`docs/adr/`、Policy 文件的写盘动作（Write/Edit），机器会留一条审计记录：**谁写的（actor）、写盘时间、目标文件、有没有经过确认（经/未经验证）**。该记录由 hook（`.cursor/hooks/spec-write-audit.py`）落盘到 `.pactile/.runtime/hooks/spec-write.log`，与 `kernel.json` 审计链同属 History 轨，只作审计档案、不常驻注入窗口。
+
+- **机器记录 ≠ 机器裁决**：机器只记"有没有确认记录"这个**事实**，不做"内容对错"判定。对错由人裁决。
+- **只记录、不拦写盘**：记录失败不阻塞写盘；不因"未经验证"而拒绝写盘。本 gate 是记录不是门禁，任何情况下不因缺确认记录而挡住写盘。
+
+## 触发/披露
+
+未触发当没装。Execute / Define / 日常修 bug 看不见本块。触发（可审计）：
+
+1. Close 且 disposition 为 update-spec，或 unsure 经一次追问变成 update-spec；或
+2. 强信号：公共契约/API/CLI 变了、同类错误反复、`debug-recovery` 的防再发要求入 spec、用户明确要沉淀。
+
+**不是**触发：例行 bugfix、一次性配置、已经写在任务产物里且没有跨任务价值。默认**不问**「每个功能都要更新 spec」。
+
+写完或明确 no-update 后，本块教战从包中消失。
+
+Agent 看见：
+
+1. 先写任务内提案（目标路径 + 要点），**未确认不得**改 `.pactile/spec/` / ADR / Policy。
+2. 确认后才写；在 Evidence 里留下 spec 路径。禁止 hook / check 静默改 spec。
+3. no-update 必须带一句理由。unsure 只追问一次，不得假装已经写过。
+4. 编码期读 spec 是 `context-progressive` + spec 文件，不是本块把全文灌进 Close 包。
+5. 第一次从仓库事实建项目 spec 骨架是 `define-extended`（spec-bootstrap），不是本块。技能作者流程不是本块。
+
+用户看见：收工时最多被问一次「这条要不要写进长期约定」。多数 Lite Close 直接 no-update。没有常驻「学习配置」。
+
+## 停止条件
+
+- 与 `close-basic` 的分工：disposition vs 写盘。
+- 提案 → 确认 → 写盘 → 证据路径。
+- 停止：Execute 中改 spec；静默写盘；把 `prd.md` 当长期 spec；无确认写 Policy；用本块代替 spec-bootstrap。
+- Lite Close 不因缺 spec 更新而阻塞（缺的是 disposition 记录，那是 `close-basic`）。
+
+## 关掉必须消失
+
+Close 不得改长期 spec。disposition 仍可记 no-update。任务内 PRD/AC 不受影响。编码仍可按已有 spec 文件进行。
+
+## 不得带走
+
+Close Outcome（`close-basic`）；Define 时 bootstrap spec（`define-extended`）；把 spec 编进 Session 包（`context-progressive`）；break-loop 分类（`debug-recovery`）；技能作者（Maintainer Overlay / `pactile-skill-creator`）；跨 Task journal（`personal-memory`）。

package/dist/templates/pactile/modules/vcs-integration/contract.md

@@ -0,0 +1,46 @@
+# `vcs-integration`
+
+P29 表名：`vcs-integration`（不得改名）。层：on-demand。
+
+## 职责
+
+Git（或其它已探测 VCS）上的真实操作：branch、worktree、commit、PR、push。它把「隔离 / 留下提交 / 开 PR」从 capability 落到命令。**不是** Kernel 前提，也不是 Close 的完成条件。人批仍走 `approval-personal` 的 Finalize（commit / 远程 / 不可逆）。工人默认不 commit（`worker-orchestration` 已锁）。
+
+## 触发/披露
+
+未触发当没装。仓库里有 `.git` **不够**进 Prompt。触发（可审计）：
+
+1. Finalize 窗口且用户要 commit / PR / push；或
+2. Policy / Close 合同要求 commit Evidence；或
+3. Parent/Worker 要求 isolation，需要 worktree；或
+4. 用户明确说提交、开分支、开 PR。
+
+**不是**触发：每次 Execute；无 Git 的 Lite Close；只改文件还不想留提交。
+
+Finalize/隔离窗口结束，Git 教战从常驻包消失。
+
+Agent 看见：
+
+1. 无 VCS → 本块不出现；生命周期仍可 Close；需要隔离则按 `worker-orchestration` 诚实降级，不得假装 worktree 已建。
+2. `git commit` ≠ Outcome completed。没 Finalize 授权不得 commit、不得 push、不得 `--force` 到默认分支。
+3. 远程、破坏性 Git、跳过 hook、改全局 git config：先问（Finalize / 用户明确）。不静默 push。
+4. worktree 细节（add/remove/路径）归本块；谁有权 integrate、哪个 Child 要隔离，归 `parent-child`。
+5. 个人默认不把「禁止在 main 上开发」写成 Kernel 规则；那是仓库/用户 overlay。若用户或 Policy 已有分支约定，本块遵守。
+6. 不提交密钥。PR 只在存在对应远程托管时做；没有 GitHub/远程 ≠ Close 失败。
+
+用户看见：要留提交或开 PR 时才出现 Git 步骤，并与 Finalize 并成一次确认。无 Git 的项目收工像普通 Close。日常改代码不灌 Git 教战。
+
+## 停止条件
+
+- 探测 ≠ 激活；激活条件见上。
+- 操作清单：branch / worktree / commit / PR / push 各自还要不要 Finalize。
+- 停止：无 Git 却挡 Close；把 commit 当 Close；工人代 commit；未授权 push；把窗口改名当本块。
+- 降级：无 VCS / 无远程 / 无 worktree 能力 → 记 assurance，生命周期继续（除非 Policy 硬要 commit Evidence）。
+
+## 关掉必须消失
+
+不能 commit/PR/worktree 教战。Open→Close 仍必须能走完。不得把缺 Git 写成 Kernel 坏了。物理搬家仍是 `retention-storage`。
+
+## 不得带走
+
+业务 Outcome（`close-basic`）；Finalize 人批（`approval-personal`）；Integrate 权威（`parent-child`）；isolation **要求**（执行合同 / `worker-orchestration`）；窗口标题（Adapter UX）；任务目录 archive（`retention-storage`）。

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

@@ -0,0 +1,38 @@
+# `verify-basic`
+
+P29 表名：`verify-basic`（不得改名）。层：baseline。
+
+## 职责
+
+Verify 槽与 Evidence 角色。做确定性检查，并把每条 AC 映射到真实证据。Lite 也必须有真实 Evidence；占位、TBD、空勾选、假绿不得 Close。`verify.md` 是给人看的投影；机器账本是 `ac_evidence_ledger`（Kernel extras）。本块不负责独立第二遍语义 Check（那是 `independent-check`）。
+
+## 触发/披露
+
+Phase=Verify，或 Execute 刚结束正在收证据时加载。Intake / Define 不讲假绿、不灌 `verification-strength-guide`。Close 之后本块教战从常驻包拿掉，只留「证据是否已覆盖」。
+
+Agent 看见：
+
+1. 每条 AC 必须有可定位证据（测试输出、diff、命令结果、人工验收记录）；缺映射或指纹在定义/代码变更后过期 → 不得 Close。
+2. 实现缺陷 → 回 Execute 修，再验。不得在 Verify 里扩范围或改 AC 来「验过」。
+3. 契约/范围缺陷 → Return-to-Define，再走 Execute 门。
+4. 不得把 `self-review` 写成 `true-independent`；独立 Check 未激活则本块只做 Baseline Evidence。
+5. Adapter 可把卡住的运行时问题绑到 Cursor Debug；证据仍必须落回 Evidence 角色，Debug 不是本块。
+
+用户看见：阶段名 Verify。能否收工、哪条 AC 还没证据。Lite 不出现「独立审查员」叙事。
+
+渐进：非 Verify（及收证窗口）不加载本块教战。
+
+## 停止条件
+
+- 输入：Execute 已产生可验的工作结果；AC 列表来自已批 Definition。
+- 输出：AC→Evidence 覆盖；人读 `verify.md`；机器 ledger 更新。未覆盖 = Verify 未完成。
+- 停止：假绿；在 Verify 中改需求；宣称 Close 但 Evidence 槽空。
+- Lite / Full：本块对两者都强制真实 Evidence。Full 额外的 Independent Check 是另一模块。
+
+## 关掉必须消失
+
+不能 Close（缺 Evidence 必需槽）。不得用「看起来做过检查」代替映射。
+
+## 不得带走
+
+独立只读 Check（`independent-check`）；retrieval pack 打分（`retrieval-extended`）；如何写 AC（`define-basic`）；学习写回 spec（`spec-learning`）。

package/dist/templates/pactile/modules/worker-orchestration/contract.md

@@ -0,0 +1,47 @@
+# `worker-orchestration`
+
+P29 表名：`worker-orchestration`（不得改名）。层：on-demand。
+
+## 职责
+
+执行要求的**派工绑定**，不是生命周期槽，也不是调度器。当合同要求 worker / 隔离 / 并行时，把「谁去做」绑到 Adapter 能提供的类型化工人（implement / check / research）。Prefer 宿主原生并行（可见并行面 / 类型化工人 / 原生隔离）；PACTILE 只写契约与派工包，不造 Pactile 调度器、不跨平台把别的 IDE 当工人。主会话是唯一 dispatcher；工人不是 Kernel Phase。
+
+## 触发/披露
+
+未触发当没装。Lite 默认看不见 spawn 教战。触发（任一即可，且可审计）：
+
+1. 已声明可隔离组 **且** 派工窗口到来（Execute 已批的实现工人；Define 下独立 research 切片）；
+2. 已批 Execution Contract 写明 `execution_mode: worker`（或同等 isolation/parallel 要求）；
+3. 用户本回合明确要求派工 / 并行工人；
+4. `independent-check` 已激活且 Policy 要求 `true-independent`，平台又有独立 Worker；
+5. `define-extended` 已激活且研究合同要求独立 research worker。
+
+**不是**触发：Rigor=Full 本身；Topology=parent-child 本身（拓扑 ≠ 已派工）。已声明可隔离组且窗口到来时，不得以「Parent 默默顺序做完」代替激活；未声明可隔离组且已写 `serial_reason` 的真·单写集可 inline。
+
+派工窗口结束，spawn 教战从常驻包消失。
+
+Agent 看见：
+
+1. 三种角色，槽位仍归别人：implement → Execute（`execute-agent` 的非 inline 绑定）；check → 只读第二遍（服从 `independent-check`，工人默认不改代码）；research → Define 深研（服从 `define-extended`）。
+2. 每个工人 prompt 必须带显式 `.pactile/tasks/<dir>`，不依赖 dispatcher 的 `selected_task`。工人包 = 该任务路径 + 合同片段；不继承整份梯子。钩 `inject-subagent-context.py` 只在本块激活时订阅。
+3. 禁止套娃：implement / check / research 工人不得再 spawn 同类或彼此。只有主会话（或 Parent 主会话）派工。
+4. 工人不 `git commit`、不 Finalize、不 `integrate-child`、不改 Kernel 核心状态。
+5. 能并行则并行（P18 / P38），但 HITL / Execute 门 / Check / 集成仍串行。串行必须写 `serial_reason`（共享写集 / 门禁 / 依赖未满足 / 用户要求 / 冲突面无法隔离）。平台没有并行面 → 顺序派工或降回 inline，记 assurance，不得假装已隔离或已并行。
+6. 模型选择归 Adapter / 宿主；本块不写死模型 ID。无可靠宿主工人绑定 → 诚实降级，可走手动派工提示，不得假 spawn。
+
+用户看见：只有真正要派工时才出现工人/并行叙事。Lite 主会话改代码时看不到本块。没有「PACTILE 调度面板」。
+
+## 停止条件
+
+- 触发与非触发见上。
+- 三角色 ↔ 槽位 owner 对照；工人包形状（任务路径 + 合同片段）。
+- 停止：未激活仍 spawn；套娃；把 Check 工人当执行修补手（与已锁定的 `independent-check` 只读冲突）；把 Child 拓扑当成已经派工；无平台能力却写 true-independent / isolated / parallel；有可隔离组且窗口已到却全程 inline 且无 `serial_reason`。
+- 降级：无 Worker / 无隔离 / 无并行 → assurance + inline 或顺序；`execute-agent` 仍可用。
+
+## 关掉必须消失
+
+无 spawn 教战、无 subagent 注入钩、无并行工人说明书。Execute 只走 `execute-agent` inline。Check 最多 `self-review`。研究留在主会话。Parent 仍可存在，但只能顺序/inline，没有工人扇出。
+
+## 不得带走
+
+Execute 槽本身（`execute-agent`）；Check 语义与 assurance 标签（`independent-check`）；Decompose / 集成权威 / task-map（`parent-child`）；worktree 探测细节（`vcs-integration`，本块只要求 isolation capability）；宿主可见并行面是否存在（Adapter 探测）；跨窗人肉搬运（`session-transfer`）。