# MRSM Paper 02  
# 研究閉包演算、權限與轉移律  
## Research Closure Calculus, Authority, and Transfer Laws  
### Typed State Transitions, Certificate-Carrying Operations, Reopening, and Conservation Principles in Mathematical Research Spaces

**Series:** Mathematical Research Space Methodology（MRSM）  
**Paper:** 02  
**Version:** v0.1  
**Date:** 2026-08-28  
**Author:** Neo.K  
**Institution:** EveMissLab／一言諾科技有限公司

---

## 摘要

MRSM Paper 01 將大型數學研究問題描述為具有 typed nodes、proof routes、obstructions、survivors、frontiers、quotients 與 relative closure 的動態證明空間。然而，僅知道研究空間的幾何仍不足以建立可執行的數學研究方法論。真正關鍵的下一個問題是：

> 在此空間中，哪些狀態改變是合法的？

例如，一條證明路線因某個 no-go theorem 而失敗時，究竟可以改變的是該 route 的狀態、某個 quotient class 的狀態，還是整個 parent claim？一個 theorem 經獨立驗證後，其 epistemic authority 可以提高，但是否因此可以擴張其作用域？某個 result 從 representation \(A\) 轉換到 representation \(B\) 時，結構是否能被保留，而 closure authority 是否也能同步轉移？一個研究分支被視為 closed 後，若新的 representation、theorem 或 bridge 出現，又應如何合法 reopening？

本文提出 **Research Closure Calculus（RCC）**，作為 Mathematical Research Space Methodology 的操作層。RCC 將數學研究狀態修改視為 typed、certificate-carrying、scope-aware operations，並建立：

\[
\mathsf{BlockRoute},
\quad
\mathsf{RefuteClaim},
\quad
\mathsf{ClosePositive},
\quad
\mathsf{CloseNegative},
\quad
\mathsf{Reopen},
\quad
\mathsf{Transfer},
\quad
\mathsf{DischargeDebt},
\quad
\mathsf{Split},
\quad
\mathsf{Merge},
\]

等基本算子。

本文同時建立若干不可坍縮原則：

\[
\mathsf{RouteBlocked}
\neq
\mathsf{ClaimRefuted},
\]

\[
\mathsf{AuthorityUpgrade}
\neq
\mathsf{ScopeExpansion},
\]

\[
\mathsf{TransferableStructure}
\neq
\mathsf{TransferableClosureAuthority},
\]

\[
\mathsf{CertificateIntegrity}
\neq
\mathsf{TheoremValidity},
\]

以及：

\[
\mathsf{LocalClosure}
\neq
\mathsf{ParentClosure}.
\]

此外，本文提出 proof debt conservation、scope conservation、authority monotonicity under fixed claim identity、reopening rules、closure hysteresis 與 parent propagation gate，使大型數學研究不再依賴自然語言中的模糊狀態轉換，而能以明確前置條件、證據與作用域執行。

**關鍵詞：** Research Closure Calculus、Authority、Certificate、Scope、Proof Debt、Transfer Law、Reopening、Closure、Formal Verification、Mathematical Research Space

---

# 1. 導論：證明空間需要操作語義

Paper 01 建立了：

\[
\mathfrak M_Q
\]

作為問題 \(Q\) 的數學研究空間。

然而僅有：

- nodes；
- edges；
- routes；
- obstruction；
- frontier；
- survivor；

還不能回答：

> 一個新的研究結果出現後，系統應該修改什麼？

假設出現 theorem \(T\)，證明：

\[
\forall x\in S,
\qquad
R(x)
\text{ 不可能成立}.
\]

如果某研究 route \(R_1\) 完全位於 \(S\)，那麼：

\[
R_1
\]

可以被阻斷。

但如果 parent claim \(Q\) 還有：

\[
R_2,R_3,\ldots
\]

其他 routes，則不能由：

\[
\mathsf{Block}(R_1)
\]

直接得到：

\[
\mathsf{Refute}(Q).
\]

因此研究系統需要的不只是 graph。

還需要：

\[
\boxed{
\textbf{合法修改 graph state 的演算。}
}
\]

這就是本文的 Research Closure Calculus。

---

# 2. Mathematical Research State

令一個研究物件 \(x\) 的完整狀態寫成：

\[
\mathcal X
=
\langle
id,
\tau,
P,
S,
A,
D,
C,
H
\rangle.
\]

其中：

- \(id\)：stable identity；
- \(\tau\)：object type；
- \(P\)：proposition / semantic payload；
- \(S\)：scope；
- \(A\)：authority；
- \(D\)：proof debt；
- \(C\)：certificates；
- \(H\)：history。

因此 mathematical state 不應只是：

```text
status = proved
```

而是：

\[
\boxed{
\text{Meaning}
+
\text{Scope}
+
\text{Authority}
+
\text{Evidence}
+
\text{Debt}
+
\text{History}.
}
\]

---

# 3. Closure Status 與 Authority 分離

令：

\[
\Sigma_{\rm closure}
=
\{
\mathrm{OPEN},
\mathrm{CONDITIONAL},
\mathrm{BLOCKED},
\mathrm{CLOSED}^{+},
\mathrm{CLOSED}^{-},
\mathrm{STALE},
\mathrm{REOPENED},
\mathrm{SUPERSEDED}
\}.
\]

另定義 authority：

\[
\mathcal A_{\rm auth}
=
\{
\mathrm{DISPLAY},
\mathrm{RESEARCH},
\mathrm{AUDIT},
\mathrm{PROOF},
\mathrm{FORMAL\_PROOF}
\}.
\]

