X 分數結構微積分純數學實戰 I：可去表示缺口、局部化與來源非坍縮

X Fraction-Structure Pure Mathematics Experiment I: Removable Presentation Gaps, Localization, and Provenance Non-Collapse

文件編號：EML-X-FRAC-EXP-I-2026-v0.1
作者：Neo.K（許筌崴）｜EveMissLab（一言諾科技有限公司）
理論整理與形式化協作：Aletheia（GPT）
版本日期：2026-07-26
承接文件：《X 分數結構微積分 I：相對存在的形成、微分、約分與再積分》
文件性質：純數學基準測試、交換代數案例、理論修正紀錄

摘要

本文對 X 分數結構微積分進行第一次純數學實戰。測試案例為整域中的可約分式及其在分式域、主局部化與局部環中的不同合法性。令 $R$ 為整域， $\mathfrak p$ 為素理想，取非零元素 $u\in\mathfrak p$ 與任意 $v\in R$ ，考察原始分數表示：

E = \frac{uv}{u}.

在分式域 $\operatorname{Frac}(R)$ 中：

\left[ \frac{uv}{u} \right] = \left[ \frac{v}{1} \right].

在主局部化 $R_u$ 中，因為 $u$ 被允許成為可逆元，原表示 $uv/u$ 是合法表示。相對地，在局部環 $R_{\mathfrak p}$ 中，合法分母必須位於 $R\setminus\mathfrak p$ ；由於 $u\in\mathfrak p$ ，原表示不是 $R_{\mathfrak p}$ 的合法分數代表。然而，同一分式域元素仍由合法代表 $v/1$ 屬於 $R_{\mathfrak p}$ 。

此案例證明：

\boxed{ \text{特定分數表示不合法} \not\Rightarrow \text{其商類不屬於目標結構}. }

測試結果顯示，X 分數結構微積分的來源保存、非坍縮、上下文微分與表示缺口分類具有一致用途；但原始第一版形成流程過度線性，未充分區分：

語法形成；
環境分式域中的商類形成；
特定代表在目標上下文中的直接合法性；
商類是否存在至少一個目標上下文合法代表；
商類向目標結構的語義實現。

本文因此提出「雙上下文、四判定」修正：分數首先在環境上下文 $\Gamma_{\mathrm{amb}}$ 中形成商類，再相對於目標上下文 $\Gamma_{\mathrm{tar}}$ 判定是否存在合法代表。第一輪實戰的結論不是 X 理論原樣通過，而是：

\boxed{ \text{核心方向通過，} \quad \text{單一形成判定必須修正。} }

本文沒有得到新的交換代數定理。新增價值位於跨層判定、來源證書、表示—商類分離、上下文轉送與失敗分類。這個結果同時提供一個明確可反駁標準：若 X 系統把原表示在 $R_{\mathfrak p}$ 中的失敗誤判為其商類不存在，則該版本的 X 分數形成律不正確。

關鍵詞：X 積分；分數結構；局部化；局部環；分式域；表示缺口；商類；來源保存；非坍縮；語義實現

0. 實驗結論先行

本次實驗得到四個主要結論。

0.1 標準代數結果完全保守

X 分數系統在本例中不得改變：

\frac{uv}{u} = v

於 $\operatorname{Frac}(R)$ 中成立的事實。

若 X 系統因來源保存而拒絕此商類等式，則不保守。

0.2 來源保存具有額外資訊

雖然：

\left[ (uv,u) \right] = \left[ (v,1) \right],

但兩個表示具有不同來源與不同分母歷史。這些差異不屬於分式域元素本身，卻可作為 X 證書的外加結構保存。

0.3 原始形成律需要修正

在 $R_{\mathfrak p}$ 中，原表示 $(uv,u)$ 的分母不合法，但其商類仍屬於 $R_{\mathfrak p}$ 。

因此必須區分：

\operatorname{RepLegal}_{\Gamma}(E)

與：

\operatorname{ClassLegal}_{\Gamma}([E]).

一般而言：

\boxed{ \neg\operatorname{RepLegal}_{\Gamma}(E) \not\Rightarrow \neg\operatorname{ClassLegal}_{\Gamma}([E]). }

0.4 X 的新增價值不是新代數等式

標準交換代數已經知道：

分式域等價；
局部化；
局部環；
合法分母；
正則函數與可去表示缺口。

X 在本例中增加的是：

統一的形成層級；
來源歷史；
關係與上下文證書；
表示失敗與結構失敗分離；
再積分停止前沿；
可供機器判定的失敗類型。

