CSM Paper 01

全域性型別與命題域分層

Globality Typing and Domain Stratification in Closure-Space Mathematics

版本： v0.1
日期： 2026-08-27
作者： Neo.K
機構： EveMissLab／一言諾科技有限公司
系列： Closure-Space Mathematics / CSM
文件地位： 全域性型別論文 / Domain and Quantifier-Scope Paper
Canonical source： UTF-8 Markdown
Canonical math delimiters： $...$ 與 $$...$$
研究狀態： CSM Paper 00 的直接延伸；建立 globality typing、domain stratification、scope promotion 與 cross-domain proof-transfer 規則。本文不是任何 Navier--Stokes 未解問題的完成證明。

摘要

「全域」在數學與科學敘述中經常被當成單一強度詞使用，但不同全域主張實際上可能量化於完全不同的軸：時間、空間、初始資料類、邊界條件、forcing、參數、solution notion、regularity class、方程族、表示族、形式證明制度，或物理實現域。若忽略這些差異，就容易把「對固定方程全時間成立」錯誤升格為「對整個方程族成立」，或把「形式 PDE 定理」錯誤升格為「所有物理實現都被證明」。

本文建立 Closure-Space Mathematics（CSM）的 Globality Typing Principle。其核心主張是：globality 不是單一布林值，也不是無條件可排序的強度，而是一個帶有量詞作用域、domain signature、solution semantics、representation 與 interpretation metadata 的 typed profile。

本文定義：

\boxed{ \mathsf{ScopeContract}(Q) = \left\langle \mathsf{DomSig}(Q), \mathsf{Quant}(Q), \mathsf{Sem}(Q), \mathsf{Rep}(Q), \mathsf{ProofReg}(Q) \right\rangle. }

並以：

\boxed{ \mathsf{GProf}(Q) = \left \langle G_t, G_x, G_{\rm data}, G_{\rm sol}, G_{\rm bdry}, G_{\rm force}, G_{\rm par}, G_{\rm reg}, G_{\rm eq}, G_{\rm rep}, G_{\rm phys}, G_{\rm proof} \right\rangle }

表示命題的 globality profile。

本文的第一個非塌縮原則是：

\boxed{ \text{Global-in-time} \neq \text{Global-across-data} \neq \text{Global-across-equations} \neq \text{Global-across-physical-realizations}. }

第二個原則是：

\boxed{ \text{Theorem Strengthening} \neq \text{Scope Expansion} \neq \text{Model Extension}. }

第三個原則是：任何從作用域 $D_1$ 向更廣作用域 $D_2$ 的 theorem promotion，都必須攜帶一個 scope/globality promotion certificate，而不能只因兩個問題具有相似方程、相同名稱或共享局部形式就自動升格。

Navier--Stokes 被用作第一個大型 domain-stratification 實例。本文將 formal/Clay mathematical NS、physical NS realization domain 與 generalized NS-like equation family 分離，並指出 Clay 題目的「global」主要是固定形式問題中的時間全域延拓與指定資料類上的全稱量化；這仍不等於 equation-family globality，也不等於 physical-realization globality。 generalized NS-like family 則必須以明確 signature 參數化，不能把所有「看起來像 NS」的系統混成單一集合。

最後，本文將 globality typing 接回 CSM 的 closure-space frontier：未閉合 frontier 不只要問「哪個命題還 OPEN」，還要問「哪一個 globality axis 尚未被閉合」。因此後續 NS Relative-Global Closure Graph 不再只有 proof-route 邊界，而會包含 scope frontier、family-extension frontier 與 interpretation frontier。

0. 研究地位與非主張

本文不主張：

「global」存在唯一自然的數值強度；
所有 globality axis 可形成單一 total order；
不同 PDE、不同 solution notion 或不同 physical model 可以只靠名稱相似建立 inclusion；
formal mathematical theorem 自動等同 physical truth；
generalized NS-like equation family 已有唯一 canonical boundary；
Clay Navier--Stokes 題目被重新定義；
本文已證明 Clay Navier--Stokes global regularity；
本文已證明任何 generalized NS-like family 的 universal regularity；
physical NS realization 可以被一個單一形式模型完整覆蓋；
domain stratification 本身可以取代 theorem-level proof；
scope expansion certificate 一定存在；
relative-global closure 等於 absolute mathematical completeness。

本文只建立：

globality 的 typed quantifier semantics；
domain signature；
scope contract；
globality profile；
scope comparability 與 non-comparability；
scope restriction / expansion / model extension 的分離；
cross-domain theorem transfer 的證書條件；
NS 的第一版三域分層與 generalized family signature；
scope frontier 與 closure-space 的耦合。

1. 為什麼「全域」不是一個詞就夠了

考慮兩個敘述：

對固定 PDE，解對所有有限時間存在；
對一整族 PDE，所有成員都具有相同性質。

兩者都可能被自然語言稱為「global」，但其量詞結構完全不同。

第一種更接近：

\forall t\in T, \qquad P(u,t),

第二種則是：

\forall E\in\mathcal E, \qquad P(E).

如果再加入初始資料：

\forall u_0\in\mathcal D, \quad \forall t\in T, \qquad P(E,u_0,t),

其作用域又再次改變。

因此 CSM 將「global」從形容詞改造成 quantifier-scope object。

2. Scope Contract

對命題 $Q$ ，定義：

\boxed{ \mathsf{ScopeContract}(Q) = \left\langle \mathsf{DomSig}(Q), \mathsf{Quant}(Q), \mathsf{Sem}(Q), \mathsf{Rep}(Q), \mathsf{ProofReg}(Q) \right\rangle. }

其中：

