release-skill 0.9.0 → 0.9.3

package/adapters/claude/bin/rules.json

@@ -1,7 +1,7 @@
 {
   "schemaVersion": 1,
   "kind": "skill-family.contracts.rules",
-  "contractsVersion": "1.13.0",
+  "contractsVersion": "1.15.0",
   "budget": {
     "firstVersionMax": 20,
     "absoluteMax": 30,

package/adapters/claude/bin/schemas/consumer-contract-vector.schema.json

@@ -0,0 +1,149 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://contracts.skill-family.example/v1/consumer-contract-vector.json",
+  "title": "ConsumerContractVector",
+  "description": "A public, version-bound input and expected-observation vector for a Foundation consumer contract.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schemaVersion", "kind", "vectorId", "vectorSetId", "capabilityId", "foundationVersion", "contractId", "caseClass", "strategy", "request", "expected"],
+  "properties": {
+    "schemaVersion": { "const": 1 },
+    "kind": { "const": "skill-family.consumer-contract-vector" },
+    "vectorId": { "type": "string", "minLength": 1 },
+    "vectorSetId": { "type": "string", "minLength": 1 },
+    "capabilityId": { "type": "string", "minLength": 1 },
+    "foundationVersion": { "type": "string", "pattern": "^[0-9]+\\.[0-9]+\\.[0-9]+$" },
+    "contractId": { "type": "string", "minLength": 1 },
+    "caseClass": { "enum": ["positive", "negative", "indeterminate"] },
+    "strategy": { "enum": ["real-pure", "official-fake"] },
+    "request": { "type": "object" },
+    "expected": {
+      "oneOf": [
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["outcome", "valueRelation"],
+          "properties": {
+            "outcome": { "const": "return" },
+            "valueRelation": { "const": "atomic-write-contained-absolute-target" }
+          }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["outcome", "value"],
+          "properties": {
+            "outcome": { "const": "return" },
+            "value": {}
+          }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["outcome", "errorCode"],
+          "properties": {
+            "outcome": { "const": "throw" },
+            "errorCode": { "type": "string", "pattern": "^SFC[0-9]{4}$" }
+          }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["outcome", "errorCode", "errorKind"],
+          "properties": {
+            "outcome": { "const": "throw" },
+            "errorCode": { "type": "string", "pattern": "^SFC[0-9]{4}$" },
+            "errorKind": { "const": "path-traversal" }
+          }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["outcome", "allowedStates", "failClosed"],
+          "properties": {
+            "outcome": { "const": "indeterminate" },
+            "allowedStates": {
+              "type": "array",
+              "minItems": 1,
+              "items": { "enum": ["return", "throw", "indeterminate"] },
+              "uniqueItems": true
+            },
+            "failClosed": { "const": true }
+          }
+        }
+      ]
+    }
+  },
+  "allOf": [
+    {
+      "if": {
+        "properties": { "capabilityId": { "const": "foundation.harness.atomic-write" } },
+        "required": ["capabilityId"]
+      },
+      "then": {
+        "properties": {
+          "request": {
+            "type": "object",
+            "required": ["root"],
+            "properties": { "root": { "$ref": "#/$defs/atomicRoot" } }
+          }
+        }
+      },
+      "else": {
+        "properties": {
+          "request": {
+            "type": "object",
+            "properties": {
+              "root": {
+                "not": {
+                  "type": "object",
+                  "required": ["runtimeBinding"],
+                  "properties": { "runtimeBinding": { "const": "atomic-write-canonical-root" } }
+                }
+              }
+            }
+          }
+        }
+      }
+    },
+    {
+      "if": {
+        "properties": {
+          "capabilityId": { "const": "foundation.harness.atomic-write" },
+          "caseClass": { "const": "negative" }
+        },
+        "required": ["capabilityId", "caseClass"]
+      },
+      "then": {
+        "properties": {
+          "expected": {
+            "type": "object",
+            "required": ["errorKind"],
+            "properties": { "errorKind": { "const": "path-traversal" } }
+          }
+        }
+      },
+      "else": {
+        "properties": {
+          "expected": {
+            "type": "object",
+            "not": {
+              "required": ["errorKind"],
+              "properties": { "errorKind": true }
+            }
+          }
+        }
+      }
+    }
+  ],
+  "$defs": {
+    "atomicRoot": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["runtimeBinding"],
+      "properties": {
+        "runtimeBinding": { "const": "atomic-write-canonical-root" }
+      }
+    }
+  }
+}

package/adapters/claude/schemas/release-project.schema.json

