title: "分域證書化理論工程：混合型理論的概念提取、接口重構與認識狀態管理" english_title: "Domain-Stratified Certifiable Theory Engineering: Concept Extraction, Interface Reconstruction, and Epistemic-State Management for Hybrid Theories" author: "Neo.K（許筌崴）／EveMissLab" version: "v0.1" date: "2026-07-25" status: "Foundational Methodology Draft" language: "zh-Hant" keywords: - 分域證書化理論工程 - 混合型理論 - 概念提取 - 跨域接口 - 認識狀態 - 失敗語義 - 證書化研究 - AI 原生理論工程

分域證書化理論工程：混合型理論的概念提取、接口重構與認識狀態管理

Domain-Stratified Certifiable Theory Engineering: Concept Extraction, Interface Reconstruction, and Epistemic-State Management for Hybrid Theories

Neo.K（許筌崴）

EveMissLab，台灣

基礎方法論草案 v0.1，2026-07-25

摘要

跨領域理論、AI 輔助研究與長期迭代型知識工程經常面臨同一種結構性問題：一個看似單一的理論文本，實際上混合了定義、公理、觀測、約束、外部資料、數值結果、語義解釋、價值判斷、應用案例、程式實作與尚未完成的猜想。當這些內容被寫入同一條敘述或推論鏈時，概念角色與認識狀態容易互相取代，導致定義被誤認為發現、編碼被誤認為證明、數值現象被誤認為定理、外部權重被誤認為形式必然，以及應用成功被誤認為核心理論成立。

本文提出「分域證書化理論工程」：一套面向混合型理論的概念提取、結構分域、角色分離、接口重構、認識狀態管理、失敗語義與證書封裝方法。本文不把理論視為一篇線性文字，而將其表示為多個異質結構域及其跨域接口所構成的可檢查系統。每個概念必須登錄其所屬結構域、型別、角色、身份判準、依賴、語義後端、外部證據需求、失敗模式與證書義務；每個跨域轉換必須明示前提、保留項、資訊損失、可逆性與失敗輸出；每個主張必須攜帶定義、公理、定理、編碼、等價、外部依賴、猜想或開放問題等認識標籤。

本方法論的核心主張是：理論可靠性不只取決於個別命題是否正確，也取決於命題是否被放置在正確的結構域、角色、依賴位置與認識層級中。理論工程的目標不是提前統一所有異質內容，而是建立合法接口，使不同結構在不被強制同質化的情況下仍可組裝、比較、診斷與驗證。

本文進一步提出最小理論工程物件、概念登錄格式、接口契約、認識狀態系統、證據隔離原則、失敗證書、理論版本差異證書，以及適合 AI 執行的分階段工作流。AI 在此框架中的主要功能不是補足未知內容或自動製造權重，而是維護分域一致性、展開依賴、檢查型別、標記未決項、生成證明義務並重現失敗。

分域證書化理論工程可應用於數學新理論、跨領域框架、哲學體系、AI 原生研究、技術白皮書、計算實驗、政策模型與長期知識庫。本文將其定位為一套可被反駁、實作、版本化與逐步形式化的母方法論。

關鍵詞

分域證書化理論工程；混合型理論；概念提取；結構分域；跨域接口；認識狀態；失敗語義；證書化研究；AI 原生理論工程

0. 方法論定位

0.1 方法論名稱

本文將所提出的方法論稱為：

\boxed{ \text{分域證書化理論工程} }

英文名稱為：

\boxed{ \text{Domain-Stratified Certifiable Theory Engineering} }

縮寫為：

\mathsf{DSTE}.

其核心操作子方法可稱為「分域—接口—證書方法」：

\mathsf{DICM} = \text{Domain} + \text{Interface} + \text{Certificate Method}.

其中， $\mathsf{DSTE}$ 指完整母方法論， $\mathsf{DICM}$ 指最小操作流程。

0.2 方法論處理的對象

本文所稱「混合型理論」，不是指內容龐雜而已，而是指同一理論系統同時包含兩種以上不可直接互相取代的結構成分，例如：

形式定義與自然語言直覺；
數學定理與經驗資料；
硬約束與偏好準則；
語法結構與語義解釋；
核心公理與應用模組；
定性關係與數值權重；
概念模型與可執行程式；
已證明結果與開放猜想；
描述性主張與規範性判斷；
人類決策與 AI 展開結果。

因此，混合型理論不是單純的「跨學科」，而是一個內部具有多種本體、認識與操作層級的複合系統。

0.3 方法論不主張什麼

本文不主張：

所有理論都可以被壓縮成同一套符號；
所有領域都共享同一種證明標準；
所有概念都能被完全形式化；
所有分域都具有唯一客觀邊界；
只要建立知識圖譜就等於完成理論；
只要通過型別檢查就等於命題為真；
只要 AI 能流暢解釋就等於完成理解；
只要案例有效就等於核心理論成立。

本方法論只要求：任何無法形式化、無法比較或尚未決定的部分，都應被明確標記，而不能被隱藏在流暢敘述中。

1. 問題：理論為何會在內部失真

1.1 線性文本造成的結構折疊

傳統論文與書籍通常以線性文字呈現：

S_1 \longrightarrow S_2 \longrightarrow \cdots \longrightarrow S_n.

但線性排列只表示閱讀順序，不必然表示合法依賴。文本中的相鄰段落可能分屬完全不同的認識層級：前一段是定義，下一段是經驗觀察，再下一段可能是價值選擇。若缺少標記，讀者與 AI 容易將敘述連續性誤認為推論連續性。

因此：

\boxed{ \text{文本鄰接} \neq \text{邏輯依賴} \neq \text{語義實現} \neq \text{證據支持}. }