$\mathsf{DomSig}$ ：方程、空間、時間、資料、邊界、forcing、參數等 domain signature；
$\mathsf{Quant}$ ：各軸量詞與 uniformity 要求；
$\mathsf{Sem}$ ：solution notion、equality / equivalence、regularity target；
$\mathsf{Rep}$ ：使用的表示與 projection；
$\mathsf{ProofReg}$ ：形式系統、admissibility、外部 theorem set 與 proof verification regime。

若一個 theorem claim 缺失足以決定作用域的欄位，CSM 記為：

\boxed{ \mathsf{ILL\_SCOPED}. }

3. Domain Signature

第一版：

\boxed{ \mathsf{DomSig}(Q) = \left\langle \mathcal E, \mathcal X, \mathcal T, \mathcal D, \mathcal S, \mathcal B, \mathcal F, \mathcal P, \mathcal R, \mathcal I \right\rangle. }

其中：

$\mathcal E$ ：equation / operator domain；
$\mathcal X$ ：spatial domain / geometry；
$\mathcal T$ ：time domain；
$\mathcal D$ ：initial / admissible data class；
$\mathcal S$ ：solution notion；
$\mathcal B$ ：boundary family；
$\mathcal F$ ：forcing family；
$\mathcal P$ ：parameter / coefficient domain；
$\mathcal R$ ：regularity / topology / norm target；
$\mathcal I$ ：interpretation / realization context。

CSM 不要求所有問題都使用全部欄位，但任何未宣告欄位不能被默認成「對所有可能情形」。

4. Quantifier Envelope

對每一個 axis $a$ ，定義：

\mathsf{Quant}_a(Q) = \left\langle \mathsf{Mode}_a, \mathsf{Set}_a, \mathsf{Uniformity}_a \right\rangle.

$\mathsf{Mode}_a$ 可包含：

all；
exists；
generic；
almost-everywhere；
conditional；
asymptotic；
unknown。

因此兩篇 theorem 即使都出現「global」一詞，只要 quantifier envelope 不同，就不能直接視為相同 claim。

5. Globality Profile

定義：

\boxed{ \mathsf{GProf}(Q) = \left\langle G_t, G_x, G_{\rm data}, G_{\rm sol}, G_{\rm bdry}, G_{\rm force}, G_{\rm par}, G_{\rm reg}, G_{\rm eq}, G_{\rm rep}, G_{\rm phys}, G_{\rm proof} \right\rangle. }

每個 component 不是單純的 $0/1$ ，而是相對宣告 domain 的 scope descriptor。

第一版 descriptor：

G_a \in \{ \mathsf{LOCAL}, \mathsf{PARTIAL}, \mathsf{FULL}_{D_a}, \mathsf{FAMILY}_{\Sigma}, \mathsf{OPEN}, \mathsf{UNKNOWN} \}.

其中：

\mathsf{FULL}_{D_a}

只表示對已宣告的 $D_a$ 全稱成立，不表示對所有可能 domain 全稱成立。

這是本文最重要的語義限制之一。

6. Globality Typing Principle

CSM 定義：

\boxed{ \textbf{Globality Typing Principle} }

任何 global claim 必須能被還原成一個有效的 $\mathsf{ScopeContract}$ 與 $\mathsf{GProf}$ 。

因此：

\boxed{ \text{Global-in-time} \not\Rightarrow \text{Global-across-data}. }

\boxed{ \text{Global-across-data} \not\Rightarrow \text{Global-across-equations}. }

\boxed{ \text{Global-across-equations} \not\Rightarrow \text{Global-across-physical-realizations}. }

除非有額外的 typed promotion certificate。

7. 時間全域性

對固定 formal problem：

Q(E,u_0): \qquad \forall t\in\mathcal T, \quad P(E,u_0,t).

若：

\mathcal T=[0,\infty),

可稱為該 formal scope 下的 global-in-time claim。

但這不會自動改變：

equation $E$ ；
data class；
solution notion；
boundary / forcing；
physical interpretation。

所以時間全域性只提升 $G_t$ 。

8. 空間全域性

「whole-space problem」與「所有可能 geometry」不是同一件事。

若固定：

\mathcal X=\mathbb R^d,

那麼 theorem 對 $\mathbb R^d$ 的整個 spatial domain 成立，只能寫成：

G_x=\mathsf{FULL}_{\mathbb R^d}.

它不推出：

G_x=\mathsf{FULL}_{\text{all manifolds / domains}}.

因此 whole-space 是一種 spatial-domain choice，不是 geometry-family universal quantifier。

9. 資料類全域性

若 theorem 對：

u_0\in\mathcal D_0

全部成立，則：

G_{\rm data}=\mathsf{FULL}_{\mathcal D_0}.

但若：

\mathcal D_0\subsetneq\mathcal D_1,

不能直接得到：

\mathsf{FULL}_{\mathcal D_1}.

這是典型的 scope expansion，而不是普通 theorem restatement。

10. Solution-Notion Globality

同一 PDE 可能具有不同 solution notion：

\mathcal S = \{ \text{classical}, \text{strong}, \text{mild}, \text{weak}, \text{suitable}, \ldots \}.

本文不宣稱這些 notion 在所有 PDE 上具有固定 implication hierarchy。

任何：

Q_{\mathcal S_1} \Rightarrow Q_{\mathcal S_2}

必須由指定問題中的已知 theorem 或證書建立。

因此：

\boxed{ \text{same equation} \neq \text{same theorem domain}. }

11. Boundary 與 Forcing Globality

一個 unforced theorem：

F=0

不自動升格成 forced theorem。

同樣：

\mathcal B=\text{periodic}

與：

\mathcal B=\text{no-slip bounded domain}

是不同 domain signatures。

因此：

G_{\rm force}

與：

G_{\rm bdry}

必須獨立紀錄。

12. Parameter Globality

對參數：

\lambda\in\Lambda,

