[REQ-128][CODE] 宿主合同 v2:多组件 Bundle 图文法 + OAuth/Connection payload 形状 #749

Covers

alpha-work#49 AC5 的结构前提：Phase 1 交付的 HostExtensionPackageV1 在格式上写死了
「一个 package 恰好一个组件」，Phase 2 的 Bundle 与 OAuth/Connection 前置结构上不可能在
该合同下表达。本票把宿主合同升到 v2。

为什么需要这张票（无主缺口）

Phase 1 剪裁把 #694 与 alpha-web#95 的 Bundle 半场砍掉后，没有任何一张票重新认领。
两仓全部 OPEN 的 REQ-128 票逐张查过：alpha-web 侧四张分别是 Phase 3（#96/#98）、
Phase 4（#99）、真实载荷（#108），无一覆盖。这是「砍范围没闭合用户可达路径」在
比 #732 高一层的复现。

Ground truth（2026-07-31 实读 @ 59211fe8）

形状已预留：components 本就是数组、组件已带 required/dependencies、
decoder.ts:~258 已对 non-required 且不支持的组件返回 status:"skipped"。

Development plan

1. 信封 schema：components.maxItems 1→16、dependencies.maxItems 0→15、新增必填 root。
2. registry：增 maxComponents、maxMarkdownAssetBytes（清 #737 登记在案的 5 MiB 残留）
   与 alpha.mcp-oauth.v1/alpha.connection.v1 两个 token；同步 assertHostExtensionPackageRegistryV1()。
3. 冻结 OAuth/Connection 的 payload 形状：auth 枚举扩为 ["none","oauth","connection"]、
   decoder.ts 同步、新增 connectionHandlerId 字段及其文法。只加 token 不够。
4. decodeSingleComponent → decodeComponentGraph，flat 定义为四条：
   ①root 存在且 required === true；②root.dependencies 恰好等于全部 non-root id
   集合（无重复无遗漏无外部 id）；③每个 non-root 的 dependencies 为空；④id 全局唯一。
   这四条蕴含无环 / 深度 1 / 无孤儿 / 无第二根。
5. envelope.capabilities 改为全部组件的排序并集；derivePayloadCapabilitiesV1 增两分支。
6. package-installability.ts 逐组件；safe view 增 leaf 列表与逐 leaf 原因码；
   保留 :157-161 的 non-required root 拒绝。
7. binding 增 graphDigest（已批基线要求，Phase 1 单组件下未实现）。
8. 重跑 generate-artifact.ts（artifact SHA 会移动，是预期）。

skipped 组件的三层语义（本票冻结）

Acceptance and named gates

• flat 图文法 ≥11 个负向：重复 id / root 不在表内 / root 非 required / root.deps 重复 /
  root.deps 漏列 non-root（孤儿）/ root.deps 含外部 id / non-root deps 非空（嵌套）/ 自指 /
  环 / 超 maxComponents / capability 并集不符。
• skipped 三条语义闸：canonical「含一个已策展但宿主不支持的 optional child」的 Bundle，
  断言 union 仍含全部组件、该 child 零 fetch/零 tx item/零 claim/零 grant、
  preview 与 receipt 的 skip 原因逐字相同。
• graph tamper + capability tamper 两个负向。
• OAuth / Connection 各一正向、一未知字段负向、一非法 handler 文法负向、一 capability 派生向量。
• 过渡门一：本票合并后旧 vendored producer 产物在新合同下应当被拒。
  package-installability.wiring.test.ts:24-42,63-121 改为断言「旧产物 → 明确拒绝 + 具名 reason code」。
  禁止在测试里手工给旧夹具补 root —— 那是假门。
• req128-capability-matrix.test.ts 的新证据文件先进 delegates_to。
• artifact 自闸绿。

Dependencies

无。Phase 2 的其余各票依赖本票。

Out of scope

cloud profile、nested Bundle、semver solver、managed Plugin ABI、alpha-web 侧改动（另票）。

Exit condition

Merged PR + 上列 named gates 全绿 + 合同 docs 同步。