1.2 概念同名造成的角色折疊

同一詞彙可能在不同段落中扮演不同角色。例如「可靠度」可以是：

資料來源的屬性；
觀測程序的品質指標；
一項硬性的最低門檻；
一種描述性權重；
一個決策準則；
一項外部證據要求。

如果理論只保存詞名，不保存角色，便會發生概念滑移。

因此必須區分：

\boxed{ \text{概念名稱} \neq \text{概念身份} \neq \text{概念角色} \neq \text{概念實現}. }

1.3 形式與外部資料的互相污染

理論常見的另一種失真，是把外部實現結果寫回形式核心。例如：

因某組權重在案例中有效，便把它寫成普遍常數；
因某次數值搜尋未找到反例，便把全稱命題寫成已證；
因某模型在資料集上表現良好，便把模型偏好寫成真實結構；
因某政策受到支持，便把價值選擇寫成客觀測度。

這種錯誤可以表示為：

\text{外部結果} \rightsquigarrow \text{核心必然性}.

分域證書化理論工程禁止此種無證書的反向回填。

1.4 成功案例造成的過度升格

一個應用成功可能只證明：

某一實作可執行；
某一組參數在特定資料上有效；
某一編碼沒有立即衝突；
某一局部案例可由框架描述。

它不自動證明：

理論具有唯一性；
理論優於所有既有方法；
理論的核心公理為真；
理論可推廣至所有領域；
理論已解決原始問題。

因此：

\boxed{ \text{可編碼} \neq \text{可解釋} \neq \text{結構等價} \neq \text{經驗有效} \neq \text{數學證明}. }

2. 理論作為多域接口系統

2.1 理論工程物件

定義一個分域證書化理論工程物件：

\boxed{ \mathfrak T = \left\langle \mathcal D, \mathcal C, \mathcal R, \mathcal I, \mathcal P, \mathcal E, \mathcal F, \mathcal K, \mathcal V \right\rangle. }

其中：

$\mathcal D$ ：結構域集合；
$\mathcal C$ ：概念登錄庫；
$\mathcal R$ ：角色系統；
$\mathcal I$ ：跨域接口集合；
$\mathcal P$ ：主張與推論依賴；
$\mathcal E$ ：外部證據包；
$\mathcal F$ ：失敗語義；
$\mathcal K$ ：證書系統；
$\mathcal V$ ：版本與變更歷史。

一個理論只有文字而沒有上述結構時，仍可作為探索草稿存在，但不能聲稱已完成證書化工程。

2.2 最小結構域

本文提出下列基礎結構域：

結構域	主要內容	典型問題
對象域	被研究、操作或比較的對象	什麼東西存在於理論中？
類型域	良構項與合法操作	哪些輸入與輸出能夠合成？
屬性域	對象具備的述詞、狀態與特徵	對象有什麼性質？
關係域	對象間的連結、依賴與作用	對象如何互相連接？
歷史域	形成、版本、演化與路徑	對象如何變成目前狀態？
觀測域	可取得的投影、讀值與描述	研究者實際看見什麼？
約束域	合法性、不變性與相容條件	哪些候選被允許？
目標域	合法候選之間的比較準則	合法候選如何被評價？
決策域	權限、責任與實際選擇	誰在何種規則下作決定？
測度域	數量化、尺度與聚合方式	如何引入定量結構？
語義域	形式項到模型或現實的解釋	符號代表什麼？
證據域	外部資料、來源與支持關係	主張由何種資料支持？
權重域	經支持的不對稱重要性	哪些因素在何種目的下更重要？
證書域	操作、推論與版本的可驗證憑證	如何重現合法性？

此表不是宣稱所有理論都必須具備全部結構域，而是提供一份最低檢查表。

2.3 分域原則

本文採用：

\boxed{ \text{先分域，後形式化。} }

理由是：若概念所屬結構域尚未確定，形式化只會把原有混淆固化為符號。

分域不表示每個概念只能出現在一個域。相反地，同一概念可以具有多個經標記的域內角色：

\operatorname{Role}_{D_1}(c), \operatorname{Role}_{D_2}(c), \ldots

但每次使用時都必須明示當前角色。

3. 概念提取與登錄

3.1 概念提取不是立即定義

概念提取的第一階段只回答：

原始材料實際使用了哪些概念、區分、操作與判斷？

此階段允許：

同義詞並存；
定義不完整；
概念互相衝突；
來源不確定；
角色尚未決定。

提取不是承認概念正確，也不是承認概念應進入理論核心。

3.2 概念候選

概念候選寫成：

\mathfrak c^{\ast} = \left\langle \operatorname{SurfaceForm}, \operatorname{Context}, \operatorname{Source}, \operatorname{Occurrences} \right\rangle.

其中：

$\operatorname{SurfaceForm}$ ：原始詞形或符號；
$\operatorname{Context}$ ：出現上下文；
$\operatorname{Source}$ ：來源文本或實作；
$\operatorname{Occurrences}$ ：使用位置與頻率。

3.3 正式概念登錄

當概念要進入正式理論時，至少需轉為：

\boxed{ \mathfrak c = \left\langle \operatorname{id}, \operatorname{name}, \operatorname{domain}, \operatorname{role}, \operatorname{type}, \operatorname{identity}, \operatorname{dependencies}, \operatorname{interfaces}, \operatorname{semantics}, \operatorname{evidence}, \operatorname{failure}, \operatorname{certificate}, \operatorname{version} \right\rangle. }

3.4 概念進入核心的最低問題

任何概念進入理論核心前，至少回答：