若 theorem 是：

\forall\lambda\in\Lambda, \quad P(\lambda),

且 proof constant 對 $\lambda$ uniform，則可以記錄更強的 parameter-globality。

但若只是逐點：

\forall\lambda, \quad \exists C_\lambda,

與存在 uniform constant：

\exists C, \quad \forall\lambda

不同。

因此 CSM 把 quantifier order 視為 globality metadata 的一部分。

13. Equation-Family Globality

這是本文新增的主要層。

固定單一 equation：

E_0

的 theorem，不等於對 equation family：

\mathcal E_{\Sigma}

的 theorem。

方程族必須由 signature $\Sigma$ 定義，例如：

\Sigma = \left\langle \text{dimension}, \text{transport}, \text{constraint}, \text{dissipation}, \text{projection}, \text{forcing}, \text{boundary}, \text{constitutive class} \right\rangle.

只有在 $\Sigma$ 已明確宣告後，

\mathsf{FAMILY}_{\Sigma}

才是一個有意義的 globality descriptor。

14. Representation Globality

一個 proof 在 representation $\rho_1$ 中成功，不代表所有 representation 都能重建相同 proof object。

反過來，某 representation 下搜尋失敗，也不能推出所有語義等價表示皆失敗。

因此：

G_{\rm rep}

主要描述：

theorem 是否 representation-independent；
proof certificate 是否可以跨 representation 重建；
search failure 是否只是 representation-local。

本文保留：

\boxed{ \text{Mathematical Identity} \neq \text{Search Representation Identity}. }

15. Proof-Regime Globality

形式證明制度也是 scope。

設：

\Theta_1, \Theta_2

是不同 theorem/proof regimes。

在：

\Theta_1\vdash Q

成立，不等於：

\Theta_2\vdash Q.

但若 $\Theta_2$ 是 conservative extension 或已有 formal embedding theorem，才可建立對應 bridge。

CSM 不自行假設這種 bridge。

16. Physical-Realization Globality

這一軸不是單純集合 inclusion。

形式模型：

M

與物理 realization：

R

之間需要 interpretation / idealization relation：

M \xleftrightarrow[ \mathsf{Idealize} ]{ \mathsf{Interpret} } R.

這些 relation 可以是 partial、scale-dependent、regime-dependent，也可以有 model discrepancy。

因此：

\boxed{ \operatorname{Prove}(M) \not\Rightarrow \operatorname{Prove}(R). }

除非另外定義「Prove $(R)$ 」的操作意義並證明 interpretation bridge 足以承載該推論。

17. 三種「更強」不能混在一起

考慮 theorem $Q_0$ 。

17.1 Theorem strengthening

同一 scope 中，結論變強：

Q_1\Rightarrow Q_0,

但 scope 不變。

17.2 Scope expansion

結論形式大致相同，但量化域變廣：

D_0\subsetneq D_1.

17.3 Model extension

模型本身被改寫：

E_0 \mapsto E_1.

三者必須分開：

\boxed{ \text{Theorem Strengthening} \neq \text{Scope Expansion} \neq \text{Model Extension}. }

18. Scope Restriction

如果：

D_1\subseteq D_2,

且 theorem：

\forall x\in D_2, \quad Q(x)

已證，則在相同 semantics 下可限制到：

\forall x\in D_1, \quad Q(x).

這種方向稱：

\mathsf{ScopeRestrict}.

它通常比 scope expansion 安全，但仍要求 theorem target 與 semantics 未在限制過程中改變。

19. Scope Expansion

反方向：

D_1\subsetneq D_2

時：

\forall x\in D_1, Q(x)

不能自動推出：

\forall x\in D_2, Q(x).

CSM 將這種非法升格稱為：

\boxed{ \mathsf{ScopeLeak}. }

20. Globality Promotion Certificate

若要從 $D_1$ 推進到 $D_2$ ，定義：

\boxed{ \mathsf{GPCert}_{D_1\to D_2}(Q) }

第一版欄位：

\left\langle \mathsf{DomainMap}, \mathsf{TargetFidelity}, \mathsf{QuantifierLift}, \mathsf{PremisePreservation}, \mathsf{SolutionCompatibility}, \mathsf{BoundaryCompatibility}, \mathsf{ParameterUniformity}, \mathsf{RepresentationFidelity}, \mathsf{InterpretationStatus}, \mathsf{CounterexampleReflection}, \mathsf{Debt}, \mathsf{ProofRef} \right\rangle.

並非每一種 bridge 都需要所有欄位，但任何缺失欄位必須被標為不適用或 debt，而不能靜默忽略。

21. Globality Debt

定義：

\boxed{ \mathsf{GDebt} = \mathsf{Debt}_{\rm domain} \uplus \mathsf{Debt}_{\rm quant} \uplus \mathsf{Debt}_{\rm uniform} \uplus \mathsf{Debt}_{\rm sem} \uplus \mathsf{Debt}_{\rm rep} \uplus \mathsf{Debt}_{\rm phys} \uplus \mathsf{Debt}_{\rm proof}. }

當某 claim 已在較窄 domain 證明，但更廣 domain 尚未完成 promotion obligations 時，它可以標記為：

\mathsf{CLOSED}^{+}_{D_1} \quad+ \quad \mathsf{OPEN}_{D_2\setminus D_1}.

這比單純寫「partially proven」更精確。

22. Globality 不是 total order

若兩個 theorem：

Q_A, \qquad Q_B,

其中 $Q_A$ 在時間軸更廣，但 $Q_B$ 在資料類或 equation family 更廣，則未必存在：

Q_A\succeq Q_B

或：

Q_B\succeq Q_A.

因此 CSM 使用 partial comparability。

定義：

Q_A\preceq_G Q_B