第一部　實驗問題與可反駁標準

1. 實驗問題

本次測試不問：

X 語言能否重新敘述一個簡單約分？

真正問題是：

當同一個分式域元素在不同局部化上下文中具有不同合法代表時，X 分數形成律能否同時保存來源、承認商類等價、正確判定局部合法性，並避免把表示失敗誤判為結構不存在？

2. 六項測試假設

假設 H1：分層能力

X 系統可以區分：

\operatorname{RawExpression}, \quad \operatorname{QuotientClass}, \quad \operatorname{TargetRealization}.

假設 H2：上下文分母合法性

相同分母 $u$ 在不同上下文中可以有不同合法性：

\operatorname{DenLegal}_{\Gamma_u}(u),

但：

\neg \operatorname{DenLegal}_{\Gamma_{\mathfrak p}}(u).

假設 H3：來源非坍縮

商類等價不會抹除原始表示歷史：

(uv,u) \sim_q (v,1),

但：

(uv,u) \not\equiv_{\mathrm{src}} (v,1).

假設 H4：奇點分層

原表示在 $\mathfrak p$ 處的失敗應被分類為表示缺口，而非商類或正則結構的真奇點。

假設 H5：再積分守衛

一個分數可在某上下文中形成，不會使所有相關分數在另一上下文中自動形成。

假設 H6：保守實現

移除 X 證書後，所得代數語義必須回到標準局部化與分式域。

3. 失敗條件

任一情況成立，皆表示第一版框架需要修正：

因來源不同而拒絕标准商類等式；
因原表示分母不合法而宣稱商類不在局部環；
未區分語法形成與語義實現；
未區分特定代表合法與存在合法代表；
把表示缺口分類為不可修復結構奇點；
從一次合法約分推出後續所有再積分都合法；
無法指出 X 相較標準代數增加了哪些可驗證資訊。

第二部　交換代數基準

4. 一般設定

令 $R$ 為整域， $\mathfrak p$ 為 $R$ 的素理想。選取：

0 \neq u \in \mathfrak p,

以及：

v \in R.

令：

K := \operatorname{Frac}(R).

定義兩個原始表示：

E := (uv,u),

N := (v,1).

對應字形為：

E \rightsquigarrow \frac{uv}{u},

N \rightsquigarrow \frac{v}{1}.

5. 分式域等價

分式域中的等價關係為：

(a,b) \sim (c,d) \quad \Longleftrightarrow \quad ad = bc.

對 $E$ 與 $N$ ：

(uv)\cdot1 = u\cdot v.

因此：

E \sim N.

於是：

\boxed{ [E]_K = [N]_K = v. }

這是後續所有 X 判定不得破壞的代數基準。

6. 主局部化 $R_u$

令：

S_u := \{ 1,u,u^2,u^3,\ldots \}.

定義：

R_u := S_u^{-1}R.

因為：

u \in S_u,

所以：

\frac{uv}{u}

是 $R_u$ 中的合法直接表示。

而且：

\frac{uv}{u} = \frac{v}{1}

於 $R_u$ 中成立。

7. 局部環 $R_{\mathfrak p}$

令：

S_{\mathfrak p} := R\setminus\mathfrak p.

定義局部環：

R_{\mathfrak p} := S_{\mathfrak p}^{-1}R.

合法分母必須屬於：

S_{\mathfrak p}.

但由設定：

u \in \mathfrak p.

因此：

u \notin S_{\mathfrak p}.

故原始對：

(uv,u)

不是 $R_{\mathfrak p}$ 的合法直接代表。

另一方面：

1 \notin \mathfrak p,

所以：

1 \in S_{\mathfrak p}.

因此：

(v,1)

是 $R_{\mathfrak p}$ 的合法代表。

由於兩者在 $K$ 中代表同一元素：

[E]_K = [N]_K,

得到：

\boxed{ [E]_K \in R_{\mathfrak p} \quad \text{但} \quad E \notin R\times S_{\mathfrak p}. }

這裡第一個「屬於」指分式域元素由合法代表 $N$ 實現在局部環中；第二個「不屬於」指原始表示對不是局部環的合法表示資料。

8. 基準命題一：表示不合法不推出商類不存在

命題

設 $R$ 為整域、 $\mathfrak p$ 為素理想、 $0\neq u\in\mathfrak p$ 且 $v\in R$ 。令：

E = \frac{uv}{u} \in K.

則：