它屬於哪個結構域？
它在目前段落扮演什麼角色？
它的型別是什麼？
它的身份判準是什麼？
它依賴哪些其他概念？
它可與哪些概念合法合成？
它跨域時保留什麼、遺失什麼？
它由哪個語義後端解釋？
它是否需要外部證據？
它可能如何失敗？
它的使用需要什麼證書？
它的目前版本與變更歷史是什麼？

若這些問題尚不能回答，概念應保留在探索區：

\mathfrak c^{\ast} \in \mathcal C_{\mathrm{exploratory}},

而非直接進入：

\mathcal C_{\mathrm{core}}.

3.5 概念身份與版本

概念在迭代中可能改名、縮限、擴張或分裂。定義概念版本：

\mathfrak c^{(0)}, \mathfrak c^{(1)}, \ldots, \mathfrak c^{(n)}.

版本變更必須標記為：

名稱變更；
定義收縮；
定義擴張；
角色分裂；
結構域遷移；
語義後端更換；
證據要求改變；
棄用；
合併；
不相容改版。

因此概念連續性不是由名稱相同決定，而是由版本映射決定。

4. 角色分離

4.1 基本角色

理論中最常被混淆的角色至少包括：

\boxed{ \text{對象} \neq \text{觀測} \neq \text{約束} \neq \text{目標} \neq \text{決策} \neq \text{證據} \neq \text{解釋}. }

其差異如下：

角色	功能
對象	被描述、操作或比較
觀測	取得對象的某個投影或結果
約束	排除非法候選或要求保持條件
目標	在合法候選中建立比較
決策	在權限、責任與上下文中採取選擇
證據	支持或削弱外部主張
解釋	將形式項映射到模型、現實或其他理論

4.2 角色類型系統

定義角色標記函數：

\operatorname{Role}: \mathcal C \times \mathcal U \longrightarrow \mathcal R,

其中 $\mathcal U$ 是使用上下文， $\mathcal R$ 是角色集合。

同一概念 $c$ 可以滿足：

\operatorname{Role}(c,U_1) \neq \operatorname{Role}(c,U_2).

但在同一推論步驟中，若概念角色發生改變，必須存在顯式角色轉換接口。

4.3 禁止無標記角色轉換

若某項外部資料先作為證據，之後被當成硬約束，則必須提供：

\mathsf{Promote}_{\mathrm{Evidence}\to\mathrm{Constraint}}.

該接口至少說明：

為何資料足以形成硬約束；
適用範圍；
失效條件；
不確定性如何處理；
誰擁有決策權；
是否可以撤回。

若沒有此接口，角色升格無效。

5. 跨域接口工程

5.1 接口優先於統一

分域證書化理論工程不要求異質概念先被壓縮至同一空間，而採用：

\boxed{ \text{先接口，後綜合。} }

理論的統一性不必來自所有對象同型，而可以來自接口契約可組合。

5.2 接口契約

定義一個跨域接口：

\boxed{ \mathfrak i = \left\langle D_s, D_t, f, \operatorname{Dom}, \operatorname{Cod}, \operatorname{Pre}, \operatorname{Preserve}, \operatorname{Transform}, \operatorname{Loss}, \operatorname{Inverse}, \operatorname{Failure}, \operatorname{Cert}, \operatorname{Version} \right\rangle. }

其中：

$D_s$ ：來源域；
$D_t$ ：目標域；
$f$ ：接口映射；
$\operatorname{Dom}$ ：實際定義域；
$\operatorname{Cod}$ ：輸出型別；
$\operatorname{Pre}$ ：使用前提；
$\operatorname{Preserve}$ ：保留結構；
$\operatorname{Transform}$ ：合法改寫項；
$\operatorname{Loss}$ ：資訊損失；
$\operatorname{Inverse}$ ：可逆性或恢復條件；
$\operatorname{Failure}$ ：失敗輸出；
$\operatorname{Cert}$ ：證書義務；
$\operatorname{Version}$ ：接口版本。

5.3 接口的部分性

跨域接口通常不是全映射：

f: \operatorname{Dom}(f) \subseteq D_s \longrightarrow D_t.

若輸入不在 $\operatorname{Dom}(f)$ 中，正確輸出不是任意值，而是失敗物件。

5.4 資訊損失登錄

任何壓縮、抽象、翻譯、數值化或分類都可能造成資訊損失。定義：

\operatorname{Loss}(f,x) = \left\{ \text{在 }f(x)\text{ 中不可恢復的差異} \right\}.

若無法完整枚舉，可至少標記：

已知損失；
可能損失；
未分析損失；
被刻意忽略的差異；
可透過額外資料恢復的差異。

5.5 接口合成

若：

\mathfrak i_1:D_1\rightharpoonup D_2,

且：

\mathfrak i_2:D_2\rightharpoonup D_3,

則合成接口只有在下列條件成立時才合法：

\operatorname{Cod}(\mathfrak i_1) \cap \operatorname{Dom}(\mathfrak i_2) \neq \varnothing,

並且 $\mathfrak i_1$ 的保留項足以滿足 $\mathfrak i_2$ 的前提。

合成後的資訊損失不得只記錄最後一步，而應至少包含：

\operatorname{Loss}(\mathfrak i_2\circ\mathfrak i_1) \supseteq \operatorname{Loss}(\mathfrak i_1) \cup \operatorname{Loss}(\mathfrak i_2).

此處不假定等號，因為兩次轉換可能產生額外的交互損失。

6. 認識狀態管理

6.1 主張不只包含內容

定義理論主張：

\boxed{ \mathfrak p = \left\langle \operatorname{Content}, \operatorname{Status}, \operatorname{Dependencies}, \operatorname{Evidence}, \operatorname{Scope}, \operatorname{Cert}, \operatorname{Version} \right\rangle. }