@@ -791,6 +791,10 @@
           "items": {
             "type": "string"
           }
+        },
+        "preHookPublicSurfaceCheck": {
+          "type": "boolean",
+          "description": "Run the ephemeral public-surface closure gate before declared hooks"
         }
       }
     }

package/adapters/claude/schemas/release-run.schema.json

@@ -601,7 +601,47 @@
           "foundationStatus": { "const": "observed" },
           "payloadMatches": { "const": true },
           "observationDigest": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
-          "observedAt": { "type": "string", "format": "date-time" }
+          "observedAt": { "type": "string", "format": "date-time" },
+          "extraInstalledPaths": {
+            "type": "array",
+            "minItems": 1,
+            "uniqueItems": true,
+            "items": {
+              "type": "string",
+              "pattern": "^(?!/)(?!\\.\\/)(?!.*\\\\)(?!.*:)(?!.*(?:^|/)\\.\\.?(?:/|$))(?!.*\\/\\/)(?!.*\\u0000)(?!.*\\/$).+$"
+            }
+          },
+          "extraInstalledLinks": {
+            "type": "array",
+            "minItems": 1,
+            "uniqueItems": true,
+            "items": {
+              "type": "object",
+              "additionalProperties": false,
+              "required": ["path", "targetBase64", "bytes", "statMode"],
+              "properties": {
+                "path": {
+                  "type": "string",
+                  "pattern": "^(?!/)(?!\\.\\/)(?!.*\\\\)(?!.*:)(?!.*(?:^|/)\\.\\.?(?:/|$))(?!.*\\/\\/)(?!.*\\u0000)(?!.*\\/$).+$"
+                },
+                "targetBase64": {
+                  "type": "string",
+                  "minLength": 4,
+                  "pattern": "^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==|[A-Za-z0-9+/]{3}=)?$"
+                },
+                "bytes": {
+                  "type": "integer",
+                  "minimum": 1,
+                  "maximum": 9007199254740991
+                },
+                "statMode": {
+                  "type": "integer",
+                  "minimum": 0,
+                  "maximum": 65535
+                }
+              }
+            }
+          }
         }
       }
     },

package/adapters/claude/skills/release-config/SKILL.md

@@ -46,7 +46,7 @@ prepare 的真实输出是 plan 内的 `workflowDecision`。
 
 ## 正向执行路径
 
-1. 运行 `release-skill route --root <path> --json` 获取 diff 分类
+1. 运行 `release-skill route --root <path> [--target-version <ver>] --json` 获取 diff 分类；已知目标版本时显式传入，route 只是工作流建议
 2. 若推荐 `workflowKind === 'config-only'`，则使用本技能
 3. 执行步骤②：运行 `release-skill assess --root <path> --offline --json` 进行 schema validation
 4. 执行步骤③：运行 `release-skill prepare --offline --workflow config --target-version <ver> --json`
@@ -61,8 +61,10 @@ prepare 的真实输出是 plan 内的 `workflowDecision`。
 ## 确定性脚本调用
 
 ```bash
-# Step 1: Diff classification confirmation (config-only)
+# Step 1: Diff classification confirmation (config-only; pass the known target)
 node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" route --root <path> --json
+node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" route \
+  --root <path> --target-version <version> --json
 
 # Step 2: Assess with schema validation
 node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" assess --root <path> --offline --json
@@ -96,7 +98,7 @@ node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" verify \
 | prepare 检测到基线漂移 | BASELINE_DRIFT_DETECTED | 人工审查 drift 后决定是否继续或回滚 |
 | workflowDecision 不可判定（无对比 plan） | indeterminable | fail-safe 到 publish-needed，走场景 B |
 | approval expired | APPROVAL_EXPIRED | 重新执行 approve，digest 必须匹配 |
-| remote conflict at publish | REMOTE_CONFLICT | 人工决策：force override 或 cancel |
+| remote conflict at publish | REMOTE_CONFLICT | 人工决策；不得 force override 或覆盖远端状态 |
 
 ## 决策树 (Step 4)
 

package/adapters/claude/skills/release-docs/SKILL.md

@@ -36,7 +36,7 @@ plan 记录 `workflowKind: 'docs'` 与 `workflowDecision`（绑定进 plan diges
 
 ## 正向执行路径
 
-1. 运行 `release-skill route --root <path> [--target-version <ver>] --json` 获取 diff 分类和工作流推荐
+1. 运行 `release-skill route --root <path> [--target-version <ver>] --json` 获取 diff 分类和工作流建议；已知目标版本时显式传入，route 不承担发布授权
 2. 若推荐 `workflowKind === 'docs-only'`，则使用本技能
 3. 执行步骤②：调用 `check-style.mjs <doc-path>...` 执行事实/可读性/风格检查
 4. 执行步骤③：调用 `render-public-site.mjs --check [--repo <name>]` 验证渲染无漂移
@@ -49,8 +49,10 @@ plan 记录 `workflowKind: 'docs'` 与 `workflowDecision`（绑定进 plan diges
 ## 确定性脚本调用
 
 ```bash
