dsh-completion-guard 0.6.0 → 0.6.1

package/docs/NEXT_VERSION_REPAIR_NOTES.md

@@ -1,6 +1,22 @@
 # 下个版本：准备工具、Git 取证与问答残留
 
-状态：局部修复已随 0.5.3 发布（2026-09-14）；本页记录的后续语义设计已随 0.6.0 实现（2026-09-14），实现状态与验收边界见下节与[语义兼容说明](SEMANTIC_COMPATIBILITY.md)。本页以 0.5.2 为事故修复基线；精确制品与平台结果见[验收记录](LOCAL_ACCEPTANCE.md#053-published-release-2026-09-14)。
+状态：局部修复已随 0.5.3 发布（2026-09-14）；本页记录的 0.6.0 语义设计已实现（2026-09-14），0.6.1 修复已实现（2026-09-15），实现状态与验收边界见下节与[语义兼容说明](SEMANTIC_COMPATIBILITY.md)。本页以 0.5.2 为事故修复基线；精确制品与平台结果见[验收记录](LOCAL_ACCEPTANCE.md)。
+
+## 0.6.1 修复（2026-09-15）
+
+对一次真实 Windows 0.6.0 会话的只读回放复核确认了五项缺陷（来源与根因见仓库内 `docs/WINDOWS_0_6_0_REPAIR_PLAN.md`；该计划是本批修复的规划依据，原始材料保留在仓库外）。五项均已从统一解释、能力合同与状态转换层修复，不依赖事故句子白名单，不通过删除未知项或放宽证据校验使测试通过：
+
+- **W060-01 附件解释死路**：非文本根输入按逐资产身份保留为信息义务，其关闭需要**逐资产解释记录**（新入口 `context_guard_interpret`）**加**记录所在 turn 的可信交付，两者缺一不可。记录绑定**调用与结果一致的 turn 对**（调用 turn 随 `tool/call` 记录，重放要求回执 turn 与之相等）；重放在事件自身水位把回执对照合同重新校验（调用 item ID、条目 revision、资产身份）：身份矛盾或 turn 对不一致（中断 turn 的调用、回执被移植进后来回答）记 `interpretation_receipt_mismatch` 完整性违规；身份有效但 turn 关联缺失则仅不产生记录、日志保持 valid。解释 turn 的交付也是旧附件的关闭通路（其根消息已不可能属于活 turn）；仅存在一条 final 不关闭任何未经解释记录的图片义务。在入口存在之前写入的日志重放时附件保持 `pending`（与 0.6.0 相同），只能由当前解释事件关闭。回答交付、视觉证明与执行认证保持分离。
+- **W060-02 默认执行语义**：遵循复核最终解释合同——**语法上的陈述句也可以表达任务要求**，任何表面句式都不能证明子句是可关闭的信息。无可解析动作且无**正面信息依据**的子句默认 `unresolved`（保留、可见、永不执行、不被交付关闭；经逐字具体澄清、确认重绑定或 clear 解决，澄清通路已接受 unresolved）。正面信息依据 = 可识别的信息请求形态：疑问句、引用动作、产出物请求、过去/完成体报告，且依据必须**独占整个子句**——信息跨度之后衔接新要求（"Figure out the issue and sanitize all inputs"、"Figure out the issue & sanitize all inputs"、"Explain the issue, sanitize all inputs"）、报告处于定语（"清理已经生成了的缓存"，无长度阈值）或从句（"Sanitize inputs that were supplied by users"）时整句不可判定、保持 unresolved 并保留其中的执行子项。解释/调查开头同样不自动进入可关闭通道。**结构化解释通路已实现，为跨度划分合同**：`context_guard_interpret` 泛化后同时服务资产义务与 unresolved 子句义务——调用方提交 information_spans/unknown_spans 划分，守护程序对照完整输入跨度校验覆盖与关联；**重放把回执绑定到持久化的调用参数并要求二者划分完全一致**，重画划分（把已提交的 unknown 跨度改成 information 声明）即 `interpretation_receipt_mismatch` 完整性违规，不产生记录、不取代任何条目；仅 information 子项由解释 turn 的交付关闭，unknown 与未申报子跨度保持 pending。整项确认回执不产生关闭资格。整句应答（"当然。"）属会话层不捕获。裸英文 wh-词只在子句开头算疑问标记，从句关系词不把真实指令降级。普通祈使句读法不变；仅提及动作的陈述不再释放等待保留。
+- **W060-03 发现结果截断**：prepare 的 discovery 改为固定页大小、稳定排序、绑定合同 revision 的 cursor 分页，revision 变化显式失效；`semantic_action` 为唯一声明筛选并随 cursor 携带；v5 会话下列表范围为当前单元闭包加必需后代加 pre-v5 义务。
+- **W060-04 只读证据角色不一致**：prepare、诊断与认证器共用同一义务合同——stateful 需要 resolution/effect/state，只读验证需要单条 effect 角色事实；historical-gap 判定仅限 stateful。
+- **W060-05 普通 Git 观察事实**：对动作与命令头锚定信号一致、且无可归属生产者证据的义务，诊断为 `execution_unattributable`——该命令是否执行了此动作**无法确立**：只读核实现状、保持未认证、不重做、不断言未发生。Guard 不扫描复合命令文本（引号数据与短路控制流会虚构观察，整体成功不证明分段执行）。受保护 git 链现在拒绝重放已成立的动作：push（远端已在本地 head）、pull（HEAD 已在 upstream）、fetch（tracking 已更新）在执行任何命令前以 `effect_already_applied` 拒绝，动作工具报告 `action_already_applied`——链外执行不能经空转重跑洗白为生产者证据。首次提示的条件化措辞取代对所有 stateful 动作的无条件 Guard 前置要求。
+
+本节初稿曾宣称上一版实现"附件按 turn 交付关闭"与"按段动作观察"；复核以反例否决后已按上述设计重做，反例保留为 `tests/domain/v061-*.test.ts` 常驻回归。
+
+有意排除的范围：action-event 与 state-outcome 义务的显式区分（需要新的公开义务类型与捕获合同，超出补丁版本兼容边界，列为后续独立能力）；`git_tag` 与 GitHub Release producer 路由缺口维持既有 backlog 状态。
+
+0.6.1 的确定性证据边界见[验收记录](LOCAL_ACCEPTANCE.md)的对应小节：它覆盖本地确定性矩阵，不包含也未宣称原生平台验收、精确制品冻结或发布读回。
 
 ## 0.6.0 实现结论（2026-09-14）
 
@@ -25,7 +41,7 @@
 
 - 上游尚未落地冻结的 v2 fixture，因此本仓库的 v2 文件是候选身份，跨语言 parity 与正式镜像待上游落地后按精确 commit 重镜像并刷新 `UPSTREAM_PIN.json`。**协调者已于 2026-09-14 裁定阶段性退出**：该项归上游所有，列为跨仓库待办，不作为 DSH 侧退出条件。
 - 发布档可保护表面仅 `npm_publish`。`git_tag` 与 GitHub Release 路由记为 `release_operation_unrouted` / `attribution: scope_reduction`（缺少 Guard 自有路由，属可实现缺口，并经协调者批准缩小本轮公开范围）；只有复合 runner 记为不透明宿主边界。补建这两条路由是后续版本的工作项。
-- 0.6.0 候选的原生 macOS/Windows 验收、精确制品冻结、tag、npm 与 GitHub Release 均未执行，属于后续独立阶段。
+- 0.6.0 的发布事实已按阶段核对（2026-09-15）：annotated tag `v0.6.0` 指向 `cc5cbc6d408664172d9383de7c83c55ec6dfd602`，GitHub Release `v0.6.0` 绑定同一提交，npm 注册表存在 `dsh-completion-guard@0.6.0`（registry `dist.integrity` 已读回记录）。该版本的原生 macOS/Windows 验收与精确制品验收按[验收记录](LOCAL_ACCEPTANCE.md)的版本小节为准；发布回执冻结的制品字节比对属于发布档案，不在仓库内重写。
 
 ## 已实施的局部修复
 
@@ -78,4 +94,4 @@ resolution 缺少输入时，evidence 在探测可执行程序前返回 resoluti
 
 本轮局部修复使用宿主注册、诊断和取证测试，以及仓库映射所要求的本地检查。更新 dist 只代表生成源码产物；旧 0.5.2 制品和已加载插件不变。0.5.3 的 CI、冻结制品、双平台隔离原生验收和公开发布已独立完成，具体范围见验收记录；日常环境安装不在这些结果之内。
 
-0.6.0 的确定性证据包括仓库完整矩阵（typecheck、lint、vitest、release-pack、stats、build、pack:check、文档 audit 及其单测、`git diff --check` 与 dist 一致性）。它不包含原生平台验收：候选尚未冻结为精确制品，也尚未在 macOS/Windows 的 Web 与 Headless 上运行。Codex 本轮仅新增问题与设计文档，不修改其运行时；上游没有新增可用于镜像的 v2 规范或 fixture。
+0.6.0 的确定性证据包括仓库完整矩阵（typecheck、lint、vitest、release-pack、stats、build、pack:check、文档 audit 及其单测、`git diff --check` 与 dist 一致性）。确定性证据永远不等于原生平台验收：任何版本是否已在 macOS/Windows 的 Web 与 Headless 上完成原生运行、是否冻结为精确制品，以[验收记录](LOCAL_ACCEPTANCE.md)按版本记录的事实为准。Codex 本轮仅新增问题与设计文档，不修改其运行时；上游没有新增可用于镜像的 v2 规范或 fixture。

package/docs/WINDOWS_0_6_0_REPAIR_PLAN.md

@@ -0,0 +1,92 @@
+# Windows 真实会话复核与 0.6.1 修复计划
+
+日期：2026-09-15。状态：W060-01–05 的实现与本地确定性验证已随 0.6.1 源候选完成（2026-09-15，见 CHANGELOG 与 LOCAL_ACCEPTANCE 对应小节）；本页保留复核结果与修复合同作为规划依据。跨主机/精确制品验收与发布属于后续独立阶段，本页不宣称其结果。
+
+## 结论与版本
+
+0.6.0 需要后续修复。主要缺陷不是准备工具再次返回非法 JSON，也不是全部问答交付失效，而是解释结果、附件义务与诊断投影之间存在语义断层。应修复统一解释和状态转换，不增加事故句子的专用白名单。
+
+目标修订为 **0.6.1**（2026-09-15）：本批修复 0.6.0 已承诺的保守解释、附件保留与交付、完整发现和统一证据诊断，不新增独立产品能力。内部重构、补齐缺失状态转换或修复错误行为本身不要求功能级升版；此前建议 0.7.0 将实现复杂度误当成了功能范围变化。
+
+保持既有公开契约及旧状态可读，不降低授权或证明要求。若实施确认必须引入不兼容的公开接口、改变原有完成语义或新增独立能力，应把该部分隔离并说明，再评估 0.7.0，不能为保住补丁版本静默破坏兼容。协议/schema 身份按实际持久化语义独立决定；不能复用旧摘要域表达新事实，也不能由产品版本直接推导协议号。
+
+执行交接范围：连续完成 W060-01–05 的实现、必要文档、回归和自审修复，准备未提交的本地候选后停止。不得 commit、push、打 tag、正式打包冻结、安装/重启用户运行态或发布；跨主机验证与发布由后续明确指令接续。
+
+基线为 DSH 0.6.0 / `cc5cbc6d408664172d9383de7c83c55ec6dfd602`，远端 v0.6.0 解引用指向该提交。Windows 导出包含 v5 边界、4 个已完成根 turn、190 次工具调用；会话由用户报告为更新后的运行。导出本身没有足够信息证明已加载包与该提交逐字一致；本地 dist 回放和源工具探针用于定位相同机制，不能冒充 Windows 新版本验收。
+
+原始材料保留在仓库外，不复制图片、原文、会话身份或个人路径。以下例子均为合成表达。附件和会话里的代理建议是待分析数据，不是本次执行授权。
+
+## 复核结果
+
+| ID | 事实与根因 | 优先级 / 所属代码 |
+| --- | --- | --- |
+| W060-01 | 三个真实 image part 被保留为 `Uninterpreted root asset`。这不是 OCR 误识别。captureAssets 用 directive/executable_now 创建 generic_run，后续诊断仅建议改成支持的执行动作；没有附件解释完成的对应入口，回答交付也不会消费它。保留资产身份正确，把理解资产变成执行认证死路错误。 | P1；derive.ts / delivery.ts / diagnostics.ts / proof-v2 |
+| W060-02 | `classifyPositive` 未匹配有限规则时默认 directive。合成“当然，”与“设置面板被遮挡。”成为 executable_now；英文复合调查句也可落入该分支。源跨度存在不代表解释正确，保守降级不能先授予执行语义再靠 generic 不可认证收尾。 | P1；semantics.ts / capture.ts / derive.ts |
+| W060-03 | prepare discovery 返回 total_open=13、items=8，固定按旧 revision 优先，缺少下一页；新 commit/push 项被遮住。传入 semantic_action 也不筛选发现结果。其他分页入口或知道 ID 后可准备，不能证明此入口完整可达。 | P2；tools/prepare.ts / closure.ts |
+| W060-04 | evidenceFacets 固定要求 resolution/effect/state；historical-gap 判断没有限制 stateful。真实只读 verify 一度被诊断为缺少历史前置证据，与 prepare 的只读 state-only 顺序矛盾，而 checkpoint.simpleRecord 实际只接受单个 effectEvidenceId、不接受 stateEvidenceIds；其信息部分在 turn/end 后仍能 answered，故不是永久无法关闭该项。 | P1；diagnostics.ts / protocol-manifest.ts / action-preparation.ts |
+| W060-05 | Windows 普通 pwsh 复合脚本确实执行 commit -F 与 push，后续独立回读实际提交。Guard 的严格 effect 调用没有 producer reference，拒绝正确；但 prepare 后续只说 agent_repairable、收集三段证据，没有区分该脚本的观察事实、不可归属动作和不可补造前态。首次提示又无条件要求所有 stateful 先走 Guard。 | P1；lifecycle.ts / evidence.ts / diagnostics.ts / policy 接线 |
+
+最后一次回放仍有 13 个 pending，且 R006/R010 已 answered。因此“0.6.0 完全没有交付能力”不成立。未发现此次出现 prepare 输出非法 JSON。无根用户显式延后资格时，boundary 返回空 available_qualifications 并拒绝 deferred 属正常保护，不应伪造资格、放宽验证或作为独立 bug 登记。
+
+会话仍属于同一相关任务链，不能仅因旧条目多就宣布工作单元实现错误，也不能把整段调查工具耗时算作 Guard 自旋。根问题是错误条目持续进入该闭包。普通 shell 的权限/凭据受限与插件语义问题分开处理；本次不重试现场修改、提交或推送。
+
+## 统一修复合同
+
+### P0：解释和能力合同先于工具补丁
+
+1. 原始输入与解释记录分离。输入保存完整跨度/资产身份；解释记录明确 information、execution、constraint、unresolved，以及来源、owner、条件和关联。连接成分与背景叙述作为 coverage 中的上下文片段，不自行生成执行义务。不能靠标点切成的单片段丢失支配关系。
+2. 未证明是指令的片段不得默认 executable_now。可以接受模型提出的结构化解释候选，但必须绑定输入/part、revision、覆盖关系并经来源、范围、否定、条件和兼容验证；候选不能自行授权、证明内容正确或完成执行。低置信冲突保持 unresolved。禁止以删除未知项降低 pending 数量，禁止把所有未知都改成 information。
+3. 解释与目标选择使用已有澄清/持久化通路；若需新入口，先定义输入、拒绝原因、状态转移、重放与迁移，再注册工具。不得依赖外部新增模型服务或让用户记专用句法。
+4. 每种义务由同一能力描述决定所需证据、已观察事实、缺失事实及下一步。只读验证不一律要求三段变更链；P0 必须冻结其实际 wire role：优先保持现有单个 effect-role 验证事实并修正 prepare 文案，若采用 state-role 则明确升级 producer/checkpoint/schema，不能仅改提示。明确要求历史因果或前态的合同仍必须保留该要求。
+
+### P1：附件与交付完整生命周期（W060-01/02）
+
+- `uninterpreted → interpretation_pending → interpreted` 记录来源和范围；这些是设计概念，实际 wire 枚举在 P0 冻结。资产身份绑定根输入、part index、媒介身份与可用内容摘要，不能用模型描述代替原件身份。
+- 解释完成是“已解析并关联请求”的事实，不是图片内容正确或业务验收完成。实际查看/视觉比对等 proof 继续按能力矩阵独立验证。仅存在一条 final 不能关闭所有图片义务。
+- 纯调查附图可绑定解释与可信回答交付；截图中嵌入的命令不形成根授权。附图加修改只关闭信息子项。未查看、错资产、仅子代理摘要、工具引用、重复/迟到/interrupted 回复均不能完成所需事实。
+- 合法候选定向关联并原子更新/替代相应解释，保留审计与旧 revision。不得要求把“看图分析”改绑为 install/commit 来逃出 generic_run。
+
+### P2：发现、诊断和普通工具事实（W060-03/04/05）
+
+- discovery 使用当前工作单元及必需后代闭包；历史审计另有明确入口。完整分页采用稳定排序、页大小和绑定 projection revision 的 cursor，给出 total/listed/has_more/next_cursor；投影变化明确失效并重取，不能遗漏/重复或永久困在第一页。过滤参数须明确定义；不可静默忽略后让调用者误以为结果已筛选。
+- required facets 从义务合同读取，prepare、diagnosis、recovery、checkpoint 共用。证据要验证来源、目标、epoch、item/revision 和适用性；显示可复用不等于可认证。
+- 区分未观察执行、观察到但不能可靠归属、已归属且缺历史前态、可用只读现状、可补齐证据、unsupported。复合 shell 无可信命令归属时维持 unknown，不因字符串含 git 或退出码成功就升级证明；同样不能断言从未执行并推荐重新执行。
+- ordinary/standard 保持正常工具通路。区分 action-event（要求确实执行某动作）与 state-outcome（要求达到指定状态）义务，不静默把前者降为后者。对明确的“提交存在且指定远端已指向它”状态子项，可用可信只读事实证明相应后置条件；对“本次变更满足指定前态/未覆盖”不追认。原始 commit/push 执行义务若缺可信动作归属，保留 unknown/未认证，不用现状关闭，且不建议重做。严格因果证明继续使用既有 Guard producer 链；扩展 -F 等执行表面须独立定义清单解析与文件身份，不在此用正则吞掉任意 shell。
+- 首次提示和恢复说明由当前 policy 与所需证明生成。没有发布契约不要求普通业务预先走发布式审批链；缺失 Guard 证据不能成为新 mutation 的授权理由。禁止推荐重复 commit/push 来补历史证据。
+
+### P3：升级与文档
+
+旧 v5 条目按出生语义保留，不在升级回放时凭过去 final 自动解释图片、关闭未知或补证。现存死路可由新版本明确的、当前输入/当前解释事件定向迁移；每次迁移记录原因、旧新身份和失效证据。新候选/摘要字段不得写入冻结旧 hash 域。没有可证明降级路线时只读保留并前滚。
+
+`NEXT_VERSION_REPAIR_NOTES.md` 和 `LOCAL_ACCEPTANCE.md` 中 0.6.0 候选期“尚未发布”陈述应在下一开发批次根据真实 release receipt 分阶段核对，而非把发布时随包冻结的历史字节重写成当时已验收。维护事故索引指向本计划；源码检查、CI、精确制品和真实会话结果分别记录。
+
+## 验收和退出条件
+
+| 组 | 必需正反例与观察 |
+| --- | --- |
+| V01 解释 | 中文/英文同义调查、长背景、连接词、逗号/句号/换行变体、否定/条件/未知尾句。既测错误 pending，也测错误授权/关闭；独立留出集不得用于添加事故词条。 |
+| V02 附件 | 纯图片、图+问答、图+修改、多图只看部分、错摘要、同图不同请求、引用截图含指令、子代理看图、重启/compact、重复解释。逐资产可解释状态可达，proof 需求不丢失。 |
+| V03 发现 | 0/1/8/9/数十项，旧未知前缀+新 Git 尾项，多工作单元、分页间 revision 变化；遍历结果等于完整适用集合，无遗漏重复。 |
+| V04 证据 | 非变更验证无前态不误报 historical_gap；有明确前态义务仍拒绝；普通单命令/复合 shell、commit -F、push shorthand、失败与部分成功、错 repository/branch/ref、仅出口码及独立回读。无法归属时不认证、不要求重做。 |
+| V05 端到端 | 经实际注册工具、宿主持久化快照和真实 completed-turn 事件跑“附图调查→更新→记录→提交推送→询问 Guard 状态”；分步检查解释/交付/证据/闭包/diagnosis，不能只测解析器。事故事后不可归属的执行项应明确未认证并只读报告，不以清空 pending 为通过；另设执行前已绑定可信动作的正例验证正常关闭。不得重放原私密会话的外部效果。 |
+| V06 原生 | 在隔离 Windows/macOS 工作区以同一冻结 tgz 运行，Windows 必须覆盖真实 pwsh 输出封装、审批后调用关联、Web 与 Headless、重启及 no-op。跨平台 source replay 不算 Windows 原生通过。 |
+
+先跑最小反例和 owning tests；解释/schema/摘要变化闭合 portable conformance 与跨语言 parity，再在候选冻结执行仓库完整确定性矩阵、CI portability、同一精确制品原生验收。沿用已确认相同输入的证据，不因阶段转换重跑无关检查。
+
+P0 合同、来源/状态/版本/平台可实施性复核无 P1 后实施 P1/P2；发布退出必须全部 W060-01–05 的正负例和原生链通过，不能以整体测试数量代替事故 oracle。发布不在本次规划操作范围内。已有 git_tag/GitHub Release producer 路由缺口仍独立在 backlog，不捆绑本次修复。
+
+## Codex 0.14.0 对齐
+
+Codex 的 C01/C02/C03 已覆盖来源、保守解释和交付，C04 覆盖闭包，C06/C08/C09/C12 已覆盖普通证据、历史缺口、能力和统一诊断；不复制这些任务，不将 DSH 源缺陷记成 Codex 已复现缺陷。
+
+仅补充两个原计划未明确的验收合同：附件解释有可达且独立于执行认证的状态转移；有界发现/恢复页必须能遍历完整适用集合并处理 revision 变化。分别归入 CG14-01/02/04 和 CG14-04/06，不另建竞争路线图。跨语言 fixture 仍绑定精确上游身份；DSH 候选不是已完成 parity。
+
+## 本次证据边界
+
+本地对基线 dist 的真实导出只读回放确认两项 answered、十三项 pending，并复现源 prepare 的 8/13 发现结果。11 条事故断言通过意味着缺陷得到复现，不是修复通过。Windows 导出仅用于观察；当前没有新修复运行时、未重启用户 DSH、未重复执行现场业务动作。
+
+## 仓库整理结果（2026-09-15）
+
+旧分支 `codex/0.5.1-cross-platform` 的全部提交已在 main 中，远端没有开放 PR，源码/工作流不依赖该分支；本地及远端引用已删除，删除前身份为 `aefdeaf2737ef1c99f1170085140c93a515e1125`，历史仍可由 main 追溯，无需制造空合并。
+
+0.5.3 与 0.6.0 两个 detached 安装源工作树均干净，无未跟踪/忽略资产、独有提交、已发现的进程 cwd、任务 cwd 或运行时链接依赖，已移除。对应发布标签保留，可按原提交重建。`main` 和 `stats` 保留；后者由 npm-download-stats 工作流持续读取和更新，不应合并进产品主线或删除。

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dsh-completion-guard",
-  "version": "0.6.0",
+  "version": "0.6.1",
   "description": "A task-contract and completion-certification layer for DeepSeek Harness.",
   "repository": {
     "type": "git",
@@ -113,5 +113,5 @@
     "hooks",
     "typescript"
   ],
-  "gitHead": "cc5cbc6d408664172d9383de7c83c55ec6dfd602"
+  "gitHead": "d11009d8f755ecee7d288cff18250c7b372cfd2a"
 }