dsh-completion-guard 0.6.2 → 0.7.0

package/docs/DEVELOPMENT_HANDOFF_0_6_3.json

@@ -0,0 +1,65 @@
+{
+  "schema": "agent-handoff/v1",
+  "state": "ready",
+  "repositories": [
+    {
+      "id": "dsh",
+      "url": "https://github.com/GreenLv/dsh-completion-guard",
+      "base_sha": "63326f22d40407099baa70c8947c37029749588e",
+      "head_sha": "63326f22d40407099baa70c8947c37029749588e",
+      "change_paths": [
+        "docs/REVIEW_0_6_2_CORE_ALIGNMENT.md",
+        "docs/DEVELOPMENT_PLAN_0_6_3.md",
+        "docs/DEVELOPMENT_HANDOFF_0_6_3.json",
+        "docs/EXECUTE_0_6_3_PROMPT.md"
+      ],
+      "dirty_scope": {
+        "staged": [],
+        "unstaged": [],
+        "untracked": [
+          "docs/REVIEW_0_6_2_CORE_ALIGNMENT.md",
+          "docs/DEVELOPMENT_PLAN_0_6_3.md",
+          "docs/DEVELOPMENT_HANDOFF_0_6_3.json",
+          "docs/EXECUTE_0_6_3_PROMPT.md"
+        ]
+      },
+      "dirty_scope_sha256": "11137fab1b77914b41ef678ba5b353bb68df2e1c5bc868db08513ab541ddc796",
+      "prepared_source_sha256": null
+    }
+  ],
+  "requirements": [
+    "在 dsh-completion-guard 仓库执行 0.6.3 本地开发。先读 AGENTS.md、docs/DEVELOPMENT_PLAN_0_6_3.md 和 docs/REVIEW_0_6_2_CORE_ALIGNMENT.md，核对真实 HEAD、已有修改和写入权，保留他人工作。",
+    "一次连续完成计划 D063-01 至 D063-06；以 K1-K4 和 T01-T08 为验收合同，从语义作用域、目标来源、准备/执行共用判据和旧状态资格入手，不逐句补关键词，不放宽正确拒绝。",
+    "先用独立期望复现三类旧缺陷，再实施修复。准备未参与实现调参的留出集；失败不得改期望迎合实现。纯信息、明确执行与合法唯一目标必须有正向对照，不能全 unresolved 过关。",
+    "旧 answered/closed 在终态过滤前做接受资格检查；不改历史字节，不自动重做历史操作。prepare 后目标或证据变化即使 revision 未变也要重新判断。",
+    "实现、测试、双语文档与 changelog、版本 0.6.3 和生成 dist 一起完成；按计划运行适用本地门槛及完整确定性矩阵，记录命令与结果。跨端源入口合成测试允许；真实宿主或跨平台验收不在本轮。",
+    "完成后自己审查整条链和相邻反例，修复 P1/P2 后重跑受影响检查。交回实际 diff、根因到测试的映射、命令/退出码、留出集结果、自审发现及处理、剩余风险和待验证门槛。",
+    "范围内工作自主连续完成，不逐阶段等确认。仅在缺必要输入、不可解除阻塞或必须改变已授权范围时报告具体阻塞；不得自降验收门槛。",
+    "全部本地工作完成后保持未提交，停止在提交及跨平台/原生验证之前，等待用户或协调者核验候选；不要自行进入发布阶段。"
+  ],
+  "out_of_scope": [
+    "禁止 git add/commit/push/merge、tag、发布、触发远端 CI 或跨主机调度。",
+    "禁止安装或升级用户真实插件、重启 DSH、执行真实宿主/模型原生验收、重放事故安装/提交/推送效果。",
+    "禁止修改 codex-sync、Codex 产品和错误库；它们已由协调者单独维护。",
+    "不得上传原始会话、个人路径、凭据或 Guard 私有控制材料，不把源测试宣称为原生验收。"
+  ],
+  "validation": [],
+  "artifacts": [],
+  "pending_gates": [
+    "local_implementation",
+    "local_t01_t08",
+    "local_full_matrix",
+    "local_self_review",
+    "later_native_acceptance",
+    "later_release"
+  ],
+  "actions_performed": [
+    "local_edit"
+  ],
+  "limitations": [
+    "这是开发入口，不是已经实现的候选或发布许可；head_sha 表示现有基线，prepared_source_sha256 未冻结。",
+    "本交接 dirty_scope 是生成时的文档快照，接手必须核对实际变化；文档不得被当成远程已经存在。",
+    "later_native_acceptance 和 later_release 属于后续协调者，开发者本轮必须在这些步骤之前停止。"
+  ],
+  "next_owner": "用户选择的 zcode 或 DSH 执行者（仅本地开发），完成后交回协调者"
+}

