docs(specs): 按 TD 裁决拆写 §6.2-1——generated 面已提供者必须委托使用

[Go1c]

依据

R-00259 卡上 TD 总调度追加裁决（2026-08-29）：上一轮我把「本仓是否应改为直接消费 generated 类型 / validator」作为设计结论变更上报而未自决；TD 核实后裁定要改，但改的是表述不是结论。

核实点（架构仓 origin/main，逐字复核过）：

• ADR-048 :4 Owner/consumers 行明列 LumioGame；
• ADR-048 :16："Two published rules make this unresolvable downstream: a repository must not invent a public contract, and it must use the generated validator."

→ 「must use the generated validator」对本仓生效。

改动

原 §6.2-1「本仓设计不依赖 generated 类型 / validator 存在」写于 catalog-only 时期，一句话承载两层真值已分离的含义，按裁决拆开：

含义	处置
「设计不因 generated 面缺失/收窄而阻塞」（架构韧性）	保留 —— 上游可能再次收窄或延期，韧性是对的
「本仓不使用 generated validator / 类型，自行实现一份」	作废 —— 违反 published rule；自造 = 发明第二套定义，必然漂移
「凡 generated 面已提供者，必须委托使用，不得另造」	新补为设计约束 —— published rule 的正面表述

委托口径与 LumioServer 一致（TD 同日裁决 R-00273 不得手写 MvpEnvelopeDocument DTO、R-00276 不得手写 permission gate 执行体）：不手写等价 DTO、不手写 gate 判定、不转抄常量。

新增 gate 能力边界红线：ProtocolGate 只校验「messageId 已注册为 MessageType」，不校验角色→消息权限（ADR-048 §2：架构源尚无 role→message 权限表，"the gate therefore checks registration and stops"）。若本仓发现仅此不够 → 停下、卡上标 BLOCKED 上报，不得本地补表（既发明公共契约，也抢跑仍 blocked 的 D-009）。

连带：

• §6.2-2 补明适配工程是消费通道而非再实现层——只做引用转发与形状适配，否则单点引用会变成单点重造，与 §6.2-1 自相冲突；
• §4.1 编译期红线补上「已闭合契约的类型本体与 ADR-022 gate 判定」；
• §8 该条 Known gap 转为「已裁决」留档；
• mvp spec 显式假设 A8 同步。

验证

• node .spec/tools/spec-lint.mjs → spec-lint: OK
• node --test .spec/tools/spec-lint.test.mjs → tests 13 / pass 13 / fail 0
• repository-policy.yml 逐条复跑通过；sha256sum -c docs/architecture/.baseline.sha256 → OK（exit=0，仓根执行，与 CI 一致）
• docs/specs/engineering/ 相对链接全可达，无 DEAD

纯文档改动，走 AGENTS.md 快速模式收口白名单，未派 reviewer。

🤖 Generated with Claude Code