release-skill 0.9.26 → 0.9.28

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "release-skill",
-  "version": "0.9.26",
+  "version": "0.9.28",
   "description": "Safe preparation and frozen GitHub/npm production publishing with full happy end verification",
   "author": {
     "name": "广州市风荷科技有限公司"
@@ -80,9 +80,9 @@
     "ajv-formats": "3.0.1",
     "libnpmpublish": "11.2.0",
     "npm-registry-fetch": "18.0.2",
-    "skill-family-contracts": "0.22.0",
-    "skill-family-engineering-kit": "0.22.0",
-    "skill-family-harness-node": "0.22.0",
+    "skill-family-contracts": "0.25.0",
+    "skill-family-engineering-kit": "0.25.0",
+    "skill-family-harness-node": "0.25.0",
     "yaml": "2.9.0"
   },
   "devDependencies": {

package/platform-manifest.json

@@ -2,11 +2,11 @@
   "schemaVersion": "1.0.0",
   "platformId": "release-skill",
   "platformName": "release-skill Plugin Platform",
-  "version": "0.9.26",
+  "version": "0.9.28",
   "logicalRoot": "skills-src/",
-  "logicalRootDigest": "b32605fb6cf0bac83c6313cdfc8216073a1a3a11f83bb4e4c59016a0b93b5a43",
-  "projectionDigest": "544fb531a089493618b276dde92ca98c1ae3bf91bd1c5101a0f2d2b344133b56",
-  "projectionId": "release-skill:platform:0.9.26",
+  "logicalRootDigest": "043a4f6c014adeddf4565a9d04839fd4a4f45b24a904fed105945e29197b02a7",
+  "projectionDigest": "6031c13a38f988088cdfd35f58e61906a348248cc543f0830f27e2432c6c5311",
+  "projectionId": "release-skill:platform:0.9.28",
   "manifestRequired": true,
   "projectionSources": {
     "skills-src-root": {

package/skills/release-assess/SKILL.md

@@ -29,12 +29,75 @@ description: "Read-only release governance diagnosis: adoption, project readines
 
 ## 接入检查
 
+默认仍调用同一入口，不带新选项时行为与原来一致：
+
 ```bash
 node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" setup --assess-adoption --root <path> --json
 ```
 
 `ADOPTED` 与 `ADOPTED_WITH_SUGGESTIONS` 的退出码是 0，`NOT_CONFIGURED` 的退出码是 1，`PARTIALLY_ADOPTED` 的退出码是 2。未配置时说明首次 `release-setup` 入口，不生成或写入配置；必选缺口按 finding 的 `fieldPath` 与 `action` 处理。声明的 hook 只作为配置和事实读取，不执行。
 
+用户要核对已声明宿主是否接线完整时，本 Skill 收集 `schemaVersion=1` 的 JSON 输入文件，再调用同一 CLI：
+
+```bash
+node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" setup --assess-adoption --root <path> --host-coverage <file> --json
+```
+
+把用户已提供的完整事实写入该文件，不要从源码或接线猜测。发布单元身份写入 `unitId`，项目声明的支持宿主与出处写入 `support.hosts` / `support.source`，本轮纳入、排除和首次安装义务写入 `delivery.include` / `delivery.exclude` / `delivery.installIfMissing`，安装快照写入 `observations`。字段形状如下：
+
+- 顶层对象：`schemaVersion` 为整数 1，`units` 必须是数组。
+- 每个单元：`unitId` 为发布单元标识。
+- `support.hosts`：项目声明支持的宿主字符串数组。
+- `support.source`：该支持声明的出处，不是发布源。
+- `delivery.include`：本轮纳入的宿主字符串数组。
+- `delivery.exclude`：本轮排除数组；元素必须是 `{host, reason}` 对象。没有排除时写空数组。
+- `delivery.installIfMissing`：本轮首次安装义务对应的宿主字符串数组。没有该义务时写空数组。
+- `observations`：观察数组。每条含 `host`、`plugin`、`marketplace`、`state`、`source`、`observedAt`。
+- `state` 只能是 `installed`、`not-installed`、`unknown`。
+- `state` 为 `installed` 时必须提供 `version`。安全的默认 `unknown` 记录可以省略 `version`。示例使用 `unknown` 且省略 `version`，不要编造已安装事实或真实版本。
+- 下列 JSON 只说明结构，占位身份不是项目支持或已安装证据。
+
+```json
+{
+  "schemaVersion": 1,
+  "units": [
+    {
+      "unitId": "release-unit-id",
+      "support": {
+        "hosts": ["claude", "codex"],
+        "source": "项目声明出处"
+      },
+      "delivery": {
+        "include": ["claude"],
+        "exclude": [
+          {
+            "host": "codex",
+            "reason": "本轮不纳入"
+          }
+        ],
+        "installIfMissing": []
+      },
+      "observations": [
+        {
+          "host": "claude",
+          "plugin": "plugin-id",
+          "marketplace": "marketplace-name",
+          "state": "unknown",
+          "source": "operator",
+          "observedAt": "1970-01-01T00:00:00.000Z"
+        }
+      ]
+    }
+  ]
+}
+```
+
+需要本机列表观察时，仅在已提供 `--host-coverage` 后再加 `--observe-hosts`。观察只针对输入 `observations` 里给出 `plugin` 与 `marketplace` 的 Claude、Codex；命令和参数来自平台注册表，不接受输入里的可执行文件或 shell。未实现的宿主保持 `unknown`。观察失败、输出对不上或身份冲突时也保持 `unknown`，不得写成未安装或已通过。
+
+`--host-coverage` 不能单独用于普通 setup 写入或发现模式，也不能没有 `--assess-adoption`。错误组合以 `MISSING_PARAMETERS` 失败关闭，JSON 仍标明 `hostCoverage.requested=true`，不得把这次请求悄悄丢掉。
+
+解释结果时读取 `hostCoverage`：`requested` 表示是否请求了覆盖诊断；`complete` 表示本次事实是否齐全；`results[]` 每项含 `unitId`（发布单元）、`host`、`status`、`reason`、`evidence`。`status` 只能是 `satisfied`、`mandatory-gap`、`not-applicable`、`unknown`。支持范围只看输入的 `support.hosts` 与 `support.source`，不能从项目接线反推。配置不存在时顶层状态仍是 `NOT_CONFIGURED`，但覆盖请求仍要报告，且不得宣称覆盖完成。配置存在而 `complete=false` 时会出现事实缺失的 `mandatory-gap`，聚合为 `PARTIALLY_ADOPTED`。专业结论使用最终 `status`。本 Skill 不安装插件、不改宿主配置、不把安装观察写成已经加载成功。
+
 ## 项目离线评估
 
 使用插件根相对路径运行：
@@ -88,4 +151,4 @@ offline assess 不访问 GitHub/npm 认证，因此不会以顶层 `AUTH_MISSING
 
 纯问询或转交时短答：写明实际回答、适用范围或理由、必要限制和下一步。建议保持为建议。
 
-用本轮命令原返回值写紧凑完整诊断，覆盖实际对象与范围、结论与依据、缺口或产物、未覆盖项与下一步。不另建六段报告。`verify-records` 对用户显式给出的记录做本次声明范围内的核对，并报告实际得到的 `CONSISTENT`、`CONTRADICTED` 或 `INSUFFICIENT`。`historicalTerminalStatus` 作为独立历史终态另列，与本次核对结果不能互相替代。`read-proof` 只解释旧证明文件里已有的结论和原检查范围；旧证明可以是未通过或未完成。该入口不重新核对当前记录，不表示当前重验、作者认证或发布完成。已有 JSON 与 `--output` / `--conclusion-output` 产物按原合同呈现。栏目只收录当前命令已经返回的事实。
+用本轮命令原返回值写紧凑完整诊断，覆盖实际对象与范围、结论与依据、缺口或产物、未覆盖项与下一步。若请求了 `--host-coverage`，须报告 `hostCoverage` 与最终 `status`，不得把未知写成完成。不另建六段报告。`verify-records` 对用户显式给出的记录做本次声明范围内的核对，并报告实际得到的 `CONSISTENT`、`CONTRADICTED` 或 `INSUFFICIENT`。`historicalTerminalStatus` 作为独立历史终态另列，与本次核对结果不能互相替代。`read-proof` 只解释旧证明文件里已有的结论和原检查范围；旧证明可以是未通过或未完成。该入口不重新核对当前记录，不表示当前重验、作者认证或发布完成。已有 JSON 与 `--output` / `--conclusion-output` 产物按原合同呈现。栏目只收录当前命令已经返回的事实。

package/skills/release-finish/SKILL.md

@@ -15,6 +15,8 @@ description: 发布达到 VERIFIED 后编排完整收尾：处理分支决定和
 
 默认只读取冻结计划和 verify 或 postVerify run。没有用户明确同意，不合并分支，不更新插件。用户显式选择 Kimi 更新后，只有标准初始目录信任界面和插件信任界面中的冻结身份都通过核对，才确认当前项目并安装。用户显式选择 Qoder 且冻结计划声明该宿主后，才执行计划绑定的 Hub 更新。
 
+宿主覆盖是否接线完整，走 `release-assess` 或 `release-setup` 的只读入口 `setup --assess-adoption --host-coverage <file>`，需要列表观察时再加 `--observe-hosts`。那是诊断，不是本机安装授权。`--observe-hosts` 只读 Claude/Codex 列表，身份来自覆盖输入的 `observations`，不安装、不改配置。本 Skill 仍只在用户明确同意后才更新本机宿主；覆盖诊断结果不能代替 `--update-local-hosts` 与 `--confirm-plan`。
+
 ## 进入完整收尾
 
 从插件根执行：

package/skills/release-help/SKILL.md

@@ -29,9 +29,9 @@ description: "Discoverable entry point for release-skill: dependency and environ
 
 治理诊断只运行 release-skill 自己的只读检查程序，不运行目标 Skill、业务脚本、构建、hook 或发布动作，也不把 `prepare`、`verify`、`release-finish` 当作静态治理入口。用户要求实际接入或发布时，把已有授权带到对应原业务入口；各入口继续执行原有确认、副作用和状态机合同。
 
-## 0.9.26 能力与证据边界
+## 0.9.28 能力与证据边界
 
-release-skill 0.9.26 精确依赖 Foundation 0.22.0 的公开包根 API。本节说明当前版本的能力范围与证据边界；批准、发布和验证状态以对应计划、批准及执行记录为准，不能由本说明推断。
+release-skill 0.9.28 精确依赖 Foundation 0.25.0 的公开包根 API。本版本新增可选宿主覆盖诊断能力，支持通过 `--host-coverage <file>` 提供输入文件，报告每个宿主在声明范围内的覆盖状态与事实缺口；同时采用 Codex 0.154.0 静态加载规则检查，基于 11 份真实生成 Skill 的原字节在隔离环境中完成诊断，不证明安装、会话选择或业务执行通过。批准、发布和验证状态以对应计划、批准及执行记录为准，不能由本说明推断。
 
 在冻结前，`prepare` 或新建 `ship` 状态时可重复传入 `--unit <id>`；未传入则默认选择全部单元。延期单元不进入发布计划，亦不获得发布状态。完整配置、生成物新鲜度检查及顶层 Hook 仍作用于全项目范围。`publicSourceAuthorityReceipt` 的 coordinator 与全部 subjects 必须共同选择。
 

package/skills/release-setup/SKILL.md

@@ -101,12 +101,15 @@ node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" setup --assess-adoption --roo
 
 需要共同证明时另加 `--conclusion-output <absolute-path>`。该文件必须尚未存在；排他写入成功后，报告才含 `conclusionPath`。
 
-- 完全只读：评估后仓库不新增任何文件，不修改配置，不执行 hook。不带 `--conclusion-output` 时不另写证明。
+需要核对已声明宿主覆盖时，先收集 `schemaVersion=1` 的输入文件，再在同一命令上加 `--host-coverage <file>`。本 Skill 只收集输入、调用 CLI 并解释 `hostCoverage`，不在 Skill 内另做比较。可选 `--observe-hosts` 必须与 `--host-coverage` 一起使用，只观察输入身份对应的 Claude 与 Codex 列表；未实现宿主保持 `unknown`。不安装、不写入配置。无新选项时 `hostCoverage.requested` 为 false，旧四态与退出码不变。
+
+- 完全只读：评估后仓库不新增任何文件，不修改配置，不执行 hook。不带 `--conclusion-output` 时不另写证明。覆盖诊断同样不安装宿主插件。
 - 报告四态：`NOT_CONFIGURED`、`PARTIALLY_ADOPTED`、`ADOPTED`、`ADOPTED_WITH_SUGGESTIONS`。
 - findings 分四类：`mandatory-gap`（必选缺口，阻断接入）、`satisfied`（已满足）、`optional-suggestion`（可选建议）、`not-applicable`（不适用）；每条带 `code`、`fieldPath`、`evidence` 与 `action`。
 - `gateSuggestions` 只列可执行且尚未登记的配置草案。无法安全形成草案的脚本保留在 `gateDiagnostics`，不计入建议数量，也不把状态改成 `ADOPTED_WITH_SUGGESTIONS`。
 - 建议边界：hook 缓存候选只提示 `cacheInputs` 必须由项目自己声明并证明完整，评估不代猜、不代写；hook 耗时只从描述匹配且生产者可信的 started/completed 事件对推导，`timeoutMs` 不是实际成本；任何建议都不改变接入状态。
 - 必选缺口存在时先修复并重跑 `setup --assess-adoption`，再进入发布流程。
+- 覆盖请求在配置缺失或无效时也要出现在报告里，不得把未知或接线不足写成已完成。专业结论使用最终 `status`。
 
 ## publisher 字段与个人片段泄漏策略
 
@@ -130,4 +133,4 @@ setup 生成的 `.release-skill/project.yaml` 中 `publisher` 是**已批准的
 
 纯问询或转交时短答：写明实际回答、适用范围或理由、必要限制和下一步。建议保持为建议。
 
-首次发现、绑定确认和首次创建，只解释本轮已经得到的 `compactSummary`、绑定摘要、`setupDigest` 和命令实际可见结果。接入评估解释原生状态与 findings。回复沿用既有提取器，使用已打印的紧凑摘要。完整报告只在发现、人工确认和提取期间暂存于会话目录。第4步在固定提取器成功后按原步骤清理会话目录。成功路径的最终回复只用已经打印的紧凑摘要及命令可见结果，不重新读取完整报告。该回复不得把完整报告写成之后仍可读取。发现待确认或绑定待确认时，原会话目录仍按第2、3步保留，不把成功路径的清理提前。已有文件输出按原合同呈现。栏目只收录当前命令已经返回的事实。
+首次发现、绑定确认和首次创建，只解释本轮已经得到的 `compactSummary`、绑定摘要、`setupDigest` 和命令实际可见结果。接入评估解释原生状态与 findings；若请求了覆盖诊断，同时解释 `hostCoverage` 与最终 `status`。回复沿用既有提取器，使用已打印的紧凑摘要。完整报告只在发现、人工确认和提取期间暂存于会话目录。第4步在固定提取器成功后按原步骤清理会话目录。成功路径的最终回复只用已经打印的紧凑摘要及命令可见结果，不重新读取完整报告。该回复不得把完整报告写成之后仍可读取。发现待确认或绑定待确认时，原会话目录仍按第2、3步保留，不把成功路径的清理提前。已有文件输出按原合同呈现。栏目只收录当前命令已经返回的事实。

package/skills-src/release-assess/SKILL.md

@@ -29,12 +29,75 @@ description: "Read-only release governance diagnosis: adoption, project readines
 
 ## 接入检查
 
+默认仍调用同一入口，不带新选项时行为与原来一致：
+
 ```bash
 node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" setup --assess-adoption --root <path> --json
 ```
 
 `ADOPTED` 与 `ADOPTED_WITH_SUGGESTIONS` 的退出码是 0，`NOT_CONFIGURED` 的退出码是 1，`PARTIALLY_ADOPTED` 的退出码是 2。未配置时说明首次 `release-setup` 入口，不生成或写入配置；必选缺口按 finding 的 `fieldPath` 与 `action` 处理。声明的 hook 只作为配置和事实读取，不执行。
 
+用户要核对已声明宿主是否接线完整时，本 Skill 收集 `schemaVersion=1` 的 JSON 输入文件，再调用同一 CLI：
+
+```bash
+node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" setup --assess-adoption --root <path> --host-coverage <file> --json
+```
+
+把用户已提供的完整事实写入该文件，不要从源码或接线猜测。发布单元身份写入 `unitId`，项目声明的支持宿主与出处写入 `support.hosts` / `support.source`，本轮纳入、排除和首次安装义务写入 `delivery.include` / `delivery.exclude` / `delivery.installIfMissing`，安装快照写入 `observations`。字段形状如下：
+
+- 顶层对象：`schemaVersion` 为整数 1，`units` 必须是数组。
+- 每个单元：`unitId` 为发布单元标识。
+- `support.hosts`：项目声明支持的宿主字符串数组。
+- `support.source`：该支持声明的出处，不是发布源。
+- `delivery.include`：本轮纳入的宿主字符串数组。
+- `delivery.exclude`：本轮排除数组；元素必须是 `{host, reason}` 对象。没有排除时写空数组。
+- `delivery.installIfMissing`：本轮首次安装义务对应的宿主字符串数组。没有该义务时写空数组。
+- `observations`：观察数组。每条含 `host`、`plugin`、`marketplace`、`state`、`source`、`observedAt`。
+- `state` 只能是 `installed`、`not-installed`、`unknown`。
+- `state` 为 `installed` 时必须提供 `version`。安全的默认 `unknown` 记录可以省略 `version`。示例使用 `unknown` 且省略 `version`，不要编造已安装事实或真实版本。
+- 下列 JSON 只说明结构，占位身份不是项目支持或已安装证据。
+
+```json
+{
+  "schemaVersion": 1,
+  "units": [
+    {
+      "unitId": "release-unit-id",
+      "support": {
+        "hosts": ["claude", "codex"],
+        "source": "项目声明出处"
+      },
+      "delivery": {
+        "include": ["claude"],
+        "exclude": [
+          {
+            "host": "codex",
+            "reason": "本轮不纳入"
+          }
+        ],
+        "installIfMissing": []
+      },
+      "observations": [
+        {
+          "host": "claude",
+          "plugin": "plugin-id",
+          "marketplace": "marketplace-name",
+          "state": "unknown",
+          "source": "operator",
+          "observedAt": "1970-01-01T00:00:00.000Z"
+        }
+      ]
+    }
+  ]
+}
+```
+
+需要本机列表观察时，仅在已提供 `--host-coverage` 后再加 `--observe-hosts`。观察只针对输入 `observations` 里给出 `plugin` 与 `marketplace` 的 Claude、Codex；命令和参数来自平台注册表，不接受输入里的可执行文件或 shell。未实现的宿主保持 `unknown`。观察失败、输出对不上或身份冲突时也保持 `unknown`，不得写成未安装或已通过。
+
+`--host-coverage` 不能单独用于普通 setup 写入或发现模式，也不能没有 `--assess-adoption`。错误组合以 `MISSING_PARAMETERS` 失败关闭，JSON 仍标明 `hostCoverage.requested=true`，不得把这次请求悄悄丢掉。
+
+解释结果时读取 `hostCoverage`：`requested` 表示是否请求了覆盖诊断；`complete` 表示本次事实是否齐全；`results[]` 每项含 `unitId`（发布单元）、`host`、`status`、`reason`、`evidence`。`status` 只能是 `satisfied`、`mandatory-gap`、`not-applicable`、`unknown`。支持范围只看输入的 `support.hosts` 与 `support.source`，不能从项目接线反推。配置不存在时顶层状态仍是 `NOT_CONFIGURED`，但覆盖请求仍要报告，且不得宣称覆盖完成。配置存在而 `complete=false` 时会出现事实缺失的 `mandatory-gap`，聚合为 `PARTIALLY_ADOPTED`。专业结论使用最终 `status`。本 Skill 不安装插件、不改宿主配置、不把安装观察写成已经加载成功。
+
 ## 项目离线评估
 
 使用插件根相对路径运行：
@@ -88,4 +151,4 @@ offline assess 不访问 GitHub/npm 认证，因此不会以顶层 `AUTH_MISSING
 
 纯问询或转交时短答：写明实际回答、适用范围或理由、必要限制和下一步。建议保持为建议。
 
-用本轮命令原返回值写紧凑完整诊断，覆盖实际对象与范围、结论与依据、缺口或产物、未覆盖项与下一步。不另建六段报告。`verify-records` 对用户显式给出的记录做本次声明范围内的核对，并报告实际得到的 `CONSISTENT`、`CONTRADICTED` 或 `INSUFFICIENT`。`historicalTerminalStatus` 作为独立历史终态另列，与本次核对结果不能互相替代。`read-proof` 只解释旧证明文件里已有的结论和原检查范围；旧证明可以是未通过或未完成。该入口不重新核对当前记录，不表示当前重验、作者认证或发布完成。已有 JSON 与 `--output` / `--conclusion-output` 产物按原合同呈现。栏目只收录当前命令已经返回的事实。
+用本轮命令原返回值写紧凑完整诊断，覆盖实际对象与范围、结论与依据、缺口或产物、未覆盖项与下一步。若请求了 `--host-coverage`，须报告 `hostCoverage` 与最终 `status`，不得把未知写成完成。不另建六段报告。`verify-records` 对用户显式给出的记录做本次声明范围内的核对，并报告实际得到的 `CONSISTENT`、`CONTRADICTED` 或 `INSUFFICIENT`。`historicalTerminalStatus` 作为独立历史终态另列，与本次核对结果不能互相替代。`read-proof` 只解释旧证明文件里已有的结论和原检查范围；旧证明可以是未通过或未完成。该入口不重新核对当前记录，不表示当前重验、作者认证或发布完成。已有 JSON 与 `--output` / `--conclusion-output` 产物按原合同呈现。栏目只收录当前命令已经返回的事实。

package/skills-src/release-finish/SKILL.md

@@ -15,6 +15,8 @@ description: 发布达到 VERIFIED 后编排完整收尾：处理分支决定和
 
 默认只读取冻结计划和 verify 或 postVerify run。没有用户明确同意，不合并分支，不更新插件。用户显式选择 Kimi 更新后，只有标准初始目录信任界面和插件信任界面中的冻结身份都通过核对，才确认当前项目并安装。用户显式选择 Qoder 且冻结计划声明该宿主后，才执行计划绑定的 Hub 更新。
 
+宿主覆盖是否接线完整，走 `release-assess` 或 `release-setup` 的只读入口 `setup --assess-adoption --host-coverage <file>`，需要列表观察时再加 `--observe-hosts`。那是诊断，不是本机安装授权。`--observe-hosts` 只读 Claude/Codex 列表，身份来自覆盖输入的 `observations`，不安装、不改配置。本 Skill 仍只在用户明确同意后才更新本机宿主；覆盖诊断结果不能代替 `--update-local-hosts` 与 `--confirm-plan`。
+
 ## 进入完整收尾
 
 从插件根执行：

package/skills-src/release-help/SKILL.md

@@ -29,9 +29,9 @@ description: "Discoverable entry point for release-skill: dependency and environ
 
 治理诊断只运行 release-skill 自己的只读检查程序，不运行目标 Skill、业务脚本、构建、hook 或发布动作，也不把 `prepare`、`verify`、`release-finish` 当作静态治理入口。用户要求实际接入或发布时，把已有授权带到对应原业务入口；各入口继续执行原有确认、副作用和状态机合同。
 
-## 0.9.26 能力与证据边界
+## 0.9.28 能力与证据边界
 
-release-skill 0.9.26 精确依赖 Foundation 0.22.0 的公开包根 API。本节说明当前版本的能力范围与证据边界；批准、发布和验证状态以对应计划、批准及执行记录为准，不能由本说明推断。
+release-skill 0.9.28 精确依赖 Foundation 0.25.0 的公开包根 API。本版本新增可选宿主覆盖诊断能力，支持通过 `--host-coverage <file>` 提供输入文件，报告每个宿主在声明范围内的覆盖状态与事实缺口；同时采用 Codex 0.154.0 静态加载规则检查，基于 11 份真实生成 Skill 的原字节在隔离环境中完成诊断，不证明安装、会话选择或业务执行通过。批准、发布和验证状态以对应计划、批准及执行记录为准，不能由本说明推断。
 
 在冻结前，`prepare` 或新建 `ship` 状态时可重复传入 `--unit <id>`；未传入则默认选择全部单元。延期单元不进入发布计划，亦不获得发布状态。完整配置、生成物新鲜度检查及顶层 Hook 仍作用于全项目范围。`publicSourceAuthorityReceipt` 的 coordinator 与全部 subjects 必须共同选择。
 

package/skills-src/release-setup/SKILL.md

@@ -101,12 +101,15 @@ node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" setup --assess-adoption --roo
 
 需要共同证明时另加 `--conclusion-output <absolute-path>`。该文件必须尚未存在；排他写入成功后，报告才含 `conclusionPath`。
 
-- 完全只读：评估后仓库不新增任何文件，不修改配置，不执行 hook。不带 `--conclusion-output` 时不另写证明。
+需要核对已声明宿主覆盖时，先收集 `schemaVersion=1` 的输入文件，再在同一命令上加 `--host-coverage <file>`。本 Skill 只收集输入、调用 CLI 并解释 `hostCoverage`，不在 Skill 内另做比较。可选 `--observe-hosts` 必须与 `--host-coverage` 一起使用，只观察输入身份对应的 Claude 与 Codex 列表；未实现宿主保持 `unknown`。不安装、不写入配置。无新选项时 `hostCoverage.requested` 为 false，旧四态与退出码不变。
+
+- 完全只读：评估后仓库不新增任何文件，不修改配置，不执行 hook。不带 `--conclusion-output` 时不另写证明。覆盖诊断同样不安装宿主插件。
 - 报告四态：`NOT_CONFIGURED`、`PARTIALLY_ADOPTED`、`ADOPTED`、`ADOPTED_WITH_SUGGESTIONS`。
 - findings 分四类：`mandatory-gap`（必选缺口，阻断接入）、`satisfied`（已满足）、`optional-suggestion`（可选建议）、`not-applicable`（不适用）；每条带 `code`、`fieldPath`、`evidence` 与 `action`。
 - `gateSuggestions` 只列可执行且尚未登记的配置草案。无法安全形成草案的脚本保留在 `gateDiagnostics`，不计入建议数量，也不把状态改成 `ADOPTED_WITH_SUGGESTIONS`。
 - 建议边界：hook 缓存候选只提示 `cacheInputs` 必须由项目自己声明并证明完整，评估不代猜、不代写；hook 耗时只从描述匹配且生产者可信的 started/completed 事件对推导，`timeoutMs` 不是实际成本；任何建议都不改变接入状态。
 - 必选缺口存在时先修复并重跑 `setup --assess-adoption`，再进入发布流程。
+- 覆盖请求在配置缺失或无效时也要出现在报告里，不得把未知或接线不足写成已完成。专业结论使用最终 `status`。
 
 ## publisher 字段与个人片段泄漏策略
 
@@ -130,4 +133,4 @@ setup 生成的 `.release-skill/project.yaml` 中 `publisher` 是**已批准的
 
 纯问询或转交时短答：写明实际回答、适用范围或理由、必要限制和下一步。建议保持为建议。
 
-首次发现、绑定确认和首次创建，只解释本轮已经得到的 `compactSummary`、绑定摘要、`setupDigest` 和命令实际可见结果。接入评估解释原生状态与 findings。回复沿用既有提取器，使用已打印的紧凑摘要。完整报告只在发现、人工确认和提取期间暂存于会话目录。第4步在固定提取器成功后按原步骤清理会话目录。成功路径的最终回复只用已经打印的紧凑摘要及命令可见结果，不重新读取完整报告。该回复不得把完整报告写成之后仍可读取。发现待确认或绑定待确认时，原会话目录仍按第2、3步保留，不把成功路径的清理提前。已有文件输出按原合同呈现。栏目只收录当前命令已经返回的事实。
+首次发现、绑定确认和首次创建，只解释本轮已经得到的 `compactSummary`、绑定摘要、`setupDigest` 和命令实际可见结果。接入评估解释原生状态与 findings；若请求了覆盖诊断，同时解释 `hostCoverage` 与最终 `status`。回复沿用既有提取器，使用已打印的紧凑摘要。完整报告只在发现、人工确认和提取期间暂存于会话目录。第4步在固定提取器成功后按原步骤清理会话目录。成功路径的最终回复只用已经打印的紧凑摘要及命令可见结果，不重新读取完整报告。该回复不得把完整报告写成之后仍可读取。发现待确认或绑定待确认时，原会话目录仍按第2、3步保留，不把成功路径的清理提前。已有文件输出按原合同呈现。栏目只收录当前命令已经返回的事实。

package/src/commands/post-release-local.mjs

@@ -6,7 +6,6 @@ import {
   readFileContained,
   readFileStrict,
   resolveContained,
-  superviseProcess,
   withTemporaryWorkspace,
   createTemporaryWorkspace,
   createFilesystemRootBinding,
@@ -22,6 +21,12 @@ import { verifyInstalledMarketplacePayload } from '../adapters/plugin-marketplac
 import { normalizePostPublishView, postPublishActionId } from '../core/postpublish.mjs';
 import { loadRun, validateRunLineage } from '../core/run.mjs';
 import { verifyFrozenSnapshot } from '../snapshot/frozen.mjs';
+import {
+  attachFoundationFailure,
+  hostEnvironment,
+  parseHostCommandJson,
+  runLocalFinishCommand,
+} from '../core/local-host-observation.mjs';
 
 const HOSTS_BY_ACTION = Object.freeze({
   'claude-marketplace-install': ['claude'],
@@ -39,28 +44,12 @@ const DISTRIBUTION_BY_ACTION = Object.freeze({
 
 const BRANCH_ACTION_INCLUDED = new Set(['advance-existing-branch', 'initialize-default-branch']);
 const CODEBUDDY_MACOS_PATH = '/Applications/WorkBuddy.app/Contents/Resources/app.asar.unpacked/cli/bin/codebuddy';
-const SAFE_ENV_KEYS = Object.freeze([
-  'PATH', 'HOME', 'USER', 'LANG', 'LC_ALL', 'LC_CTYPE', 'TERM', 'TMPDIR',
-  'HTTP_PROXY', 'HTTPS_PROXY', 'ALL_PROXY', 'NO_PROXY', 'http_proxy', 'https_proxy', 'all_proxy', 'no_proxy',
-  'SSL_CERT_FILE', 'SSL_CERT_DIR', 'NODE_EXTRA_CA_CERTS',
-  'CLAUDE_CONFIG_DIR', 'CODEX_HOME', 'KIMI_CODE_HOME',
-  'CODEBUDDY_CONFIG_DIR', 'WORKBUDDY_CONFIG_DIR',
-]);
 const CODEBUDDY_PLUGIN_LIST_ARGS = Object.freeze(['plugin', 'list', '--json']);
 const CODEBUDDY_MARKETPLACE_LIST_ARGS = Object.freeze(['plugin', 'marketplace', 'list']);
 const QODER_PLUGIN_LIST_ARGS = Object.freeze(['plugins', 'list', '--json']);
 const QODER_MARKETPLACE_LIST_ARGS = Object.freeze(['plugins', 'marketplace', 'list', '--json']);
 const QODER_PAYLOAD_CONTRACT = 'external-marketplace-v1';
 
-function attachFoundationFailure(error, { envelope, stdout, stderr }) {
-  Object.defineProperties(error, {
-    foundationEnvelope: { value: envelope, enumerable: false },
-    foundationStdout: { value: stdout, enumerable: false },
-    foundationStderr: { value: stderr, enumerable: false },
-  });
-  return error;
-}
-
 function actionTarget(plan, action, host) {
   const parameters = action.parameters ?? {};
   const sourceDescriptor = parameters.sourceDescriptor ?? {};
@@ -253,13 +242,20 @@ function mergePostReleaseTargets(executableTargets, manualTargets) {
       if (!sameHub || !samePlugin) throw new Error(`post-release target identity conflict for ${target.unitId}/${target.host}/${target.plugin}`);
       continue;
     }
-    const hubMatchesExecutable = (hub, executable, hubTarget) => executable.marketplace === hub.name
-      && executable.marketplaceRepo === hub.repo
-      && executable.marketplaceRef === hub.ref
-      && executable.githubHost === hub.githubHost
-      && executable.pluginRepo === hubTarget.pluginRepo
-      && executable.pluginTag === hubTarget.pluginTag
-      && executable.pluginCommit === hubTarget.pluginCommit;
+    const hubMatchesExecutable = (hub, executable, hubTarget) => {
+      // Kimi installs the frozen GitHub release, not a marketplace index.
+      if (executable.host === 'kimi') {
+        return ['version', 'githubHost', 'pluginRepo', 'pluginTag', 'pluginCommit']
+          .every((field) => executable[field] === hubTarget[field]);
+      }
+      return executable.marketplace === hub.name
+        && executable.marketplaceRepo === hub.repo
+        && executable.marketplaceRef === hub.ref
+        && executable.githubHost === hub.githubHost
+        && executable.pluginRepo === hubTarget.pluginRepo
+        && executable.pluginTag === hubTarget.pluginTag
+        && executable.pluginCommit === hubTarget.pluginCommit;
+    };
     // When the same frozen plugin is available through both sources, the
     // executable action wins only when both frozen source identities agree.
     if (existing && existing.targetKind !== 'hub-backed' && target.targetKind === 'hub-backed') {
@@ -589,63 +585,8 @@ export function assertVerifiedReleaseRun(plan, runRecord) {
   }
 }
 
-function hostEnvironment(host, { kimiHome } = {}) {
-  const env = {};
-  for (const key of SAFE_ENV_KEYS) {
-    if (process.env[key] !== undefined) env[key] = process.env[key];
-  }
-  env.HOME ??= homedir();
-  env.PATH ??= '/usr/bin:/bin';
-  env.GIT_TERMINAL_PROMPT = '0';
-  if (host === 'codebuddy') env.CODEBUDDY_CONFIG_DIR = join(env.HOME, '.codebuddy');
-  if (host === 'workbuddy') {
-    env.CODEBUDDY_CONFIG_DIR = join(env.HOME, '.workbuddy');
-    env.WORKBUDDY_CONFIG_DIR = join(env.HOME, '.workbuddy');
-    env.CODEBUDDY_FORCE_LITE_WB_BUNDLE = '1';
-  }
-  if (host === 'kimi' && kimiHome) env.KIMI_CODE_HOME = kimiHome;
-  return env;
-}
-
-async function defaultRun(command, args, options = {}) {
-  return withTemporaryWorkspace(async (workspace) => {
-    const stdoutFile = 'stdout.log';
-    const stderrFile = 'stderr.log';
-    const envelope = await superviseProcess({
-      command,
-      args,
-      cwd: options.cwd ?? process.cwd(),
-      env: options.env ?? hostEnvironment('generic'),
-      timeoutPolicy: {
-        maxSeconds: Math.max(1, Math.ceil((options.timeout ?? 120_000) / 1000)),
-        killGraceSeconds: 5,
-      },
-      rawSink: { root: workspace.root, stdoutFile, stderrFile },
-      outputByteLimits: { stdout: 8 * 1024 * 1024, stderr: 8 * 1024 * 1024 },
-    });
-    const [stdout, stderr] = await Promise.all([
-      workspace.readFile(stdoutFile, { encoding: 'utf8' }),
-      workspace.readFile(stderrFile, { encoding: 'utf8' }),
-    ]);
-    if (!envelope.ok) {
-      const error = new Error(
-        `${command} exited ${envelope.exitStatus}${stderr.trim() ? `: ${stderr.trim()}` : ''}`,
-      );
-      error.exitStatus = envelope.exitStatus;
-      error.hostCommandUnavailable = envelope.processStatus === 'FAILED_TO_START';
-      error.details = {
-        processStatus: envelope.processStatus,
-        terminationReason: envelope.terminationReason,
-        watchdogReason: envelope.watchdogReason,
-        ...(envelope.evidence?.spawnError ? { spawnError: envelope.evidence.spawnError } : {}),
-      };
-      throw attachFoundationFailure(error, { envelope, stdout, stderr });
-    }
-    return { stdout, stderr };
-  }, { prefix: 'release-skill-host-command-' });
-}
-
-export { defaultRun as runLocalFinishCommand };
+const defaultRun = runLocalFinishCommand;
+export { runLocalFinishCommand };
 
 async function commandAvailable(command, host, run) {
   try {
@@ -682,13 +623,7 @@ async function defaultDetect(host, run = defaultRun) {
   return { available: true, command: host };
 }
 
-function parseJson(stdout, label) {
-  try {
-    return JSON.parse(stdout);
-  } catch {
-    throw new Error(`${label} did not return JSON`);
-  }
-}
+const parseJson = parseHostCommandJson;
 
 function foundationEnvelopeFromError(error) {
   return error?.foundationEnvelope ?? null;
@@ -1898,10 +1833,19 @@ async function observeKimiTarget(target, kimiHome, run) {
   const pluginRoot = await resolveContained(managedRoot, target.plugin);
   const declaredRoot = await resolveContained(managedRoot, relative(managedRoot, entry.root));
   if (declaredRoot !== pluginRoot) throw new Error('Kimi installed plugin root does not match its managed root');
-  const packageJson = parseJson(
-    await readFileContained(pluginRoot, 'package.json', { encoding: 'utf8' }),
-    'Kimi installed package manifest',
-  );
+  let manifestText;
+  let manifestLabel = 'Kimi installed package manifest';
+  try {
+    manifestText = await readFileContained(pluginRoot, 'package.json', { encoding: 'utf8' });
+  } catch (error) {
+    const missing = error?.code === 'ENOENT'
+      || error?.details?.causeCode === 'ENOENT'
+      || error?.details?.kind === 'missing-resource';
+    if (!missing) throw error;
+    manifestLabel = 'Kimi installed plugin manifest';
+    manifestText = await readFileContained(pluginRoot, 'kimi.plugin.json', { encoding: 'utf8' });
+  }
+  const packageJson = parseJson(manifestText, manifestLabel);
   const refName = entry.github.ref?.kind === 'tag' ? entry.github.ref.value : undefined;
   const revision = entry.github.installedSha;
   let gitHeadExact = true;