package/docs/DEVELOPMENT_PLAN_0_6_3.md

@@ -0,0 +1,103 @@
+# DSH Completion Guard 0.6.3 开发计划
+
+状态：开发交接；尚未实现或验收，不是发布许可。源码基线 `63326f22d40407099baa70c8947c37029749588e`（0.6.2）。接手时检查 HEAD、工作树和本文；保留并报告漂移与其他人的改动。
+
+本轮只修既有任务合同的正确性，目标 0.6.3。若实现确需不兼容公共接口或新增产品能力，先隔离并报告，不自行扩为 0.7.0。开发者一次完成本地实现、相关文档、确定性验证与自审，在提交和跨平台/原生验收之前停止。Git 提交、推送、安装、重启、远端 CI、跨主机调度、tag 和发布都不属于本轮执行权限。
+
+## 1. 问题与证据边界
+
+详见 [0.6.2 复核](REVIEW_0_6_2_CORE_ALIGNMENT.md)。这次 macOS 会话揭示的是平台无关的领域逻辑缺陷，不能继续归因于 Windows。
+
+| 编号 | 已复现机制 | 本轮必须改变的结果 |
+| --- | --- | --- |
+| F062-01 / P1 | 问句标记对整个未可靠分解的片段提前返回 informational；零工具 final 也能把执行义务变为 answered | 混合请求的执行/约束保留，信息回答只覆盖自己的范围 |
+| F062-02 / P1 | 启动 cwd 被提升为 resolved 的请求仓库；跨仓库后续指代错绑 | 目标绑定有来源，环境默认不等于用户选择 |
+| F062-03 / P2 | prepare 接受任意动作/目标 override，给出 prepared 配方，执行端才拒绝不相容 | 同输入的当前条目兼容性判断一致，假设配方与当前可执行性明确分离 |
+
+既有三组 focused 测试 51 项通过但上述缺陷仍存在；部分测试甚至把 cwd fallback 固化为正确行为。不得靠增加相似成功样例接受修复。此次 Codex 0.13.9 对四条混合合成请求的纯回答判据均返回 false，证明该判据与 DSH 不同；不证明 Codex 任意请求或原生生命周期都正确。0.6.2 已有真实跨端 oracle 只覆盖有限合同，不能作为完整核心对齐的证明。
+
+原会话的目标不匹配、缺 producer 引用、普通 shell 冒充 Guard 回执、无资格 boundary 等拒绝仍然正确。修复源头账本和准备流程，不放宽这些终点保护，不为补证重复安装/提交/推送，不导入原始会话、真实路径或私有控制材料。
+
+## 2. 先固定合同，再写实现
+
+### K1：完整义务的保留与信息交付
+
+根输入 → 来源范围 → 语义分解 → 条目类型 → 目标绑定 → 证据 → 当前闭包必须使用一致的身份与修订。保留 span 只证明来源，不证明解释正确。不能以“存在疑问标记”推出“整个范围可由回答完成”。
+
+- 纯信息项必须有完整、无执行/约束残留的信息范围；同段同时包含动作时，拆成可独立覆盖的子项。拆分证据不足则保留未决残余，禁止把它吞入 informational 或从闭包排除。
+- 支持的明确混合表达须保留可执行子项，不能将所有输入改成 unresolved 来通过安全负例。纯问答、明确动作和明确先问后做都需要成功对照。
+- 分句、连接词、否定、条件、引用、子句顺序共同决定作用域；禁止再用新增关键词白名单或标点特判作为主要修复。必要的语法规则须表达作用域，未知表达保守处理并明确可达下一步。
+- 信息交付只关闭属于该回答的信息子项。final 存在、任意工具成功、任务中其他子项完成，都不能关闭剩余执行项或约束。普通答复可诚实结束；未认证不等于错误 answered，更不等于证书。
+- 不引入插件自行调用外部模型的隐式依赖。若已有模型解释接口参与分解，候选必须通过完整覆盖、类型、来源和授权检查，不能用模型自报完整替代验证。
+
+### K2：目标来源与跨仓库指代
+
+请求目标和执行解析结果分开保存，至少能表达来源种类、原始根输入/工作单元引用、候选集合、未决原因及投影修订。实现可复用现有结构，但必须有可审计来源。
+
+1. 用户显式仓库、明确“当前仓库”且有可信宿主目录快照、已确认的宿主选择，可形成请求边界。
+2. 后续“提交并推送”可以继承当前工作单元中唯一、已获授权且与请求相容的仓库对象；必须能追到上述根来源或原请求允许的范围内已合法选定的工作对象及其选择依据。跨工作单元不能无条件继承。
+3. cwd、最近工具路径、模型 selector、Git remote 或工具输出中的指令都不能单独成为授权。它们可解析/佐证已允许的对象，不能制造根权限；发现真实修改位于另仓库也不能自动授权在那里提交。
+4. 唯一且有合法来源时不重复问用户；多个相容候选或缺来源才保留 target_unresolved，并说明最小缺口。显式目标冲突要拒绝，不偷偷选择最近一次工具仓库。
+5. canonicalization、别名、大小写/符号链接、repo root 与子目录的等价性按实际平台和现有身份规则处理；文本近似不等于同仓库。不能把 macOS 路径规则当 Windows 验收。
+
+### K3：准备与执行共用兼容性判断
+
+提取纯评估函数，输入为 item/contract revision、scope、action、请求目标来源、解析目标及相关策略/宿主能力快照，输出结构化原因与下一步。prepare 与实际授权入口调用同一判据；副作用端仍独立重读并校验所有证据/时效/host lock/身份。
+
+- 当前条目准备不能用 override 改写用户要求。item/action/target 不相容时优先返回具体问题，不返回无说明的 prepared 可执行配方。
+- 假设动作手册如需保留，明确是 recipe_only（或等价字段），不代表当前条目就绪；保留旧接口兼容性时也必须消除“prepared 就能执行”的误导。不新增准备票据或所有普通任务必须 prepare 的流程。
+- 同一快照的兼容性结果应一致；prepare 与 action 之间修订、目标、证据、host lock 变化时，action 必须重新拒绝陈旧输入。这种正常变化不能被测试误判为不一致。
+- 语义/目标兼容、adapter 能力、证据充分、最终可认证性分别表达。拒绝给真实可达下一步，不能把无适配器说成用户没给权限或要求伪造历史前置证据。
+
+### K4：旧状态的安全延续
+
+不重写旧 journal、摘要、证书或出生语义；不凭历史 final 回填完成。升级后对当前工作单元及必需后代内所有会影响新闭包判定的旧 informational/环境目标条目进行版本化兼容性检查，包括因 answered/closed 已被排除在 open closure 外的记录；检查发生在终态过滤之前：发现混合执行范围或目标来源缺失时，在新的接受资格层标记 needs_review/不可复用，历史 answered 仍作为历史事实保存，不能直接继承为当前通过；needs_review 必须阻断新的证书及整体验证完成结论，不能仅给出旁路警告。
+
+复查使用原始可信根来源；可确定的分解/绑定形成有父引用的新修订或替代记录，有歧义则要求最小澄清。不得凭修复自动执行历史动作、把历史任务全部重开为当前执行债务，或自动签发/撤改旧证书。无法取得旧来源时保留能力缺口，不推测完成。未知状态版本应明确诊断，不崩溃、不静默成功。需覆盖中断重放、重复升级幂等性与新旧记录共存。
+
+## 3. 实施工作包与交付
+
+| 工作包 | 范围与入口 | 可评审交付 |
+| --- | --- | --- |
+| D063-01 | semantics / capture / derive / delivery，先审完整调用链 | K1 的语义作用域方案、来源覆盖不变量、混合与纯信息正反例 |
+| D063-02 | Git target capture、工作单元上下文与 target resolution | K2 来源模型、合法唯一继承、歧义诊断；修正旧测试中的错误预期 |
+| D063-03 | prepare 与 runtime authorizeMutationFromProjection | K3 共用判据及接口兼容说明；真实注册工具输出和执行纵向测试 |
+| D063-04 | hydration / replay / closure / migration | K4 旧 answered 资格隔离与幂等恢复；不重复业务效果 |
+| D063-05 | conformance、真实 Codex oracle、对齐台账与文档 | 下表固定 oracle、双端差异报告、确切版本/源码 hash；更新不再成立的 aligned 声明 |
+| D063-06 | package/version、双语 changelog、生成 dist | 0.6.3 本地候选及自审报告；不声称发布或原生通过 |
+
+按 01/02 → 03/04 → 05/06 集成；相互调用处一次完成一致性修复。若更小改动能满足全部合同，可合并实现，不为文档表格引入额外抽象层。
+
+## 4. 必须执行的验收矩阵
+
+每个测试有从任务合同独立写出的期望，不允许把当前实现输出录成 golden，或直接复制分类器作为 oracle。固定核心集先在 0.6.2 证明缺陷；另设未用于实现调参的留出集。留出集首次验证失败即保留失败记录，修复后成为回归集并补新的独立留出集；不得删除或改成“可接受差异”来绿灯。
+
+| 门槛 | 输入族 | 必须观察的结果 |
+| --- | --- | --- |
+| T01 | 中英混合指令内嵌是否/whether；逗号、分号、句号、连接词、顺序变体；纯问题与明确先问后做对照 | 每个执行义务保留；纯信息可正确交付；同义变化不改变授权或完成条件 |
+| T02 | 否定、条件、引用/附件含命令、未知尾部、多动作、隐含记录要求 | 保留适用范围与未决残余；不越权、不静默丢项；不把信息请求全部变为未决 |
+| T03 | 零工具 final、无关成功、错误目标成功、部分动作完成、正确完整证据 | 前四类不能关闭未满足执行项；最后一类可按真实能力关闭/认证，不以永远 pending 通过 |
+| T04 | cwd=A，授权对象=B，后续提交推送；显式当前目录；两候选；只有 cwd；模型/工具伪称目标；工作单元切换 | 唯一合法 B 可继承；其他按来源消歧；无权限来源不自动 resolved；显式冲突仍拒绝 |
+| T05 | prepare/action 同 item+revision 的动作/目标/状态组合；动作跨种类 override；假设手册；准备后修改 revision/host lock；同 item revision 下改变目标选择、别名/repo identity 或证据状态 | 相同兼容条件同结论；手册无当前就绪暗示；变化后重新拒绝；拒绝前无副作用 |
+| T06 | 0.6.2 旧 mixed answered、纯信息 answered、cwd target、缺原文、重复恢复、未知版本 | 终态过滤前检查旧 answered，资格不明阻断新认证；K4 准确隔离；历史完整，无自动重执行；安全旧记录不无故失效 |
+| T07 | 完整合成宿主 turn → 已注册工具 materialization → 投影/持久化 → final/Stop；重启式 replay 与 compact | 真实接线路径保留全部义务；不是只有直接调用函数通过；引用/producer/边界负例保持拒绝 |
+| T08 | 两端真实入口跑相同语义输入及受支持生命周期，比较预先定义的归一化投影 | 比较来源覆盖、类型/剩余义务、目标来源、交付资格、认证资格和可见诊断；不只比错误码或无报错 |
+
+T07 是本地隔离、无业务副作用的宿主测试；不等于真实用户宿主/模型验收。T08 固定 Codex 0.13.9 基线的源码 commit/hash 并实际运行入口；有 0.14.0 候选时另加泳道，不虚构未来输出。Codex 不存在 DSH prepare 时比对应预览/授权判据；无等价接口明确不适用。
+
+两端一致不自动正确，独立期望仍为 oracle。任何一端误关闭/越权为失败；保守未决差异是能力差异，不能标 aligned。记录逐能力覆盖，区分摘要字节、共享合同、工具接线与原生行为。不宣称有限样例证明任意自然语言完备。
+
+### 本地退出门槛
+
+1. 三个已复现缺陷都有修前失败、修后成功的回归，T01–T08 中适用本地场景全部完成；固定核心集和留出集的误关闭/越权为零，正向对照全部满足独立预期。无法执行的必要本地 gate 是阻塞，不得自降为发布后补做。
+2. 对影响范围运行 focused 测试和跨语言/conformance，再在候选定型时一次执行 AGENTS.md 的完整确定性矩阵：typecheck、lint、test、test:release-pack、test:stats、build、pack:check、文档审计及其测试、diff --check。以仓库实际入口为准，记录命令/退出码/源状态。后续只重跑变更影响或失败门槛。
+3. 未提交候选中的 dist 可以相对旧 HEAD 改变；两次构建输出必须稳定且匹配本次源码。提交冻结后的生成物 clean 检查留给后续阶段，不能为了 git diff 为空撤销正确 dist。
+4. 自审整条链及相邻反例，列出修复前提、发现与处理、剩余风险、实际对齐范围。P1/P2 正确性或可达性问题修完再交接；不得把所有未决都标能力不足掩盖已支持功能回退。
+
+### 后续接受/发布门槛（开发者本轮停止于此之前）
+
+由协调者审查本地候选，随后按另行授权提交、CI portability、冻结唯一 tgz、macOS/Windows 同制品原生验收及发布。原生验收增加真实混合请求与跨仓库后续指代，分别核验实际加载版本、义务状态、工具反馈和闭包；仅安装成功不够。原生测试只在隔离一次性目标上执行，不重放事故副作用。必需平台或真实模型证据缺失时不得宣称核心对齐已接受。发布仍遵守既有制品/身份/公开回读规则。
+
+## 5. Codex 0.14.0 的同步评估
+
+已有 C01–C04、C07、C08、C12 与 CG14-01/02/04/06/07 覆盖来源、混合交付、工作单元、目标身份和迁移原则；不重写总体架构，不把 DSH 缺陷当 Codex 已复现。仅需补充上述变形输入、跨仓库目标来源、准备/执行同输入一致性及旧误关闭资格隔离的明确退出门槛。同步位置是 codex-sync 的 docs/CONTEXT_GUARD_0_14_0_DEVELOPMENT_PLAN.md；本轮不修改 Codex 产品运行时或安装 pin。