只在所有比較軸都已對齊且 $Q_B$ 的 scope 至少包含 $Q_A$ 時成立。

否則標記：

\boxed{ \mathsf{GLOBALLY\_INCOMPARABLE}. }

23. Domain Embedding 也不等於 Theorem Transfer

即使有：

\iota:D_1\hookrightarrow D_2,

也只證明 domain embedding。

還需要：

equation compatibility；
solution semantics compatibility；
target preservation；
assumptions preservation；
relevant estimates / invariants preservation。

所以：

\boxed{ \text{Domain Embedding} \not\Rightarrow \text{Theorem Transfer}. }

24. Counterexample 的跨域傳遞

Counterexample transfer 比 theorem promotion 方向不同。

若目標是 universal claim：

\forall x\in D_2, \quad Q(x),

且：

x_\star\in D_1\subseteq D_2

在相同 target semantics 下構成真正反例，則：

\neg Q(x_\star)

可反駁較廣 universal claim。

但若 $D_1$ 與 $D_2$ 之間還跨越 model interpretation、solution notion 或 modified equation，則必須重新檢查 counterexample fidelity。

因此：

\boxed{ \text{Counterexample Transfer} \text{ is typed, not name-based.} }

25. Obstruction 的跨域傳遞

一個 obstruction：

O_{D_1}

能否傳到 $D_2$ ，取決於 obstruction 所使用的 assumptions 是否在 $D_2$ 保存。

定義：

\mathsf{ObsTransferCert}_{D_1\to D_2}(O).

若 obstruction 依賴：

A_1,\ldots,A_k,

則至少需要：

\forall i, \quad \mathsf{Preserve}_{D_1\to D_2}(A_i).

否則 obstruction 只能停留在原 domain。

26. Scope Frontier

Paper 00 定義 closure frontier：

\partial\mathfrak C(Q).

本文進一步定義：

\boxed{ \partial_G\mathfrak C(Q) }

作為 globality / scope frontier。

其成員不是單純 OPEN theorem，而是：

已在部分 axis 閉合；
其他 axis 尚未閉合；
promotion bridge 尚有 debt；
domain extension 尚未被覆蓋；
interpretation 尚未建立。

因此完整 frontier 可寫成：

\partial\mathfrak C = \partial_{\rm proof}\mathfrak C \cup \partial_G\mathfrak C \cup \partial_{\rm bridge}\mathfrak C \cup \partial_{\rm interp}\mathfrak C.

27. Relative-Global Closure 的新解讀

Paper 00 的 RGC-4 是：對宣告 admissible mechanism space 有 completeness certificate 且 frontier 閉合。

本文補充：RGC grade 必須綁定 globality profile。

因此不能只寫：

\mathsf{RGC4}(Q).

而應寫：

\boxed{ \mathsf{RGC4}(Q\mid\mathsf{GProf},D,\Theta,\mathcal A). }

同一命題在不同 globality profile 下可以具有不同 closure grade。

28. Domain Stratification

CSM 不把所有 domain 只排成一條 inclusion chain。

定義 domain graph：

\boxed{ \mathcal G_D = (V_D,E_D,\tau_D). }

edge type 可包含：

\tau_D(e) \in \{ \mathsf{RESTRICTS}, \mathsf{EXTENDS}, \mathsf{GENERALIZES}, \mathsf{SPECIALIZES}, \mathsf{INTERPRETS}, \mathsf{IDEALIZES}, \mathsf{APPROXIMATES}, \mathsf{EMBEDS}, \mathsf{REPRESENTS} \}.

只有 RESTRICTS / EXTENDS 等少數 edge 在附帶條件下與 set inclusion 直接相關。

INTERPRETS 與 IDEALIZES 不應被畫成普通 subset arrow。

29. Navier--Stokes：formal / Clay mathematical domain

定義：

\boxed{ \mathfrak N_{\rm C} }

為 Clay / formal mathematical Navier--Stokes target domain。

更精確地，因正式問題可以包含不同 formal clauses / spatial settings，本文允許：

\mathfrak N_{\rm C} = \{ \mathfrak N_{\rm C}^{(c)} :\ c\in\mathcal C_{\rm formal} \}.

每個 clause 必須記錄自己的：

equation；
dimension；
spatial domain；
data class；
solution notion；
regularity target；
forcing / boundary convention。

本文不將不同 clause 靜默壓成同一 statement。

30. Clay NS 的「global」到底在哪裡

在固定 formal clause 下，其典型 global regularity / existence target 至少包含：

G_t = \mathsf{FULL}_{[0,\infty)}

或等價的全有限時間延拓要求，以及對宣告 admissible data class 的 universal quantification。

但這仍然不代表：

G_{\rm eq} = \mathsf{FAMILY}_{\text{all NS-like equations}}.

也不代表：

G_{\rm phys} = \mathsf{FULL}_{\text{all physical fluids}}.

因此：

\boxed{ \text{Clay-global} = \text{strong globality inside a restricted formal scope}. }

「restricted」在這裡不代表問題小，而是代表其 quantifier contract 有明確邊界。

31. Physical Navier--Stokes realization domain

定義：

\boxed{ \mathfrak N_{\rm P} }

為 physical NS realization domain。

它不是：

\mathfrak N_{\rm C} \subseteq \mathfrak N_{\rm P}

這種單純 set relation。

更合理的是：

\mathfrak N_{\rm C} \xleftrightarrow[ \mathsf{Idealize} ]{ \mathsf{Interpret} } \mathfrak N_{\rm P}.

其 bridge 可能依賴：

continuum approximation；
constitutive regime；
Reynolds / Mach / Knudsen-like regime；
measurement scale；
neglected physics；
boundary realization；
material properties。

本文不宣告任何單一 bridge 在所有 physical regimes 完整成立。

32. Generalized NS-like family

