title: "分域憲章：結構域、概念身份與角色型別系統" english_title: "The Domain Charter: Structural Domains, Concept Identity, and Role-Type Systems" author: "Neo.K（許筌崴）／EveMissLab" version: "v0.1" date: "2026-07-25" status: "Foundational Charter Draft" language: "zh-Hant" series: "分域證書化理論工程 II" predecessors: - "分域證書化理論工程：混合型理論的概念提取、接口重構與認識狀態管理 v0.1" - "X 約束算子論：局部有限、全局無界的非數值應用約束演算 v0.1" keywords: - 分域憲章 - 結構域 - 概念身份 - 角色型別 - X 約束算子 - 權限算子 - 權威 - 跨域接口 - 證書化理論工程 - AI 原生理論治理

分域憲章：結構域、概念身份與角色型別系統

The Domain Charter: Structural Domains, Concept Identity, and Role-Type Systems

作者： Neo.K（許筌崴）
機構： EveMissLab（一言諾科技有限公司），台灣
系列： 分域證書化理論工程 II
版本： v0.1
日期： 2026-07-25

摘要

本文提出「分域憲章」：一套用於混合型理論、知識系統、AI Agent、計算流程與現實組織的結構域治理框架。其目的不只是將概念分類到不同領域，而是建立一個可檢查、可執行、可診斷且可產生證書的憲法層，使每個概念的身份、角色、權限、跨域轉換與版本變化皆具有明確合法性條件。

本文延續分域證書化理論工程，將理論視為多個異質結構域及其接口所構成的系統；同時引入 X 約束算子，使原本靜態的分域表轉化為動態治理機制。每一個域不只宣告其容納哪些概念，還必須宣告身份判準、允許角色、合法操作、進入與離開條件、跨域接口、失敗語義與證書義務。

本文的核心區分是：

\boxed{ \text{結構域} \neq \text{概念身份} \neq \text{角色} \neq \text{權限} \neq \text{操作}. }

一個概念屬於哪一域，不等於它在某段推論中扮演什麼角色；一個主體是誰，不等於其目前擔任何角色；一個主體具備某項能力，不等於其被允許執行；具有執行權限，也不等於具有修改權限規則的權威。

本文進一步將權限表示為 X 約束算子。權限不被視為主體的固定內在屬性，而是依賴主體身份、當前角色、候選操作、操作對象、上下文、授權來源與版本的關係性判定：

X_{\mathrm{perm}}: \mathcal A(s,o,\Gamma) \rightharpoonup \mathcal A_{\mathrm{allowed}}(s,o,\Gamma) \sqcup \mathcal F_{\mathrm{perm}}.

本文也區分兩類角色型別：概念在理論推論中的「推論角色」，以及行動主體在制度系統中的「制度角色」。前者包括對象、觀測、約束、證據、目標、決策、接口與證書；後者則由權限、義務、禁止、責任與授權能力所構成。角色不是身份，角色束也不是人格，而是一組在特定上下文中生效的 X 約束算子。

分域憲章最終形成以下治理鏈：

\boxed{ \text{分域} \longrightarrow \text{身份確認} \longrightarrow \text{角色指派} \longrightarrow \text{X 約束檢查} \longrightarrow \text{合法跨域操作} \longrightarrow \text{證書}. }

本文將其定位為分域證書化理論工程的憲法層，也是未來建立 AI 可檢查理論庫、權限系統、概念版本控制、跨域接口與自主研究治理的基礎。

關鍵詞

分域憲章；結構域；概念身份；角色型別；X 約束算子；權限算子；權威；能力；跨域接口；證書化理論工程；AI 原生理論治理

0. 憲章定位

0.1 為什麼需要憲章

分域證書化理論工程已經指出：一個理論不能只被看成線性文本，而應被看成多個結構域及其接口所構成的系統。

然而，僅僅列出結構域仍然不夠。

若缺少憲章，仍會出現：

同一詞在不同域中被誤認為同一概念；
對象的屬性被誤寫成對象的型別；
觀測結果被直接升格為約束；
證據被當成結論；
角色被當成身份；
能力被當成權限；
權限被當成權威；
跨域映射被自然語言敘述掩蓋；
概念版本更新後仍被假定保持原身份；
AI 在沒有授權與接口證書時繼續展開理論。

所以，分域憲章不只是分類目錄，而是一套規定：

哪些概念可以進入哪一域、以何種身份存在、扮演何種角色、接受哪些操作、由誰操作，以及操作後如何證明合法。

0.2 憲章的三層功能

分域憲章包含三層：

第一層：結構域憲章

回答：

哪些概念屬於哪一域；
每一域的身份判準；
每一域允許哪些物件與操作；
域與域之間如何建立接口。

第二層：身份與角色型別

回答：