其中 $\operatorname{Status}$ 是認識狀態。

6.2 基本認識標籤

本文採用：

標籤	意義
$\operatorname{DEF}$	定義或符號約定
$\operatorname{AXIOM}$	公理、框架選擇或工作假設
$\operatorname{THM}$	在明示前提下已證明的命題
$\operatorname{ENC}$	對既有內容的編碼
$\operatorname{EQV}$	已證明的結構等價
$\operatorname{EXT}$	依賴外部資料、理論或規範
$\operatorname{CONJ}$	猜想或待證命題
$\operatorname{OPEN}$	尚未完成或無充分判定
$\operatorname{EMP}$	經驗支持但非演繹定理
$\operatorname{NORM}$	規範性選擇或價值判斷
$\operatorname{IMPL}$	特定實作或工程決定
$\operatorname{FAIL}$	已知失敗、反例或不成立條件

6.3 狀態不可靜默升格

禁止下列無證書轉換：

\operatorname{ENC} \not\Rightarrow \operatorname{EQV},

\operatorname{EMP} \not\Rightarrow \operatorname{THM},

\operatorname{CONJ} \not\Rightarrow \operatorname{THM},

\operatorname{NORM} \not\Rightarrow \operatorname{AXIOM},

\operatorname{IMPL} \not\Rightarrow \operatorname{DEF}.

狀態升格必須透過證書化轉換：

\mathsf{Upgrade} \left( \mathfrak p, \operatorname{Status}_a, \operatorname{Status}_b \right).

6.4 認識狀態的可逆性

主張可能因新反例、資料漂移或證明錯誤而降格：

\operatorname{THM} \rightsquigarrow \operatorname{FAIL},

\operatorname{EMP} \rightsquigarrow \operatorname{OPEN},

\operatorname{EQV} \rightsquigarrow \operatorname{ENC}.

因此理論版本管理必須允許撤回，而不是只允許單向累積。

7. 外部證據隔離

7.1 核心與實現的方向

本方法論採用：

\boxed{ \text{形式核心} \longrightarrow \text{證據附著} \longrightarrow \text{條件性實現}. }

外部資料可以選擇、校準或支持某個實現，但不能在沒有接口與證書時反向創造形式必然性。

7.2 外部證據包

定義外部證據包：

\boxed{ \mathcal E = \left\langle \operatorname{Source}, \operatorname{Scope}, \operatorname{Protocol}, \operatorname{Population}, \operatorname{Time}, \operatorname{Unit}, \operatorname{Uncertainty}, \operatorname{Bias}, \operatorname{Version}, \operatorname{License} \right\rangle. }

任何由外部證據支持的主張，都必須說明其有效範圍。

7.3 描述性與規範性分離

資料可以支持：

發生頻率；
預測關聯；
因果影響；
觀測可靠度；
資料品質；
資源代價。

資料不能單獨決定：

哪一種價值更重要；
誰應承擔風險；
哪個目標應優先；
哪種損失可以接受；
誰有不可撤回的決策權。

因此：

\boxed{ \mathcal E_{\mathrm{descriptive}} \neq \mathcal E_{\mathrm{normative}}. }

7.4 權重實現

若理論需要權重，則權重應表示為：

w_i = \mathsf W \left( i, \mathcal E, \Pi, \Gamma \right),

其中 $\Pi$ 是收集或估計程序， $\Gamma$ 是適用上下文。

在缺少證據時，正確狀態為：

\mathsf w_i^{\Gamma} = \mathsf{Unresolved},

而不是自動設為零、等權或任意常數。

7.5 目標洩漏

若用來支持主張或估計權重的資料已包含目標結論，可能產生目標洩漏。定義檢查：

\operatorname{TargetIndependence} \left( \mathcal E, \Pi, \Gamma \right).

未通過此檢查的結果只能標記為：

\operatorname{EMP}_{\mathrm{dependent}},

不能作為獨立支持。

8. 失敗語義

8.1 失敗是理論輸出

一個理論操作不應只表示為：

x \mapsto y.

而應表示為：

\mathcal T(x) \longrightarrow \begin{cases} \mathsf{Success}(y,\mathsf{Cert}),\\ \mathsf{Failure}(\ell,c,\Gamma,r,\mathsf{Trace}). \end{cases}

其中：

$\ell$ ：失敗層；
$c$ ：失敗原因；
$\Gamma$ ：失敗上下文；
$r$ ：最小修復義務；
$\mathsf{Trace}$ ：可重現路徑。

8.2 失敗類型

最低限度應區分：

失敗類型	意義
$\mathsf{TypeMismatch}$	輸入、輸出或合成型別不符
$\mathsf{DomainError}$	輸入不在接口定義域
$\mathsf{RoleConflict}$	同一概念被無標記地改變角色
$\mathsf{InterfaceGap}$	跨域跳躍缺少合法接口
$\mathsf{EvidenceMissing}$	外部資料或來源不足
$\mathsf{SemanticGap}$	形式項缺少後端解釋
$\mathsf{Incompatible}$	多個約束或主張無法共同成立
$\mathsf{Underdetermined}$	資料不足以唯一判定
$\mathsf{CircularDependency}$	定義或論證循環
$\mathsf{TargetLeakage}$	目標結論已被寫入輸入或權重
$\mathsf{VersionConflict}$	不相容版本被同時使用
$\mathsf{CertificateFailure}$	無法重現所宣稱的合法性

8.3 不確定與失敗的分離

下列狀態不可混同：

\mathsf{False}, \quad \mathsf{Invalid}, \quad \mathsf{Unknown}, \quad \mathsf{Underdetermined}, \quad \mathsf{Unimplemented}.

