--- 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. } $$ 最低問題包括： 1. 它屬於哪一域？ 2. 它的型別是什麼？ 3. 它何時仍是同一概念？ 4. 它在本段推論扮演什麼角色？ 5. 它能接受哪些操作？ 6. 誰有權操作？ 7. 它如何跨域？ 8. 它依賴哪些來源？ 9. 它可能如何失敗？ 10. 它需要什麼證書？ 若無法回答，只能進入探索區，不能成為憲章內的正式概念。 --- # 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 結構域模板 ```yaml 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 概念模板 ```yaml 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 制度角色模板 ```yaml 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 權限判定模板 ```yaml 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：最小概念身份證書 ```yaml 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：最小跨域接口證書 ```yaml 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：最小角色衝突證書 ```yaml 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 ```