原表示 $(uv,u)$ 不是 $R_{\mathfrak p}$ 的合法表示對；
分式域元素 $[E]_K$ 屬於 $R_{\mathfrak p}$ ；
其合法局部代表為 $(v,1)$ 。

證明

由：

u \in \mathfrak p,

可知：

u \notin R\setminus\mathfrak p.

因此 $(uv,u)$ 不是 $R_{\mathfrak p}$ 的合法表示對。

另一方面：

(uv)\cdot1 = u\cdot v,

所以：

(uv,u) \sim (v,1)

於 $K$ 中成立。

又因：

1 \in R\setminus\mathfrak p,

故 $(v,1)$ 是 $R_{\mathfrak p}$ 的合法表示。於是 $[E]_K$ 由 $(v,1)$ 實現在 $R_{\mathfrak p}$ 中。證畢。

9. 基準命題二：不可逆分母的真正障礙

令：

G := \frac{1}{u} \in K.

則：

G \in R_u,

但：

G \notin R_{\mathfrak p}.

證明

在 $R_u$ 中， $u\in S_u$ ，因此 $1/u$ 合法。

反設：

\frac{1}{u} = \frac{r}{s}

於 $K$ 中成立，其中：

s \notin \mathfrak p.

交叉相乘得到：

s = ur.

由於：

u \in \mathfrak p,

故：

ur \in \mathfrak p.

於是：

s \in \mathfrak p,

與 $s\notin\mathfrak p$ 矛盾。

因此：

\boxed{ \frac{1}{u} \notin R_{\mathfrak p}. }

此命題提供再積分守衛的真正失敗案例： $uv/u$ 可藉由合法代表進入 $R_{\mathfrak p}$ ，但 $1/u$ 不行。

第三部　具體多項式案例

10. 單變量專門化

取任意域 $K_0$ ，令：

R := K_0[x].

選取：

a \in K_0,

並定義：

u := x-a,

v := x+a.

則：

uv = (x-a)(x+a) = x^2-a^2.

取素理想：

\mathfrak p := (x-a).

原始分數為：

E_a := \frac{x^2-a^2}{x-a}.

正規代表為：

N_a := \frac{x+a}{1}.

在有理函數域 $K_0(x)$ 中：

\boxed{ [E_a] = [N_a]. }

11. 三個代數上下文

11.1 有理函數域

在：

\Gamma_K := K_0(x)

中， $E_a$ 與 $N_a$ 均為合法表示，且屬於同一商類。

11.2 主局部化

在：

\Gamma_u := K_0[x,(x-a)^{-1}]

中， $x-a$ 已被宣告可逆，因此 $E_a$ 是合法直接表示。

11.3 局部環

在：

\Gamma_{\mathfrak p} := K_0[x]_{(x-a)}

中，原分母：

x-a

位於極大理想 $(x-a)$ ，因此不是合法局部分母。

但：

x+a \in K_0[x]_{(x-a)},

故商類仍有合法局部代表。

12. 幾何解讀

令：

X := \operatorname{Spec}(K_0[x]).

主開集：

D(x-a) := \{ \mathfrak q \in X \mid x-a \notin \mathfrak q \}.

原表示：

\frac{x^2-a^2}{x-a}

直接定義 $D(x-a)$ 上的正則函數。

但此正則函數等於：

x+a,

而 $x+a$ 是整個 $X$ 上的正則函數。

因此，原表示在閉點 $(x-a)$ 處的失敗不是函數本身的真奇點，而是特定分數表示沒有使用最大正則域。

第四部　X 分數編碼

13. 四種上下文必須分開

本例至少需要四種上下文。

13.1 語法上下文

\Gamma_{\mathrm{syn}}

負責判定字形與來源對能否形成原始分數表示：

\Gamma_{\mathrm{syn}} \vdash E : \operatorname{RawFracExpr}(R).

13.2 環境分式域上下文

\Gamma_{\mathrm{amb}} := K = \operatorname{Frac}(R)

負責形成商類：

\Gamma_{\mathrm{amb}} \vdash [E]_K : K.

13.3 直接表示上下文

對目標代數 $A\subseteq K$ ，判定特定表示 $E=(a,b)$ 的分母是否被 $A$ 的表示規則接受：

\Gamma_A \vdash \operatorname{RepLegal}(E;A).

13.4 目標實現上下文

判定商類是否存在至少一個合法代表，使其屬於 $A$ ：

\Gamma_A \vdash \operatorname{ClassLegal}([E]_K;A).

14. 原始單上下文流程的問題