$\mathsf{False}$ ：命題在指定模型中為假；
$\mathsf{Invalid}$ ：推論或操作不合法；
$\mathsf{Unknown}$ ：目前尚無判定；
$\mathsf{Underdetermined}$ ：現有資料不足以區分多個結果；
$\mathsf{Unimplemented}$ ：理論接口存在，但尚無實作。

8.4 最小失敗證書

定義：

\boxed{ \mathsf{FCert} = \left\langle \operatorname{Operation}, \operatorname{Input}, \operatorname{Expected}, \operatorname{Observed}, \operatorname{Layer}, \operatorname{Cause}, \operatorname{Trace}, \operatorname{Repair}, \operatorname{Version} \right\rangle. }

失敗證書不是錯誤日誌的附屬品，而是理論邊界的正式記錄。

9. 最小核心抽取

9.1 為何需要最小核心

混合型理論常因內容不斷累積而變得不可檢查。最小核心抽取不是刪除創造性，而是回答：

若移除所有案例、數值、程式、外部資料與修辭，仍必須保留哪些結構，理論才不會失去身份？

9.2 最小核心

定義：

\boxed{ \mathfrak T_{\min} = \left\langle \mathcal D_{\min}, \mathcal C_{\min}, \mathcal R_{\min}, \mathcal I_{\min}, \mathcal P_{\min}, \mathcal F_{\min}, \mathcal K_{\min} \right\rangle. }

最小核心通常不直接包含：

特定資料集；
固定權重；
特定程式語言；
特定求解器；
效能比較；
大型案例；
尚未驗證的應用；
領域專屬的數值常數；
依賴單一平台的實作細節。

9.3 刪除測試

對核心候選概念 $c$ ，定義刪除測試：

\mathfrak T\setminus\{c\}.

若刪除 $c$ 後：

理論仍具有相同身份；
核心接口仍可運作；
所有基礎定義仍可重建；

則 $c$ 可能不是核心概念，而是後端、實作或案例概念。

9.4 不可約化不等於不可修改

核心概念也可能在未來被替換。最小核心表示當前版本的最小身份，不表示永久本體。

10. 語義後端與條件性實現

10.1 核心語法不自動決定語義

對每個語義後端 $\mathcal M$ ，需要解釋映射：

\boxed{ \llbracket - \rrbracket_{\mathcal M}: \mathfrak T_{\min} \longrightarrow \mathcal M. }

不同後端可以是：

集合論模型；
類型論；
範疇論；
圖論；
拓撲或幾何；
機率模型；
資料庫結構；
程式語言中介表示；
政策或制度模型；
哲學語義模型。

10.2 後端條件表

每個後端至少說明：

它解釋哪些核心概念；
需要增加哪些公理；
適用於哪些對象；
如何表示失敗；
是否保存概念身份；
是否保存接口合成；
是否造成資訊損失；
是否可產生機器證書。

10.3 編碼與等價

若只存在單向映射：

E: \mathfrak T \longrightarrow \mathcal M,

則結果最多標記為：

\operatorname{ENC}.

只有在存在適當逆映射或雙向結構保持證明時，才可標記：

\operatorname{EQV}.

10.4 後端競爭

同一核心可以有多個後端：

\llbracket - \rrbracket_{\mathcal M_1}, \quad \llbracket - \rrbracket_{\mathcal M_2}, \quad \ldots

後端之間不必先被統一。它們可以比較：

表達能力；
可計算性；
證書成本；
資訊損失；
可擴張性；
人類可讀性；
AI 可操作性。

11. 證書系統

11.1 證書的功能

證書不是裝飾性的「可信說明」，而是可供另一個人類或機器系統重現的結構物件。

證書至少可以分為：

概念登錄證書；
型別證書；
接口合法性證書；
推論證書；
外部證據證書；
權重證書；
失敗證書；
版本差異證書；
案例重現證書。

11.2 最小操作證書

對操作 $q$ ，定義：

\boxed{ \mathsf{Cert}(q) = \left\langle \operatorname{Context}, \operatorname{Inputs}, \operatorname{Types}, \operatorname{Dependencies}, \operatorname{Interfaces}, \operatorname{Preserved}, \operatorname{Lost}, \operatorname{Evidence}, \operatorname{Result}, \operatorname{Verifier}, \operatorname{Version} \right\rangle. }

11.3 證書的局部性

不要求每次操作都證明整個世界模型為真。證書只需要證明：

在指定上下文、版本與前提下，這一次操作符合已登錄規則。

因此：

\boxed{ \text{操作合法性證書} \neq \text{世界真實性證明}. }

11.4 版本差異證書

對理論版本：

\mathfrak T^{(a)} \longrightarrow \mathfrak T^{(b)},

定義差異證書：

\boxed{ \mathsf{VCert}_{a\to b} = \left\langle \operatorname{Added}, \operatorname{Removed}, \operatorname{Modified}, \operatorname{Migrated}, \operatorname{BrokenInterfaces}, \operatorname{PreservedClaims}, \operatorname{RetractedClaims}, \operatorname{MigrationObligations} \right\rangle. }

這使長期理論迭代不再只是覆蓋舊文件，而能保留可追蹤的概念演化。

12. 分域證書化工作流

12.1 總流程

本文提出：

\boxed{ \text{提取} \rightarrow \text{分域} \rightarrow \text{分角} \rightarrow \text{分型} \rightarrow \text{依賴} \rightarrow \text{接口} \rightarrow \text{認識標記} \rightarrow \text{最小核心} \rightarrow \text{後端實現} \rightarrow \text{案例驗證} \rightarrow \text{證書封裝}. }

12.2 階段 A：原始材料凍結

輸入可以包括：

