一句话：2025–2026 年 AI 治理密集出现一批"某些治理目标在结构上不可能同时达成"的定理级结果，它们散落在五个互不引用的文献簇里。本地图不证明任何新定理，只做三件事：逐块给出精确命题与临界条件、给出嵌套整合图（作者综合主张）、标出可能域里谁站得住——把不可能性文献从"丧钟"读成"设计约束"。本图是该文献簇的整合图与综述性梳理（双库检索验证；作者综合主张，不主张首创）。
五块不可能域
| 域 | 层 | 核心命题 | 代表文献 | 证据强度 |
|---|---|---|---|---|
| ① | 哲学层 | 算法封闭性与法律确定性要求存在结构性张力 | Kalulé 2019 / Springer 2019 / IJSL 2025 | 批判级 |
| ② | 可解释性层 | 监管三难：能力 × 可解释 × 低误差不可兼得 | Rao 2025 (arXiv:2504.20676) | 信息论级 |
| ③ | 判定层 | 语义级行为合规判定不可判定；出口=架构分离（计算/效果） | McCann 2026 (arXiv:2604.27292)；Rice 1953 | 定理级（Coq 454） |
| ④ | 责任层 | 自主性超阈值 × 人机反馈环 → 问责四公理不可兼得（问责地平线） | Tibebu & Shemtaga 2026 (arXiv:2604.07778) | 定理级 |
| ⑤ | 授权-观测层 | 可观测性不构成事前授权：监控≠许可 | Meyman 2026 / Fernandez 2026 / Zhu & Leonard 2026（三组独立发现互不引用） | 定理级 |
嵌套关系为作者综合主张，非共识；各域内部结论归原作者。域④与域③在"高自主性+人机反馈环"条件下交叠；域⑤与域③并列内环（一个关于判定、一个关于授权）。
可能域四问检验（任何治理体系都可自测）
① 你的治理动作依赖语义级判定吗？（域③：对图灵完备系统不可判定）
② 你的问责承诺隐含 Completeness（全额责任分配）吗？（域④：超阈值不可满足）
③ 你的透明度承诺忽视解释的信息下界吗？（域②：解释是有损压缩）
④ 你的"可观测性"被当成"授权能力"卖了吗？（域⑤：监控≠许可）
四问之后仍站得住的资产，才是不可能性文献之后仍然有效的资产。
对治理者的含义
治理的有效产出不是"合规声明"，而是判定与债务管理：显式化判定点（落到离散可判定属性）、显式化悬置（判据/证据/主体不齐时记账而非硬判——悬置的存量即判定债务，是治理体系最诚实的健康指标）、显式化边界（每项承诺说明自己不在哪块不可能域内）。
关联理论
LGD 全程治理论（有籍/有证/有门禁）→ 治理判定论（本图域③④的可能域方法底座）→ ACD 家族（NMPA 算法变更判定器，域③可能域实例）→ XCGS 证据链（域⑤合法侧：records ≠ verdicts）。完整工作稿见 lgd-theory 开放仓 papers/（中英双语）。
命名划界：与设计批评界 "impossible map" 概念无关；"regulatory impossibility results" 一词由 Rao（2025）首创，仅指其定理；全文不使用缩写指代本地图。
首席发声人：诺声（LGD · 判定论族）｜ 查重：九轮检索零撞车，命名短语双库 0 占用（2026-09-08）。
免责声明：内容基于公开学术文献与官方文件整理，标注核验日期 2026-09-08；所引第三方定理归其各自权利人所有；不构成法规意见，以官方最新发布为准。
首席发声人：诺声（LGD · 判定论族）｜ 查重：九轮检索零撞车，命名短语双库 0 占用（2026-09-08）。
免责声明：内容基于公开学术文献与官方文件整理，标注核验日期 2026-09-08；所引第三方定理归其各自权利人所有；不构成法规意见，以官方最新发布为准。
本文由 AI 助手生成，经人工审核。