一個概念何時仍是同一概念；
名稱、版本、實現、角色改變是否破壞身份；
概念在推論中扮演什麼角色；
行動主體在制度中扮演什麼角色。

第三層：X 約束治理

回答：

哪些操作被允許；
哪些主體可執行；
哪些接口可通過；
哪些資料與證書必須存在；
失敗、衝突與未決如何輸出。

0.3 憲章不是本體終局

本文不主張存在唯一、永久、超越上下文的結構域劃分。

分域憲章是一套版本化制度：

\mathfrak C^{(0.1)}, \mathfrak C^{(0.2)}, \ldots

憲章可以修訂，但修訂本身必須有：

修改權限；
變更理由；
影響範圍；
身份連續性判定；
重驗證義務；
版本證書。

1. 基本憲章物件

1.1 分域憲章總體

定義一個分域憲章：

\boxed{ \mathfrak C = \left\langle \mathcal D, \mathcal I, \mathcal R, \mathcal X, \mathcal J, \Gamma, \mathcal E, \mathcal K \right\rangle. }

其中：

$\mathcal D$ ：結構域族；
$\mathcal I$ ：身份判準族；
$\mathcal R$ ：角色型別族；
$\mathcal X$ ：憲章 X 約束算子族；
$\mathcal J$ ：跨域接口族；
$\Gamma$ ：上下文、版本與有效期間；
$\mathcal E$ ：外部來源與授權證據；
$\mathcal K$ ：合法性證書族。

1.2 結構域

每一結構域定義為：

\boxed{ D_k = \left\langle \operatorname{Name}_k, \operatorname{Objects}_k, \operatorname{Identity}_k, \operatorname{Roles}_k, \operatorname{Operations}_k, \operatorname{Ingress}_k, \operatorname{Egress}_k, \operatorname{Failure}_k, \operatorname{Cert}_k \right\rangle. }

其中：

$\operatorname{Objects}_k$ ：可在域中存在的物件；
$\operatorname{Identity}_k$ ：域內身份判準；
$\operatorname{Roles}_k$ ：可扮演的角色；
$\operatorname{Operations}_k$ ：允許操作；
$\operatorname{Ingress}_k$ ：進入條件；
$\operatorname{Egress}_k$ ：離開或輸出條件；
$\operatorname{Failure}_k$ ：域內失敗語義；
$\operatorname{Cert}_k$ ：所需證書。

1.3 域成員資格

概念 $c$ 屬於域 $D_k$ ，不只是一個標籤：

c\in D_k.

還應附帶域成員證書：

\mathsf{DCert}(c,D_k,\Gamma).

證書至少回答：

為何屬於此域；
以何種型別存在；
使用哪一版定義；
是否同時屬於其他域；
跨域時需要哪些接口。

2. 結構域基本分類

2.1 對象域

\mathcal D_{\mathrm{object}}

容納被研究、被操作或被指涉的對象。

它回答：

理論或系統正在處理什麼？

對象可以是：

現實物件；
計算狀態；
文件；
程式；
主體；
組織；
理論概念；
候選解；
流程節點。

2.2 身份域

\mathcal D_{\mathrm{identity}}

容納對象同一性、版本連續性與身份判準。

身份域回答：

在哪些改變之後，我們仍將它視為同一個對象或同一個概念？

2.3 類型域

\mathcal D_{\mathrm{type}}

容納良構性與可操作性分類。

類型回答：

哪些輸入、輸出與合成是合法的？

類型不等於屬性。

2.4 屬性域

\mathcal D_{\mathrm{property}}

容納對象在指定上下文中具有的述詞或狀態。

屬性可以改變，而不必改變對象身份。

2.5 關係域

\mathcal D_{\mathrm{relation}}

容納兩個或多個對象之間的關聯。

例如：

所有權；
依賴；
因果；
授權；
隸屬；
引用；
版本衍生；
語義對應。

2.6 角色域

\mathcal D_{\mathrm{role}}

容納概念或主體在某個結構中的位置與功能。

角色不是身份本身，而是上下文依賴的功能位置。

2.7 能力域

\mathcal D_{\mathrm{capability}}

容納主體或系統在事實上能完成哪些操作。

能力是可行性問題，不是合法性問題。

2.8 權限域

\mathcal D_{\mathrm{permission}}

容納哪些主體在何種角色與上下文中被允許執行哪些操作。

權限是關係性規則，不是單一主體的固定內在屬性。

2.9 權威域

\mathcal D_{\mathrm{authority}}

容納建立、修改、委任、撤回或覆寫權限規則的合法能力。

權威不等於一般操作權限。

2.10 義務與禁止域

\mathcal D_{\mathrm{deontic}}

容納：

必須執行；
不得執行；
可以執行；
需要批准；
需要留下紀錄。

它將規範狀態與事實能力分離。

2.11 操作域

\mathcal D_{\mathrm{operation}}

容納可候選、可執行或已執行的操作。