package/docs/DEVELOPMENT_PLAN_0_7_0.md

@@ -0,0 +1,93 @@
+# DSH Completion Guard 0.7.0 开发计划
+
+计划版本：1.1，2026-09-18。配对版本：Codex Context Guard 0.14.0。状态：开发规划，未实施新运行时；本轮按新增授权提交并推送规划文档，不安装或发布。后续执行者的操作范围由当时用户指令决定。
+
+## 1. 目标与本版决策
+
+0.7.0 要改变默认工作方式：普通业务由助手通过宿主工具执行，Guard 负责不丢要求、观察事实和检查完成；显式发布契约才进入 Guard 的受控执行。目标是共同职责与可观察结果对齐，不能以“共享了摘要算法”或“双方都拒绝”代替。
+
+这是 pre-1.0 的功能与兼容边界调整，使用 0.7.0；Codex 独立使用 0.14.0。0.6.3 对资格传递、目标字段和旧记录的修复作为历史回归保留，但其 `ExecutionQualification` 不能继续成为普通任务入口。不得继续通过增加疑问词、主体词、动作词、重述模板来证明普通执行权限。
+
+共同规范见 [CORE_ALIGNMENT_CONTRACT_V2.md](CORE_ALIGNMENT_CONTRACT_V2.md)。AC01–AC12 为本计划必须遵守的职责合同；本文负责 DSH 的替换路径、工作包和验证。0.6.3 计划、合同修订、发布事实均保持历史原文，不能将其局部验收复用为新架构已通过。
+
+## 2. 可变基线与已实现资产
+
+实施入口重新核对 HEAD、dirty、分支、宿主 cohort、工具版本与写入者；以下是 2026-09-18 本地观察，不是实施时自动有效的事实。
+
+| 对象 | 基线及影响 |
+| --- | --- |
+| DSH 0.6.3 | `4c26bee90a7b9e8b26ebbe91f335e356e7589fc3`；规划开始时 clean |
+| Codex | 0.13.9，HEAD `ce667adefd716f829fb1fb070b3089e789ed74c3`；0.14.0 尚是计划 |
+| 共享材料 | v1 镜像 pin `b59fcfe1aaf8ead3f0438bc67dc7f725c869a473`；v2 为 DSH 单边 candidate，不是共同验收 |
+| 本地已有能力 | 来源、work-unit/后代闭包、交付、分页、proof、migration、npm release 路径均已有实现；优先重接职责，不重造一套平行状态 |
+| 原生与安装 | 0.6.3 的已记录验收与安装只绑定旧制品；不证明0.7.0行为，不代替重启后的运行状态 |
+
+源码重点：`src/domain/{semantics,capture,derive,closure,checkpoint,stop-policy,goal-gate,compatibility,release}.ts`、`src/runtime.ts`、`src/tools/{evidence,action-preparation,prepare,release}.ts`。实施时检验路径存在，不猜未有的宿主 Hook 或 API。
+
+## 3. 逐机制处理决定
+
+| 0.6.3 机制 | 0.7.0 处理 | 必须保留的保护/替代路径 |
+| --- | --- | --- |
+| 文本生成 executionQualification，再授权普通 action | 新普通路径删除依赖，旧字段仅历史解码；普通操作移至宿主工具 | 原始禁止/等待仍给助手恢复；不把普通工具放行说成授权 |
+| context_guard_action 与 evidence 内 effect 分支 | 默认任务停用副作用；兼容调用只返回迁移诊断 | 已采用 release 的专用表面独立保留完整前置校验；不能用 policy 参数绕开 |
+| prepare 的“当前能执行吗” | 变为只读事实/证明诊断；普通任务无必要前置调用 | 同输入诊断与认证/发布判据一致，陈旧快照不可复用 |
+| Guard 自有 producer 链作为主要效果证据 | 接入真实宿主普通工具及回读，按 predicate 验证 | 来源/目标/前态要求不降低；历史不足不重复业务操作 |
+| informational/executable 的整句语言判定 | 变为覆盖完整原文的解释记录，未知残余保留 | 信息交付与业务执行分开；模型解释不制造事实或权限 |
+| pending/needs_review 与 Stop/Goal 相互牵连 | 普通结束、完整认证、Goal complete 分开 | unknown 不强迫普通工具前置审批；旧误完成仍阻断新认证 |
+| 目标字段与身份检查 | 复用精确身份库，分开根约束、实现选择、解析和观察 | 完整元组、大小写、跨仓库来源及 revision 仍严格 |
+| 现有 release 机制 | 保留并接新事实模型；最低保护现有 registry publish 表面 | 明确覆盖/不可覆盖，采用前拒绝不可履行契约，不引导绕行 |
+| upstream-deltas 的单一 aligned 标签 | 改为实现状态与实测比较状态两维 | 相同 fixture 双端结果及源码身份才可 aligned |
+
+不以删除旧代码行数衡量完成。默认工具描述、恢复提示、实际注册入口、影子调用、Goal 回调、旧会话重放和文档必须一起迁移；仅在普通工具外再包装一层“新认证工具”不满足本版目标。
+
+## 4. 工作包、所有权与先后关系
+
+| 包 | 具体产出 | 依赖及退出条件 |
+| --- | --- | --- |
+| D070-00 共同核输入 | 与 Codex owner 完成 AC01–AC12 的schema（含AC05.1当前动作依据、两类继续原因、as-of水位及版本身份）、规范事件/fact、投影、S/A fixtures（含A13独立oracle/反例）、协议身份、proof/release覆盖及真实宿主工具/事件能力清单 | P0 在 Codex 上游冻结，DSH精确镜像；不先写另一份单边v2 |
+| D070-01 默认路径迁移 | 去除普通 mutation 门禁/效果分支及资格依赖，更新真实工具注册与提示；保留显式release入口 | AC01/02，旧工具误调用无效果；普通任务无Guard授权轮次 |
+| D070-02 原生事实与证明 | tool call/result/持久化水位转换、普通文件/测试/Git回读、action-event/state-outcome分层 | AC06/07；正向可认证，缺能力诚实，副作用不重放 |
+| D070-03 解释与闭包 | 接统一来源/coverage、信息交付、目标关联、supersession、资产和分页；复用现有单元状态 | AC03/04；纯信息正常关闭、混合/未知不丢、相同原文入口可对照 |
+| D070-04 Stop 与 Goal | 普通结束、明确完成主张、proof、Goal completion 分层；落实AC05.1当前动作依据、原因分离、as-of判定；进展指纹与纠正预算 | AC05/08；A13不误造工作/等待，真正漏项仍提示；有界纠正不自旋，不新增host调度/暂停 |
+| D070-05 迁移与退役 | 0.6.3旧资格/answered/工具调用/票据迁移，协议/schema与回滚清单 | AC09；旧历史不改，旧发布效果未知不重做，正向恢复可达 |
+| D070-06 双端差分与声明 | Python/TS纯核、双端原文入口、生产注册/持久化/compact；重建两维delta | AC10/11，必修集无差异，不能用宿主专属标签排除共同需求 |
+| D070-07 候选与交付 | 版本、双语README/changelog、API迁移说明、dist、制品与四泳道原生计划 | AC12；独立证据绑定；按另行授权进入候选/原生/发布 |
+
+00先于依赖新schema的实现；01/02必须作为一个纵向切片验证，避免先拆执行器却留下无证据可完成。03/04接同一状态，05在新路径稳定后完成。06贯穿各包，07不允许用文档把未通过项写成完成。一个worktree一个writer；共享规范由上游owner串行修改，两个产品可各自实现不同宿主适配。
+
+## 5. 首个纵向切片与可执行里程碑
+
+M1（架构可行）：隔离普通任务“解释配置 → 修改指定文件 → 跑测试 → 回读”从真实宿主工具进入新 fact，再到完成判定；同时验证零效果final、无关成功、缺adapter、旧action调用。通过标准是普通工作没有Guard准备/审批步骤、正确结果可认证、缺证不误认证。M1不通过不得继续堆语言用例或候选全矩阵。
+
+M2（共同核心）：加入AC05.1当前动作依据与A13成对用例，再加入同工作单元跨仓库后续提交推送、信息/执行混合、真实歧义、明确等待、compact/resume、资产与完整范围proof；两端原文与规范事件双泳道均比较。完整矩阵见共同合同A01–A13及Codex计划S01–S12。
+
+M3（兼容与受控发布）：0.6.3旧会话/旧工具/旧资格恢复，旧证书历史保留；新完成资格不继承假通过；显式registry发布的成功、错身份、过期、重放、超时未知与读回。普通push全程不自动激活release。
+
+M4（候选）：本地全部必修通过、有限冷审无开放P1、产品文档与生成物一致；准备源码候选，不等于原生或发布放行。M5在另行授权后完成两产品×两平台同源/各自同制品的真实正向业务验收，再给出对齐结论。
+
+## 6. 验证与防止反复返工
+
+- 先锁定合同、独立期望和失败家族，再实现。已有事故是种子，不是期望的唯一来源；保留同义留出集与正常流程，不能全unresolved或只测拒绝来过关。
+- 同族第二个反例触发集中入口×动作×字段×状态审计；统一返还清单，停止“找到一条→全矩阵→再找一条”。修复后只复验受影响合同和开放项。固定集全部满足才冻结，不无限增加语言功能。
+- 按diff运行所属Vitest/portable/conformance；架构定型执行AGENTS规定完整矩阵：typecheck、lint、test、test:release-pack、test:stats、build、pack:check、文档审计及单测、diff check。生成dist须稳定；提交后的clean生成物检查另做，不能为了旧HEAD无diff撤回正确产物。
+- API/schema/摘要改动要跑全部消费者、跨语言和旧状态；不要只测直接函数，至少覆盖真实注册、结果materialization、持久化重放、Stop与Goal接线。
+- 真实模型A12必需，不能再用只有注入请求/检查拒绝的原生探针替代。业务只在一次性仓库/profile，网络push须有明确隔离目标权限；不重放事故原业务。
+- 对齐表列共同合同版本、双方commit、fixture digest、实际生产入口、平台、skip和差异。无相同API名不是不适用理由。必修差异或缺失就是未完成，只有宿主专属细节可不同。
+
+发布门槛保持：候选CI portability → 冻结唯一tgz → macOS/Windows相同字节与各自真实业务验收 → 按授权发布既定制品并公开回读。Codex用自己的runtime/cache身份，不要求两个产品hash相同。不得继承0.6.3原生证据为0.7.0通过。双方完成之前只能声明本侧候选状态。
+
+### 6.1 新增事故：未来观察说明误变成当前工作
+
+Codex 0.13.9 在本轮修复完成答复中，将未来使用效果的限制说明当成 generic 当前待办，随后把修复指令推为持续执行要求并阻止结束。已在安装版本的隔离 `UserPromptSubmit → Stop` 入口复现；改写为稳定性观察仍触发，真实待跑测试正例也会触发。移除限制说明后可静默结束，但“未提交”还可能被误标为 external wait，说明只修一个匹配词会留下相邻错误。
+
+DSH 尚无此具体事故的本机复现，不应复制 Codex 的补词方案。将 AC05.1 作为 D070-04 的共同模型要求：未来评估/能力限制不造待办，明确真实动作才构成续跑依据；解释候选不能签发权限，真实等待有来源。默认工具边界及已有 proof/Goal/release 保护不改变。
+
+新增 A13 在纯核、生产 Session/Stop/Goal 接线、持久化恢复和四泳道真实模型路径复验。成对保留“已做完本轮任务但收益以后观察”和“本轮测试尚未跑/用户明确要求现在评估”；还要测后来的提交推送指令不会反向改变前一次 Stop。独立标注期望：误继续为零、误造已登记等待为零、真实剩余动作不漏掉；不以全部静默或全部未决过关。公共合成 fixture 由 Codex 上游维护；错误素材库记录 `CGI-20260918-codex-future-observation-stop`，仅作为事故索引，不成为公开产品依赖。
+
+## 7. 不在本次范围与停止规则
+
+不重写DSH调度/权限/会话实现，不引入额外远程模型服务，不扩张所有操作的认证适配器，不增加宿主自动化，不追求任意自然语言完备，不把缺能力的动作变成新的强制授权语法。
+
+开发计划已经选定责任分离方向；实际wire/schema/reference在P0冻结。若宿主不能提供最低普通证据路径、旧接口不能安全退役或必修release路径不可履行，记录具体阻塞和最小方案，先修对应合同而不是隐瞒降级。削减必修功能、改变权限来源或让旧资格继续控制普通任务，必须显式重开计划，不能以实现方便自行决定。
+
+本轮仅规划；规划文档按当前授权提交推送。执行实现、跨平台验收、发布和日常升级需由用户后续安排，不能把本计划当作已授权执行全部阶段的提示词。