-# Step 1: Diff classification (from release-skill route)
+# Step 1: Diff classification (from release-skill route; pass the known target)
 node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" route --root <path> --json
+node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" route \
+  --root <path> --target-version <version> --json
 
 # Step 2: Style-guard three gates (check-style.mjs takes file paths only)
 node "${WORKBUDDY_ROOT}/adapters/workbuddy/skills/skill-family-docs-style-guard/scripts/check-style.mjs" \

package/adapters/claude/skills/release-finish/SKILL.md

@@ -21,6 +21,7 @@ description: 发布达到 VERIFIED 后处理可选的本地收尾：按发布分
 
 ```bash
 node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill-local-finish.mjs" \
+  --root <project-root> \
   --plan <plan-path> \
   --run <verified-run-path> \
   --json
@@ -42,6 +43,7 @@ node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill-local-finish.mjs" \
 
 ```bash
 node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill-local-finish.mjs" \
+  --root <project-root> \
   --plan <plan-path> \
   --run <verified-run-path> \
   --update-local-hosts \
@@ -52,13 +54,13 @@ node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill-local-finish.mjs" \
 
 只传用户选择且计划声明的宿主。宿主 CLI 不存在时返回 `SKIPPED_NOT_INSTALLED`。各宿主按以下规则处理：
 
-- Claude、Codex 绑定冻结的 Git 引用，并在安装后核对插件、市场、版本和市场检出提交。
-- Kimi 先核对发布标签对应的提交，再通过受控的终端交互界面（TUI）安装，并读取本机安装根的版本、标签与修订号。
-- CodeBuddy/WorkBuddy 的 CLI 不能精确绑定 Git 引用。本机已是目标提交时返回 `ALREADY_CURRENT`，否则返回 `MANUAL_REQUIRED`，不执行“更新到最新”。
+- Claude 先重新绑定冻结市场，再重新观察安装状态；旧插件若仍存在，才调用正式更新命令。Codex 继续按正式市场协议移除并安装冻结的 Git 引用。两者都在安装后核对插件、市场、版本和市场检出提交。
+- Kimi 的精确当前安装会在返回 `ALREADY_CURRENT` 前核对真实载荷；发生安装或迁移时，只在操作完成后核对结果。包名、版本、发布标签、已安装修订号和受管安装根必须与冻结计划一致；`.git` 只提供附加诊断，不是通过条件。旧的本地路径安装会在同一个受控终端交互界面（TUI）会话中先移除，再按发布标签安装、确认信任并重新加载。
+- CodeBuddy/WorkBuddy 只处理同一 bundled-family 插件和市场。只有冻结标签与计划声明的可变分支都从同一远端解析到冻结提交时，才调用正式市场更新和插件更新命令；完成后重新读取安装列表，并精确核对唯一条目的市场、版本和修订号。目标未安装、来源不符、远端不可访问或身份不一致时返回 `MANUAL_REQUIRED`，不修改宿主。
 
 任何宿主失败都保留其他宿主的实际结果，不回滚，也不把失败冒充成功。
 
-完成后报告每个宿主的状态，并提醒用户重启已更新的宿主。
+完成后报告每个宿主的状态，并提醒用户重启已更新的宿主。本机结果只记录收尾事实，不改变发布状态。
 
 ## 临时归属
 

package/adapters/claude/skills/release-help/SKILL.md

@@ -12,11 +12,17 @@ description: "Discoverable entry point for release-skill: dependency and environ
 ## 职责
 
 - 依赖和环境检查：Node.js >= 22、Git 决定本地准备就绪度；npm/gh 另行决定生产依赖就绪度
