dsh-completion-guard 0.6.2 → 0.6.3

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/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 属于后续协调者，开发者本轮必须在这些步骤之前停止。