定義：

\boxed{ \mathfrak N_{\rm G}^{\Sigma} }

為由 signature $\Sigma$ 宣告的 generalized NS-like equation family。

第一版 signature：

\boxed{ \Sigma_{\rm NSL} = \left\langle d, \mathcal X, \mathcal C, \mathcal B_{\rm nl}, \mathcal A_{\rm diss}, \mathcal P_{\rm proj}, \mathcal F, \mathcal B_{\rm bdry}, \mathcal K_{\rm const}, \mathcal S \right\rangle. }

其中：

$d$ ：dimension family；
$\mathcal X$ ：geometry / manifold class；
$\mathcal C$ ：constraint class，例如 divergence-free 或其 generalized analogue；
$\mathcal B_{\rm nl}$ ：nonlinear transport / interaction class；
$\mathcal A_{\rm diss}$ ：dissipation operator class；
$\mathcal P_{\rm proj}$ ：pressure / projection / constraint enforcement；
$\mathcal F$ ：forcing class；
$\mathcal B_{\rm bdry}$ ：boundary class；
$\mathcal K_{\rm const}$ ：constitutive / coefficient class；
$\mathcal S$ ：solution semantics。

只有 $\Sigma_{\rm NSL}$ 明確後，「對所有 NS-like system」才是可解析的 theorem target。

33. Formal NS 不等於 Generalized NS-like family

即使：

\mathfrak N_{\rm C}^{(c)} \in \mathfrak N_{\rm G}^{\Sigma}

在某一 signature 下成立，也只有 membership / embedding 意義。

它不推出：

\operatorname{Prove}( \mathfrak N_{\rm C}^{(c)} ) \Rightarrow \operatorname{Prove}( \mathfrak N_{\rm G}^{\Sigma} ).

因此：

\boxed{ \operatorname{Prove}(\mathfrak N_{\rm C}) \not\Rightarrow \operatorname{Prove}(\mathfrak N_{\rm G}^{\Sigma}). }

這是 Equation-Family Non-Collapse Principle。

34. Formal NS 不等於 Physical NS

同理：

\boxed{ \operatorname{Prove}(\mathfrak N_{\rm C}) \not\Rightarrow \operatorname{Prove}(\mathfrak N_{\rm P}). }

這不是否定 formal PDE theorem 的物理價值，而是要求：

\text{formal theorem} \rightarrow \text{physical claim}

必須經過 interpretation bridge。

如果物理 claim 比 formal model 的 validity regime 更廣，還需要額外 scope expansion。

35. 三域不應排成簡單階層

禁止無證寫成：

\mathfrak N_{\rm C} \subset \mathfrak N_{\rm P} \subset \mathfrak N_{\rm G}.

更正確的是 typed graph：

\boxed{ \mathfrak N_{\rm C} \xrightarrow{ \mathsf{Generalize} } \mathfrak N_{\rm G}^{\Sigma} }

以及：

\boxed{ \mathfrak N_{\rm C} \xleftrightarrow[ \mathsf{Idealize} ]{ \mathsf{Interpret} } \mathfrak N_{\rm P}. }

必要時 generalized model family 也可以與 physical domain 建立自己的 model correspondence edge。

36. NS Closure Graph 將變成多域圖

未來：

\mathfrak C_{\rm NS}^{\rm rel}

不應只有一張 route graph。

至少包含：

\boxed{ \mathcal G_{\rm NS} = \mathcal G_{\rm claim} \cup \mathcal G_{\rm route} \cup \mathcal G_{\rm obs} \cup \mathcal G_{\rm bridge} \cup \mathcal G_{\rm domain} \cup \mathcal G_{\rm scope}. }

其中 $\mathcal G_{\rm scope}$ 專門追蹤 theorem 在哪些 globality axis 已閉合。

37. Scope-State Node

為了在圖中操作 globality，定義：

\boxed{ \mathsf{ScopeState}(Q,a,D_a) }

表示命題 $Q$ 在 axis $a$ 、domain $D_a$ 上的 closure state。

例如：

\mathsf{ScopeState}(Q,\text{time},[0,\infty)) = \mathsf{CLOSED}^{+}

並不要求：

\mathsf{ScopeState}(Q,\text{equation-family},\Sigma) = \mathsf{CLOSED}^{+}.

因此同一 theorem 可以沿不同 axis 具有不同 closure status。

38. Scope Hyperedge

有些 globality promotion 需要多個前提同時成立：

\{ Q_{D_1}, B_1, B_2, U \} \Longrightarrow Q_{D_2}.

其中：

$B_i$ ：bridge theorem；
$U$ ：uniform estimate / compactness / preservation condition。

因此 scope promotion 是 hyperedge，而不是簡單箭頭。

39. Globality Closure Action

在 Paper 00 的 closure family 上新增：

\boxed{ \mathsf{Cl}_{\rm globality}. }

它只允許以下操作：

已證 universal claim 向合法 restriction 傳播；
有 $\mathsf{GPCert}$ 時向 broader scope promotion；
有 counterexample-transfer certificate 時向 broader universal claim 傳播 refutation；
依 axis 分離更新 scope states；
所有 promotion debt 寫入 ledger。

它禁止 name-based generalization。

40. Scope Reopening

若某 scope-level NO-GO 後來被發現依賴一個只在窄 regime 成立的 assumption，則 broader domain 可以重新 OPEN。

即：

\boxed{ \mathsf{BLOCKED}_{D_2} \longrightarrow \mathsf{OPEN}_{D_2} }

若 obstruction transfer certificate 被撤銷或降格。

這是 Paper 00 Reopening Principle 在 globality axis 上的版本。

41. Scope Ledger

每一次 globality upgrade / downgrade 必須記錄：