-- 能力说明：缺少配置时走 `help → setup → assess`；已有配置的安全默认路径是 `help → assess → prepare --offline`；日常生产发布优先使用可恢复的 `ship`，兼容的分阶段闭环仍是 `prepare --online --production → approve → publish → verify`
+- 能力说明：缺少配置时走 `help → setup → assess`；已有配置的安全默认路径是 `help → assess → prepare --offline`；日常生产发布优先使用可恢复的 `ship`，兼容的分阶段闭环仍是 `prepare --online --production → approve → publish → verify`。冻结计划批准是正常发布级流程的唯一批准门；声明 `requiresApproval: true` 的 postPublish hook 仍须等待独立 checkpoint 批准
 - 最小示例：展示从 release-help 到 release-assess 的最短路径
 - 只读诊断：运行 dry-run 检查，不修改任何文件
 - 故障引导：根据错误码指向对应的修复 Skill
 
+## 0.9.3 候选边界
+
+当前源码候选已接入四项工作流保护、Hook cache v2 和稳定隔离安装树记录。三项 Foundation 依赖精确使用 0.15.0 的公开包根 API。Hook cache 只复用绝对路径或经真实 cwd 校验的 cwd-relative executable identity；裸 PATH、PATHEXT、Windows 和观察不可用时，Hook 仍冷执行，缓存复用失败关闭且不写入 v2 cache。缓存没有 TTL。
+
+稳定隔离安装树记录只在宿主命令退出、目录已隔离且扫描期间没有并发写入时执行；宿主附加链接只记录、不跟随，声明载荷中的 symlink 失败关闭，legacy 全树语义保持不变。0.9.3 仍是源码候选，不能从本说明推断已批准、发布或验证。
+
 **阶段通过规则**: `status` 与 `readiness.localPreparation.status` 只判断本地 help/assess/prepare；其充要条件是 `READY` 且 exit code 为 0。`missingRequired` 列出缺失的 Node/Git。生产发布必须另外读取 `readiness.productionPublish`：缺少 npm/gh 时为 `NOT_READY`，依赖存在时仍是 `AUTH_CHECK_REQUIRED`，因为 help 不访问网络、不验证认证。Agent 无权把本地就绪解释为生产就绪。
 
 **边界**: help 不修改文件系统、不执行外部写操作、不生成发布计划。优先探测 PATH 上的全局安装命令 `release-skill`，不可用时回退到源码路径。每个 unit 必须配置 `previousPublicBaseline`：首次发布且确认无前序版本用 none，已有版本用 bound + repo/ref/commit；none 不是绕过 publish 唯一性预检的开关。v0.1.1 已完成 GitHub/npm 真实生产发布、冻结 Git ref 的 Claude/Codex 消费者安装、精确 npm 安装 smoke 与最终 VERIFIED；生产等价本地协议套件继续覆盖 fake gh/npm/Claude/Codex 和本地 bare Git。测试未做 OS 级禁网，且一次成功发布不能证明其他项目的认证、权限、限流或最终一致性行为；每个项目的首次生产发布仍应作为受监控 canary。
@@ -26,7 +32,7 @@ description: "Discoverable entry point for release-skill: dependency and environ
 1. 使用插件根相对路径运行 CLI：`node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" help --json`
 2. 检查 `readiness.localPreparation`；需要生产发布时再检查 `readiness.productionPublish`
 3. 若环境就绪且缺少 `.release-skill/project.yaml`，先路由 `release-setup`；配置已存在才运行 `release-assess`
-4. 默认在审阅本地计划和快照后停止；只有用户明确要求且完成摘要审批时才路由到 `release-publish`
+4. 默认在审阅本地计划和快照后停止；只有用户明确要求且完成摘要审批时才进入 `release-publish`。已持有合法批准的 production plan 时，publish 自行完成权威校验，不把 route 当作授权门
 
 ## 确定性脚本调用
 
@@ -35,7 +41,8 @@ description: "Discoverable entry point for release-skill: dependency and environ
 node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" help --json
 node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" setup --root <path> --json
 node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" assess --root <path> --offline --json
-# 日常发布快速路径：仅在发布前确认一次可读计划摘要，状态文件可恢复
+# 日常发布快速路径：发布前确认可读计划摘要，状态文件可恢复。
+# 受限 postPublish hook 的 checkpoint 批准与计划批准分开。
 node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" ship --root <path> --target-version <version> --json
 # 开发阶段执行声明 hooks 并生成 prepare 可复用的内容绑定收据
 # 配置时刻即授权（FM-16 处置 A）：hook 是任意本地进程、无隔离、触发前无确认点，
@@ -75,7 +82,7 @@ node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" docs refresh --unit <id> \
 | CLI 入口不存在 | 确认 `${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs` 存在；不存在时重新安装插件 |
 | 项目配置不存在 | 路由 `release-setup`，默认只读；不得直接生成或覆盖 README/配置 |
 | assess 失败 | 运行 `node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" assess --offline --json` 获取详情 |