論文；
草稿；
對話；
公式；
程式碼；
圖表；
實驗數據；
失敗紀錄；
外部評論。

首先建立不可變來源快照，避免後續重構反向改寫原始材料。

12.3 階段 B：概念候選提取

產出：

\mathcal C_{\mathrm{candidate}}.

此階段允許重複、衝突與不完整。

12.4 階段 C：分域與分角

對每個候選概念標記：

\operatorname{Domain}(c), \qquad \operatorname{Role}(c,U).

若無法決定，標記：

\mathsf{DomainUnresolved}

或：

\mathsf{RoleUnresolved}.

12.5 階段 D：型別與身份判準

建立：

輸入型別；
輸出型別；
部分定義域；
相等、同構或觀測等價；
版本身份。

12.6 階段 E：依賴圖

定義依賴圖：

\mathcal G = (V,E,\lambda).

其中邊標記至少包括：

定義依賴；
證明依賴；
語義依賴；
外部證據依賴；
版本依賴；
規範性依賴；
實作依賴。

12.7 階段 F：接口矩陣

建立所有必要的跨域映射，優先檢查：

類型與屬性；
屬性與觀測；
觀測與約束；
約束與目標；
目標與決策；
證據與權重；
語法與語義；
核心與應用；
理論與程式實作；
人類決策與 AI 建議。

12.8 階段 G：認識狀態標記

所有主張必須帶狀態。無狀態主張不得進入正式推論鏈。

12.9 階段 H：最小核心重寫

將理論重寫為：

最小術語表；
最小形式簽名；
最小接口；
最小失敗語義；
最小證書格式。

12.10 階段 I：後端與外部實現

此階段才引入：

數值；
資料；
權重；
特定數學後端；
特定程式語言；
領域規範；
應用案例。

12.11 階段 J：有限案例

第一個案例應：

可完整列舉；
至少包含兩個結構域；
至少包含一個跨域接口；
至少包含一種合法結果；
至少包含一種失敗；
可以產生完整證書；
不依賴大型未解問題。

12.12 階段 K：封裝與版本化

最終產出至少包括：

人類可讀論文；
機器可讀概念表；
接口矩陣；
依賴圖；
認識狀態清單；
成功證書；
失敗證書；
版本差異證書；
未決問題清單。

13. AI 原生理論工程

13.1 AI 的適當角色

AI 適合負責：

從大量文本提取概念候選；
聚合同義詞但保留來源；
建議結構域與角色；
檢查型別與依賴；
搜尋循環定義；
找出無接口的跨域跳躍；
標記認識狀態不一致；
生成證明義務；
產生案例與反例候選；
比較理論版本；
生成證書候選；
重現已知失敗。

13.2 AI 不得自行完成的升格

AI 不得在缺少外部授權或證據時自行：

將猜想標成定理；
將經驗相關標成因果；
將偏好標成硬約束；
將描述性權重標成規範性權重；
將未知值補成零或等權；
將編碼標成等價；
將模型輸出標成外部證據；
將成功案例標成普遍有效；
將人類不可撤回的選擇永久代理化。

13.3 AI 可理解的操作性定義

本文定義：

\boxed{ \text{AI 可理解} = \text{可解析} + \text{可分域} + \text{可型別檢查} + \text{可展開依賴} + \text{可產生證書} + \text{可重現失敗}. }

流暢解釋只是人類可讀性的一部分，不等於形式理解。

13.4 AI 輸出狀態

AI 系統至少應輸出：

\mathsf{Valid}, \quad \mathsf{Invalid}, \quad \mathsf{Underdetermined}, \quad \mathsf{EvidenceMissing}, \quad \mathsf{TypeMismatch}, \quad \mathsf{ContextDependent}, \quad \mathsf{HumanDecisionRequired}.

最後一項表示：形式系統已完成分析，但結果仍涉及不可由 AI 單獨替代的規範性或責任性選擇。

13.5 人機分工

可將人機分工表示為：

\boxed{ \text{人類決定本體邊界、規範權限與不可撤回選擇； AI 維護依賴、接口、版本與證書一致性。} }

此分工不是永久固定，而是一個最低安全邊界。

14. 基礎原則與方法律

14.1 分域律

任何概念在進入正式理論前，必須具有結構域標記，或明示為未決。

\boxed{ \operatorname{Formal}(c) \Longrightarrow \operatorname{Domain}(c) \text{ 已決或已標記未決}. }

14.2 分角律

同一概念若在推論中改變角色，必須經由角色轉換接口。

14.3 接口律

任何跨域推論都必須具有明示接口；文本連續性不能替代接口。

14.4 證據隔離律

外部資料只能透過經標記接口支持條件性實現，不得無證書回填核心必然性。

14.5 狀態守恆律

主張的認識狀態不得在推論中靜默升格。

14.6 失敗完備律

任何正式操作都必須定義至少一種失敗輸出；沒有失敗語義的操作不能稱為完整接口。

14.7 證書局部律

證書只證明指定上下文中的操作合法性，不自動證明整個理論或世界模型為真。

14.8 版本可撤回律

任何主張、接口或概念都必須允許在新證據下被修正、降格或撤回。

14.9 最小核心律

理論核心不得由特定案例、固定權重或單一實作決定，除非它們被明示為身份構成條件。

14.10 AI 非補值律

AI 不得把缺失證據、未決權重、未知語義或未證主張自動補成可用常數或確定結論。

15. 基礎命題

15.1 分域細化命題

若理論版本 $\mathfrak T^{(b)}$ 在不刪除原有合法角色的前提下，將某個結構域細分為多個子域，則所有原接口必須被重新型別檢查。

理由

原接口的來源與目標可能在細分後不再同型。域細化不只增加分類精度，也可能暴露原先被遮蔽的非法合成。