\mathsf{ScopeLedgerEvent} = \left\langle Q, D_{\rm from}, D_{\rm to}, \mathsf{Axis}, \mathsf{Action}, \mathsf{CertRef}, \mathsf{DebtDelta}, \mathsf{Version} \right\rangle.

避免後續研究者只看到「global theorem」而不知道它最初只在哪個 domain 成立。

42. 第一批 Globality Axioms / Protocol Invariants

G-1 — Scope Explicitness

任何 global claim 必須綁定 scope contract。

G-2 — Axis Non-Collapse

不同 globality axis 不得無證合併。

G-3 — Declared-Full Relativity

\mathsf{FULL}_{D}

只對 $D$ 有效。

G-4 — No Upward Scope Promotion

窄 domain theorem 不自動推出廣 domain theorem。

G-5 — Typed Counterexample Transfer

counterexample 只能沿 target-preserving inclusion / bridge 傳遞。

G-6 — Interpretation Non-Identity

formal model 與 physical realization 不因名稱相同而同一。

G-7 — Equation-Family Declaration

所有 equation-family globality 必須先宣告 family signature。

G-8 — Quantifier-Order Preservation

交換量詞順序視為 theorem change，除非另證等價。

G-9 — Representation Firewall

representation-local success/failure 不自動升格為 semantic-global result。

G-10 — Proof-Regime Firewall

proof in one formal/admissibility regime 不自動等於 proof in another。

G-11 — Scope Debt Visibility

所有未支付 promotion obligations 必須可見。

G-12 — Relative-Global Firewall

relative-global closure 不得冒充 absolute mathematical completeness。

43. 第一批 Derived Propositions

Proposition 1 — Restriction Preservation

若 $D_1\subseteq D_2$ ，且 $Q$ 是在相同 semantics 下對 $D_2$ 的 universal claim，則：

\mathsf{CLOSED}^{+}_{D_2}(Q) \Rightarrow \mathsf{CLOSED}^{+}_{D_1}(Q).

條件

不允許 target、solution notion 或 equation 在 restriction 過程中改變。

Proposition 2 — Expansion Non-Entailment

一般而言：

\mathsf{CLOSED}^{+}_{D_1}(Q) \not\Rightarrow \mathsf{CLOSED}^{+}_{D_2}(Q)

對 $D_1\subsetneq D_2$ 。

Proposition 3 — Globality Incomparability

若 $Q_A$ 與 $Q_B$ 在不同 axis 各自較廣，且沒有全部 axis 對齊，則 $Q_A,Q_B$ 可為 $\preceq_G$ 不可比較。

Proposition 4 — Counterexample Lift under Inclusion

若 universal target semantics 不變，且 $x_\star\in D_1\subseteq D_2$ 為 $Q$ 的真 counterexample，則 $x_\star$ 同時反駁 $D_2$ 上的 universal claim。

Proposition 5 — Physical Non-Transfer

formal theorem 的 closure status 不經 interpretation certificate 不能直接更新 physical-realization scope state。

Proposition 6 — Family Non-Transfer

單一 equation member 的 theorem 不經 family-uniform proof 不能直接更新 equation-family scope state為正閉合。

44. Globality Proof-Obligation Matrix

Promotion	最低 obligation
local time $\to$ global time	continuation / blow-up exclusion / appropriate extension theorem
one datum $\to$ data class	uniform or pointwise-all proof over declared class
one parameter $\to$ parameter family	quantifier order + parameter-uniformity audit
one boundary $\to$ boundary family	boundary compatibility theorem
unforced $\to$ forced	forcing-dependent estimates / theorem
one equation $\to$ equation family	family signature + uniform structural theorem
one solution notion $\to$ another	solution-compatibility theorem
representation-local $\to$ semantic-global	representation fidelity / reconstruction theorem
formal model $\to$ physical realization	interpretation / validation bridge
observed proof space $\to$ admissible proof space	route/decomposition completeness certificate

45. NS Domain Record v0.1

ns_domains:
  clay_formal:
    id: N_C
    relation_kind: formal_problem_family
    globality_focus:
      - time
      - declared_data_class
      - declared_regularities
    non_implications:
      - physical_realization_globality
      - generalized_equation_family_globality

  physical_realization:
    id: N_P
    relation_kind: interpreted_realization_domain
    relation_to_N_C:
      - INTERPRETS
      - IDEALIZES
    not_a_simple_subset: true

  generalized_ns_like:
    id: N_G_Sigma
    relation_kind: signature_parameterized_equation_family
    signature_required: true
    relation_to_N_C:
      - GENERALIZES
      - EMBEDS_when_certified

46. Globality Record v0.1

globality_record:
  claim_id: Q-...
  scope_contract:
    equation_domain: ...
    spatial_domain: ...
    time_domain: ...
    data_class: ...
    solution_notion: ...
    boundary_family: ...
    forcing_family: ...
    parameter_domain: ...
    regularity_target: ...
    interpretation_domain: ...
    proof_regime: ...
  axes:
    time: FULL_D | PARTIAL | LOCAL | OPEN | UNKNOWN
    space: FULL_D | PARTIAL | LOCAL | OPEN | UNKNOWN
    data: FULL_D | PARTIAL | LOCAL | OPEN | UNKNOWN
    equation_family: FAMILY_Sigma | PARTIAL | OPEN | UNKNOWN
    physical: PARTIAL | OPEN | UNKNOWN
    proof: FULL_D | PARTIAL | OPEN | UNKNOWN
  promotion_certificates: []
  promotion_debt: []
  ledger_ref: ...

47. CSM 與 NS Proof-Space 的第一次真正結合

過去 NS proof-space 主要追蹤：

\text{Route} \rightarrow \text{Obstruction} \rightarrow \text{Survivor}.

加入 Paper 01 後，每個 survivor 還必須問：