操作是權限算子的直接作用對象之一。

2.12 上下文域

\mathcal D_{\mathrm{context}}

容納：

時間；
地點；
任務；
系統版本；
安全狀態；
組織規則；
有效期間；
例外條件。

許多身份、角色與權限只能相對於上下文判定。

2.13 觀測域

\mathcal D_{\mathrm{observation}}

容納系統實際取得的投影、資料與檢查結果。

觀測不等於對象本身，也不等於約束。

2.14 證據域

\mathcal D_{\mathrm{evidence}}

容納支持主張、角色指派、權限判定與版本變更的來源。

2.15 語義域

\mathcal D_{\mathrm{semantics}}

容納形式項如何被解釋到模型、系統或現實。

2.16 證書域

\mathcal D_{\mathrm{certificate}}

容納一次分類、指派、判定、跨域轉換或執行為何合法的可重現記錄。

2.17 歷史與版本域

\mathcal D_{\mathrm{history}}

容納概念、角色、政策、接口與證書的時間演化。

歷史資料不等於當前狀態，但可能決定身份連續性與責任歸屬。

3. 域、身份、角色與操作的根本分離

3.1 所屬域不等於身份

一個概念屬於「權限域」，不表示它的身份就是「權限」。

域是結構位置，身份是同一性判準。

\boxed{ \operatorname{Domain}(c) \neq \operatorname{Identity}(c). }

3.2 身份不等於角色

同一個對象可以扮演多種角色：

\mathsf{Id}(s)=\iota,

但：

\mathsf{Role}(s,\Gamma_1)=r_1,

\mathsf{Role}(s,\Gamma_2)=r_2.

只要身份判準未被破壞：

\mathsf{Id}(s)

仍可保持。

3.3 角色不等於權限

角色通常攜帶一組預設權限，但角色名稱本身不是權限判定。

\mathsf{Role}(s)=r

不能直接推出：

\mathsf{Allowed}(s,a,o,\Gamma).

仍需權限算子檢查。

3.4 權限不等於操作

被允許執行，不表示操作已發生：

\mathsf{Permitted}(s,a) \not\Rightarrow \mathsf{Executed}(s,a).

3.5 能力不等於權限

\boxed{ \mathsf{Capable}(s,a) \neq \mathsf{Permitted}(s,a). }

一個主體可能能做但不被允許；也可能被允許，但暫時缺乏能力或資源。

3.6 權限不等於權威

\boxed{ \mathsf{Permitted}(s,a) \neq \mathsf{AuthorizedToModify}(s,\mathsf{Policy}_a). }

能執行某操作，不表示有權授權他人或修改該操作的規則。

4. 概念身份系統

4.1 身份不是名稱相等

兩個名稱相同的概念可能不是同一概念；兩個名稱不同的概念也可能具有同一結構身份。

因此：

