title: 主張有效核理論：從完整宣稱到可支持內容
english_title: Claim Validity Kernel Theory: From Full Assertions to Supportable Content
series: 理論有效核與演化補丁工程
series_english: Theory Validity Kernel and Evolutionary Patch Engineering
series_id: TVK-EPE
paper_id: TVK-EPE-01
author: Neo.K with Aletheia
institution: EveMissLab／一言諾科技有限公司
version: v0.1
date: 2026-09-17
language: zh-TW
status: 正式研究草稿
canonical_source_encoding: UTF-8
document_type: 理論方法論／AI 原生理論工程／認識論

主張有效核理論：從完整宣稱到可支持內容

Claim Validity Kernel Theory: From Full Assertions to Supportable Content

系列： 理論有效核與演化補丁工程（TVK-EPE）
論文編號： TVK-EPE-01
作者： Neo.K with Aletheia
機構： EveMissLab／一言諾科技有限公司
版本： v0.1
日期： 2026 年 9 月 17 日

摘要

理論、論文、技術白皮書與形式系統經常被以整體方式判斷為「正確」或「錯誤」。然而，一個實際的理論主張通常不是單一原子命題，而是自然語言、形式符號、定義、作用域、因果解釋、觀測資料、程式實現、歷史語境與未明示前提的複合體。當其中某一部分失效時，整個理論未必同時失效；反之，一個局部成立的形式結果，也不足以自動支持作者在自然語言中給出的全域、本體論或強因果宣稱。

本文提出「主張有效核」（Claim Validity Kernel, CVK）作為理論診斷與演化工程的基礎概念。對任一完整主張 $C$ ，本文不首先詢問：

$C$ 是否整體為真？

而先詢問：

在給定定義域、判定域、證據狀態、尺度、時間與歷史條件下， $C$ 中哪些最小或局部結構仍可被支持？

本文將此可支持部分記為：

K(C\mid \Theta),

其中 $\Theta$ 表示當前條件狀態。一般而言：

K(C\mid\Theta) \subseteq C.

當作者的完整宣稱大於目前可支持部分時，可定義主張殘差：

R(C\mid\Theta) = C\setminus K(C\mid\Theta).

本文主張，理論修訂的第一步不應是直接重寫全文，而應先完成：

C \rightarrow K(C) \rightarrow R(C) \rightarrow \text{Patch Decision}.

其中， $R(C)$ 可能包含範圍過伸、定義歧義、證據不足、因果升格、符號錯位、跨域轉換損失、實現偏差或尚不可判定部分。不同殘差需要不同修補操作，而非統一視為「錯誤」。

本文將主張有效核與既有的分域證書化理論工程、符號瞬時判定域、條件依賴補丁演化論與動態知識空間論接軌，並提出一個適合 AI 原生理論維護的中層接口。其主要目的不是為錯誤理論辯護，而是提高錯誤定位解析度，使理論系統可以區分：

哪些內容仍然成立；
哪些內容需要限縮；
哪些內容可以補證；
哪些接口需要重構；
哪些錯誤會穿透核心生成元；
哪些部分應分叉、退役或暫時保持未決。

本文的核心命題為：

\boxed{ \text{理論存在錯誤} \not\Rightarrow \text{理論全部失效} }

更精確地：

\boxed{ \text{理論診斷的首要對象， 不是整篇文本的二元真值， 而是主張的成立域、有效核與失效殘差。} }

關鍵詞： 主張有效核、理論有效核、成立域、主張殘差、補丁工程、理論演化、分域證書化、條件依賴演化、AI 原生研究、認識狀態

0. 研究定位與既有理論關係

0.1 本文不是「理論有錯也沒關係」

本文不主張：

只要一篇理論有局部價值，就可以忽略錯誤。

本文恰好採取相反方向。

如果錯誤確實存在，應該更精確地回答：

錯誤位於哪一層？
依賴哪些前提？
影響哪些下游結論？
哪些部分不受影響？
是否可透過限縮、重新定義、補充證據或重建接口修復？
若不可修復，應在哪一層分叉或退役？

因此，主張有效核不是降低驗證標準，而是提高錯誤解析度。

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

既有「分域證書化理論工程」已指出，一個混合型理論可能同時包含：