-| 请求生产发布 | 已有公开版本先调用 `release-prepare --online --production` 观察 bound 基线；人工审阅后再路由 `release-publish` |
+| 请求生产发布 | 已有公开版本先调用 `release-prepare --online --production` 观察 bound 基线；人工审阅后直接调用 `release-publish`，由 publish 自行完成计划、approval、digest、远端冲突和 `PARTIAL` 校验 |
 | RELEASE_DOCS_INVALID | 配置或说明源语义非法（重复键、alias、未知字段、版本漂移等）；修正配置或说明源后重新演练 |
 | RELEASE_DOCS_TRANSLATION_MISSING | 配置语种缺失或多余；补齐说明源语种，与 `releaseDocuments.locales` 完全一致，不得回退 |
 
@@ -84,8 +91,10 @@ node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" docs refresh --unit <id> \
 对于不清楚如何开始的用户，推荐使用 `release-skill route` 命令进行自动化工作流选择：
 
 ```bash
-# 快速分类变更并推荐工作流
+# 快速分类变更并推荐工作流；已知目标版本时显式传入，未知时省略
 node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" route --root <path> --json
+node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" route --root <path> \
+  --target-version <version> --json
 
 # JSON 输出包含 classification 和 recommendation 字段
 {

package/adapters/claude/skills/release-marketplace/SKILL.md

@@ -44,7 +44,7 @@ byte、platform manifest 是核心 gate，由 workspace 自己的生成器与
 
 ## 正向执行路径
 
-1. 运行 `release-skill route --root <path> --json` 获取 diff 分类
+1. 运行 `release-skill route --root <path> [--target-version <ver>] --json` 获取 diff 分类；已知目标版本时显式传入，route 只是工作流建议
 2. 若推荐 `workflowKind === 'marketplace-only'`，则使用本技能
 3. 执行步骤②：手动审查并更新 `plugins.mjs`（唯一 truth source）
 4. 执行步骤③：调用 workspace 自己的生成器再生成 `public-snapshot/`
@@ -59,6 +59,8 @@ byte、platform manifest 是核心 gate，由 workspace 自己的生成器与
 # Step 1: Diff classification confirmation (marketplace-only)
 node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" route \
   --root <workspace-root> --json
+node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" route \
+  --root <workspace-root> --target-version <version> --json
 
 # Step 2: Manual review and update plugins.mjs
 # Human-in-the-loop: entry is the sole truth source

package/adapters/claude/skills/release-prepare/SKILL.md

@@ -13,6 +13,8 @@ description: Freeze an immutable release plan with local configuration, document
 
 运行项目构建/测试 hook，生成公开快照并扫描泄漏，冻结不可变发布计划。prepare 自身不调用发布 adapter，但会执行用户配置的 hook。
 
+0.9.3 候选的 Hook cache v2 只复用有完整身份和输入证据的成功 Hook 结果。裸 PATH、PATHEXT、Windows、TTL、损坏记录或 Foundation 观察不可用时，缓存保持失败关闭，Hook 仍按完整路径冷执行；该机制不改变 prepare 的计划、批准和发布权威。
+
 **Hook 授权契约（配置时刻即授权，FM-16 处置 A）**: hook 是任意本地进程——在 `.release-skill/project.yaml` 中配置 hook 命令即完成授权，构成「配置时刻即授权」的显式契约。hook 不提供沙箱、无文件系统/网络隔离、触发前无确认点，命令调用本身即授权执行已配置的 hook 和 gate，不再设置额外人工授权环节；hook 可能产生项目目录外的副作用或远端写入，配置者须对其内容负责。旧参数 `--acknowledge-hook-side-effects` 和 `--acknowledge-gate-side-effects` 仍可解析，但只作为无效果的兼容输入，不能改变授权或执行语义。恢复「触发前强制确认门」属于后续加固项（属设计变更，需随新版本引入），当前版本不提供该确认门。
 
 **阶段通过规则**: 本阶段的通过只能由 CLI exit code 0 和结构化状态码 `PREPARED` 确认。Agent 无权自行宣布计划冻结成功。
@@ -29,7 +31,7 @@ description: Freeze an immutable release plan with local configuration, document
 2. 配置含 `releaseDocuments` 时，先运行只读演练 `${CLI} docs refresh --unit <id> --json`；`status: "changes"` 时展示逐文件路径/语种/版本/`refreshDigest`，取得"本地发布文档写入"明确授权后才执行 `nextCommand.argv` 写入，审阅并提交刷新结果后再继续；`status: "clean"` 时直接进入 prepare
 3. 运行 `${CLI} prepare --root <path> --offline --json`
 4. 检查 exit code 0，读取 JSON 返回的 immutable `planPath=plans/<planDigest>.json`，再从该文件读取 `status`、`units`、`externalActions`
-5. 向用户展示可读的 `approvalSummary`（版本、仓库/包、branch/tag、外部动作和例外）；`planDigest` 仅作为内部绑定字段，不要求用户复制或确认。后续 approve/publish 只能使用该 immutable planPath，等待确认后再 approve
+5. 向用户展示可读的 `approvalSummary`：版本、公开仓库、分支策略、branch/tag、npm 与 GitHub Release 目标、全部外部动作、例外，以及需要独立 checkpoint 批准的 postPublish hook。`planDigest` 仅作为内部绑定字段，不要求用户复制或确认。后续 approve/publish 只能使用该 immutable planPath，等待确认后再 approve。计划批准不包含受限 postPublish hook 的 checkpoint 批准
 
 若用户明确要求 GitHub+npm 生产发布，加入 `--production`。该模式还会封存独立
 Git commit/tree 和 npm tarball，并把路径、SHA/integrity、branch/tag 写入计划。
@@ -89,4 +91,4 @@ node "${CLAUDE_PLUGIN_ROOT}/bin/release-skill.mjs" prepare --root <path> --onlin
 
 ## 后续引导
 
-计划冻结后，读取命令返回的 immutable `planPath` 和 `approvalSummary` 展示给用户，等待确认后再 approve。`planDigest` 由系统自动计算和绑定，不作为人工交互口令。`release-plan.json` 等 latest alias 只用于浏览，不得作为生产 authority 传递。
+计划冻结后，读取命令返回的 immutable `planPath` 和 `approvalSummary` 展示给用户，等待确认后再 approve。`planDigest` 由系统自动计算和绑定，不作为人工交互口令。`release-plan.json` 等 latest alias 只用于浏览，不得作为生产 authority 传递。冻结计划批准是正常发布级流程的唯一批准门；有效 `requiresApproval: true` 的 postPublish hook 仍须使用绑定 `(planDigest, hookId)` 且最长有效 24 小时的独立 checkpoint 批准。

package/adapters/claude/skills/release-publish/SKILL.md

@@ -21,16 +21,23 @@ description: "从已批准的生产计划发布冻结 Git branch/tag、npm tarba
 
 ## 前置条件：工作流选择
 
-在运行 `release-publish` 之前，必须先完成快速入门决策路由（§4.3 Workflow Profile Support）：
+调用方持有合法、未过期且绑定当前 production plan 的 approval record 时，
+`release-publish` 直接执行自身的计划、批准、冻结制品身份和远端预检。`route` 只提供
+工作流建议，不是已批准 production plan 的授权门。
 
-1. 使用 `release-skill route --root <path> --json` 确定变更类型
-2. 根据推荐的 `workflowKind` 选择对应路径：
-   - `docs-only` → 先执行 `release-docs` 完整流程
-   - `config-only` → 先执行 `release-config`，仅在 public surface 变化时进入 publish
-   - `marketplace-only` → 先执行 `release-marketplace`，然后由 workspace exclusive skill 接管
-   - `full-happy-end` → 直接进入标准完整流程：`prepare → approve → publish → verify`
-   - `reconcile` → 先执行 `release-reconcile` 恢复 PARTIAL 状态
-   - `help` → 无变更，无需 publish
+尚未形成计划时，可以先使用 `release-skill route --root <path> --json` 确定变更类型。
+已知目标版本时一并传入 `--target-version <version>`，使恢复建议只读取与该目标绑定的
+完整运行血缘。未传目标时，route 仍按 diff/baseline 选择工作流；历史 diagnostics 只作
+报告，不得覆盖当前建议。
+
+根据推荐的 `workflowKind` 选择对应路径：
+
+- `docs-only` → 先执行 `release-docs` 完整流程
+- `config-only` → 先执行 `release-config`，仅在 public surface 变化时进入 publish
+- `marketplace-only` → 先执行 `release-marketplace`，然后由 workspace exclusive skill 接管
+- `full-happy-end` → 直接进入标准完整流程：`prepare → approve → publish → verify`
+- `reconcile` → 先执行 `release-reconcile` 恢复 PARTIAL 状态
+- `help` → 无变更，无需 publish
 
 **注意**: `release-publish` 是标准工作流中的第⑦步，必须在以下步骤之后：
 - 步骤⑤: `release-prepare` (或轻量级 prepare)
@@ -44,10 +51,12 @@ description: "从已批准的生产计划发布冻结 Git branch/tag、npm tarba
 
 ## 授权门
 
-1. 展示可读的 `approvalSummary`：版本、仓库/包名、branch/tag、全部 actions 和例外。
+1. 展示可读的 `approvalSummary`：版本、公开仓库、分支策略、branch/tag、npm 与 GitHub Release 目标、全部 actions、例外，以及需要独立 checkpoint 批准的 postPublish hook。
 2. 必须存在未过期且由系统绑定同一内部 digest 的 approval record；批准后不再要求用户复制摘要做二次确认。
 3. 只有 CLI exit code 0 且结构化状态为 `PUBLISHED` 才算外写阶段通过；随后必须运行 verify，只有 `VERIFIED` 才是完整终态。
 
+冻结计划批准是正常发布级流程的唯一批准门。它包含计划内的外部动作和验证门禁，不包含有效 `requiresApproval: true` 的 postPublish checkpoint。这类 hook 仍须使用绑定 `(planDigest, hookId)` 且最长有效 24 小时的独立批准记录。
+
 ## 确定性执行
 
 ```bash