\operatorname{Name}(c)=\operatorname{Name}(c')

既不是身份相同的充分條件，也不是必要條件。

4.2 相對身份

身份應相對於域、上下文與版本判定：

\boxed{ c\sim_{D,\Gamma,v} c'. }

其中：

$D$ ：判定所在結構域；
$\Gamma$ ：上下文；
$v$ ：憲章或概念版本。

4.3 五層身份

概念身份至少可分為：

符號身份

是否使用同一識別符或名稱。

結構身份

是否保持核心關係、型別與組成。

功能身份

是否仍在系統中實現同一功能。

歷史身份

是否具有可追蹤的版本連續性。

規範身份

制度或憲章是否仍承認其為同一對象。

這五層可以一致，也可以分離。

4.4 身份判準

每個概念 $c$ 必須登錄：

\mathsf{IdentityProfile}(c) = \left\langle \mathsf{Invariant}, \mathsf{Mutable}, \mathsf{Versioned}, \mathsf{Breaking}, \mathsf{Authority} \right\rangle.

其中：

$\mathsf{Invariant}$ ：改變後即不再是同一概念的核心；
$\mathsf{Mutable}$ ：可改變而不破壞身份；
$\mathsf{Versioned}$ ：改變後形成同一概念的新版本；
$\mathsf{Breaking}$ ：身份破壞條件；
$\mathsf{Authority}$ ：誰有權宣告身份變更。

4.5 身份 X 約束算子

對變換：

T:c\longrightarrow c',

定義：

\boxed{ X_{\mathrm{id}}(c,T,c',D,\Gamma) \longrightarrow \begin{cases} \mathsf{IdentityPreserved},\\ \mathsf{RoleChanged},\\ \mathsf{VersionChanged},\\ \mathsf{IdentityBroken},\\ \mathsf{Underdetermined}. \end{cases} }

4.6 身份保持證書

\mathsf{IdCert}(c,c') = \left\langle \text{保持項}, \text{改變項}, \text{版本鏈}, \text{破壞風險}, \text{判定權威} \right\rangle.

5. 角色型別系統的雙重結構

本文區分兩類角色：

\boxed{ \text{推論角色} \neq \text{制度角色}. }

5.1 推論角色

推論角色描述概念在理論、論證或模型中的功能。

定義角色集合：

\mathcal R_{\mathrm{infer}} = \left\{ \mathsf{Object}, \mathsf{Observation}, \mathsf{Constraint}, \mathsf{Evidence}, \mathsf{Parameter}, \mathsf{Goal}, \mathsf{Decision}, \mathsf{Interpretation}, \mathsf{Interface}, \mathsf{Certificate} \right\}.

5.2 制度角色

制度角色描述主體在組織、計算系統、AI 工作流或治理結構中的位置。

例如：

作者；
審核者；
執行者；
管理員；
觀測者；
決策者；
代理者；
被授權工具；
安全守門者；
政策制定者。

5.3 推論角色型別

一個概念 $c$ 在主張 $q$ 中的角色為：

\mathsf{InferRole}(c,q,\Gamma) \in \mathcal R_{\mathrm{infer}}.

同一概念在不同主張中可具有不同角色，但同一推論位置不應無標記地同時扮演互斥角色。

5.4 角色混淆禁則

至少禁止：

\mathsf{Observation} \Rightarrow \mathsf{Constraint}

的無接口升格；

\mathsf{Evidence} \Rightarrow \mathsf{Conclusion}

的直接替代；

\mathsf{Goal} \Rightarrow \mathsf{Evidence}

的目標偷渡；

\mathsf{Interpretation} \Rightarrow \mathsf{Definition}

的語義倒置。

5.5 推論角色算子

X_{\mathrm{infer-role}}: (c,q,\Gamma) \rightharpoonup r \sqcup \mathcal F_{\mathrm{role}}.

它檢查：

角色是否已登錄；
角色是否與域相容；
是否發生角色偷渡；
是否需要跨域接口；
是否需要額外證據。

6. 制度角色不是身份

6.1 角色指派

設主體 $s$ 、角色 $r$ 、上下文 $\Gamma$ ，角色指派不是自然成立，而是：

X_{\mathrm{role-assign}}: (s,r,\Gamma) \rightharpoonup \mathsf{Assigned} \sqcup \mathcal F_{\mathrm{role}}.

6.2 角色束

制度角色不只是一個名稱，而是一組 X 約束算子：

\boxed{ \mathsf{RoleBundle}(r,\Gamma) = \left\{ X_{r,1}, X_{r,2}, \ldots, X_{r,n} \right\}. }

角色束可以包含：

權限算子；
義務算子；
禁止算子；
審核算子；
記錄算子；
利益衝突算子；
任務範圍算子；
時間有效性算子。

每次實際角色束有限，但角色束可隨系統擴張而增加，符合：

\text{局部有限、全局無界}.

6.3 角色切換

\mathsf{RoleShift}: (s,r_1,\Gamma_1) \longrightarrow (s,r_2,\Gamma_2).

一般情況下：

\mathsf{Id}(s)

保持，但：

\mathsf{RoleBundle}(r_1) \neq \mathsf{RoleBundle}(r_2).

6.4 多角色與衝突

主體可同時具有多個角色：

\mathsf{Roles}(s,\Gamma) = \{r_1,\ldots,r_m\}.

但角色束之間可能衝突，例如：

申請者與最終審核者；
資料所有者與獨立稽核者；
模型作者與唯一安全評估者。

因此需要：

X_{\mathrm{role-conflict}}.

7. 能力、權限、義務、禁止與權威

7.1 能力

\mathsf{Capable}(s,a,\Gamma)

表示主體在事實上能完成操作 $a$ 。

能力可來自：

技能；
工具；
系統存取；
計算資源；
身體條件；
模型能力。

7.2 權限

\mathsf{Permitted}(s,a,o,\Gamma)

表示主體被允許對對象 $o$ 執行操作 $a$ 。

7.3 義務

\mathsf{Obliged}(s,a,o,\Gamma)

表示主體在指定條件下必須執行操作。

被允許不代表必須：

\mathsf{Permitted} \not\Rightarrow \mathsf{Obliged}.

7.4 禁止

\mathsf{Forbidden}(s,a,o,\Gamma)

表示不得執行。

7.5 權威

\mathsf{Authority}(s,p,\Gamma)

表示主體可合法建立、修改、撤銷或委任政策 $p$ 。

7.6 一致性要求

理想一致狀態應避免：

\mathsf{Obliged}(s,a) \land \mathsf{Forbidden}(s,a).

若出現，必須輸出規範衝突證書，而不是任意選擇一方。

7.7 五元判定

對候選操作可建立：

\mathfrak N(s,a,o,\Gamma) = \left\langle \mathsf{Capability}, \mathsf{Permission}, \mathsf{Obligation}, \mathsf{Prohibition}, \mathsf{Authority} \right\rangle.

這五個分量不得壓縮為單一布林值或單一分數。

8. 權限作為 X 約束算子

8.1 候選操作空間

設：

\mathcal A(s,o,\Gamma)

為主體 $s$ 對對象 $o$ 在上下文 $\Gamma$ 中可能提出的候選操作。

8.2 權限算子

\boxed{ X_{\mathrm{perm}}: \mathcal A(s,o,\Gamma) \rightharpoonup \mathcal A_{\mathrm{allowed}}(s,o,\Gamma) \sqcup \mathcal F_{\mathrm{perm}}. }

權限算子可輸出：

\mathsf{Allowed}, \quad \mathsf{Denied}, \quad \mathsf{ApprovalRequired}, \quad \mathsf{Unknown}, \quad \mathsf{CredentialMissing}, \quad \mathsf{ContextExpired}.

8.3 權限算子結構

X_{\mathrm{perm}} = \left\langle S, R, A, O, \Gamma, P, E, K, F \right\rangle.

其中：

$S$ ：主體身份；
$R$ ：角色；
$A$ ：候選操作；
$O$ ：操作對象；
$\Gamma$ ：上下文；
$P$ ：權限政策；
$E$ ：授權與來源；
$K$ ：判定證書；
$F$ ：失敗語義。

8.4 權限資料與權限算子分離

權限資料：

p\in\mathcal D_{\mathrm{permission}}.

權限算子：

X_{\mathrm{perm}}(p,s,a,o,\Gamma).

所以：

\boxed{ \text{權限規則} \neq \text{權限判定} \neq \text{權限執行}. }

8.5 權限修改算子

修改權限政策需要：

X_{\mathrm{authority}}: (s,p,\Delta p,\Gamma) \rightharpoonup p' \sqcup \mathcal F_{\mathrm{authority}}.

不能因為主體具有某項操作權限，就自動取得修改該權限的權威。

8.6 委任與撤回

委任：

X_{\mathrm{delegate}}.

撤回：

X_{\mathrm{revoke}}.

兩者都必須檢查：

委任者是否有權威；
可否再委任；
有效期間；
權限範圍；
撤回後的下游影響；
已執行操作的責任記錄。

9. 憲章 X 約束算子族

分域憲章至少需要以下算子。

9.1 分域算子

X_{\mathrm{domain}}(c)

判定概念可進入哪些域。

9.2 身份算子

X_{\mathrm{id}}(c,T,c')

判定變換後身份狀態。

9.3 推論角色算子

X_{\mathrm{infer-role}}(c,q,\Gamma)

防止角色混淆與認識偷渡。

9.4 制度角色指派算子

X_{\mathrm{role-assign}}(s,r,\Gamma).

9.5 權限算子

X_{\mathrm{perm}}(s,r,a,o,\Gamma).

9.6 權威算子

X_{\mathrm{authority}}(s,p,\Delta p,\Gamma).

9.7 接口算子

X_{\mathrm{interface}}(c,D_i,D_j,\phi,\Gamma).

9.8 來源算子

X_{\mathrm{provenance}}(c,E,\Gamma).

9.9 證書算子

X_{\mathrm{certificate}}(q,K,\Gamma).

9.10 版本算子

X_{\mathrm{version}}(v,\Delta v,v').

9.11 憲章治理鏈

\boxed{ c \xrightarrow{X_{\mathrm{domain}}} D \xrightarrow{X_{\mathrm{id}}} \mathsf{Id} \xrightarrow{X_{\mathrm{role}}} r \xrightarrow{X_{\mathrm{interface}}} D' \xrightarrow{X_{\mathrm{perm}}} \mathsf{AllowedOperation} \xrightarrow{X_{\mathrm{certificate}}} K. }

10. 跨域接口憲章

10.1 接口不是自然等同

若概念 $c$ 從域 $D_i$ 進入 $D_j$ ，必須有：

\phi_{ij}: D_i \rightharpoonup D_j.

不能因自然語言使用同一詞，就假定存在合法映射。

10.2 接口契約

\boxed{ \mathfrak J_{ij} = \left\langle D_i, D_j, \phi_{ij}, \operatorname{Pre}, \operatorname{Preserve}, \operatorname{Loss}, \operatorname{Authority}, \operatorname{Failure}, \operatorname{Cert} \right\rangle. }

10.3 典型接口

優先建立：

身份域 $\rightarrow$ 角色域；
角色域 $\rightarrow$ 權限域；
能力域 $\rightarrow$ 操作可行性域；
權限域 $\rightarrow$ 操作域；
觀測域 $\rightarrow$ 證據域；
證據域 $\rightarrow$ 主張支持；
歷史域 $\rightarrow$ 身份連續性；
語義域 $\rightarrow$ 應用實現；
證書域 $\rightarrow$ 稽核與重現。

10.4 跨域權限

有接口不代表任何主體都能使用。

還需：

X_{\mathrm{perm-interface}}(s,\phi_{ij},c,\Gamma).

因此，接口合法性與接口使用權限分離。

11. 概念登錄制度

每個正式概念至少登錄：

\boxed{ \mathfrak c = \left\langle \operatorname{id}, \operatorname{name}, D, \tau, \mathsf{IdentityProfile}, \mathsf{Roles}, \mathsf{Dependencies}, \mathsf{Interfaces}, \mathsf{Permissions}, \mathsf{Provenance}, \mathsf{Failures}, \mathsf{Certificates}, \mathsf{Version} \right\rangle. }

最低問題包括：

它屬於哪一域？
它的型別是什麼？
它何時仍是同一概念？
它在本段推論扮演什麼角色？
它能接受哪些操作？
誰有權操作？
它如何跨域？
它依賴哪些來源？
它可能如何失敗？
它需要什麼證書？

若無法回答，只能進入探索區，不能成為憲章內的正式概念。

12. 憲章十二律

第一律：分域明示律

正式概念必須明示主要結構域。

第二律：身份相對律

身份必須相對於域、上下文與版本判定。

第三律：角色非身份律

角色改變不自動等於身份改變。

第四律：類型先行律

任何操作先檢查輸入、輸出與接口型別。

第五律：角色不偷渡律

觀測、證據、約束、目標與決策不得無接口互相替代。

第六律：能力權限分離律

能做不等於可做；可做不等於必須做。

第七律：權限權威分離律

具有操作權限不等於具有修改規則的權威。

第八律：權限算子化律

正式權限必須由 X 約束算子判定，而非只由角色名稱推定。

第九律：跨域接口律

跨域移動必須明示保留、損失、權限與失敗。

第十律：來源保存律

身份、角色、權限與接口判定必須保留來源與版本。

第十一律：失敗顯式律

拒絕、未知、衝突與證據不足必須分開輸出。

第十二律：修憲證書律

憲章修改必須留下影響範圍、身份連續性與重驗證證書。

13. 衝突、優先級與失敗

13.1 域衝突

同一概念若在不同域中具有不相容身份判準，應輸出：

\mathsf{DomainConflict}.

13.2 角色衝突

\mathsf{RoleConflict}(r_i,r_j,\Gamma).

例如同一主體同時是申請者與最終獨立審核者。

13.3 權限衝突

\mathsf{Permitted}(s,a) \land \mathsf{Forbidden}(s,a).

不能以一般分數決定，而應查找規則來源、版本與優先級。

13.4 權威衝突

多個政策制定者對同一權限規則提出不相容修改時，需要：

X_{\mathrm{authority-conflict}}.

13.5 最小衝突集

對算子束 $B$ ，尋找最小 $M\subseteq B$ ，使：

\mathsf{Unsat}(M),

且所有真子集可滿足。

13.6 失敗證書

\mathsf{FailureCert} = \left\langle \text{失敗域}, \text{失敗角色}, \text{失敗算子}, \text{來源版本}, \text{影響範圍}, \text{修復義務} \right\rangle.

14. 概念生命週期與版本

14.1 生命週期

概念可經歷：

\mathsf{Proposed} \rightarrow \mathsf{Registered} \rightarrow \mathsf{Active} \rightarrow \mathsf{Revised} \rightarrow \mathsf{Deprecated} \rightarrow \mathsf{Archived}.

14.2 修改類型

修改分為：

名稱修改；
屬性修改；
角色修改；
接口修改；
核心定義修改；
身份破壞修改。

14.3 身份連續性

若版本 $c^{(v)}$ 更新為 $c^{(v+1)}$ ：

X_{\mathrm{id}} \left( c^{(v)}, \Delta c, c^{(v+1)} \right)

判定：

同一身份的新版本；
衍生概念；
分裂概念；
合併概念；
新概念取代舊概念。

14.4 版本影響閉包

修改概念 $c$ 後，需重驗證：

\operatorname{ImpactClosure}(c)

中的所有依賴節點、接口、權限與證書。

15. AI Agent 權限案例

15.1 初始結構

設 AI Agent 為主體 $s_{AI}$ ，任務為 $t$ ，候選操作集合為：

\mathcal A(s_{AI},t,\Gamma).

15.2 身份與角色

身份：

\mathsf{Id}(s_{AI})=\iota_{AI}.

角色可能是：

\mathsf{Role}(s_{AI},\Gamma)=\mathsf{ResearchAssistant}.

這不表示它天然擁有所有研究工具與資料修改權限。

15.3 角色束

\mathsf{RoleBundle}(\mathsf{ResearchAssistant}) = \left\{ X_{\mathrm{read}}, X_{\mathrm{cite}}, X_{\mathrm{draft}}, X_{\mathrm{privacy}}, X_{\mathrm{irreversible}} \right\}.

15.4 權限判定

X_{\mathrm{perm}} \left( s_{AI}, \mathsf{ResearchAssistant}, \mathsf{DeleteFile}, o, \Gamma \right) = \mathsf{Denied}

不妨礙：

\mathsf{Capable}(s_{AI},\mathsf{DeleteFile})

在技術上可能為真。

15.5 升級權限

若人類主體授權某一次操作：

X_{\mathrm{delegate}} \left( s_H, s_{AI}, a, \Gamma, T \right),

其中 $T$ 是有效期限。

授權必須生成委任證書，並在期限後失效。

16. 理論概念案例

16.1 同名不同概念

「約束」可能出現在：

邏輯域；
工程域；
權限域；
最佳化域；
X 約束算子域。

相同名稱不代表身份相同。

16.2 同概念不同角色

X 約束算子在不同文本中可以扮演：

核心定義；
應用工具；
接口守衛；
權限判定機制；
案例中的操作節點。

其角色改變不必破壞概念身份，但必須標記。

16.3 版本身份

若 X 約束算子從七元結構改為九元結構，需要身份算子判定：

是否只是擴充；
是否改變合法性核心；
是否仍可稱為同一理論版本；
舊證書是否仍有效。

17. 組織治理案例

設一份高風險支出申請。

角色：

申請者；
部門主管；
財務審核；
最終批准者；
稽核者。

每個角色具有不同角色束。

例如最終批准操作：

a=\mathsf{ApproveHighRiskExpense}.

需要：

X_{\mathrm{identity}}, X_{\mathrm{role}}, X_{\mathrm{conflict-of-interest}}, X_{\mathrm{budget}}, X_{\mathrm{authority}}, X_{\mathrm{audit}}.

任何一個硬約束失敗，都不得被其他「優點」補償。

18. 機器可讀憲章格式

18.1 結構域模板

domain_id: D_permission
name: 權限域
version: 0.1

objects:
  - permission_policy
  - permission_state
  - delegation_record

identity:
  invariant:
    - policy_scope
    - governed_operation
  versioned:
    - effective_period
    - rule_set
  breaking:
    - authority_source_removed

allowed_roles:
  - policy
  - constraint
  - evidence

operations:
  - evaluate
  - delegate
  - revoke
  - revise

ingress:
  requires:
    - provenance
    - authority_certificate
failure:
  - EVIDENCE_MISSING
  - AUTHORITY_MISSING
  - POLICY_CONFLICT
certificate:
  format: DomainCert-v0.1

18.2 概念模板

concept_id: C_permission_operator
name: X 權限算子
version: 0.1
primary_domain: D_permission
secondary_domains:
  - D_operation
  - D_certificate

type: partial_constraint_operator
identity:
  invariants:
    - relational_permission_evaluation
    - explicit_failure_semantics
  mutable:
    - implementation_backend
  breaking:
    - removal_of_context_dependency

inferential_roles:
  - constraint
  - interface_guard

interfaces:
  - identity_to_role
  - role_to_permission
  - permission_to_operation

required_certificates:
  - provenance
  - authority
  - execution

18.3 制度角色模板

role_id: R_reviewer
name: 審核者
version: 0.1

identity_independent: true

constraint_bundle:
  permissions:
    - read_submission
    - add_review
  prohibitions:
    - modify_source_record
    - approve_own_submission
  obligations:
    - disclose_conflict
    - produce_review_certificate
  authority:
    - none

assignment:
  requires:
    - qualification_evidence
    - conflict_check

18.4 權限判定模板

permission_check_id: PC_001
subject: subject_id
role: R_reviewer
operation: approve_submission
object: submission_id
context:
  version: current
  time: active

result: DENIED
reason: ROLE_NOT_AUTHORIZED
policy_source: policy_manifest_v3
certificate: PermissionCert-v0.1

19. 與分域證書化理論工程的關係

分域證書化理論工程提供：

概念提取；
結構分域；
接口重構；
認識狀態；
證據隔離；
失敗證書。

分域憲章進一步回答：

誰有權建立與修改域；
概念如何取得域成員資格；
身份如何保持或破壞；
角色如何被合法指派；
跨域接口由誰使用；
權限與權威如何分離；
憲章本身如何版本化。

因此：

\boxed{ \text{分域證書化理論工程是母方法，分域憲章是其憲法層。} }

20. 與 X 約束算子論的關係

X 約束算子提供動態執行能力。

分域憲章提供：

算子作用在哪一域；
算子如何辨認概念身份；
哪些角色可調用算子；
哪些主體有權修改算子；
跨域合成需要哪些接口；
執行後需要哪些證書。

可以寫成：

\boxed{ \text{分域憲章提供合法邊界，X 約束算子執行合法邊界。} }

憲章若沒有 X 算子，容易停留在靜態分類；X 算子若沒有憲章，則缺乏域、身份、角色與權威的上位治理。

21. AI 原生理論治理

21.1 AI 可以執行

AI 可以：

建議概念分域；
比對身份判準；
檢查角色衝突；
展開角色束；
執行權限算子；
搜尋跨域接口；
產生重驗證閉包；
生成證書候選；
標記未決與衝突。

21.2 AI 不得自行假定

AI 不得：

將同名概念自動合併；
將角色名稱當成完整權限；
將能力當成授權；
自行授予自身權限；
在無權威證書時修改憲章；
將觀測結果升格為身份判準；
把未知判定成允許；
隱藏接口資訊損失。

21.3 AI 的修憲限制

AI 可以提出憲章修訂候選：

\Delta\mathfrak C_{AI}.

但是否採納，必須經過：

X_{\mathrm{authority}} \circ X_{\mathrm{impact}} \circ X_{\mathrm{certificate}}.

22. 理論限制

目前版本仍有下列限制：

結構域的完整分類尚未封閉；
身份判準仍需依應用域具體化；
不保證所有角色衝突可自動判定；
不保證所有權限政策都有一致解；
不處理真正無限個同步生效的算子；
不處理超限角色與超限版本；
不宣稱所有規範衝突具有普遍優先規則；
不以單一邏輯取代所有制度與現實判定；
不把證書存在等同於世界主張必然為真。

23. 後續研究方向

23.1 第三篇：跨域接口與失敗語義

研究：

接口分類；
保留與損失；
部分可逆；
接口權限；
失敗修復。

23.2 第四篇：權限、權威與委任演算

研究：

多層授權；
再委任；
權限撤回；
時效性；
責任鏈；
AI Agent 權限治理。

23.3 第五篇：概念身份與版本拓撲

研究：

概念分裂與合併；
版本連續性；
身份破壞點；
依賴閉包；
舊證書失效。

23.4 憲章檢查器

建立最小工具：

Domain Registry；
Concept Identity Checker；
Role Conflict Analyzer；
X Permission Engine；
Interface Certificate Generator；
Charter Version Diff。

24. 總結

分域憲章的核心不是建立更多分類名稱，而是回答：

一個概念在什麼域中，以什麼身份存在，扮演什麼角色，能接受什麼操作，誰有權執行或修改，以及如何證明整個過程合法？

其基本結構為：

\boxed{ \text{結構域} + \text{身份判準} + \text{角色型別} + \text{X 約束算子} + \text{跨域接口} + \text{權限證書}. }

本文最重要的區分是：

\boxed{ \text{身份} \neq \text{角色} \neq \text{能力} \neq \text{權限} \neq \text{權威}. }

權限因此不能只被登錄為靜態屬性，而必須成為對候選操作空間施加限制的 X 約束算子：

\boxed{ X_{\mathrm{perm}}: \mathcal A(s,o,\Gamma) \rightharpoonup \mathcal A_{\mathrm{allowed}}(s,o,\Gamma) \sqcup \mathcal F_{\mathrm{perm}}. }

最終，分域憲章將靜態理論分類轉化為動態治理：

\boxed{ \text{分域} \longrightarrow \text{身份} \longrightarrow \text{角色} \longrightarrow \text{X 約束} \longrightarrow \text{合法操作} \longrightarrow \text{證書}. }

因此：

\boxed{ \text{憲章不是告訴概念它叫什麼，而是規定概念如何合法存在、變化與行動。} }

附錄 A：最小概念身份證書

identity_certificate_id: IC_001
concept_id: concept_example
from_version: 0.1
to_version: 0.2

identity_status: VERSION_CHANGED

preserved:
  - core_definition
  - primary_domain
  - principal_interfaces

changed:
  - role_bundle
  - certificate_format

breaking_changes: []

authority:
  approved_by: charter_authority

revalidation:
  required: true
  impact_closure:
    - dependent_concept_1
    - interface_2

附錄 B：最小跨域接口證書

interface_certificate_id: JC_001
source_domain: D_role
target_domain: D_permission
mapping: role_bundle_to_permission_constraints

preconditions:
  - valid_role_assignment
  - active_context
  - policy_source_available

preserved:
  - subject_identity
  - operation_scope

lost:
  - informal_role_description

authority_required: permission_policy_authority

failure_modes:
  - ROLE_EXPIRED
  - POLICY_MISSING
  - INTERFACE_TYPE_MISMATCH

附錄 C：最小角色衝突證書

role_conflict_id: RC_001
subject: subject_id
context: current_case

roles:
  - applicant
  - final_reviewer

conflict_type: SEPARATION_OF_DUTIES

result: INVALID_ROLE_COMBINATION

repair_obligation:
  action: remove_final_reviewer_role
  reassignment_required: true

分域憲章_結構域概念身份與角色型別系統_v0.1