於是某 theorem 可以是：

\[
\boxed{
\mathrm{CLOSED}^{+}
+
\mathrm{AUDIT}
}
\]

而另一 theorem 是：

\[
\boxed{
\mathrm{CLOSED}^{+}
+
\mathrm{FORMAL\_PROOF}.
}
\]

兩者 closure status 相同，但 epistemic authority 不同。

因此：

\[
\boxed{
\mathsf{ClosureStatus}
\neq
\mathsf{Authority}.
}
\]

---

# 4. 為什麼這個分離必要

假設某 paper 宣稱：

> Theorem 4 已證明。

source extraction 可以得到：

\[
\sigma(T)=\mathrm{CLOSED}^{+}.
\]

但如果尚未進行獨立驗證：

\[
A(T)=\mathrm{AUDIT}.
\]

後續 symbolic verifier 確認後：

\[
A(T):
\mathrm{AUDIT}
\to
\mathrm{PROOF}.
\]

若 Lean kernel 再確認：

\[
A(T)
\to
\mathrm{FORMAL\_PROOF}.
\]

注意：

\[
\sigma(T)
\]

可以完全沒有改變。

因此：

\[
\boxed{
\mathsf{AuthorityUpgrade}
\text{ 可以發生，而 }
\mathsf{ClosureStatus}
\text{ 不變。}
}
\]

---

# 5. Operation as Typed State Transition

令 RCC operator 為：

\[
\mathcal O:
\mathcal S
\times
\mathcal E
\to
\mathcal S',
\]

其中：