它在哪一個 globality profile 中存活？

例如一個 mechanism 可能：

在固定 equation 下存活；
在固定 data class 下存活；
只在 vanishing-parameter asymptotic 中存活；
不知道是否能進入 broader equation family；
完全沒有 physical interpretation claim。

所以 survivor record 應擴成：

\boxed{ \mathsf{SurvivorState} = \left\langle \mathsf{Mechanism}, \mathsf{ScopeContract}, \mathsf{GProf}, \mathsf{ObstructionHistory}, \mathsf{Debt} \right\rangle. }

這會直接防止「局部 survivor 被誤讀成全域反例候選」。

48. Closure 的目標也要分層

未來說：

「NS closure space 已經封到 90%」

在 CSM 中是不合法的，除非說明 metric 與 globality profile。

更正確的是：

\mathsf{ClosureCoverage} ( Q; \mathsf{GProf}, \sim, \Theta, \mathcal A ).

例如可以有：

observed-route closure coverage；
basin closure coverage；
obstruction-certified coverage；
admissible-mechanism coverage；
scope-axis coverage。

不同 coverage 不能合併成一個無條件百分比。

49. Scope-Frontier Vector

定義：

\boxed{ \mathbf F_G(Q) = ( F_t, F_x, F_{\rm data}, F_{\rm sol}, F_{\rm bdry}, F_{\rm force}, F_{\rm par}, F_{\rm reg}, F_{\rm eq}, F_{\rm rep}, F_{\rm phys}, F_{\rm proof} ). }

每個 $F_a$ 表示該 axis 上未閉的 quotient-aware frontier mass / class set。

本文不預設 frontier mass 必須是實數測度。

第一版可以先使用：

class count；
weighted class count；
theorem-strength-weighted count；
obstruction-independence-adjusted count。

50. Globality Closure Dynamics

隨研究前進：

\mathsf{GProf}_{t+1}(Q) = \mathfrak U_G( \mathsf{GProf}_t(Q), \mathsf{NewCert}_t, \mathsf{NewObs}_t, \mathsf{NewDomain}_t, \mathsf{Revision}_t ).

但 globality 不必單調增加。

一個 theorem 可能因 statement correction 被縮小 scope：

\mathsf{FULL}_{D_2} \longrightarrow \mathsf{FULL}_{D_1}, \qquad D_1\subsetneq D_2.

這不是研究倒退，而是 scope fidelity 提高。

51. Domain Revision 與 Descendant Survival

若 parent domain $D$ 被修訂成 $D'$ ，不能把所有 descendants 全刪。

每個 descendant $Q_i$ 需重新問：

其 proof 是否實際使用被刪除 assumption？
其 theorem target 是否仍有意義？
能否 restriction 到 $D'$ ？
是否存在 independent re-proof？
obstruction 是否仍有效？
representation / tool 是否仍可重用？

因此：

\boxed{ \text{Parent Domain Revision} \not\Rightarrow \text{Descendant Annihilation}. }

這使 CSM 可以安全處理「問題 framing 被改寫」而不丟掉整個歷史研究空間。

52. 對 NS 研究工程的立即影響

當 C1--C6、X72、DCRP、MORP、RFP、FCBP 與其他 NS assets 投影到 closure graph 時，每個 claim 至少要附：

claim type；
formal target；
domain signature；
globality profile；
assumptions；
proof / no-go / obstruction status；
route family；
quotient class；
bridge dependencies；
promotion debt；
provenance。

因此不能只抽：

A,C,L,O,S.

下一版 NS closure dataset 應擴成：

\boxed{ A,C,L,O,S,G,D,B,P }

其中：

$G$ ：globality profile；
$D$ ：domain signature；
$B$ ：bridge set；
$P$ ：promotion / proof debt。

53. Machine-Readable Minimum Schema

csm_scope_state:
  schema_version: csm-globality/v0.1
  claim_id: string
  domain_signature:
    equation_domain: object
    spatial_domain: object
    time_domain: object
    data_class: object
    solution_notion: object
    boundary_family: object
    forcing_family: object
    parameter_domain: object
    regularity_target: object
    interpretation_domain: object
  globality_profile:
    time: object
    space: object
    data: object
    solution: object
    boundary: object
    forcing: object
    parameter: object
    regularity: object
    equation_family: object
    representation: object
    physical: object
    proof_regime: object
  status: OPEN | CLOSED_POS | CLOSED_NEG | BLOCKED | CONDITIONAL | UNKNOWN
  promotion_certificates: []
  debt: []
  provenance: []
  ledger_ref: string

54. Validation Scenarios

Scenario A — Global time, one equation

已證固定 PDE 對全部時間成立。

正確：

G_t=\mathsf{FULL}_{\mathcal T}.

錯誤：

G_{\rm eq}=\mathsf{FAMILY}_{\Sigma}

無證自動升格。

Scenario B — One parameter value

已證：

P(\lambda_0).

不得寫成：

\forall\lambda\in\Lambda, P(\lambda).

Scenario C — Physical agreement in one regime

formal model 在某 operating regime 與實驗吻合。

不得寫成所有 physical realization 已被證明。

Scenario D — Counterexample in a true subdomain

如果 target semantics 完全相同，subdomain counterexample 可以 refute broader universal claim。

Scenario E — Representation failure

proof search 在 $\rho_1$ 失敗，不得更新 semantic-global status 為 BLOCKED，除非 representation robustness audit 成立。

Scenario F — Generalized NS-like family

若未宣告 $\Sigma_{\rm NSL}$ ，則「所有 NS-like equation」為：

\mathsf{ILL\_SCOPED}.

55. CSM Paper 01 的核心 No-Collapse Family

\boxed{ \text{Local} \neq \text{Partial} \neq \mathsf{FULL}_{D}. }

