Host Contract Verification

ContextAcquisitionHostEvidenceGate

• ContextAcquisitionToolAllowlistProbe 只允许已注册的只读 Profile / memory 查询工具推进 source state；普通文件搜索、写工具、legacy no-args 全文读取或未知工具不得伪造完成。
• PreToolUse 只记录 correlated attempted；只有 PostToolUse 中可解析的成功结果，且 invocation planId、planContentId、contextEpoch、activeRoot、tool/source/query 全部匹配时，才生成或推进 ContextReadReceiptV2（V1 兼容）。
• ContextDeliveryReuseHostProbe 必须分别证明 computation reuse 与 delivery reuse：跨进程只允许复用内容身份绑定的计算元数据；正文省略还必须同 host session、同 epoch、同 source identity 且当前模型已有成功 body observation。宿主无法提供稳定 session 或 Post body 证据时 delivery reuse 必须降级为 false。
• 需覆盖结构化 MCP、path-observable 与 instruction-only 三种宿主能力；后两者缺少可验证结果时必须保持 unverified，不能由提示文案升级为 relevant-complete/completed。
• MCP bridge 失败只允许一次同计划 bounded fallback 并停止重试；fallback 失败或证据不可观察时输出 warnings / missing sources，但不得形成死循环或跳过后续安全与 CP 门禁。
• Progressive SkillRoute enforcement policy 缺失、损坏或字段非法时必须使用受控 fail-safe：所有宿主的 PreToolUse/PermissionRequest 保持 advisory-only；Stop 等非操作生命周期事件可按宿主能力恢复 hard default。bootstrap 与 observe 均保持。
• direct/fixture replay 至少覆盖 success、tool error、mismatched epoch/target/source、duplicate/stale Post、legacy projection 和 hidden full-read mutation；报告区分 server direct success 与 host bridge verified。

1. 报告必须说明证据来自 direct replay、fixture replay、现有 targeted test，还是 validate probe 推断。
2. 无法直接读取最终 assistant 内容时，只能落为 unverified，不能伪造 verified-present。
3. workspace guard 场景必须写清“唯一项目继续沿用”“真实歧义重新提示”“workspace profile 路径”三类边界是否覆盖。
4. 若宿主不支持某类硬拦，只能记录为能力差异或 fallback，不得把缺失能力写成已验证通过。
5. 产物链接必须区分“Markdown 主链接已生成”“当前宿主可点击已实测”“绝对路径 copy fallback 已提供”三种证据；不得把第一项等同于后两项。
6. profile_load / MCP 工具出现 Cannot read properties of undefined (reading 'invoke') 时，若 DevCodex MCP server direct replay 通过，应记录为宿主 MCP bridge 失败并启用 mcpFallback=used，禁止反复重试同一 MCP 调用。
7. Turn Liveness 声明必须分别标注 host-native-verified / hook-event-verified / sidecar-observed / unsupported / unverified；PostToolUse 落盘只能证明工具结果已观察，不能证明模型续接或 turn 已终态。
8. CheckpointValidationResultV1 缺失 post-execution evidence 时只能是 unverified 或 incomplete-timeout；只有实际 Hook terminal evidence 才能通过，禁止把等待或 PreCompact 当完成。
9. LocalTaskTraceV1 只保留当前 turn 的 typed data projection；replay 不得 dispatch payload、重放 mutation、改 lifecycle state、唤醒宿主或控制进程。
10. workspace-namespace 下项目根存在 generated .grok/AGENTS.md 是作用域异常而不是部署成功证据；只有 workspace plugin、用户注册、两 cwd 同 identity 与工作区外 no-op 同时通过，才能升级 Grok workspace 结论。
11. plain host 与显式 launcher fallback 必须分别记录 commands/evidenceMode/evidenceCeiling；任何一方通过都不能替另一方升级结论。
12. Grok HostParity partial 闭环（PF-165）：doctor/status 的 hostParity 必须能给出 failedChecks + 可执行 repairSteps（command + detail）；宣称已修复 registration/plugin 缺口时，证据须含再次 doctor --json 的 checks 回读，不得只写「建议 update」。
13. GrokTurnChecklist：声称「Grok 完整工作流已执行」时，报告/回执须覆盖 entry-pc0-pc7、skill-bundle、report-memory 与 honest-ceiling；负向探针见 classifyGrokTurnOmissionSample（scripts/lib/host-parity-scorecard.js）。

NativeCommandExitCodeGate 可执行适配

• 仓库内需要串行执行原生命令并保留证据的维护脚本优先复用 scripts/lib/checked-command.js 的 runChecked / runSequenceChecked，统一记录 command、cwd、exitCode、signal、duration 与 stdout/stderr 摘要。
• 默认 shell:false；只有调用方记录 allowShellReason 时才允许 shell。positional path 中的字面 glob 必须在 spawn 前拒绝，显式 --glob/-g 等 option value 除外。
• 适配器只是实现路径，不替代 direct replay / fixture replay；必须用 nonzero、ENOENT、失败短路和 literal-glob 负向 fixture 证明不会假绿。

与其他 Skill 的关系

• test-router：决定宿主验证是否进入 direct replay / fixture replay / targeted test。
• execution-contract：记录 verificationEvidence，说明本轮要收集哪些宿主证据。
• source-consumer-sync：当宿主契约变化会影响 README / website / Profile / 部署副本时，负责同步消费链。
• report：把 HostContractRoute 的结果写入实施报告或审查报告。

输出格式

## HostContractRoute

| 字段 | 内容 |
|------|------|
| hostSurface | |
| eventScope | |
| evidenceMode | |
| fixtureSource | |
| visibleReplyEvidence | |
| workspaceGuard | |
| bootstrapScope | |
| artifactLinkMatrix | |
| mcpFallback | |
| contextAcquisition | plan/epoch/target/source、allowlist、Pre/Post、receipt、fallback 与完成状态 |
| turnLiveness | capability layer、lease/ACK/terminal/checkpoint、fault matrix 与证据状态 |
| localProbe | descriptor/dependency/local-only/zero-write 与 CLI 证据 |
| checkpointValidation | response-time/post-execution 结果、deadline 与证据状态 |
| localTaskTrace | ordered events、terminal、restart、read-only replay 与 source hash |
| commands | |

禁止

• 禁止仅凭 README / prompt 文案就断言宿主契约已验证。
• 禁止把 npm test 通过等价为 direct replay 已覆盖。
• 禁止在需要 direct replay 的场景下只保留人工口头判断。
• 禁止把 Hook 下一事件到达时的 stale 检测写成无事件时可自唤醒；禁止用 sidecar 观察授权自动进程或宿主状态 mutation。
• 禁止把 trace replay 写成 operation replay，或执行 payload 中的命令、文件动作和工具调用。