定義；
公理；
定理；
觀測；
數值結果；
外部證據；
程式實現；
價值判斷；
尚未完成的猜想。

這些項目即使在同一篇線性文本中相鄰，也不代表具有相同認識地位。

其基本分離原則可以概括為：

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

本文接受此分域方法，但再向內部推進一步：

即使已經知道某段內容屬於「理論主張」，該主張本身仍可能包含不同強度的成立部分。

因此：

\text{Domain Separation}

之後，仍需要：

\text{Claim Kernel Extraction}.

0.3 與符號瞬時判定域的關係

符號瞬時判定域已經提出：

\text{完整語義同一} \neq \text{任務充分理解}.

兩個主體可以具有不同內部表示：

K_A \neq K_B,

但在特定任務 $T$ 、尺度 $\lambda$ 與時間 $\tau$ 下產生：

J_{T,\lambda,\tau}(K_A) = J_{T,\lambda,\tau}(K_B).

本文將同一思想轉向理論主張。

一個主張未必需要在所有可能語義、所有尺度與所有世界條件下成立，才能在某一明確判定域中保持有效。

因此：

\text{Global Semantic Identity}

不應被默認為：

\text{Local Claim Validity}

的必要條件。

0.4 與條件依賴補丁演化論的關係

既有 CDPET 已經完成一項重要轉換：

補丁不再被視為天然的「收斂補丁」「發散補丁」或「過渡補丁」。

補丁類型取決於：

\text{Theory} + \text{Condition} + \text{History} + \text{Evidence}.

因此，同一修改在不同階段可能具有不同演化角色。

本文補上 CDPET 之前的一個前置層：

在決定如何修補以前，必須先回答：

\text{到底什麼需要被修？}

因此：

\boxed{ \text{CVK} \rightarrow \text{CDPET} }

其中 CVK 負責抽出有效核與殘差，CDPET 負責判斷修補序列的動態性質。

0.5 與動態知識空間論的關係

DEST 已將條件依賴演化擴展為：

多域；
覆蓋；
Gap；
中心；
邊界；
分支；
證書；
歷史；

共同構成的知識狀態動力學。

因此，本文不試圖再次建立一套全域知識空間論。

本文只處理其中一個更細粒度的問題：

一個知識節點或理論節點內部，哪些內容目前真正被支持？

所以其尺度關係可寫成：

\boxed{ \text{DSTE} \rightarrow \text{TVK-EPE} \rightarrow \text{CDPET} \rightarrow \text{DEST} }

1. 問題：為什麼「這個理論是錯的」通常過度粗糙？

1.1 理論不是單一布林值

最簡單的理論判斷方式是：

V(T) \in \{0,1\}.

也就是：

$1$ ：理論正確；
$0$ ：理論錯誤。

此表示在極度簡化的封閉形式問題中可能有用，但對實際跨域理論而言通常解析度不足。

一篇論文可能同時包含：

T = \{ c_1,c_2,\ldots,c_n \}.

即使：

V(c_7)=0,

也不能直接推出：

\forall i,\;V(c_i)=0.

更進一步， $c_7$ 本身也可能是複合主張。

1.2 自然語言常比形式內容宣稱得更強

考慮一種常見寫法：

「 $X$ 是所有複雜系統的基本因果機制。」

但實際形式模型可能只證明：

\forall x\in D, \quad X(x) \Rightarrow Y(x),

其中 $D$ 只是某個有限或受約束域。

此時作者的自然語言宣稱近似：

C_N: \forall x\in U, \quad X \text{ is causally fundamental}.

而被形式或實驗支持的其實是：

C_F: \forall x\in D, \quad X(x)\Rightarrow Y(x).

且：

D \subsetneq U.

因此：

C_F \not\Rightarrow C_N.

問題不一定出現在模型本身。

問題可能只出現在：

\text{Supported Scope} \rightarrow \text{Claimed Scope}

的非法升格。

1.3 過度本體論是高頻失真來源

另一個常見問題是把操作有效性提升成本體同一性。

例如：

M

是一個在領域 $D$ 內非常有效的模型。

我們可能有：

\operatorname{PredictiveFit}(M,D) \gg 0.

甚至有：

\operatorname{OperationalSuccess}(M,D)=1.

但這仍然不能推出：

M \equiv \text{Reality}.

比較安全的結論可能只是：