第一版 X 分數流程可概括為：

(a,b) \longrightarrow \operatorname{RawFrac}(a,b) \xrightarrow{\operatorname{DenLegal}(b)} \operatorname{XFrac}(a,b) \xrightarrow{q} [a,b].

若把唯一上下文直接設為 $R_{\mathfrak p}$ ，則由：

u \in \mathfrak p

得到：

\neg \operatorname{DenLegal}_{\Gamma_{\mathfrak p}}(u).

於是原流程會在商化前停止，無法到達合法代表 $(v,1)$ 。

這會誤判：

[E]_K \notin R_{\mathfrak p}.

但標準代數已證明：

[E]_K = [v,1] \in R_{\mathfrak p}.

因此，單一上下文與單一形成判定不夠。

15. 雙上下文修正

定義：

\Gamma_{\mathrm{amb}}

為環境形成上下文，並定義：

\Gamma_{\mathrm{tar}}

為目標實現上下文。

流程改為：

\boxed{ E \xrightarrow[\Gamma_{\mathrm{amb}}]{\operatorname{QuotientFormation}} [E]_K \xrightarrow[\Gamma_{\mathrm{tar}}]{\operatorname{RepresentativeSearch}} E' \xrightarrow{\operatorname{Realization}} [E']_{\Gamma_{\mathrm{tar}}}. }

其中要求：

E' \sim_K E,

以及：