15.2 接口加入不保證一致性

增加接口可以提高理論可組裝性，但也可能增加循環依賴與矛盾路徑。因此：

\boxed{ \text{接口數量增加} \not\Rightarrow \text{理論一致性增加}. }

15.3 認識標記單調透明命題

若一個原本無標記的主張被正確加入認識標籤，理論的內容真值不必改變，但其可審計性不會降低。

15.4 失敗顯式化命題

將隱藏失敗轉成正式失敗物件，不會減少系統可表達的成功結果，卻能增加邊界可見性與重現性。

15.5 證書不可替代真理命題

一個操作具有有效證書，只能推出該操作符合指定規則：

\mathsf{Cert}(q) \Longrightarrow \operatorname{RuleConformant}(q).

不能一般性推出：

\mathsf{Cert}(q) \Longrightarrow \operatorname{WorldTrue}(q).

15.6 後端多實現命題

若核心只規定接口與角色，而不固定單一語義模型，則同一核心可以具有多個互不等價但各自合法的後端實現。

這不是理論缺陷，而是核心抽象層的預期結果。

16. 與既有方法的關係

16.1 與本體論工程

本體論工程主要處理概念、類別與關係的明示化。分域證書化理論工程在此基礎上增加：

認識狀態；
外部證據隔離；
跨域接口契約；
資訊損失；
失敗語義；
版本差異證書；
AI 可執行工作流。

16.2 與知識圖譜

知識圖譜可以承載概念與關係，但圖中的一條邊不自動等於合法推論。分域證書化理論工程要求每條重要邊具有型別、角色、方向、認識狀態與證書義務。

16.3 與形式化驗證

形式化驗證通常在既定規格下檢查實作。本文方法論更早介入：先檢查規格本身是否混合了不同結構域與認識層級。

16.4 與模組化設計

模組化設計強調封裝與接口，但不一定處理：

外部證據是否污染核心；
主張是否由猜想靜默升格；
規範性權重與描述性權重是否混用；
失敗是否具有認識意義。

16.5 與科學方法

科學方法強調假說、觀測、驗證與反駁。本文方法論不是替代科學方法，而是提供一個更細緻的理論內部結構管理層，使觀測、假說、模型、證據與結論不被混寫。

16.6 與系統工程

系統工程處理需求、接口、驗證與生命週期。本文將類似思想引入理論本身，但增加數學與哲學所需的認識狀態、語義後端與主張證書。

17. 適用範圍

17.1 數學新理論

可用於：

新算子系統；
新積分或微分框架；
跨幾何、代數、邏輯的形式系統；
計算實驗與證明的分離；
未解問題研究中的猜想與證書管理。

17.2 AI 原生研究

可用於：

多模型長輪研究；
AI 自主數學平台；
自動概念提取；
研究節點與失敗記錄；
模型生成內容的認識狀態標記；
人機協作的責任邊界。

17.3 哲學與本體論

可用於區分：

本體主張；
語義模型；
思想實驗；
規範性原則；
認識論限制；
形式化近似。

17.4 政策與制度模型

可用於分離：

描述性資料；
法律硬約束；
政策目標；
價值權重；
決策權限；
責任與申訴接口。

17.5 技術白皮書與軟體架構

可用於避免：

產品功能被寫成理論能力；
原型效能被寫成普遍優勢；
模型輸出被寫成真實證據；
API 可用性被誤認為語義完整性；
實作限制被藏在宣傳敘述中。

18. 最小案例規格

18.1 案例目的

第一個正式案例不應選擇大型未解猜想，而應用來檢查方法論是否真的能：

分辨結構域；
發現角色衝突；
建立接口；
標記認識狀態；
產生成功與失敗證書；
比較改版前後的透明度。

18.2 建議案例

適合的起點包括：

有限型別系統；
小型圖約束；
簡化政策決策模型；
小型代數結構；
具備外部權重但可保持符號化的多準則案例；
一篇同時混合定理、實驗與應用宣稱的舊論文重構。

18.3 案例輸出

案例應輸出：

\boxed{ \left\langle \mathcal C, \mathcal D, \mathcal R, \mathcal I, \mathcal G, \mathcal S, \mathsf{Cert}_{\mathrm{success}}, \mathsf{Cert}_{\mathrm{failure}}, \mathsf{VCert} \right\rangle. }

其中 $\mathcal S$ 是認識狀態集合。

19. 實作方向

19.1 機器可讀中介表示

未來可建立：

concept:
  id: concept.unique.id
  name: 概念名稱
  domain: observation
  role: descriptor
  type:
    input: ObjectType
    output: ObservationType
  identity: observational_equivalence
  dependencies: []
  interfaces: []
  epistemic_status: DEF
  evidence_required: false
  failure_modes: []
  certificate_schema: concept-cert-v1
  version: 0.1.0

此格式只是一種實作候選，不屬於方法論核心。

19.2 自動檢查器

最小檢查器可執行：

缺失結構域檢查；
缺失角色檢查；
型別不匹配檢查；
無接口跨域跳躍檢查；
循環依賴檢查；
認識狀態升格檢查；
外部證據缺失檢查；
版本衝突檢查；
未定義失敗語義檢查；
證書完整性檢查。

19.3 與證明助理的關係

Lean、Coq、Isabelle 或其他證明助理可作為部分後端，但分域證書化理論工程不等同於其中任何一種系統。

證明助理可以驗證形式推論；本方法論則還要管理：

哪些內容尚未形式化；
哪些主張依賴外部證據；
哪些角色屬於規範性決策；
哪些接口造成資訊損失；
哪些失敗來自語義而非形式。

20. 完成判準