package/adapters/claude/skills/release-verify/SKILL.md

@@ -29,6 +29,8 @@ verify 只接受 `PUBLISHED` 状态的源 run；`VERIFIED` 是终态，不会再
 
 验证远端所有自动化 action 的实际状态与冻结计划一致。执行精确 `<package>@<version>` npm 安装到隔离目录，验证包名、版本、静态入口闭包，并在配置时验证 bin 路径安全和 CLI 烟雾输出。对 Claude/Codex marketplace distribution 执行全新隔离消费者安装验证。新计划中的 Kimi/CodeBuddy 安装只返回 `manualFollowUps`，明确标记 `verifiedBySystem: false`，不阻塞 `VERIFIED`；缺少该策略字段的旧冻结计划继续走历史 attestation 兼容路径。
 
+0.9.3 的稳定隔离安装树记录只消费宿主命令退出后的隔离树观察：宿主附加 link 记录自身但不跟随，声明载荷 symlink 失败关闭，legacy 全树语义保持不变。该观察属于安装树事实，不替代远端状态、发布计划或 `VERIFIED` 判断。
+
 **attestation 证明力边界**: `attest` 命令记录的旧计划兼容人工证明（`humanConfirmed: true` → `PASSED_MANUAL`）是本地自声明收据，不是签名见证：`--actor` 仅做非空字符串校验，无外部签名或身份核验，任何能运行 CLI 的进程都能自称任意 actor；伪造收据需写 `.release-skill` authority 目录，与直接改写收据文件属同一信任边界。因此旧兼容路径的人工证明只用于旧冻结计划收尾，不构成独立可审计的人工见证。新计划的 Kimi/CodeBuddy 安装一律走 `manualFollowUps`（`verifiedBySystem: false`），不参与 `VERIFIED` 终态判定。
 
 **阶段通过规则**: 只有 CLI exit code 0 和结构化状态码 `VERIFIED` 才是完整终态。