\operatorname{RepLegal}_{\Gamma_{\mathrm{tar}}}(E').

16. 商類合法性的存在量詞

對目標上下文 $\Gamma$ ，定義：

\boxed{ \operatorname{ClassLegal}_{\Gamma}([E]) \quad \Longleftrightarrow \quad \exists E' \left[ E' \sim E \land \operatorname{RepLegal}_{\Gamma}(E') \right]. }

本例中：

\neg \operatorname{RepLegal}_{\Gamma_{\mathfrak p}}(E),

但取：

E' = N = (v,1),

可得：

E' \sim E,

且：

\operatorname{RepLegal}_{\Gamma_{\mathfrak p}}(E').

所以：

\boxed{ \operatorname{ClassLegal}_{\Gamma_{\mathfrak p}}([E]). }

17. 四判定系統

本次實驗要求加入以下四種判定。

17.1 語法形成

\Gamma_{\mathrm{syn}} \vdash E \;\operatorname{synform}.

17.2 環境商類形成

\Gamma_{\mathrm{amb}} \vdash [E] \;\operatorname{classform}.

17.3 特定代表合法

\Gamma_{\mathrm{tar}} \vdash E \;\operatorname{replegal}.

17.4 商類目標實現

\Gamma_{\mathrm{tar}} \vdash [E] \;\operatorname{realizable}.

四者不能合併為單一：

\Gamma \vdash E \;\operatorname{form}.

第五部　上下文判定矩陣

18. 核心矩陣

對象與判定	$\Gamma_{\mathrm{syn}}$	$\Gamma_K$	$\Gamma_u$	$\Gamma_{\mathfrak p}$
原字形 $E=(uv,u)$ 可形成	成立	成立	成立	成立
$E$ 是合法直接代表	不適用	成立	成立	不成立
商類 $[E]_K$ 可形成	不適用	成立	經嵌入成立	經合法代表成立
正規代表 $N=(v,1)$ 合法	成立	成立	成立	成立
$[E]_K=[N]_K$	不判定	成立	成立	由環境商類轉送成立
原分母 $u$ 可逆	不判定	成立	成立	不成立
商類由某合法代表實現	不判定	成立	成立	成立
來源歷史仍可回溯	由 X 證書要求	由 X 證書要求	由 X 證書要求	由 X 證書要求

表中的第一列只表示原字形可以作為語法對象形成，不表示它能直接作為每個代數中的合法表示。

19. 形成狀態不是二值

本例顯示至少需要以下狀態：

\operatorname{SynFormed},

\operatorname{ClassFormed},

\operatorname{DirectlyAdmissible},

\operatorname{IndirectlyRealizable},

\operatorname{NotRealizable}.

對原表示 $E$ 在 $\Gamma_{\mathfrak p}$ 中：

\operatorname{SynFormed}(E),

\neg \operatorname{DirectlyAdmissible}_{\Gamma_{\mathfrak p}}(E),

但：

\operatorname{IndirectlyRealizable}_{\Gamma_{\mathfrak p}}([E]).

對 $G=1/u$ 在 $\Gamma_{\mathfrak p}$ 中：

\operatorname{SynFormed}(G),

但：

\neg \operatorname{ClassLegal}_{\Gamma_{\mathfrak p}}([G]).

這兩種失敗不能輸出同一個標記。

第六部　X 六律逐條實戰

20. 第一律：積分形成律

20.1 原判定

原形成律要求：

\operatorname{DenLegal}_{\Gamma}(u)

後才形成：

\operatorname{XFrac}_{\mathrm{quot}}^{\Gamma}(uv,u).

20.2 實驗結果

在 $\Gamma_u$ 中：

\operatorname{DenLegal}_{\Gamma_u}(u)

成立，因此直接形成通過。

在 $\Gamma_{\mathfrak p}$ 中：

\operatorname{DenLegal}_{\Gamma_{\mathfrak p}}(u)

不成立，因此特定代表直接形成失敗。

但商類可藉由 $N=(v,1)$ 實現。

20.3 判定

第一律：

\boxed{ \operatorname{PassWithRevision}. }

必須把「分數形成」拆成：

\operatorname{PresentationFormation}

與：

\operatorname{ClassRealization}.

21. 第二律：來源保存律

對原表示：

\operatorname{Src}(E) = \langle uv,u, /_{\mathrm{quot}}, \Gamma_{\mathrm{amb}} \rangle.

對正規代表：

\operatorname{Src}(N) = \langle v,1, /_{\mathrm{quot}}, \Gamma_{\mathrm{tar}} \rangle.

商化證書記錄：

\operatorname{QuotCert}(E,N) = \left\langle (uv)\cdot1 = u\cdot v, u, \Gamma_{\mathrm{amb}}, \Gamma_{\mathrm{tar}} \right\rangle.

因此：

\operatorname{Src}([E]) \supseteq \{ E,N,\operatorname{QuotCert}(E,N) \}.

判定

第二律：

\boxed{ \operatorname{Pass}. }

但應明確說明：來源歷史是 X 擴充資料，不是分式域元素的內在不變量。

22. 第三律：非坍縮律

標準代數要求：

[E]_K = [N]_K.

X 非坍縮要求：

E \not\equiv_{\mathrm{presentation}} N.

兩者完全相容，只要不錯置層級：

\boxed{ [E]_K=[N]_K \quad \land \quad E\not\equiv_{\mathrm{presentation}}N. }

判定

第三律：

\boxed{ \operatorname{Pass}. }

若非坍縮律被解讀為拒絕 $[E]_K=[N]_K$ ，則立即失敗。

23. 第四律：再積分守衛律

取：

G = \frac{1}{u}.

在 $\Gamma_u$ 中：

G \in R_u.

因此，若關係 $\sigma$ 是 $R_u$ 中的乘法或其他合法代數操作，則：

\Gamma_u \vdash \mathsf I_{\sigma}(F;G) \;\operatorname{form}.

在 $\Gamma_{\mathfrak p}$ 中：

G \notin R_{\mathfrak p}.

因此：

\Gamma_{\mathfrak p} \nvdash \mathsf I_{\sigma}(F;G) \;\operatorname{form}.

即使：

F \in R_{\mathfrak p},

也不能推出：

G \in R_{\mathfrak p}.

判定

第四律：

\boxed{ \operatorname{Pass}. }

而且本例提供了非人為的停止前沿。

24. 第五律：結構微分律

24.1 來源微分

\mathsf D_{\mathrm{src}}(E) = \left\langle uv,u, /_{\mathrm{quot}}, \Gamma_{\mathrm{amb}} \right\rangle.

24.2 商化微分

\mathsf D_{\mathrm{quotient}}(E) = \left\langle E, N, E\sim N, u, \Delta_{\mathrm{identified}}, \Delta_{\mathrm{preserved}} \right\rangle.

其中：

\Delta_{\mathrm{identified}} = \text{商類中的共同因子差異},

而：

\Delta_{\mathrm{preserved}} = \text{表示與來源歷史}.

24.3 上下文微分

\mathsf D_{\mathrm{ctx}}(E) = \left\langle \Gamma_K, \Gamma_u, \Gamma_{\mathfrak p}, \operatorname{RepLegal}, \operatorname{ClassLegal} \right\rangle.

24.4 分母微分

\mathsf D_{\mathrm{den}}(E) = \left\langle u\in S_u, u\notin S_{\mathfrak p}, \operatorname{Invertible}_{R_u}(u), \neg\operatorname{Invertible}_{R_{\mathfrak p}}(u) \right\rangle.

24.5 奇點微分

\mathsf D_{\mathrm{sing}}(E;\mathfrak p) = \left\langle \operatorname{PresentationFail}, \operatorname{AlternativeRep}(N), \operatorname{ClassLegal}, \operatorname{Extendable} \right\rangle.

判定

第五律：

\boxed{ \operatorname{Pass}. }

但其新增價值是診斷結構，不是新的導數值。

25. 第六律：動態整體閉合律

本例只包含有限次：

E \rightsquigarrow [E]_K \rightsquigarrow N \rightsquigarrow R_{\mathfrak p}

的形成與轉送。

它可以測試：

身份核心是否保存；
來源是否延續；
下一次再積分是否停止。

但不能單獨證明：

無限遞歸閉合；
極限一致性；
超限來源保存；
動態不動點存在。

判定

第六律：

\boxed{ \operatorname{PartialPass}. }

需要連分數或局部化鏈才能進一步測試。

第七部　X 分數奇點證書

26. 原表示在 $\mathfrak p$ 處的證書

對：

E = \frac{uv}{u},

定義：

\operatorname{XFracSingCert}(E;\mathfrak p) = \left\langle C_E, R_E, D_E, I_E, E_E, V_E, Q_E, G_E \right\rangle.

各欄位為：

C_E = \Gamma_{\mathfrak p},

R_E = /_{\mathrm{quot}},

D_E = u\notin S_{\mathfrak p},

I_E = u^{-1}\notin R_{\mathfrak p},

E_E = \operatorname{AlternativeRepresentative}(v,1),

V_E = \operatorname{NoCodomainExtensionRequired},

Q_E = (uv,u)\sim(v,1),

G_E = \operatorname{RealizableVia}(v,1).

因此：

\boxed{ \operatorname{SingType}(E;\mathfrak p) = \operatorname{RemovablePresentationGap}. }

27. 與真正逆元缺失的對照

對：

G = \frac{1}{u},

不存在 $R_{\mathfrak p}$ 中的合法替代代表。

因此：

\operatorname{XFracSingCert}(G;\mathfrak p)

具有：

D_G = u\notin S_{\mathfrak p},

I_G = u^{-1}\notin R_{\mathfrak p},

E_G = \operatorname{NoAlternativeRepresentative},

G_G = \operatorname{TargetRealizationFail}.

故：

\boxed{ \operatorname{SingType}(G;\mathfrak p) = \operatorname{InverseObstruction}. }

本例由此成功區分：

\operatorname{PresentationGap} \neq \operatorname{InverseObstruction}.

第八部　必要理論修正

28. 修正一：形成律拆成兩個階段

原形式：

\operatorname{DenLegal}_{\Gamma}(b) \Longrightarrow \operatorname{XFrac}_{\rho}^{\Gamma}(a,b) \;\operatorname{form}

應改為兩階段。

28.1 環境形成

\frac{ \Gamma_{\mathrm{amb}} \vdash a,b \quad \Gamma_{\mathrm{amb}} \vdash b \neq 0 }{ \Gamma_{\mathrm{amb}} \vdash [a,b] : \operatorname{FracClass}(R) }.

28.2 目標實現

\frac{ \Gamma_{\mathrm{amb}} \vdash [a,b] : \operatorname{FracClass}(R) \quad \exists(c,d) \left[ (c,d)\sim(a,b) \land \operatorname{DenLegal}_{\Gamma_{\mathrm{tar}}}(d) \right] }{ \Gamma_{\mathrm{tar}} \vdash [a,b] \;\operatorname{realizable} }.

29. 修正二：分母合法性附著於代表

第一版容易把：

\operatorname{DenLegal}_{\Gamma}(b)

誤解為商類的固有性質。

本例證明它首先是特定代表的性質：

\boxed{ \operatorname{DenLegal}_{\Gamma} \left( \operatorname{den}(E) \right) \text{ 是表示依賴的。} }

商類合法性則是存在合法代表：

\operatorname{ClassLegal}_{\Gamma}([E]) \Longleftrightarrow \exists E' \left[ E'\sim E \land \operatorname{DenLegal}_{\Gamma} \left( \operatorname{den}(E') \right) \right].

30. 修正三：加入正規化轉送證書

定義：

\boxed{ \operatorname{NormTransportCert}_{\Gamma} (E,E') = \left\langle E\sim E', \operatorname{RepLegal}_{\Gamma}(E'), \operatorname{Src}(E), \operatorname{Src}(E'), \Delta_{\mathrm{identified}}, \Delta_{\mathrm{preserved}} \right\rangle. }

本例中：

\operatorname{NormTransportCert}_{\Gamma_{\mathfrak p}} \left( (uv,u), (v,1) \right)

是商類進入 $R_{\mathfrak p}$ 的合法轉送證書。

31. 修正四：X 分數證書加入雙上下文

原證書只有單一：

\Gamma.

應擴張為：

\boxed{ \operatorname{XFracCert}^{*}(F) = \left\langle \Gamma_{\mathrm{syn}}, \Gamma_{\mathrm{amb}}, \Gamma_{\mathrm{tar}}, C_{\mathrm{rep}}, C_{\mathrm{class}}, C_{\mathrm{transport}}, C_{\mathrm{src}}, C_{\mathrm{guard}} \right\rangle. }

其中：

$\Gamma_{\mathrm{syn}}$ ：語法形成上下文；
$\Gamma_{\mathrm{amb}}$ ：商類形成的環境上下文；
$\Gamma_{\mathrm{tar}}$ ：目標實現上下文；
$C_{\mathrm{rep}}$ ：特定代表合法性；
$C_{\mathrm{class}}$ ：商類目標合法性；
$C_{\mathrm{transport}}$ ：代表替換與跨上下文轉送；
$C_{\mathrm{src}}$ ：來源保存；
$C_{\mathrm{guard}}$ ：後續再積分守衛。

32. 修正五：失敗輸出分層

至少新增：

\operatorname{SyntacticFormationFailure},

\operatorname{AmbientClassFailure},

\operatorname{DirectRepresentationFailure},

\operatorname{AlternativeRepresentativeFound},

\operatorname{TargetRealizationFailure}.

原表示 $E$ 的輸出應是：

\operatorname{DirectRepresentationFailure} \quad \land \quad \operatorname{AlternativeRepresentativeFound}.

而 $G=1/u$ 的輸出應是：

\operatorname{TargetRealizationFailure}.

第九部　新增資訊與重述審計

33. 哪些完全屬於既有數學

以下內容完全是標準交換代數：

$\operatorname{Frac}(R)$ 的等價關係；
$R_u$ 的主局部化；
$R_{\mathfrak p}$ 的局部環；
$uv/u=v$ ；
$1/u\notin R_{\mathfrak p}$ ；
合法代表可以不同；
正則函數的局部與全域延拓。

這些不能算作 X 理論的新定理。

34. X 框架真正增加的內容

34.1 統一判定語言

同一套語言同時描述：

語法；
商化；
上下文；
表示合法性；
目標實現；
來源；
奇點；
再積分。

34.2 來源歷史作為一級資料

標準分式域有意捨棄代表差異。X 可以在不破壞商類等式的前提下，於外層保存表示歷史。

34.3 失敗層分類

X 明確區分：

\text{這個代表不能用}

與：

\text{這個商類不存在於目標結構}.

34.4 跨上下文轉送證書

商類從環境分式域進入特定局部化時，需要記錄使用哪個合法代表。

34.5 機器可判定接口

上述差異可被編碼為證書與失敗標記，適合 AI 或證明助理進行結構審計。

35. 尚未證明的新增價值

本例尚未證明：

X 框架能產生新交換代數定理；
X 微分具有傳統不變量未涵蓋的自然性；
來源歷史在純數學中總是必要；
證書成本低於其診斷收益；
X 分數系統具有唯一或最佳形式化。

因此，本次不能宣稱 X 已建立新的代數分支。

較準確的判斷是：

\boxed{ \text{X 在本例中形成一個跨層證書化方法，} \quad \text{尚未形成新的代數結果。} }

第十部　測試評分

36. 假設結果

假設	結果	理由
H1：分層能力	修正後通過	必須增加語法、商類、代表與目標實現四判定
H2：上下文分母合法性	通過	$u$ 在 $R_u$ 可逆，在 $R_{\mathfrak p}$ 不可逆
H3：來源非坍縮	通過	可同時保存商類等式與表示差異
H4：奇點分層	通過	成功區分表示缺口與逆元障礙
H5：再積分守衛	通過	$F$ 可進入 $R_{\mathfrak p}$ ，但 $1/u$ 不可
H6：保守實現	通過	移除證書後回到標準局部化結果

37. 六律結果

X 基本律	結果
積分形成律	修正後通過
來源保存律	通過
非坍縮律	通過
再積分守衛律	通過
結構微分律	通過其診斷版本
動態整體閉合律	僅部分測試

38. 總判定

本次不輸出：

\operatorname{UnconditionalPass}.

也不輸出：

\operatorname{Failure}.

而是：

\boxed{ \operatorname{PassWithCoreRevision}. }

核心概念——來源、非坍縮、關係類型、上下文與守衛——經受住測試。

但第一版：

\text{原始分數} \longrightarrow \text{分母合法} \longrightarrow \text{X 分數} \longrightarrow \text{商化}

的單線流程必須改寫為：

\boxed{ \text{語法形成} \longrightarrow \text{環境商類形成} \longrightarrow \text{目標合法代表搜尋} \longrightarrow \text{目標實現} \longrightarrow \text{再積分守衛}. }

第十一部　下一輪實驗

39. 一般局部化

下一步可將：

R_u

推廣為任意乘法閉集：

S^{-1}R.

測試：

不同 $S$ 之間的上下文轉送；
飽和閉包；
零因子下的局部化等價；
非整域中的等價關係；
商類合法代表搜尋。

40. 射影直線

再下一步可取：

\mathbb P^1(K_0).

使用兩張仿射圖：

U_0 \cong \mathbb A^1,

U_1 \cong \mathbb A^1,

測試：

分母換圖；
無窮遠點；
值域邊界；
同一射影點的不同分數代表；
齊次比例與普通商的關係型別差異。

41. 為何暫不進入連分數

本輪已證明有限形成層仍有必要修正。

若此時直接進入：

F_0 \rightsquigarrow F_1 \rightsquigarrow \cdots \rightsquigarrow F_{\omega},

會把代表合法性、商類形成、上下文轉送與極限一致性同時混在一起。

因此應先完成一般局部化與射影換圖，再測試遞歸分數。

42. 結論

第一次純數學實戰沒有證明 X 分數結構微積分產生了新的代數定理。

但它成功完成了一件更基礎的工作：找出第一版形式系統會在哪裡判錯。

原始分數：

E = \frac{uv}{u}

在局部環 $R_{\mathfrak p}$ 中不是合法直接表示，因為：

u \in \mathfrak p.

然而：

[E]_K = \left[ \frac{v}{1} \right] \in R_{\mathfrak p}.

因此：

\boxed{ \text{表示不合法} \not\Rightarrow \text{商類不存在}. }

這逼出 X 分數理論的第一個實戰修正：

\boxed{ \operatorname{RepLegal}_{\Gamma}(E) \neq \operatorname{ClassLegal}_{\Gamma}([E]). }

並進一步要求：

\boxed{ \Gamma_{\mathrm{amb}} \neq \Gamma_{\mathrm{tar}} }

可以被正式記錄。

因此，本次實驗的真正成果不是約分本身，而是建立：

語法形成；
環境商類形成；
特定代表合法；
商類目標實現；
正規化轉送；
來源保存；
再積分守衛；

七個不同但可連接的判定位置。

最終判定為：

\boxed{ \text{X 分數核心方向成立，} \quad \text{但形成律必須由單上下文改為雙上下文、四判定系統。} }

這是一個正面結果，因為它不是靠理論自我解釋通過，而是由標準交換代數迫使理論接受可檢查的修正。

附錄 A：最小證書

A.1 原表示證書

\operatorname{Cert}(E) = \left\langle \operatorname{Src}=(uv,u), \rho=/_{\mathrm{quot}}, \Gamma_{\mathrm{amb}}=K, \Gamma_{\mathrm{tar}}=R_{\mathfrak p}, \operatorname{RepLegal}=\operatorname{No}, \operatorname{ClassLegal}=\operatorname{Yes}, \operatorname{AlternativeRep}=(v,1) \right\rangle.

A.2 真逆元障礙證書

\operatorname{Cert}(G) = \left\langle \operatorname{Src}=(1,u), \rho=/_{\mathrm{quot}}, \Gamma_{\mathrm{amb}}=K, \Gamma_{\mathrm{tar}}=R_{\mathfrak p}, \operatorname{RepLegal}=\operatorname{No}, \operatorname{ClassLegal}=\operatorname{No}, \operatorname{AlternativeRep}=\varnothing \right\rangle.

附錄 B：一句話結果

一個分數表示可以在目標上下文中不合法，而它所代表的商類仍能透過另一個合法代表存在；因此，X 分數形成律必須區分表示合法性與商類可實現性。

X_Fraction_Pure_Math_Experiment_I_Localization_v0.1