M \approx_D \Pi(\text{Reality}),

其中 $\Pi$ 表示某種有限觀察、投影或有效表示。

因此：

\boxed{ \text{Operational Validity} \neq \text{Ontological Identity} }

1.4 強因果宣稱也具有相同問題

如果資料顯示：

A \leftrightarrow B,

或：

A \leadsto B,

未必足以推出：

A \Rightarrow_{\mathrm{cause}} B.

作者可能真正得到的是：

關聯；
約束；
預測性；
充分條件候選；
機制候選；
時序依賴；

卻在自然語言中升格為：

$A$ 導致 $B$ 。

此時理論可能不是完全錯誤，而是：

\text{Claim Strength} > \text{Evidence Strength}.

2. 主張物件

2.1 從句子轉向結構化主張

本文不把一個主張 $C$ 僅視為字串。

定義一個主張物件：

\boxed{ C = \left\langle N, F, D, \Theta, E, I, H \right\rangle }

其中：

$N$ ：自然語言宣稱；
$F$ ：形式／符號結構；
$D$ ：定義域與合法作用域；
$\Theta$ ：條件、尺度、時間與判定狀態；
$E$ ：證據與驗證狀態；
$I$ ：實現、模型、程式或實驗接口；
$H$ ：來源、版本與歷史。

這些成分不一定全部存在。

如果缺失，也應記為：

\varnothing

而不是由讀者自行補完。

2.2 主張文字不是主張全部

因此：

\boxed{ N(C) \neq C. }

自然語言只是主張的一個投影。

同一句文字：

「 $X$ 是穩定的。」

可能分別意味：

\operatorname{Stable}_{\mathrm{numerical}}(X),

\operatorname{Stable}_{\mathrm{dynamical}}(X),

\operatorname{Stable}_{\mathrm{semantic}}(X),

或：

\operatorname{Stable}_{\mathrm{institutional}}(X).

若未標明作用域，句子本身不足以唯一決定完整主張。

3. 主張有效核

3.1 基本定義

給定主張 $C$ 與條件狀態 $\Theta$ ，定義：

\boxed{ K(C\mid\Theta) }

為 $C$ 中目前可由既有定義、邏輯、證據、實現或有效判定支持的最大可保留結構之一。

概念上：

K(C\mid\Theta) \subseteq C.

這裡的「子集」不一定只指集合論上的字面子集。

它可以是：

主張範圍的子域；
較弱量詞版本；
較弱因果版本；
較弱本體版本；
部分形式關係；
局部有效模型；
條件式成立版本；
經過角色重新標記後的認識內容。

3.2 有效核不是唯一要求

對複雜理論而言，可能存在多個相容的有效核候選：

K_1, K_2, \ldots, K_m.

因此本文不預設：

\exists!K(C).

更一般地：

\mathcal K(C\mid\Theta) = \{ K_1,K_2,\ldots,K_m \}.

只有在額外判準下，例如：

最小改動；
最大保留；
最小描述長度；
最大證據支持；
最低理論債務；

才可能選擇：

K^\star.

3.3 全域宣稱的局部有效核

例如：

C: \forall x\in U,\;P(x).

若目前只有：

\forall x\in D,\;P(x),

且：

D\subset U,

則可以寫：

K(C)= \forall x\in D,\;P(x).

主張不是完全失敗。

失敗的是：

U\setminus D

上的全稱延伸。

3.4 強因果宣稱的弱核

若作者主張：

C: A \Rightarrow_{\mathrm{cause}} B,

但目前只支持統計或結構關聯：

A \leadsto B,

則：

K(C) = A\leadsto B.

此時不應把整段研究標記為零價值。

但也不應保留原始強因果語言。

3.5 本體宣稱的操作核

若：

C: M\equiv W,

其中 $W$ 表示世界本體，而目前只支持：

M \approx_{D,\lambda} \Pi(W),

則有效核為：

K(C) = M \approx_{D,\lambda} \Pi(W).

這種降階尤其適用於：

世界模型；
心智模型；
社會模型；
經濟模型；
物理有效理論；
AI 表示理論；
跨尺度統一敘述。

4. 主張殘差

4.1 定義

給定：

K(C\mid\Theta) \subseteq C,

定義：

\boxed{ R(C\mid\Theta) = C\setminus K(C\mid\Theta) }

