host-contract-verification

# Host Contract Verification Skill ## 职责 当任务涉及宿主事件契约、Hook 可见回复、workspace 项目识别、bootstrap 护栏、产物链接可点击性、MCP bridge fallback 或部署副本同步时，本 Skill 负责把“怎么证明宿主行为真的成立”收口为可复审的验证路线。 它不替代 `test-router`、`report` 或 runtime tests，而是为这些产物提供统一的宿主证据模型。 ## 触发条件 | 场景 | 是否触发 | |------|:--------:| | Hook runtime / 宿主适配 / Hook 输出契约变更 | 🔴 必须 | | Stop / PreCompact 可见回复验证语义变更 | 🔴 必须 | | sticky `activeProject` / `mode` / workspace guard 变更 | 🔴 必须 | | Bootstrap、部署副本、父链同步口径变更 | 🔴 必须 | | `EntryCheckModelV3` / `DevCodexVisibleEnvelopeV3` / V1/V2 只读兼容 / `PostCompletionActionSetV1` / `UserFacingArtifactSetV1` / `LinkCapabilityDecisionV1` / `HostLinkCapabilityDecisionV2` / `ArtifactDeliveryAttemptV1` 变更 | 🔴 必须 | | Copilot / Codex MCP bridge 报错、`profile_load` fallback、`invoke undefined` 恢复链变更 | 🔴 必须 | | `ContextReadPlanV2` / `ContextReadReceiptV2`（含 V1 兼容）、Pre/Post 相关性、内容身份/复用、上下文读取 allowlist 或 fallback 语义变更 | 🔴 必须 | | 公开本地 probe、checkpoint 证据语义或 trace show/replay 变更 | 🔴 必须 | | 仅普通业务代码改动 | N/A | ## HostContractRoute | 字段 | 必填 | 说明 | |------|:----:|------| | `hostSurface` | ✅ | Copilot / Claude Code / Codex / instruction-fallback 中本轮实际验证的宿主面 | | `eventScope` | ✅ | `UserPromptSubmit` / `PreToolUse` / `PostToolUse` / `PreCompact` / `Stop` / bootstrap / deploy-sync | | `evidenceMode` | ✅ | direct replay / fixture replay / targeted test / validate probe / manual trace | | `fixtureSource` | 条件 | 使用 fixture replay 时记录脚本、payload 或样例来源 | | `visibleReplyEvidence` | 条件 | `verified-present` / `verified-missing`...