一個混合型理論完成第一個分域證書化版本，至少需要：

核心概念具有結構域與角色標記；
主要跨域跳躍具有接口契約；
主張具有認識狀態；
外部證據與形式核心分離；
權重缺失時不被任意補值；
至少一種成功與一種失敗可被重現；
最小核心可被獨立描述；
至少一個語義後端被明示；
版本差異可被追蹤；
AI 或獨立系統可以檢查主要證書；
未決項與不可比較項被保留；
理論的獨立價值可以被檢驗或反駁。

理論不以篇幅、術語數量或公式密度作為完成標準。

21. 研究限制

本文目前仍有下列限制：

結構域的劃分尚未證明具有唯一性；
概念身份判準仍可能依賴領域後端；
接口資訊損失尚缺少一般化比較方法；
認識狀態之間的轉換邏輯尚未完整形式化；
證書格式尚未實作成通用中介表示；
人類規範性決策與 AI 建議之邊界仍需更細緻的權限理論；
大型理論中的概念提取可能產生高成本與版本爆炸；
方法論是否具有超越既有本體論工程與系統工程的實際效益，仍需案例比較；
對自然語言中隱喻、模糊概念與刻意多義性的處理仍不完整；
如何證明一組分域本身足夠，仍是開放問題。

這些限制不應被隱藏，而應成為後續研究節點。

22. 後續研究計畫

建議系列依序為：

第一篇

《分域證書化理論工程：混合型理論的概念提取、接口重構與認識狀態管理》

建立母方法論。

第二篇

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

正式處理結構域與角色分離。

第三篇

《跨域接口演算：保留、轉換、資訊損失與部分可逆性》

建立接口形式核心。

第四篇

《認識狀態邏輯：定義、證明、編碼、外部證據與猜想的可撤回管理》

建立認識狀態轉換系統。

第五篇

《失敗作為理論物件：診斷語義、修復義務與反例證書》

將失敗系統獨立化。

第六篇

《AI 證書中介表示：人機可讀理論、版本差異與自動一致性檢查》

建立機器可讀格式與原型。

第七篇

《有限案例基準：分域證書化方法與傳統理論重寫方法的比較》

以有限案例驗證獨立價值。

23. 結論

本文提出分域證書化理論工程，將理論從線性文字重新理解為多個異質結構域、角色、接口、主張、證據、失敗與證書所構成的可版本化系統。

其基本流程為：

\boxed{ \text{提取} \rightarrow \text{分域} \rightarrow \text{分角} \rightarrow \text{分型} \rightarrow \text{依賴} \rightarrow \text{接口} \rightarrow \text{認識標記} \rightarrow \text{最小核心} \rightarrow \text{後端實現} \rightarrow \text{案例驗證} \rightarrow \text{證書封裝}. }

本文最核心的判斷是：

\boxed{ \text{理論的可靠性，不只取決於命題是否正確， 也取決於命題是否被放在正確的結構域、角色、依賴位置與認識層級中。} }

因此，新的理論工程不應以「盡快統一」為第一目標，而應先確保：

\boxed{ \begin{aligned} &\text{先分域，後形式化；}\\ &\text{先分角，後運算；}\\ &\text{先接口，後綜合；}\\ &\text{先證據，後實現；}\\ &\text{先失敗語義，後自動化。} \end{aligned} }

AI 可以擴張理論的速度、範圍與組合能力，但也可能放大概念滑移、跨域跳躍與認識狀態混淆。分域證書化理論工程的目的，不是限制 AI 生成，而是讓生成過程中的每一次合法轉換、每一項資訊損失、每一個未決狀態與每一次失敗都能被看見、追蹤與重現。

最後，本方法論不要求理論一次完成。它允許草稿、未決、不可比較、局部失敗與版本撤回存在。真正需要被禁止的，不是不完整，而是把不完整偽裝成已完成。

\boxed{ \text{可標記的不完整，優於不可見的完整幻象。} }

附錄 A：最小概念登錄模板

concept:
  id: ""
  name: ""
  aliases: []
  domain: ""
  role: ""
  type:
    input: ""
    output: ""
  identity_criterion: ""
  dependencies: []
  interfaces: []
  semantic_backend: []
  epistemic_status: "OPEN"
  evidence_required: false
  evidence_schema: null
  failure_modes: []
  certificate_schema: ""
  version: "0.1.0"
  notes: ""

附錄 B：最小接口模板

interface:
  id: ""
  source_domain: ""
  target_domain: ""
  mapping: ""
  domain_of_definition: ""
  codomain: ""
  preconditions: []
  preserves: []
  transforms: []
  information_loss: []
  inverse_conditions: []
  failure_modes: []
  certificate_obligations: []
  version: "0.1.0"

附錄 C：最小主張模板

claim:
  id: ""
  content: ""
  epistemic_status: "OPEN"
  scope: ""
  assumptions: []
  dependencies: []
  external_evidence: []
  proof_or_certificate: null
  counterexamples: []
  version: "0.1.0"

附錄 D：最小失敗證書模板

failure_certificate:
  operation: ""
  input: ""
  expected: ""
  observed: ""
  failure_layer: ""
  cause: ""
  trace: []
  repair_obligations: []
  related_claims: []
  version: "0.1.0"

附錄 E：來源方法論文件

本方法論由下列既有研究重構中抽取而來：

《分域約束演算長期改版計畫》v0.1，2026-07-24。
《綜合約束微積分：非數值多約束幾何與外部權重理論》v0.2，2026-07-24。

兩份文件在本論文中被視為方法論來源案例，而不是本方法論的適用邊界。

分域證書化理論工程_混合型理論的概念提取接口重構與認識狀態管理_v0.1