為主張殘差。

$R(C)$ 不等於「錯誤集合」。

它包括至少四種不同東西：

已知錯誤；
尚未支持；
語義不清；
當前不可判定。

4.2 殘差的基本類型

本文提出初版殘差分類：

R = R_D \cup R_S \cup R_E \cup R_C \cup R_\Sigma \cup R_I \cup R_U.

其中：

$R_D$ ：範圍殘差

主張作用域大於證據支持域。

例如：

D_{\mathrm{claim}} \supset D_{\mathrm{support}}.

$R_S$ ：語義／定義殘差

符號、自然語言或概念角色不唯一。

例如：

\text{同一能指} \rightarrow \{\text{多個所指}\}.

$R_E$ ：證據殘差

形式宣稱與可用證據之間存在缺口。

$R_C$ ：因果殘差

描述性關係被提升為強因果。

$R_\Sigma$ ：符號殘差

符號身份、作用域、型別或算子合法性不明。

$R_I$ ：實現殘差

理論結構和程式、模型、runtime 或物理實現之間沒有完全保持。

$R_U$ ：未決殘差

目前資訊不足，不能合理升格為：

\mathrm{true}

或：

\mathrm{false}.

5. 「錯誤」不是單一類型

5.1 表層錯誤

如果錯誤只位於：

符號 typo；
版本引用；
例子；
非核心數值；
語句歧義；

則：

\Delta_{\mathrm{core}} \approx 0.

此類通常可以局部補丁。

5.2 接口錯誤

若錯誤位於：

A \rightarrow B

的跨域映射，而 $A$ 與 $B$ 各自仍成立，則可能進行：

\text{reroute}.

例如：

A \rightarrow M_1 \rightarrow B

失敗，不代表不存在：

A \rightarrow M_2 \rightarrow B.

5.3 生成元錯誤

真正危險的是：

g \in G(T),

其中 $G(T)$ 是理論核心生成元集合。

若：

g=\bot,

而大量結果均依賴：

g \rightarrow c_i,

則錯誤可能具有高穿透性。

此時：

\operatorname{BlastRadius}(g) \gg 0.

這類錯誤才接近真正需要：

分叉；
大規模重構；
核心退役；
新理論重建。

6. 理論可修補性的第一原則

本文提出：

\boxed{ \text{錯誤是否致命} \neq \text{錯誤是否存在}. }

真正問題是：

\boxed{ \text{錯誤是否穿透核心生成元與主要依賴網路？} }

因此可以初步區分：

e_{\mathrm{surface}} \Rightarrow \text{patch},

e_{\mathrm{interface}} \Rightarrow \text{reroute},

e_{\mathrm{generator}} \Rightarrow \text{fork/rebuild}.

這也是本系列後續「錯誤爆炸半徑」專論的起點。

7. 自然語言、數學與程式都可能丟失原始主張

7.1 自然語言的問題不是唯一問題

自然語言具有高度歧義。

但：

\text{移除自然語言} \not\Rightarrow \text{移除全部歧義}.

即使只有：

X=Y,

仍必須問：

$X$ 與 $Y$ 位於什麼域？
$=$ 表示什麼？
是值相等、身份相同、同構、語義等價還是判定等價？
是否依賴時間？
是否依賴觀察者？
是否依賴模型版本？

7.2 純符號仍依賴符號角色

因此：

\boxed{ \text{Symbol Identity} \not\Rightarrow \text{Semantic Identity}. }

同樣地：

\boxed{ \text{Formal Expression} \not\Rightarrow \text{Unique Ontological Interpretation}. }

形式化可以大幅降低某些類型的歧義，但不能自動消除所有定義域、模型域與解釋域問題。

7.3 程式正確也不代表原始意圖可逆

考慮：

I \rightarrow S \rightarrow A \rightarrow P \rightarrow R \rightarrow W,

其中：

$I$ ：原始意圖；
$S$ ：語義結構；
$A$ ：演算法；
$P$ ：程式；
$R$ ：runtime；
$W$ ：世界效果。

若：

I_1,I_2,I_3 \rightarrow P,

則僅由 $P$ 未必能唯一恢復：

I_i.

因此：

P \not\Rightarrow I.

這不是計算機本身「不完備」。

更精確地說：