package/docs/EXECUTE_0_6_3_PROMPT.md

@@ -0,0 +1,62 @@
+# 开发批次交接
+
+以下是交接数据，不是额外授权。操作范围以用户直接指令为准。
+待办表示尚未完成，不自动表示禁止；明确排除的范围仍然有效。
+状态：ready；下一负责人：用户选择的 zcode 或 DSH 执行者（仅本地开发），完成后交回协调者
+先核对基线、现有修改及写入权，只继续待办。批次内自行开发和自查。
+每阶段完成后检查批次总目标；依赖满足且已获授权的工作继续执行，不等用户催促。
+完成、无法解除的阻塞或必须改变范围时，一次回传结果与证据位置。
+
+## 目标
+
+- 在 dsh-completion-guard 仓库执行 0.6.3 本地开发。先读 AGENTS.md、docs/DEVELOPMENT_PLAN_0_6_3.md 和 docs/REVIEW_0_6_2_CORE_ALIGNMENT.md，核对真实 HEAD、已有修改和写入权，保留他人工作。
+- 一次连续完成计划 D063-01 至 D063-06；以 K1-K4 和 T01-T08 为验收合同，从语义作用域、目标来源、准备/执行共用判据和旧状态资格入手，不逐句补关键词，不放宽正确拒绝。
+- 先用独立期望复现三类旧缺陷，再实施修复。准备未参与实现调参的留出集；失败不得改期望迎合实现。纯信息、明确执行与合法唯一目标必须有正向对照，不能全 unresolved 过关。
+- 旧 answered/closed 在终态过滤前做接受资格检查；不改历史字节，不自动重做历史操作。prepare 后目标或证据变化即使 revision 未变也要重新判断。
+- 实现、测试、双语文档与 changelog、版本 0.6.3 和生成 dist 一起完成；按计划运行适用本地门槛及完整确定性矩阵，记录命令与结果。跨端源入口合成测试允许；真实宿主或跨平台验收不在本轮。
+- 完成后自己审查整条链和相邻反例，修复 P1/P2 后重跑受影响检查。交回实际 diff、根因到测试的映射、命令/退出码、留出集结果、自审发现及处理、剩余风险和待验证门槛。
+- 范围内工作自主连续完成，不逐阶段等确认。仅在缺必要输入、不可解除阻塞或必须改变已授权范围时报告具体阻塞；不得自降验收门槛。
+- 全部本地工作完成后保持未提交，停止在提交及跨平台/原生验证之前，等待用户或协调者核验候选；不要自行进入发布阶段。
+
+## 排除范围
+
+- 禁止 git add/commit/push/merge、tag、发布、触发远端 CI 或跨主机调度。
+- 禁止安装或升级用户真实插件、重启 DSH、执行真实宿主/模型原生验收、重放事故安装/提交/推送效果。
+- 禁止修改 codex-sync、Codex 产品和错误库；它们已由协调者单独维护。
+- 不得上传原始会话、个人路径、凭据或 Guard 私有控制材料，不把源测试宣称为原生验收。
+
+## 仓库 dsh
+
+- https://github.com/GreenLv/dsh-completion-guard
+- 基线：63326f22d40407099baa70c8947c37029749588e；交回提交：63326f22d40407099baa70c8947c37029749588e
+- 准备源码摘要：未提供
+- 变化路径：["docs/REVIEW_0_6_2_CORE_ALIGNMENT.md", "docs/DEVELOPMENT_PLAN_0_6_3.md", "docs/DEVELOPMENT_HANDOFF_0_6_3.json", "docs/EXECUTE_0_6_3_PROMPT.md"]
+- 未提交范围：{"staged": [], "unstaged": [], "untracked": ["docs/REVIEW_0_6_2_CORE_ALIGNMENT.md", "docs/DEVELOPMENT_PLAN_0_6_3.md", "docs/DEVELOPMENT_HANDOFF_0_6_3.json", "docs/EXECUTE_0_6_3_PROMPT.md"]}
+- 未提交范围摘要：11137fab1b77914b41ef678ba5b353bb68df2e1c5bc868db08513ab541ddc796
+
+## 检查与证据
+
+未列出。
+
+## 交付文件
+
+未列出。
+
+## 剩余检查
+
+- local_implementation
+- local_t01_t08
+- local_full_matrix
+- local_self_review
+- later_native_acceptance
+- later_release
+
+## 已执行动作（不代表后续授权）
+
+- local_edit
+
+## 限制与阻塞
+
+- 这是开发入口，不是已经实现的候选或发布许可；head_sha 表示现有基线，prepared_source_sha256 未冻结。
+- 本交接 dirty_scope 是生成时的文档快照，接手必须核对实际变化；文档不得被当成远程已经存在。
+- later_native_acceptance 和 later_release 属于后续协调者，开发者本轮必须在这些步骤之前停止。