# Doctrine Concepts · 概念定义汇编（v0.1）

> SynomosAI 治理线 · 固定定义汇编页（doctrine page）
> 用途：为每个理论概念给出**唯一固定定义与引用定位语**；后续所有材料（论文/速查页/公众号/白皮书）引用概念时以本页为准。
> 状态：v0.1（2026-09-08 蒸馏自 P0/P2/P5 工作稿与速查页体系）。检索查重状态截至 2026-09-08。
> 版权 © 2026 赵兴华 / Xinghua Zhao（ORCID 0009-0001-0512-1237） ｜来源标识：LGD / SynomosAI Governance Line（非实体、非商标）。AS IS。

---

## 一、顶层骨架

### LGD 全程治理论 / Ling Gong Dao
- **一句话**：凡自治之物，有籍、有证、有门禁——治理对象全生命周期可锚定、可复放、有制度化判定点。
- **三定律**：LGD-I 有籍（对象可锚定）｜LGD-II 有证（判定可复放）｜LGD-III 有门禁（判定点制度化）
- **出处**：LGD 理论栈（见 `docs/theories/` 速查页）；论文矩阵 P0/P5 中获得判定论形式化
- **引用定位语**：生命周期骨架，不替代任何领域框架，为其提供治理位置坐标系

---

## 二、判定核心（P0 工作稿）

### 治理判定论 / the Doctrine of Governance Determinability
- **一句话**：**不可判定，则不可治理。** What cannot be determined cannot be governed.
- **展开**：AI 治理框架的效力瓶颈不在原则层，而在判定层——监管判据若不能形式化到企业与监管者可以一致判定的程度，治理只能产出声明，不能产出执行。
- **三支柱**：判定三要素与四态输出 ｜ 判据可形式化谱系 L0–L4 ｜ 判定债务与生命周期门禁
- **查重**：核心主体五项零撞车（2026-09-08）

### 判定 / determination（D2）
- **固定定义**：由明确主体，依据形式化程度 ≥L1 的判据与完备证据，对治理对象作出监管定性的行为。区别于运行时授权（回答"这个动作现在能执行吗"）——判定回答"这个对象/变更在监管上算什么"。

### 判据可形式化谱系 L0–L4
- **固定定义**：L0 声明态（原则口号，不可判定）→ L1 清单态（人工核对）→ L2 规则态（离散属性规则表，半自动）→ L3 代码态（机器执行）→ L4 证明态（形式化证明）。最优层级由「变更频率 × 违规代价」决定（层级律 P4）。

### 悬置 / undetermined（D7）
- **固定定义**：判据、证据、主体任一缺失时的**显式**判定结果——不猜、不拖、不默默放行，记录缺失要素并计入判定债务。三个出口：补证据重判 ｜ 判据升层重判 ｜ 规则在途挂起。

### 判定债务 / determination debt（D8）
- **固定定义**：已声明但未具备判定条件的治理要求之存量（悬置条目的累积）。为 closure gap 提供存量度量。
- **查重**：术语 0 占用（OpenAlex 标题级，2026-09-08）

### 四态输出
- **固定定义**：判定函数输出 ∈ {准入, 条件准入, 禁止, 悬置}。与 AEGIS 领域四分类、FERZ 三态裁决同族；本论给出领域无关一般形式。

### 复放 / replay（D10）
- **固定定义**：第三方以相同证据与判据重现相同判定结果。治理公信力正比于判定的可复放程度（复放律 A4）。

---

## 三、坐标系（P5 工作稿）

### 治理不可能域地图 / the Governance Impossibility Map
- **一句话**：把 2025–2026 密集出现的治理不可能性结果整合为一张嵌套图，标出不可能域的边界与可能域的站位——把"丧钟"读成"设计约束"。
- **五块不可能域**：
  | 域 | 层 | 代表结果 | 证据强度 |
  |---|---|---|---|
  | ① | 哲学层 | 算法清晰性批判（Kalulé 2019 / Springer 2019 / IJSL 2025） | 批判级 |
  | ② | 可解释性层 | 监管三难（Rao 2025，arXiv:2504.20676） | 信息论级 |
  | ③ | 判定层 | 行为式治理两边界（McCann 2026，arXiv:2604.27292；Rice 1953） | 定理级 |
  | ④ | 责任层 | 问责地平线（Tibebu & Shemtaga 2026，arXiv:2604.07778） | 定理级 |
  | ⑤ | 授权-观测层 | 可观测性不构成事前授权（Meyman 2026 / Fernandez 2026 / Zhu & Leonard 2026） | 定理级 |
- **嵌套声明**：嵌套关系为作者综合主张，非共识；各域内部结论归原作者
- **命名划界**：与设计批评界 "impossible map" 无关；"regulatory impossibility results" 术语归 Rao（2025）；全文不使用缩写指代本地图
- **查重**：论文级撞车零；命名治理语境 0 占用（2026-09-08 复扫）

### 可能域定位法
- **固定定义**：对任何治理体系做四问检验——依赖语义级判定吗（域③）？问责承诺隐含 Completeness 吗（域④）？透明度承诺忽视解释信息下界吗（域②）？可观测性被误当授权能力吗（域⑤）？四问后仍站得住的资产才是不可能性文献之后仍然有效的资产。

---

## 四、实例与配套

### ACD-MD（医械算法变更判定器）
- **一句话**：治理判定论第一个完整实例——输入七项离散申报属性，输出四态定性 + 临床评价路径 + 逐条条款溯源 + 可存档判定记录（谱系 L2）。

### XCGS 证据链底座
- **引用定位语**：判定可复放的基础设施（records ≠ verdicts 纪律——只声称记录与复放，不声称观测即授权；站在域⑤划出的合法侧）。

### A³ / PCC（母体约束）
- **引用定位语**：AI 造 AI 的源头约束——在自主性逼近问责阈值前引入制度回灌，不解决责任分配的数学不可能，但阻止系统进入"无框架可行"区。

### 共存论
- **引用定位语**：对监管三难的制度回应——三难不允许"零误差+全解释+全能力"，允许的是人机互补的误差分配；人在环不是完美解释，是误差的制度性分担。

### RRM 现实参照法 / Real-World Reference Method
- **引用定位语**：以现实世界既有参照物锚定 AI 行为预期的评价方法；6+1 领域实例化，唯一可迁移的原创方法资产。

---

## 五、引用惯例

1. 引用本页概念时使用中文名 + 英文全称，**不使用任何缩写**（GDD/GIM 教训：缩写歧义坑位一律弃用）
2. 引用先行者时使用固定定位语（如上），统一用"深化/程序补全/互补"，不写"补 X 的不足"
3. 本页与 `papers/` 工作稿同步演进：概念定义变更以本页 git 历史为准