\boxed{ \text{跨層保持} }

可能是不完備或非可逆的。

8. 有效核的時間依賴

8.1 有效核不是永久不變

本文不主張：

K_t(C)=K_{t+1}(C).

新的：

證據；
反例；
形式證明；
程式驗證；
新定義；
新尺度；
新觀測；

都可能改變有效核。

因此：

K_t(C) \rightarrow K_{t+1}(C).

8.2 有效核可以擴張

若新增證據支持原本未決部分：

R_t \rightarrow K_{t+1},

則：

K_{t+1} \supset K_t.

這是一種理論增強。

8.3 有效核也可以縮小

若發現反例：

x^\star \in D,

且：

\neg P(x^\star),

則原本：

\forall x\in D,\;P(x)

可能必須限縮為：

\forall x\in D',\;P(x),

其中：

D' \subsetneq D.

因此：

K_{t+1} \subset K_t.

9. 主張有效核與理論補丁

9.1 補丁不是從錯誤直接開始

傳統流程：

\text{Error} \rightarrow \text{Fix}.

本文建議：

\boxed{ C \rightarrow K(C) \rightarrow R(C) \rightarrow \operatorname{Dependency}(R) \rightarrow \operatorname{Patch}. }

9.2 第一批補丁算子

本文先提出後續專論將展開的六種操作：

\mathcal P = \{ P_{\mathrm{restrict}}, P_{\mathrm{evidence}}, P_{\mathrm{redefine}}, P_{\mathrm{reroute}}, P_{\mathrm{fork}}, P_{\mathrm{retire}} \}.

分別表示：

$P_{\mathrm{restrict}}$ ：限縮成立域；
$P_{\mathrm{evidence}}$ ：補充證據；
$P_{\mathrm{redefine}}$ ：重新定義；
$P_{\mathrm{reroute}}$ ：替換失效接口；
$P_{\mathrm{fork}}$ ：產生新分支；
$P_{\mathrm{retire}}$ ：退役不可保留核心。

10. AI 原生理論迭代

10.1 為什麼需要 AI

當理論庫只有數十篇，人類作者可以逐篇重讀。

當：

N_{\mathrm{documents}} \gg C_{\mathrm{human-maintenance}},

逐篇人工維護不再具有可擴展性。

此時研究維護目標應從：

作者記住每一篇文章。

轉為：

作者維護理論演化規則，而 AI 持續檢查歷史理論庫。

10.2 AI 不應直接問「這篇對不對」

較低解析度流程是：

讀論文
→ 判斷對 / 錯
→ 重寫

本文建議：

解析主張
→ 分域
→ 抽取有效核
→ 建立成立域
→ 定位殘差
→ 展開依賴
→ 估算影響範圍
→ 提出補丁候選
→ 驗證
→ 版本化

形式表示：

C \rightarrow K(C) \rightarrow R(C) \rightarrow G_{\mathrm{dep}} \rightarrow \mathcal P \rightarrow C'.

10.3 AI 不應默認補完未知內容

AI 可以：

標記缺失；
提出候選；
找外部證據；
生成證明義務；
找依賴；
建議限縮；

但不能把：

\text{unknown}

自動改寫成：

\text{true}.

因此：

\boxed{ \mathrm U }

必須是一個合法狀態。

11. 可證偽性與實驗綱領

主張有效核理論不是只靠概念直覺成立。

本文提出數個可測試方向。

11.1 人類專家有效核一致率

給定同一篇包含過度宣稱的文章，讓多名專家獨立抽取：

K_i(C).

若：

\operatorname{Agreement}(K_i)

顯著高於對整篇「正確／錯誤」的二元評分一致率，則支持有效核作為更穩定分析層。

11.2 AI 多模型有效核重建

讓不同 AI 在不知道彼此輸出的情況下建立：

K^{(1)}, K^{(2)}, \ldots, K^{(m)}.

檢驗：

核心交集；
殘差分布；
對成立域的判定；
對生成元錯誤的敏感性。

11.3 補丁效率實驗

比較：

方法 A

整篇重寫。

方法 B

有效核抽取後局部補丁。

測量：

語義保留率；
新錯誤產生率；
修改範圍；
下游破壞；
驗證成本。

若方法 B 在大量案例上顯著降低不必要改動，則支持本方法的工程價值。