- \(\mathcal S\)：current research state；
- \(\mathcal E\)：evidence bundle；
- \(\mathcal S'\)：new state。

但 operator 並非任意函式。

它必須帶有：

\[
\boxed{
\text{Precondition}
+
\text{Certificate Requirement}
+
\text{Scope Rule}
+
\text{Postcondition}.
}
\]

---

# 6. Operation Contract

一個完整 operation contract 可以寫成：

\[
\mathcal O
=
\langle
\mathrm{InputType},
\mathrm{Pre},
\mathrm{Cert},
\mathrm{Scope},
\mathrm{Transition},
\mathrm{Post}
\rangle.
\]

例如：

\[
\mathsf{BlockRoute}.
\]

---

# 7. BlockRoute

令：

\[
R
\]

為 proof route，

\[
O
\]

為 obstruction。

若存在 certificate：

\[
C_O
\]

證明：

\[
O
\]

在 scope \(S_O\) 中合法阻斷 \(R\)，則：

\[
\mathsf{BlockRoute}(R,O,C_O).
\]

其 transition 為：

\[
\sigma(R)
:
\mathrm{OPEN}
\to
\mathrm{BLOCKED}.
\]

但必須要求：

\[
S_R
\preceq
S_O
\]

或有合法 scope bridge。

---

# 8. BlockRoute 的非傳播原則

執行：

\[
\mathsf{BlockRoute}(R)
\]

後不能自動執行：

\[
\mathsf{RefuteClaim}(Q).
\]

即：

\[
\boxed{
\mathsf{RouteBlocked}
\not\Rightarrow
\mathsf{ParentRefuted}.
}
\]

只有當：

1. route completeness 已證明；
2. 所有 parent escape routes 已處理；
3. obstruction coverage 有 certificate；

才可能考慮 parent transition。

---

# 9. RefuteClaim

令 claim：

\[
P.
\]

要執行：

\[
\mathsf{RefuteClaim}(P)
\]

必須具有直接或等價的否定 certificate：

\[
C_{\neg P}.
\]

因此：

\[
\sigma(P)
\to
\mathrm{CLOSED}^{-}
\]

要求的是：

\[
\Gamma
\vdash
\neg P
\]

或已證等價命題。

不是：

\[
\text{所有目前嘗試都失敗}.
\]

因此：

\[
\boxed{
\text{Failure of Search}
\neq
\text{Proof of Negation}.
}
\]

---

# 10. ClosePositive

對 claim \(P\)，operator：

\[
\mathsf{ClosePositive}(P,C)
\]

要求 certificate \(C\) 具備：

- exact subject identity；
- compatible scope；
- assumptions；
- proof authority；
- dependency closure；
- no unresolved blocking debt。

才能：

\[
\sigma(P)
\to
\mathrm{CLOSED}^{+}.
\]

---

# 11. Conditional Closure

若 proof 依賴尚未 discharge 的 assumption \(A\)：

\[
A
\Rightarrow
P,
\]

則不能直接：

\[
P
\to
\mathrm{CLOSED}^{+}.
\]

應記為：

\[
\boxed{
P
=
\mathrm{CONDITIONAL}[A].
}
\]

直到：

\[
\mathsf{DischargeDebt}(A).
\]

---

# 12. Certificate-Carrying Operations

RCC 的核心要求：

\[
\boxed{
\text{高權限狀態修改}
\Rightarrow
\text{certificate}.
}
\]

令：

\[
C=
\langle
id,
subject,
statement,
scope,
authority,
evidence,
version
\rangle.
\]

operator 在執行前必須驗：

\[
\mathsf{Valid}(C).
\]

若失敗：

\[
\boxed{
\neg\mathsf{Valid}(C)
\Rightarrow
\mathsf{NoMutation}.
}
\]

這稱為：

\[
\boxed{
\textbf{Fail-Closed Mathematical State Transition}.
}
\]

---

# 13. Certificate Integrity 與 Mathematical Validity

即使：

\[
\mathsf{HashValid}(C)=\mathrm{true},
\]

也只能表示：

> certificate 沒被修改。

不能得到：

\[
\mathsf{TheoremValid}(P).
\]

因此：

\[
\boxed{
\mathsf{CertificateIntegrity}
\neq
\mathsf{MathematicalValidity}.
}
\]

形式 proof certificate 仍需要：

\[
\text{kernel execution}
\]

或適格 verification lineage。

---

# 14. Authority Lattice

authority 不必只是單一直線。

最簡化可以寫成：

\[
\mathrm{DISPLAY}
\prec
\mathrm{RESEARCH}
\prec
\mathrm{AUDIT}
\prec
\mathrm{PROOF}.
\]

但 formal verification 更適合採正交 tier：

\[
\mathrm{FORMAL\_PROOF[Lean]},
\]

\[
\mathrm{FORMAL\_PROOF[Coq]},
\]

\[
\mathrm{EXTERNALLY\_REPLICATED},
\]

\[
\mathrm{CROSS\_IMPLEMENTATION\_REPLICATED}.
\]

因此 authority 更接近：

\[
(\mathcal A,\preceq)
\]

的 partial order。

---

# 15. Authority Upgrade

令：

\[
A_0
\prec
A_1.
\]

若新的 verification \(V\) 證明同一：

- statement；
- scope；
- assumptions；

則：

\[
\mathsf{UpgradeAuthority}(P,V).
\]

但：

\[
\boxed{
\mathsf{AuthorityUpgrade}
\neq
\mathsf{ClaimStrengthening}.
}
\]

即：

\[
P|_S
\]

從 AUDIT 升到 FORMAL_PROOF，

並不表示：

\[
P|_{S'}
\]

也成立。

---

# 16. Scope Conservation Law

本文提出：

## Law 1 — Scope Conservation

若 operator 沒有合法 scope bridge：

\[
B_{S\to S'},
\]

則：

\[
\boxed{
\mathsf{Operation}
\text{ 不得擴張 theorem scope}.
}
\]

因此：

\[
T|_S
+
\mathsf{FormalProof}
\not\Rightarrow
T|_{S'}.
\]

即使：

\[
S\subset S'.
\]

---

# 17. Assumption Conservation

若 theorem：

\[
A_1\land A_2
\Rightarrow
P,
\]

則任何 transfer 或 authority upgrade 後：

\[
A_1,A_2
\]

不能消失。

除非有 operator：

\[
\mathsf{DischargeAssumption}(A_i).
\]

所以：

\[
\boxed{
\text{Assumptions are conserved until discharged.}
}
\]

---

# 18. Proof Debt

令 proof debt set：

\[
D(P)
=
\{
d_1,d_2,\ldots,d_n
\}.
\]

可能包括：

\[
d_{\rm scope},
\]

\[
d_{\rm completeness},
\]

\[
d_{\rm transfer},
\]

\[
d_{\rm representation},
\]

\[
d_{\rm external},
\]

\[
d_{\rm verification}.
\]

---

# 19. Debt Conservation Law

本文提出：

## Law 2 — Proof Debt Conservation

對 operator：

\[
\mathcal O:
X\to Y,
\]

任何尚未 discharge 的 debt：

\[
d\in D(X)
\]

必須：

1. 保留；
2. 被明確 transfer；
3. 被 split；
4. 或被 certificate discharge。

不能：

\[
d\to\varnothing
\]

只因 representation 或 narrative 改變。

即：

\[
\boxed{
\text{Debt Cannot Disappear by Rephrasing}.
}
\]

---

# 20. DischargeDebt

若存在 certificate：

\[
C_d
\]

直接滿足 debt \(d\) 的 proof obligation，

則：

\[
\mathsf{DischargeDebt}(d,C_d).
\]

之後：

\[
D'
=
D\setminus\{d\}.
\]

所有 debt removal 都應留下：

\[
\mathsf{DISCHARGED\_BY}
\]

lineage。

---

# 21. Split

某個研究 route \(R\) 可能被發現實際包含：

\[
R_1,
R_2,
R_3.
\]

執行：

\[
\mathsf{Split}(R)
=
\{R_1,R_2,R_3\}.
\]

原 route 不一定被刪除。

更安全的狀態為：

\[
R:
\mathrm{SUPERSEDED}.
\]

並建立：

\[
R
\overset{\mathrm{SPLITS\_INTO}}{\longrightarrow}
\{R_1,R_2,R_3\}.
\]

---

# 22. Merge

若 routes：

\[
R_1,R_2,\ldots,R_n
\]

被證明在指定 abstraction level 下等價，

可以：

\[
\mathsf{Merge}
(
R_1,\ldots,R_n
)
\to
[R].
\]

但必須有：

\[
C_{\sim}
\]

作為 quotient certificate。

因此：

\[
\boxed{
\mathsf{TextSimilarity}
\neq
\mathsf{MergeAuthority}.
}
\]

---

# 23. Transfer

令：

\[
T:
X
\to
Y
\]

為跨 representation 或 domain transfer。

必須分成：

\[
T_{\rm structure},
\]

\[
T_{\rm statement},
\]

與：

\[
T_{\rm authority}.
\]

因為能轉移一個公式形式，不代表能轉移其 closure authority。

---

# 24. Transfer Law

本文提出：

## Law 3 — Transferable Structure Does Not Imply Transferable Authority

即：

\[
\boxed{
\mathsf{StructurePreserved}
\not\Rightarrow
\mathsf{ClosureAuthorityPreserved}.
}
\]

例如某 result 在 representation \(A\) 中：

\[
P_A.
\]

存在 map：

\[
F:A\to B.
\]

即使：

\[
F(P_A)=P_B,
\]

仍需證明：

\[
F
\]

保留：

- assumptions；
- scope；
- semantics；
- proof obligations。

否則 \(P_B\) 只能是 candidate。

---

# 25. Bridge Certificate

跨 domain transfer 必須產生：

\[
C_{\rm bridge}.
\]

至少包含：

\[
\langle
source,
target,
mapping,
preserved\_structure,
scope,
assumptions,
limitations
\rangle.
\]

若只證：

\[
\text{symbolic correspondence},
\]

則不能升成：

\[
\text{theorem equivalence}.
\]

---

# 26. Semantic Identity Firewall

本文提出：

\[
\boxed{
\mathsf{FormalSimilarity}
\neq
\mathsf{SemanticIdentity}
\neq
\mathsf{OntologicalIdentity}.
}
\]

兩個模型具有相同方程形式：

\[
F(x)=0
\]

並不代表其：

- variables；
- domains；
- semantics；
- boundary conditions；

相同。

這是跨領域 mathematical transfer 最重要的 firewall 之一。

---

# 27. Transfer Composition

若：

\[
A
\xrightarrow{F}
B
\xrightarrow{G}
C,
\]

則 composite：

\[
G\circ F
\]

的 authority 不能超過兩個 bridge 中最弱的合法 authority。

簡化地說：

\[
\boxed{
A(G\circ F)
\preceq
\min
\{
A(F),A(G)
\}.
}
\]

這可以稱為：

\[
\boxed{
\textbf{Weakest-Bridge Principle}.
}
\]

---

# 28. Proof-Carrying Composition

若 operators：

\[
\mathcal O_1,
\mathcal O_2,
\ldots,
\mathcal O_n
\]

串接，

則 composite result 應附有：

\[
C_{\rm composite}
=
\{
C_1,\ldots,C_n
\}
+
C_{\rm compatibility}.
\]

這稱為：

\[
\boxed{
\textbf{Proof-Carrying Operator Composition}.
}
\]

它避免：

> 每一步 individually valid，但拼接後 scope 不匹配。

---

# 29. Composition Failure

假設：

\[
T_1:
A\to B
\]

只對：

\[
x\in S_1
\]

成立，

而：

\[
T_2:
B\to C
\]

需要：

\[
x\in S_2.
\]

如果：

\[
S_1\not\subseteq S_2,
\]

則：

\[
T_2\circ T_1
\]

不能自動成立。

因此 composite gate 必須驗：

\[
\boxed{
\mathsf{OutputScope}(T_1)
\preceq
\mathsf{InputScope}(T_2).
}
\]

---

# 30. Reopening

令 object：

\[
X
\]

目前為：

\[
\mathrm{BLOCKED}
\]

或：

\[
\mathrm{CLOSED}^{-}_{\rm relative}.
\]

若新 evidence \(E\) 使既有 obstruction 的前提失效：

\[
E
\Rightarrow
\neg\mathsf{Applicable}(O),
\]

則可執行：

\[
\mathsf{Reopen}(X,E).
\]

得到：

\[
\sigma(X)
\to
\mathrm{REOPENED}.
\]

---

# 31. Reopening 不等於刪除歷史

Reopening 後：

\[
H(X)
\]

仍保留：

\[
\mathrm{BLOCKED\_BY}(O,t_1)
\]

以及：

\[
\mathrm{REOPENED\_BY}(E,t_2).
\]

因此：

\[
\boxed{
\text{Current State}
\neq
\text{Entire Historical State}.
}
\]

---

# 32. Closure Hysteresis

某 route：

\[
R
\]

可能歷經：

\[
\mathrm{OPEN}
\to
\mathrm{BLOCKED}
\to
\mathrm{REOPENED}
\to
\mathrm{BLOCKED}.
\]

因此 closure dynamics 不應假設單調。

研究歷史具有：

\[
\boxed{
\textbf{Closure Hysteresis}.
}
\]

即同一 current state 可能來自不同歷史路徑。

---

# 33. Policy-Relative State

在時間 \(t\)，研究狀態可寫成：

\[
\mathfrak M_t
=
\mathsf{Replay}
(
L_{\le t},
\Pi_t
),
\]

其中：

- \(L\)：event ledger；
- \(\Pi_t\)：current validation / admissibility policy。

若：

\[
\Pi_t
\neq
\Pi_{t+1},
\]

則同一歷史 ledger 可能產生不同 evaluation。

因此：

\[
\boxed{
\text{Closure is policy-relative}.
}
\]

---

# 34. Stale State

若某 certificate：

\[
C
\]

依賴外部 theorem \(T\)，

而 \(T\) 被撤回、削弱或 scope修正，

則 dependent asset應：

\[
\mathrm{PROOF}
\to
\mathrm{STALE}
\]

或：

\[
\mathrm{REVIEW\ REQUIRED}.
\]

不能繼續假定 authority 不變。

---

# 35. Dependency Revocation

定義：

\[
\mathsf{InvalidateDependency}(T).
\]

系統不必立刻宣稱所有 dependent theorem false。

正確操作是：

\[
\boxed{
\text{Authority Revocation}
\neq
\text{Theorem Refutation}.
}
\]

dependent assets 應進入：

\[
\mathrm{STALE}
\]

或：

\[
\mathrm{CONDITIONAL}.
\]

---

# 36. Parent Propagation Gate

局部 child：

\[
C_i
\]

狀態變更後，何時可以傳播到 parent \(P\)？

本文要求：

\[
\mathsf{Propagate}
(
C_i\to P
)
\]

必須有 explicit parent rule。

例如 parent 是：

\[
P
\iff
C_1\land C_2.
\]

則只有：

\[
C_1=\mathrm{CLOSED}^{+}
\]

與：

\[
C_2=\mathrm{CLOSED}^{+}
\]

且 scope相容時，

才能：

\[
P
\to
\mathrm{CLOSED}^{+}.
\]

---

# 37. Parent Rule 必須顯式存在

不能因為：

\[
C_1
\]

是「重要 lemma」，

就在 human intuition 下自動修改 \(P\)。

因此：

\[
\boxed{
\text{Child Importance}
\neq
\text{Parent Transition Authority}.
}
\]

parent implication本身必須是 graph 中的正式 edge/hyperedge。

---

# 38. AND / OR Closure

若：

\[
P
\Leftarrow
A\land B,
\]

則 positive closure 要求：

\[
A^+\land B^+.
\]

若：

\[
P
\Leftarrow
A\lor B,
\]

則一個合法 positive branch即可：

\[
A^+
\Rightarrow
P^+.
\]

但 negative closure則不同：

\[
\neg(A\lor B)
\]

需要：

\[
\neg A
\land
\neg B.
\]

因此 parent closure 是 typed logical operation，而不是單純 graph reachability。

---

# 39. Obstruction Propagation

若 obstruction \(O\) 阻斷：

\[
R,
\]

而：

\[
R'
\preceq R
\]

是其子路線，

不一定能自動推：

\[
O
\text{ blocks }R'.
\]

因為子路線可能移除了造成 obstruction 的 assumption。

所以：

\[
\boxed{
\mathsf{ObstructionPropagation}
\text{ requires applicability proof}.
}
\]

---

# 40. Negative Result 的局部性

no-go theorem經常形式為：

\[
\neg\exists x\in S:
P(x).
\]

它只關閉：

\[
S.
\]

不能直接關閉：

\[
S'.
\]

因此 negative theorem尤其需要 scope discipline。

本文提出：

\[
\boxed{
\text{No-Go Authority is scope-local unless bridged.}
}
\]

---

# 41. Survivor Operation

若 route：

\[
R
\]

通過目前所有已註冊 obstruction，

系統可以加：

\[
\mathsf{SURVIVOR}(R).
\]

但：

\[
\boxed{
\mathsf{SURVIVOR}
\text{ 是 role tag，不是 closure status。}
}
\]

因此：

\[
R
=
\mathrm{OPEN}
+
\mathrm{SURVIVOR}.
\]

---

# 42. Survivor 不能轉成 Proof

不存在：

\[
\mathsf{Survivor}
\Rightarrow
\mathsf{Proof}.
\]

survivor只表示：

\[
\neg
\text{currently eliminated}.
\]

因此：

\[
\boxed{
\text{Not Yet Ruled Out}
\neq
\text{Established}.
}
\]

---

# 43. Frontier Operation

令：

\[
\mathcal F
\]

為 current frontier。

frontier更新：

\[
\mathsf{RebuildFrontier}
(
\mathfrak M_t
)
\to
\mathcal F_{t+1}.
\]

它是一個 derived-state operator。

frontier本身不修改 theorem truth。

即：

\[
\boxed{
\text{Research Priority}
\neq
\text{Mathematical Authority}.
}
\]

---

# 44. Closure Operator 的條件化

令：

\[
\operatorname{Cl}_{\Xi}
\]

為在 policy/context \(\Xi\) 下的 closure operator。

如果：

\[
A
\subseteq
B,
\]

希望：

\[
\operatorname{Cl}_{\Xi}(A)
\subseteq
\operatorname{Cl}_{\Xi}(B).
\]

但這只對固定：

\[
\Xi
\]

成立。

若 policy改變：

\[
\Xi\to\Xi',
\]

則：

\[
\operatorname{Cl}_{\Xi}
\]

與：

\[
\operatorname{Cl}_{\Xi'}
\]

不可直接比較。

---

# 45. Closure Fixed Point

研究狀態 \(S^\ast\) 若滿足：

\[
\operatorname{Cl}_{\Xi}(S^\ast)
=
S^\ast,
\]

則稱為在 \(\Xi\) 下的 closure fixed point。

但：

\[
\boxed{
\text{Fixed Point under }\Xi
\neq
\text{Final Mathematical Truth}.
}
\]

新的：

- theorem；
- representation；
- corpus；
- policy；

都可能改變 \(\Xi\)。

---

# 46. Relative Closure Certificate

任何 relative closure都應產生：

\[
C_{\rm closure}
\]

至少包含：

- root claim；
- domain；
- theory set；
- admissibility policy；
- route inventory version；
- quotient certificate；
- frontier；
- obstruction cover；
- unresolved debt；
- authority policy。

因此「我們已經窮盡這個問題」不再是一句 prose。

它是可審核 certificate。

---

# 47. Closure Strength

可以建立 closure strength partial order，例如：

\[
\mathsf{LocalClosure}
\prec
\mathsf{BranchClosure}
\prec
\mathsf{RelativeProblemClosure}.
\]

但：

\[
\mathsf{RelativeProblemClosure}
\]

依然不等於：

\[
\mathsf{AbsoluteCompleteness}.
\]

---

# 48. Research Cycle Closure

研究 cycle 可以被關閉：

\[
\mathsf{CycleClosed}.
\]

例如：

> 本輪 representation family 已全部分析。

但：

\[
\boxed{
\mathsf{ResearchCycleClosed}
\neq
\mathsf{ProblemClosed}.
}
\]

這對長期 AI research 特別重要。

否則 Agent 很容易把：

> 這輪沒有下一步

錯解為：

> 問題沒有下一步。

---

# 49. Projection Authority

research runtime可能投影成：

- paper；
- table；
- graph；
- AI context；
- dashboard。

令：

\[
\Pi:
\mathfrak M
\to
V.
\]

任何 projection只具有 display authority。

不能：

\[
\Pi(\mathfrak M)
\to
\mathfrak M
\]

自動回寫 native state。

因此：

\[
\boxed{
\text{View}
\neq
\text{Authority}.
}
\]

---

# 50. Candidate Layer

自然語言 source extraction應首先進：

\[
\mathcal C_{\rm cand}.
\]

例如 source 中：

```text
THEOREM PROVED
```

只生成：

\[
\mathsf{ProofClaimCandidate}.
\]

source 中：

```text
NO-GO
```

只生成：

\[
\mathsf{ObstructionCandidate}.
\]

source 中：

```text
SURVIVOR
```

只生成：

\[
\mathsf{SurvivorCandidate}.
\]

---

# 51. Candidate Promotion

promotion operator：

\[
\mathsf{PromoteCandidate}.
\]

需要：

1. source fidelity；
2. target identity；
3. scope；
4. assumptions；
5. certificate；
6. authority policy。

只有通過後才能寫 native state。

因此：

\[
\boxed{
\text{Source Label}
\neq
\text{Native Mathematical Status}.
}
\]

---

# 52. Runtime Success Firewall

假設 verifier程式執行成功：

```text
exit_code = 0
```

不能推出：

\[
P.
\]

正確語義可能只是：

\[
\text{program executed successfully}.
\]

所以：

\[
\boxed{
\mathsf{RuntimeSuccess}
\neq
\mathsf{MathematicalTheorem}.
}
\]

只有 verifier output被合格 parser解讀、statement/scope匹配，才可產生 mathematical certificate。

---

# 53. Formal Proof Firewall

同樣，即使 Lean：

\[
\texttt{verified},
\]

它也只證明：

\[
\text{Lean obligation as written}.
\]

不能自動證明：

\[
\text{原始自然語言 theorem}.
\]

因此 formalization需要：

\[
C_{\rm translation}.
\]

故：

\[
\boxed{
\mathsf{KernelVerified}
+
\mathsf{TranslationValid}
\Rightarrow
\mathsf{FormalProofAuthority}.
}
\]

而不是只靠 kernel result。

---

# 54. Cross-Kernel Replication

如果同一 theorem經：

\[
\mathsf{LeanVerified}
\]

與：

\[
\mathsf{CoqVerified},
\]

並具有兩個獨立 translation certificates，

則可以增加：

\[
\mathsf{CROSS\_KERNEL\_FORMAL\_REPLICATION}.
\]

但其意義仍是：

> 同一 bounded mathematical asset 在兩個 formal kernels 中得到驗證。

不表示 parent closure。

---

# 55. Authority 不向上滲透

本文提出：

## Law 4 — No Automatic Upward Authority Propagation

如果 child \(C\) 具有：

\[
\mathrm{FORMAL\_PROOF},
\]

parent \(P\) 不會因此獲得：

\[
\mathrm{FORMAL\_PROOF}.
\]

除非：

\[
P
\]

自身的 derivation也被 formalized。

因此：

\[
\boxed{
A(C)
\nRightarrow
A(P).
}
\]

---

# 56. Closure 不向外滲透

同理：

\[
\mathsf{Closed}(P|_S)
\]

不會自動傳到：

\[
P|_{S'}.
\]

本文稱為：

## Law 5 — No Automatic Outward Closure Propagation

\[
\boxed{
S\subset S'
\not\Rightarrow
\mathsf{Closure}(S)\to\mathsf{Closure}(S').
}
\]

---

# 57. Conservation Triangle

RCC 可以用一個核心 conservation triangle 表示：

\[
\boxed{
\text{Scope}
\quad
\text{Assumptions}
\quad
\text{Debt}
}
\]

任何 state transition都必須追蹤這三者。

如果一個新 result 看起來「突然更強」，首先應檢查：

> 是否有 scope偷偷變大？

> assumption是否消失？

> debt是否被忽略？

這三種錯誤是 mathematical authority inflation 的主要來源。

---

# 58. Authority Inflation

定義非法 authority inflation：

\[
A(X_{t+1})
>
A(X_t)
\]

但不存在新的合法 certificate。

則：

\[
\boxed{
\mathsf{AuthorityInflationError}.
}
\]

例如：

> paper author says proved

被直接轉成：

\[
\mathrm{FORMAL\_PROOF}.
\]

就是典型錯誤。

---

# 59. Scope Inflation

若：

\[
S_t
\subsetneq
S_{t+1}
\]

但沒有 scope bridge，

則：

\[
\boxed{
\mathsf{ScopeInflationError}.
}
\]

這在跨 domain theorem transfer中特別危險。

---

# 60. Closure Inflation

若：

\[
\mathsf{BranchClosed}
\]

被寫成：

\[
\mathsf{ProblemClosed},
\]

稱：

\[
\boxed{
\mathsf{ClosureInflationError}.
}
\]

RCC 的大量型別規則，本質上就是阻止這類 inflation。

---

# 61. Atomic Mathematical Transactions

多個互相依賴的 state changes應當：

\[
\mathsf{Atomic}.
\]

例如：

1. register certificate；
2. register verification；
3. upgrade authority；
4. add receipt。

若第 3 步失敗，

不應留下：

> certificate存在但 authority update半完成

的矛盾 state。

因此：

\[
\boxed{
\text{Mathematical State Mutation}
\text{ 應支援 atomic transaction}.
}
\]

---

# 62. Event-Sourced Calculus

每個 operator不直接「修改真相」。

而是產生 event：

\[
e_t.
\]

例如：

\[
\mathrm{REGISTER\_CERTIFICATE},
\]

\[
\mathrm{BLOCK\_ROUTE},
\]

\[
\mathrm{UPGRADE\_AUTHORITY},
\]

\[
\mathrm{REOPEN},
\]

\[
\mathrm{DISCHARGE\_DEBT}.
\]

native state由：

\[
\mathsf{Replay}(L)
\]

得到。

---

# 63. Replay Invariant

最基本的 runtime invariant：

\[
\boxed{
\mathsf{Replay}(L)
=
S_{\rm native}.
}
\]

如果：

\[
\mathsf{Replay}(L)
\neq
S_{\rm native},
\]

那不是 mathematical disagreement。

而是：

\[
\boxed{
\mathsf{RuntimeInconsistency}.
}
\]

---

# 64. Idempotency

若相同 certificate與相同 operation重送，

應滿足：

\[
\mathsf{Apply}(e,S)=S'
\]

而第二次：

\[
\mathsf{Apply}(e,S')=S'.
\]

即：

\[
\boxed{
\mathsf{IdempotentReplay}.
}
\]

這對 AI Agent 重試與分散式研究系統很重要。

---

# 65. Deterministic Mathematical State

相同 canonical ledger應得到：

\[
\boxed{
\text{same native state hash}.
}
\]

因此 machine-local資訊：

- absolute path；
- hostname；
- temporary directory；
- wall-clock duration；

不應進 canonical mathematical identity。

---

# 66. Content Addressing

proof artifact應優先使用：

\[
\texttt{sha256:<digest>}
\]

作為 identity。

因此：

\[
\boxed{
\text{Evidence Location}
\neq
\text{Evidence Identity}.
}
\]

同一 proof移動到不同機器，不應改變 theorem state。

---

# 67. Closure Calculus 的失敗模式

RCC本身也可能出錯。

主要包括：

### 67.1 Wrong Subject

certificate證的是：

\[
P'
\]

卻掛到：

\[
P.
\]

### 67.2 Scope Mismatch

certificate scope小於 target scope。

### 67.3 Authority Confusion

source audit被當成 independent proof。

### 67.4 Transfer Inflation

structure-preserving map被當成 theorem-equivalence。

### 67.5 Hidden Debt

bridge中未記錄 assumption。

### 67.6 Parent Leakage

child closure自動滲透 parent。

### 67.7 Historical Erasure

reopening後刪除舊 obstruction。

---

# 68. Fail-Closed Policy

若 operation無法判斷：

\[
\mathsf{VALID}
\]

或：

\[
\mathsf{INVALID},
\]

則應：

\[
\mathsf{DEFER}.
\]

而不是猜。

因此：

\[
\boxed{
\mathsf{UnknownAuthority}
\Rightarrow
\mathsf{NoHighAuthorityMutation}.
}
\]

---

# 69. RCC 與 Proof Theory 的關係

Proof theory研究：

\[
\Gamma\vdash P.
\]

RCC研究：

> 哪個研究物件目前具有什麼證明狀態？

> 哪個 certificate有權改變它？

> 該改變能否向其他研究物件傳播？

因此：

\[
\boxed{
\text{RCC}
\neq
\text{Proof Theory},
}
\]

但 RCC 建立在 proof-theoretic result之上。

---

# 70. RCC 與 Category Theory 的關係

cross-representation transfer：

\[
A
\xrightarrow{F}
B
\]

天然具有 morphism flavor。

但 RCC 關心額外的：

- scope；
- authority；
- proof debt；
- certificate。

所以它可以借用 category language，

但不等同於 category theory。

---

# 71. RCC 與 Type Theory 的關係

RCC 的核心之一是：

\[
\text{typed non-collapse}.
\]

例如：

\[
\mathrm{BLOCKED}
\]

不能 cast成：

\[
\mathrm{CLOSED}^{-}.
\]

可以類比為：

\[
\boxed{
\text{非法狀態轉換就是 type error}.
}
\]

這使 MRSM 的研究 runtime具有類似 typed programming language 的安全性。

---

# 72. 數學研究的 Type Error

典型 type errors：

```text
Obstruction → Theorem Refutation
```

```text
Local Proof → Global Proof
```

```text
Runtime PASS → Mathematical PROOF
```

```text
Source Label → Native Authority
```

```text
Formal Similarity → Semantic Identity
```

這些其實都是：

\[
\boxed{
\textbf{Mathematical Research Type Errors}.
}
\]

---

# 73. AI 為什麼需要 RCC

AI 特別容易發生：

> 因文字上下文相似而合併概念。

例如：

```text
NO-GO
```

被理解成：

```text
problem solved negatively
```

或：

```text
formal check passed
```

被理解成：

```text
the theorem is globally true
```

RCC 將這些禁止轉換寫成 machine rules。

因此 AI 不只依靠語言模型「記得要小心」。

而是 runtime根本不允許非法 transition。

---

# 74. AI Research Operator

未來 AI Agent 可以提出：

\[
\mathsf{Proposal}
(
\mathcal O,
X,
C
).
\]

但不能直接修改 canonical state。

系統先執行：

\[
\mathsf{ValidateProposal}.
\]

只有通過：

\[
\mathsf{CommitGate}
\]

才進 native ledger。

這將：

\[
\boxed{
\text{AI creativity}
}
\]

與：

\[
\boxed{
\text{mathematical authority}
}
\]

分離。

---

# 75. Proposal Layer

因此完整流程為：

\[
\text{AI Suggestion}
\to
\text{Candidate}
\to
\text{Validation}
\to
\text{Certificate}
\to
\text{Native Commit}.
\]

不是：

\[
\text{AI says}
\Rightarrow
\text{system believes}.
\]

---

# 76. Closure Calculus 與研究治理

RCC 不只是 theorem verifier。

它同時是一套 epistemic governance。

它規定：

> 哪種 evidence有什麼 authority？

> 誰可以修改什麼 state？

> 哪個 transition需要哪些前置條件？

因此：

\[
\boxed{
\text{Mathematical Governance}
}
\]

本身也可以 formalize。

---

# 77. 最小安全核心

一個 MRSM runtime 的最小 safety kernel至少應包含：

1. stable object identity；
2. typed statuses；
3. ScopeContract；
4. certificate registry；
5. authority policy；
6. debt tracking；
7. atomic state transition；
8. deterministic replay；
9. parent propagation gates；
10. fail-closed unknown handling。

---

# 78. RCC 的最終抽象

整個 Research Closure Calculus可以壓縮為：

\[
\boxed{
\Gamma
\vdash_{\mathsf{RCC}}
X
:
\tau
\;[\sigma]
\;\{S\}
\;\langle A\rangle
\;\langle D\rangle
}
\]

其意義為：

> 在研究 context \(\Gamma\) 下，物件 \(X\) 具有 type \(\tau\)、closure state \(\sigma\)、scope \(S\)、authority \(A\) 與 unresolved debt \(D\)。

operator：

\[
\mathcal O
\]

則是合法轉換：

\[
X_t
\xrightarrow[\ C\ ]{\mathcal O}
X_{t+1}.
\]

certificate \(C\) 是 transition authority 的載體。

---

# 79. 從數學結論到數學狀態機

傳統 theorem主要關心：

\[
P
\]

是真是假。

MRSM / RCC 進一步問：

\[
\boxed{
P
\text{ 是如何成為目前這個 epistemic state？}
}
\]

因此 mathematical knowledge 不再只是 set of propositions。

它變成：

\[
\boxed{
\text{Versioned, Certified, Typed Mathematical State}.
}
\]

---

# 80. 結論

本文提出 **Research Closure Calculus（RCC）**，作為 Mathematical Research Space Methodology 的操作層。

Paper 01 回答：

\[
\boxed{
\text{證明空間長什麼樣？}
}
\]

本文則回答：

\[
\boxed{
\text{證明空間中允許發生什麼？}
}
\]

其核心原則可以總結為：

\[
\boxed{
\mathsf{RouteBlocked}
\neq
\mathsf{ClaimRefuted}
}
\]

\[
\boxed{
\mathsf{AuthorityUpgrade}
\neq
\mathsf{ScopeExpansion}
}
\]

\[
\boxed{
\mathsf{TransferableStructure}
\neq
\mathsf{TransferableClosureAuthority}
}
\]

\[
\boxed{
\mathsf{CertificateIntegrity}
\neq
\mathsf{MathematicalValidity}
}
\]

\[
\boxed{
\mathsf{LocalClosure}
\neq
\mathsf{ParentClosure}
}
\]

以及：

\[
\boxed{
\text{Scope、Assumption、Proof Debt}
\text{ 不得在合法轉換中無證消失。}
}
\]

從這個觀點看，數學研究中的大量錯誤敘事其實都可以理解成非法 type conversion：

\[
\text{local}
\to
\text{global},
\]

\[
\text{blocked}
\to
\text{false},
\]

\[
\text{tested}
\to
\text{proved},
\]

\[
\text{similar}
\to
\text{identical}.
\]

RCC 的目的不是限制數學家的創造力。

恰恰相反。

它把：

\[
\boxed{
\text{創造新 route}
}
\]

與：

\[
\boxed{
\text{賦予 route 數學權限}
}
\]

分離。

研究者與 AI 可以自由提出：

- 新 representation；
- 新 bridge；
- 新 conjecture；
- 新 proof route；

而 canonical mathematical state只接受那些通過 certificate、scope、authority與dependency gate 的變化。

因此未來的數學研究系統不必在「自由探索」與「形式嚴謹」之間二選一。

它可以形成：

\[
\boxed{
\text{自由生成}
\to
\text{嚴格候選層}
\to
\text{可驗證轉換}
\to
\text{正式數學狀態}.
}
\]

這也為本系列最後一篇 **MRSM Paper 03 — AI-Native Mathematical Research Runtime and Formal Verification** 建立直接基礎。

Paper 03 將把本文的 closure calculus 真正編譯成可執行系統：

\[
\boxed{
\text{Ledger}
\to
\text{Native Research State}
\to
\text{AI Operators}
\to
\text{Verification}
\to
\text{Lean/Coq/FELRA}
\to
\text{Replayable Mathematical Runtime}.
}
\]

至此，MRSM 已由：

\[
\text{研究方法論}
\]

進入：

\[
\text{證明空間幾何}
\]

再進入：

\[
\boxed{
\text{數學研究狀態本身的演算。}
}
\]

下一步便是讓這套演算真正執行。