package/adapters/claude/src/schemas/executable-identity-observation.schema.json

@@ -0,0 +1,162 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://contracts.skill-family.example/v1/executable-identity-observation.json",
+  "title": "Executable identity observation",
+  "description": "A single, private observation of an executable lookup and its explicit launch image. Absolute roots and file bytes are intentionally represented only by the bound root and digest facts.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schemaVersion", "kind", "lookup", "canonicalEntry", "interpreter", "launch", "observationDigest"],
+  "properties": {
+    "schemaVersion": { "const": 1 },
+    "kind": { "const": "skill-family.executable-identity-observation" },
+    "lookup": { "$ref": "#/$defs/lookup" },
+    "canonicalEntry": { "$ref": "#/$defs/canonicalEntry" },
+    "interpreter": {
+      "oneOf": [
+        { "type": "null" },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["request", "canonicalEntry", "shebangArgs"],
+          "properties": {
+            "request": {
+              "oneOf": [
+                { "$ref": "#/$defs/bareCommand" },
+                { "$ref": "#/$defs/absolutePath" }
+              ]
+            },
+            "canonicalEntry": {
+              "allOf": [
+                { "$ref": "#/$defs/canonicalEntry" },
+                { "type": "object", "properties": { "entryKind": { "const": "native-binary" } } }
+              ]
+            },
+            "shebangArgs": {
+              "type": "array",
+              "maxItems": 8,
+              "items": { "type": "string", "minLength": 1, "maxLength": 256, "pattern": "^[^\\u0000\\r\\n]+$" }
+            }
+          }
+        }
+      ]
+    },
+    "launch": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["file", "argvPrefix"],
+      "properties": {
+        "file": { "$ref": "#/$defs/absolutePath" },
+        "argvPrefix": {
+          "type": "array",
+          "maxItems": 8,
+          "items": { "$ref": "#/$defs/absolutePath" }
+        }
+      }
+    },
+    "observationDigest": { "$ref": "#/$defs/sha256" }
+  },
+  "allOf": [
+    {
+      "if": {
+        "type": "object",
+        "properties": { "canonicalEntry": { "type": "object", "properties": { "entryKind": { "const": "interpreter-script" } }, "required": ["entryKind"] } },
+        "required": ["canonicalEntry"]
+      },
+      "then": {
+        "type": "object",
+        "properties": {
+          "interpreter": { "type": "object" },
+          "launch": { "type": "object", "properties": { "argvPrefix": { "type": "array", "minItems": 1 } } }
+        }
+      },
+      "else": {
+        "type": "object",
+        "properties": {
+          "interpreter": { "type": "null" },
+          "launch": { "type": "object", "properties": { "argvPrefix": { "type": "array", "maxItems": 0 } } }
+        }
+      }
+    }
+  ],
+  "$defs": {
+    "sha256": { "type": "string", "pattern": "^[0-9a-f]{64}$" },
+    "absolutePath": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 4096,
+      "pattern": "^/(?:[^/\\\\\\u0000]+(?:/[^/\\\\\\u0000]+)*)?$",
+      "not": { "pattern": "(?:^|/)\\.{1,2}(?:/|$)" }
+    },
+    "relativePath": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 4096,
+      "pattern": "^(?!/)(?!.*(?:^|/)\\.\\.(?:/|$))(?!.*(?:^|/)\\.(?:/|$))(?!.*\\\\)(?!.*\\u0000)[^/\\\\\\u0000]+(?:/[^/\\\\\\u0000]+)*$"
+    },
+    "bareCommand": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 256,
+      "pattern": "^[^/\\\\\\u0000]+$"
+    },
+    "rootBinding": { "$ref": "https://contracts.skill-family.example/v1/filesystem-root-binding.json" },
+    "lookup": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["requested", "mode", "selectedPath"],
+      "properties": {
+        "requested": { "type": "string", "minLength": 1, "maxLength": 4096 },
+        "mode": { "enum": ["absolute-path", "explicit-path-search"] },
+        "path": { "$ref": "#/$defs/absolutePath" },
+        "pathEntries": {
+          "type": "array",
+          "minItems": 1,
+          "maxItems": 64,
+          "uniqueItems": true,
+          "items": { "$ref": "#/$defs/absolutePath" }
+        },
+        "selectedPath": { "$ref": "#/$defs/absolutePath" }
+      },
+      "allOf": [
+        {
+          "if": { "type": "object", "properties": { "mode": { "const": "absolute-path" } }, "required": ["mode"] },
+          "then": {
+            "type": "object",
+            "required": ["path"],
+            "properties": { "path": {}, "pathEntries": false }
+          },
+          "else": {
+            "type": "object",
+            "required": ["pathEntries"],
+            "properties": { "pathEntries": {}, "path": false }
+          }
+        }
+      ]
+    },
+    "symlink": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["path", "targetBase64", "bytes"],
+      "properties": {
+        "path": { "$ref": "#/$defs/absolutePath" },
+        "targetBase64": { "type": "string", "pattern": "^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==|[A-Za-z0-9+/]{3}=)?$" },
+        "bytes": { "type": "integer", "minimum": 0, "maximum": 1048576 }
+      }
+    },
+    "canonicalEntry": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["path", "symlinkChain", "binding", "relPath", "sha256", "bytes", "statMode", "entryKind"],
+      "properties": {
+        "path": { "$ref": "#/$defs/absolutePath" },
+        "symlinkChain": { "type": "array", "maxItems": 40, "items": { "$ref": "#/$defs/symlink" } },
+        "binding": { "$ref": "#/$defs/rootBinding" },
+        "relPath": { "$ref": "#/$defs/relativePath" },
+        "sha256": { "$ref": "#/$defs/sha256" },
+        "bytes": { "type": "integer", "minimum": 0, "maximum": 1073741824 },
+        "statMode": { "type": "integer", "minimum": 0, "maximum": 4294967295 },
+        "entryKind": { "enum": ["native-binary", "interpreter-script", "opaque-executable"] }
+      }
+    }
+  }
+}