\boxed{ \mathsf{FULL}_{D_1} \neq \mathsf{FULL}_{D_2} \quad (D_1\neq D_2). }

\boxed{ \text{Global-in-time} \neq \text{Global-across-equations}. }

\boxed{ \text{Equation-family globality} \neq \text{Physical-realization globality}. }

\boxed{ \text{Domain embedding} \neq \text{theorem transfer}. }

\boxed{ \text{Formal theorem} \neq \text{physical proof}. }

\boxed{ \text{Scope expansion} \neq \text{theorem strengthening}. }

\boxed{ \text{Relative-global closure} \neq \text{absolute mathematical completeness}. }

56. 下一篇的直接問題

Paper 00 定義 closure space。

Paper 01 定義 closure space 的 domain / globality typing。

下一個自然問題是：

在已經有 typed domain 的情況下，如何把「命題、路徑、障礙、survivor、NO-GO、bridge」真正組合成可運算的 closure graph，並定義 closure propagation、frontier reduction 與 reopening？

因此下一篇建議為：

\boxed{ \textbf{CSM Paper 02 — Typed Closure Graphs and Obstruction Propagation} }

其任務是建立：

typed claim hypergraph；
proof-route quotient graph；
obstruction transfer；
survivor propagation；
scope-state graph；
closure event algebra；
frontier update rules；
NS closure graph 的 canonical node / edge schema。

57. 結論

CSM Paper 01 的核心不是把「global」拆成更多名詞，而是把 globality 變成可運算的 theorem metadata。

一個命題不再只記：

global / local。

而是記：

\boxed{ \mathsf{ScopeContract}(Q) + \mathsf{GProf}(Q) + \mathsf{GPCert} + \mathsf{GDebt}. }

這使我們能精確區分：

哪些 axis 已閉；
哪些 axis 尚開；
哪些 theorem 只是窄 scope 正確；
哪些 generalization 真正有證書；
哪些 physical interpretation 尚未建立；
哪些 generalized equation-family claim 仍是未定義的自然語言擴張。

對 Navier--Stokes 而言，這一步建立了一個必要的三域防火牆：

\boxed{ \mathfrak N_{\rm C} \neq \mathfrak N_{\rm P} \neq \mathfrak N_{\rm G}^{\Sigma}. }

Clay NS 可以在其 formal scope 中具有非常強的 globality，但這種 globality仍然是 typed、bounded-by-definition 的 globality，而不是所有 NS-like equations 或所有 physical fluids 的無界全域性。

因此 CSM 的研究方向不是削弱「global」的力量，而是讓每一種 globality 都獲得它真正的量詞、作用域、bridge 與 closure status。

當這些欄位被投影進 NS closure graph 後，過去數百條 proof route 的「成功、失敗、封路與 survivor」才第一次能被放入同一個相對全域空間中，而且不會因 scope 偷換而產生假閉包。

附錄 A：核心符號

Symbol	Meaning
$\mathsf{ScopeContract}(Q)$	命題作用域契約
$\mathsf{DomSig}(Q)$	domain signature
$\mathsf{Quant}(Q)$	quantifier envelope
$\mathsf{GProf}(Q)$	globality profile
$G_t$	time globality
$G_x$	spatial globality
$G_{\rm data}$	data-class globality
$G_{\rm eq}$	equation-family globality
$G_{\rm phys}$	physical-realization globality
$G_{\rm proof}$	proof-regime globality
$\mathsf{GPCert}$	globality promotion certificate
$\mathsf{GDebt}$	globality promotion debt
$\partial_G\mathfrak C$	scope/globality frontier
$\preceq_G$	partial globality preorder
$\mathcal G_D$	domain graph
$\mathfrak N_{\rm C}$	formal / Clay mathematical NS domain
$\mathfrak N_{\rm P}$	physical NS realization domain
$\mathfrak N_{\rm G}^{\Sigma}$	signature-parameterized generalized NS-like family

附錄 B：與 CSM Paper 00 的關係

Paper 00 已建立：

$\Omega^{\rm obs}\neq\Omega^{\rm adm}\neq\Omega^{\rm math}$ ；
relative-global closure；
typed closure-space object；
closure status；
implication / dependency / quotient / obstruction / bridge / generative closure；
route-completeness certificate；
RGC-0 至 RGC-4；
NS formal / physical / generalized 三域的初步區分。

Paper 01 不取代上述定義，而是把 Globality Typing Principle 展開成完整 domain / quantifier system，並規定 RGC status 必須綁定 $\mathsf{GProf}$ 。

附錄 C：內部理論血統

本文主要承接：

CSM Paper 00 — closure space、relative-global closure、RGC、closure debt、frontier；
LSI-PSD — semantic quotient、route graph、proof basin、obstruction confluence、theorem-strength preorder、Proof-Space Observatory；
UCT / UGC-CUR — typed non-collapse、bridge certificate、debt、ledger、local-to-absolute gate；
既有 NS 研究線 — formal NS 與 physical interpretation 不可直接塌縮、NS-203 proof-space instrumentation；
NS C1--C6 / X72 / DCRP — 作為後續 closure graph 的實際資料來源，而不是本篇的 theorem content。

附錄 D：下一步

下一步不應立刻繼續某一條 NS 局部 proof route。

應先完成：

\boxed{ \text{CSM Paper 02 — Typed Closure Graphs and Obstruction Propagation} }

然後才開始第一個真正的：

\boxed{ \text{NS Relative-Global Closure Graph v0.1}. }

其第一批 ingest source 應優先包含：

ETN--X Integration；
C1 / C2；
C3--C6；
X72；
DCRP；
Proof Asset Map；
已整理的 LSI-PSD NS-203 route / obstruction metadata。

END OF CSM PAPER 01 v0.1