11.4 跨表示保持實驗

將同一主張依序表示為：

\text{自然語言} \rightarrow \text{數學} \rightarrow \text{程式} \rightarrow \text{執行結果}.

每一步重新抽取有效核，測量：

K_0, K_1, K_2, K_3.

若：

K_0 \neq K_3,

則可以定位跨表示資訊損失。

12. 本文不主張什麼

本文不主張：

所有理論都一定存在唯一有效核。
所有錯誤都能被修補。
局部有效就足以保留原作者的完整宣稱。
本體論宣稱必然錯誤。
強因果宣稱必然錯誤。
形式證明可以被弱化為「局部有用」。
數學真值可以任意依語境改變。
AI 可以單獨決定重大理論是否成立。
所有理論都應永遠保留舊版本而不退役。
有效核抽取可以取代證明、實驗或外部驗證。

13. 核心原則

本文將第一版核心壓縮為七條。

原則一：完整宣稱不等於可支持內容

\boxed{ C \neq K(C) }

除非已證明：

C=K(C).

原則二：有效性必須帶域

\boxed{ \operatorname{Valid}(C) }

應盡可能改寫為：

\boxed{ \operatorname{Valid} (C\mid D,\Theta,E,H). }

原則三：錯誤不是單一事件

\text{definition error} \neq \text{evidence error} \neq \text{causal error} \neq \text{implementation error}.

原則四：局部錯誤不自動摧毀全域

e_i \in C

不推出：

C=\bot.

原則五：核心生成元錯誤具有特殊地位

若：

g \in G(C)

失效，則必須展開其完整依賴半徑。

原則六：未決是一個合法認識狀態

\boxed{ \mathrm U \neq \mathrm{false}. }

原則七：修補之前先定位有效核

\boxed{ \text{Extract} \rightarrow \text{Diagnose} \rightarrow \text{Patch}. }

而不是：

\text{Dislike} \rightarrow \text{Rewrite}.

14. 系列後續接口

本文只建立源點。

後續研究將分別處理：

TVK-EPE-02：主張成立域；
TVK-EPE-03：主張殘差拓撲；
TVK-EPE-04：理論補丁算子學；
TVK-EPE-05：錯誤爆炸半徑與核心生成元；
TVK-EPE-06：跨表示有效核保持；
TVK-EPE-07：AI 原生理論迭代引擎；
TVK-EPE-08：TVK-EPE、DSTE、CDPET、DEST 的統合接口。

15. 結論

理論研究常被過度壓縮成：

\text{true} \quad\text{vs}\quad \text{false}.

但實際知識系統通常具有：

多域；
多尺度；
多種認識狀態；
不完整證據；
歷史依賴；
表示損失；
局部成立；
動態修正。

因此，一篇理論中出現錯誤，不應立即導向整篇作廢；同樣地，一個局部成功，也不能被擴張成全域真理。

本文提出：

\boxed{ K(C\mid\Theta) }

作為「主張目前真正可支持部分」的中層表示，並以：

R(C\mid\Theta) = C\setminus K(C\mid\Theta)

表示其待處理殘差。

於是理論維護可以從粗糙的：

C \rightarrow \{\text{keep},\text{discard}\}

轉為：

C \rightarrow K(C) \rightarrow R(C) \rightarrow \{ \text{restrict}, \text{evidence}, \text{redefine}, \text{reroute}, \text{fork}, \text{retire}, \text{undetermined} \}.

本文最終提出：

\boxed{ \text{理論的錯誤不首先要求廢棄； 它首先要求定位其成立域、有效核與失效半徑。} }

而在大規模 AI 原生研究時代，這不只是一項認識論立場，也可能成為知識庫長期維護、理論自動迭代與跨版本演化的基礎工程原則。

參考與內部理論來源

Neo.K，《補丁的分類學：收斂、發散與過渡的認識論意義》，2025。
Neo.K，《條件依賴演化論：知識、信息與真值的統一動力學》，2025。
Neo.K，《條件依賴補丁演化論：收斂、發散、過渡與理論重構的統一動力學》，v1.0，2026。
Neo.K，《分域證書化理論工程：混合型理論的概念提取、接口重構與認識狀態管理》，v0.1，2026。
Neo.K，《符號瞬時判定域：從語義同一到任務下判定等價》，v0.1，2026。
Neo.K，《動態知識空間總論：覆蓋、間隙、邊界、關聯與條件依賴演化的統一框架》，2026。
Neo.K，《條件依賴知識演化 2.0：多域、覆蓋、Gap、中心、邊界、分支、證書與歷史的聯合動力學》，v0.1，2026。
Neo.K with Aletheia，《程式語言不等於文字：結構、語意與執行的基本分離》，2026。
Neo.K，《同一能指下的不同對象：羅素—維根斯坦爭論中的定義行為、範疇錯位與數學發現／發明問題》，2026。

版本註記

v0.1 新增：

主張物件 $C$ ；
主張有效核 $K(C\mid\Theta)$ ；
有效核候選集合 $\mathcal K(C\mid\Theta)$ ；
主張殘差 $R(C\mid\Theta)$ ；
七類初始殘差結構；
表層／接口／生成元錯誤分離；
CVK → CDPET → DEST 理論接口；
AI 原生有效核抽取流程；
第一版可證偽研究綱領。

待後續論文展開：

有效核最大性與最小性判準；
成立域的形式結構；
殘差拓撲；
爆炸半徑；
跨表示保持；
自動補丁證書；
大規模理論庫迭代協議。

主張有效核理論：從完整宣稱到可支持內容

主張有效核理論：從完整宣稱到可支持內容

Claim Validity Kernel Theory: From Full Assertions to Supportable Content

摘要

0. 研究定位與既有理論關係

0.1 本文不是「理論有錯也沒關係」

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

0.3 與符號瞬時判定域的關係

0.4 與條件依賴補丁演化論的關係

0.5 與動態知識空間論的關係

1. 問題：為什麼「這個理論是錯的」通常過度粗糙？

1.1 理論不是單一布林值

1.2 自然語言常比形式內容宣稱得更強

1.3 過度本體論是高頻失真來源

1.4 強因果宣稱也具有相同問題

2. 主張物件

2.1 從句子轉向結構化主張

2.2 主張文字不是主張全部

3. 主張有效核

3.1 基本定義

3.2 有效核不是唯一要求

3.3 全域宣稱的局部有效核

3.4 強因果宣稱的弱核

3.5 本體宣稱的操作核

4. 主張殘差

4.1 定義

4.2 殘差的基本類型

RDR_DRD​：範圍殘差

RSR_SRS​：語義／定義殘差

RER_ERE​：證據殘差

RCR_CRC​：因果殘差

RΣR_\SigmaRΣ​：符號殘差

RIR_IRI​：實現殘差

RUR_URU​：未決殘差

5. 「錯誤」不是單一類型

5.1 表層錯誤

5.2 接口錯誤

5.3 生成元錯誤

6. 理論可修補性的第一原則

7. 自然語言、數學與程式都可能丟失原始主張

7.1 自然語言的問題不是唯一問題

7.2 純符號仍依賴符號角色

7.3 程式正確也不代表原始意圖可逆

8. 有效核的時間依賴

8.1 有效核不是永久不變

8.2 有效核可以擴張

8.3 有效核也可以縮小

9. 主張有效核與理論補丁

9.1 補丁不是從錯誤直接開始

9.2 第一批補丁算子

10. AI 原生理論迭代

10.1 為什麼需要 AI

10.2 AI 不應直接問「這篇對不對」

10.3 AI 不應默認補完未知內容

11. 可證偽性與實驗綱領

11.1 人類專家有效核一致率

11.2 AI 多模型有效核重建

11.3 補丁效率實驗

方法 A

方法 B

11.4 跨表示保持實驗

12. 本文不主張什麼

13. 核心原則

原則一：完整宣稱不等於可支持內容

原則二：有效性必須帶域

原則三：錯誤不是單一事件

原則四：局部錯誤不自動摧毀全域

原則五：核心生成元錯誤具有特殊地位

原則六：未決是一個合法認識狀態

原則七：修補之前先定位有效核

14. 系列後續接口

15. 結論

參考與內部理論來源

版本註記

$R_D$ ：範圍殘差

$R_S$ ：語義／定義殘差

$R_E$ ：證據殘差

$R_C$ ：因果殘差

$R_\Sigma$ ：符號殘差

$R_I$ ：實現殘差

$R_U$ ：未決殘差