# CSM Paper 05 — Closure Invariants, Projection, and Static/Dynamic Compilation

## 閉包空間數學論：閉包不變量、投影、注意力視圖與靜態／動態編譯

**English Title:** *Closure-Space Mathematics: Closure Invariants, Projection, Attention Views, and Static/Dynamic Compilation*  
**Series:** Closure-Space Mathematics (CSM)  
**Paper:** 05  
**Version:** v0.1  
**Date:** 2026-08-27  
**Language:** zh-TW  
**Status:** Formal Theory / Representation and Projection Core  
**Canonical source:** UTF-8 Markdown  
**Canonical math delimiters:** inline `$...$`; display `$$...$$`

---

## 摘要

本文建立閉包空間數學論（Closure-Space Mathematics, CSM）的表示、投影與編譯核心。Paper 00–04 已依序建立相對全域閉包空間、全域性型別、typed closure hypergraph、frontier / cut / exhaustion，以及時間索引的 closure dynamics。當這些物件真正進入可視化、AI attention、資料庫、圖論 runtime、有限工作集或人類可讀介面時，一個新的根本問題出現：

> 閉包空間在被投影、壓縮、分層、裁切、摘要或逐步物化時，哪些資訊可以省略，哪些資訊一旦丟失，就會使「封路」「重開」「耗盡」等結論失真？

本文區分 **Native Closure State** 與 **Projected Closure View**。原生狀態保存完整 typed graph、scope、assumption、certificate、debt、version、provenance 與 event ledger；任何有限表示皆只是對該狀態的投影：

$$
\boxed{
\Pi:
\mathfrak C
\longrightarrow
\mathcal V.
}
$$

本文不要求所有投影無損。相反地，CSM 明確允許 lossy projection，但要求所有可能影響 closure conclusion 的損失被型別化、記帳並形成 projection debt。

本文提出 **Closure-Critical Invariant Family**：

$$
\boxed{
\mathfrak I_{\rm Cl}
=
\{
I_{\rm id},
I_{\rm target},
I_{\rm scope},
I_{\rm asm},
I_{\rm status},
I_{\rm cert},
I_{\rm debt},
I_{\rm provenance},
I_{\rm dependency},
I_{\rm bridge},
I_{\rm frontier},
I_{\rm cut},
I_{\rm version}
\}.
}
$$

一個投影只有在指定用途所需的不變量被保存時，才具有 closure authority。由此導出：

$$
\boxed{
\text{Visual Fidelity}
\neq
\text{Closure Fidelity}
\neq
\text{Proof Fidelity}.
}
$$

本文進一步引入 **Projection–Closure Commutation**。若：

$$
\Pi\circ\operatorname{Cl}
=
\operatorname{Cl}'\circ\Pi,
$$

則投影後仍可安全地執行對應 closure operation。若此交換律未證，則禁止從 projected view 的局部圖形關係直接升格成 native closure conclusion。

本文並比較兩種編譯策略。

第一種是 **Dynamic Incremental Projection**：

$$
\mathfrak C_0
\to
\Pi(\mathfrak C_0)
\to
\mathfrak C_1
\to
\Pi(\mathfrak C_1)
\to\cdots
$$

第二種是 **Static Batched Projection**：

$$
\mathfrak C_0
\xrightarrow{\mathfrak U^\ast}
\mathfrak C_T^\star
\xrightarrow{\Pi}
\mathcal V_T.
$$

若 projection 是 lossy，且被省略的 state 會參與 closure、reopening、quotient 或 bridge 判定，則「先完成 native closure，再一次投影」通常具有更強的 closure safety。本文將此正式化為 **Static Projection Safety Principle**。

同時，本文不把 static 一概視為 superior。若 projection operator 與 closure update 已被證明 incremental-safe，且所有 delta 都攜帶足夠 invariants，則 dynamic projection 可以合法工作。因此真正的區分不是 static vs dynamic，而是：

$$
\boxed{
\text{uncertified incremental materialization}
\neq
\text{certified incremental materialization}.
}
$$

本文最後引入 **Attention Projection**：AI 或研究者只載入相對全域空間的一個 working subgraph。只要未載入的 frontier、cut、obstruction 或 debt 被明確 externalize 並保留 boundary contract，有限 attention 仍可安全工作。這使 CSM 可以在不要求每次將整個 proof space 塞入上下文的情況下，維持 global closure accountability。

---

# 1. 研究定位

Paper 04 已建立：

$$
\mathfrak C_t
\xrightarrow{e_t}
\mathfrak C_{t+1}.
$$

本文新增：

$$
\boxed{
\mathfrak C_t
\xrightarrow{\Pi}
\mathcal V_t.
}
$$

$\mathcal V_t$ 可以是：

- 人類可視圖；
- AI working set；
- database materialized view；
- graph export；
- theorem-prover slice；
- static report；
- compressed state。

---

# 2. Native Closure State

定義：

$$
\boxed{
\mathfrak C^{\rm nat}_t
}
$$

為具有最高 closure authority 的原生狀態。

它至少保存：

1. typed graph；
2. claim identity；
3. assumptions；
4. scope；
5. representation；
6. epistemic status；
7. certificates；
8. debt；
9. provenance；
10. event ledger；
11. quotient policy；
12. bridge policy；
13. current version。

---

# 3. Projected Closure View

定義：

$$
\boxed{
\mathcal V_t^\Pi
=
\Pi(
\mathfrak C_t^{\rm nat}
).
}
$$

它不是原生空間本身。

---

# 4. Projection Non-Identity Principle

$$
\boxed{
\Pi(\mathfrak C)
\neq
\mathfrak C
}
$$

除非 $\Pi$ 被證明為該用途下的同構表示。

---

# 5. Projection Types

$$
\tau_\Pi
\in
\{
\mathsf{LOSSLESS},
\mathsf{LOSSY},
\mathsf{SUMMARY},
\mathsf{ATTENTION},
\mathsf{VISUAL},
\mathsf{AUDIT},
\mathsf{EXECUTION},
\mathsf{ARCHIVE}
\}.
$$

---

# 6. Lossless Projection

若存在：

$$
\Pi^{-1}
$$

使：

$$
\Pi^{-1}\Pi(\mathfrak C)
=
\mathfrak C,
$$

稱 representation-lossless。

---

# 7. Semantic Losslessness

即使位元層不是可逆，只要 closure-relevant semantics 完全可恢復，也可稱：

$$
\boxed{
\text{closure-semantically lossless}.
}
$$

---

# 8. Lossy Projection

若存在 native distinctions：

$$
x\neq y
$$

但：

$$
\Pi(x)=\Pi(y),
$$

則 projection 在該 distinction 上 lossy。

---

# 9. Loss 不必非法

CSM 允許：

$$
\mathsf{LOSSY}.
$$

非法的是：

> 丟失 closure-critical information 後，仍把 projected result 冒充 native theorem state。

---

# 10. Projection Contract

定義：

$$
\boxed{
\mathsf{ProjContract}(\Pi)
=
\left\langle
\mathsf{Purpose},
\mathsf{SourceType},
\mathsf{TargetType},
\mathsf{Preserved},
\mathsf{Dropped},
\mathsf{Recoverable},
\mathsf{Debt},
\mathsf{Version}
\right\rangle.
}
$$

---

# 11. Projection Certificate

$$
\boxed{
\mathsf{ProjCert}(\Pi,\mathcal U)
}
$$

表示 $\Pi$ 對用途 $\mathcal U$ 保留足夠 closure semantics。

---

# 12. Purpose-Relative Validity

同一 projection 可對 visualization 合法，但對 theorem inference 非法。

因此：

$$
\boxed{
\mathsf{Valid}_{\rm visual}(\Pi)
\not\Rightarrow
\mathsf{Valid}_{\rm proof}(\Pi).
}
$$

---

# 13. Closure-Critical Invariant Family

定義：

$$
\boxed{
\mathfrak I_{\rm Cl}
=
\{
I_{\rm id},
I_{\rm target},
I_{\rm scope},
I_{\rm asm},
I_{\rm status},
I_{\rm cert},
I_{\rm debt},
I_{\rm provenance},
I_{\rm dependency},
I_{\rm bridge},
I_{\rm frontier},
I_{\rm cut},
I_{\rm version}
\}.
}
$$

---

# 14. Identity Invariant

$$
I_{\rm id}
$$

要求：

> projected node 可以唯一回指 native object 或其 canonical equivalence class。

---

# 15. Target Invariant

$$
I_{\rm target}
$$

要求 claim 的 formal target 不因摘要而偷換。

---

# 16. Scope Invariant

$$
I_{\rm scope}
$$

要求 domain / quantifier scope 保留或明確標記被省略。

---

# 17. Assumption Invariant

$$
I_{\rm asm}
$$

要求 obstruction / theorem 的 active assumptions 不可從投影中消失後仍保留原 closure authority。

---

# 18. Status Invariant

$$
I_{\rm status}
$$

要求：

$$
\mathsf{BLOCKED}
\neq
\mathsf{CLOSED}^{-}
$$

等 typed status 在 projected view 中不被合併成單一「失敗」。

---

# 19. Certificate Invariant

$$
I_{\rm cert}
$$

要求 theorem-level status 能回指 certificate。

---

# 20. Debt Invariant

$$
I_{\rm debt}
$$

要求 unresolved proof obligations 不因視圖簡化而消失。

---

# 21. Provenance Invariant

$$
I_{\rm provenance}
$$

要求 closure event 的來源可追溯。

---

# 22. Dependency Invariant

$$
I_{\rm dependency}
$$

要求關鍵 dependency / hyperedge 不被錯誤投影成普通 adjacency。

---

# 23. Bridge Invariant

$$
I_{\rm bridge}
$$

要求跨 domain / representation 的 bridge 狀態與 loss 保留。

---

# 24. Frontier Invariant

$$
I_{\rm frontier}
$$

要求 active frontier 若未顯示，至少必被 externalize 到 projection boundary。

---

# 25. Cut Invariant

$$
I_{\rm cut}
$$

要求 certified cut 的 coverage scope 不被省略。

---

# 26. Version Invariant

$$
I_{\rm version}
$$

要求 projected view 不混合不同版本的 closure status。

---

# 27. Invariant Profile

對用途 $\mathcal U$ 定義：

$$
\boxed{
\mathfrak I_{\mathcal U}
\subseteq
\mathfrak I_{\rm Cl}.
}
$$

---

# 28. Minimal Invariant Set

一個 visualization 可能只需：

$$
\{I_{\rm id},I_{\rm status},I_{\rm scope},I_{\rm version}\}.
$$

但 theorem audit 可能需要全部。

---

# 29. Invariant Loss

定義：

$$
\boxed{
\mathsf{InvLoss}(\Pi,\mathcal U)
=
\mathfrak I_{\mathcal U}
\setminus
\mathfrak I_{\rm preserved}(\Pi).
}
$$

---

# 30. Projection Debt

若：

$$
\mathsf{InvLoss}\neq\varnothing,
$$

建立：

$$
\boxed{
\mathsf{Debt}_{\Pi}.
}
$$

---

# 31. Projection Debt 不等於 Proof Debt

projection debt 是表示層未承載的義務。

proof debt 是原生數學仍未完成的義務。

兩者不可混合。

---

# 32. Projection Boundary

對有限 view：

$$
\mathcal V
\subset
\mathfrak C,
$$

定義 boundary：

$$
\boxed{
\partial_\Pi\mathcal V.
}
$$

它記錄所有跨出 view 的 dependency / bridge / frontier / debt references。

---

# 33. Boundary Completeness

有限 working set 安全的最低要求：

$$
\boxed{
\text{inside state}
+
\text{complete external boundary references}.
}
$$

---

# 34. Missing-Boundary Failure

如果一條 visible route 實際依賴 view 外 assumption，但 boundary 沒記錄，則 projection 不具 closure authority。

---

# 35. Projection–Closure Commutation

對 closure operator $C$，考慮：

$$
\boxed{
\Pi\circ C
\stackrel{?}{=}
C^\Pi\circ\Pi.
}
$$

---

# 36. Closure-Homomorphic Projection

若：

$$
\Pi(C(\mathfrak C))
=
C^\Pi(\Pi(\mathfrak C))
$$

在指定用途與 scope 下成立，稱：

$$
\boxed{
\Pi
\text{ is closure-homomorphic for }C.
}
$$

---

# 37. Noncommuting Projection

若：

$$
\Pi C
\neq
C^\Pi\Pi,
$$

則不能在 projected view 上執行該 closure operator並聲稱等價於 native closure。

---

# 38. Operator-Relative Projection Safety

projection 可能對：

$$
\operatorname{Cl}_{\Rightarrow}
$$

安全，但對：

$$
\operatorname{Cl}_{\rm obs}
$$

不安全。

因此安全性必須 operator-indexed。

---

# 39. Quotient Projection

semantic quotient 本身是一種 projection：

$$
\Pi_\sim:
V
\to
V/\sim.
$$

---

# 40. Quotient Preservation

若 theorem strength / assumption difference 被 quotient 掉，則：

$$
\Pi_\sim
$$

不能承擔 implication closure。

---

# 41. Obstruction Projection

若 obstruction record 只顯示：

> NO-GO

而不顯示 scope / assumption / strength，則 closure fidelity 失敗。

---

# 42. Frontier Projection

若只顯示 minimal survivors，可合法省略已封 branch。

但必保留：

- quotient policy；
- coverage cert；
- omitted branch count / refs；
- reopening risk。

---

# 43. Cut Projection

一張圖可以只畫 certified cut。

但必標：

$$
\mathsf{CutCert},
\quad
D,
\quad
\Gamma,
\quad
\nu.
$$

---

# 44. Visual Fidelity

定義：

$$
\mathsf{Fid}_{\rm visual}.
$$

它衡量人類看到的 layout / grouping 是否忠實呈現 intended view。

---

# 45. Closure Fidelity

$$
\boxed{
\mathsf{Fid}_{\rm closure}
}
$$

衡量 projected view 是否保存 closure-critical invariants。

---

# 46. Proof Fidelity

$$
\boxed{
\mathsf{Fid}_{\rm proof}
}
$$

要求足以重現 theorem-level inference。

---

# 47. Fidelity Noncollapse

$$
\boxed{
\mathsf{Fid}_{\rm visual}
\neq
\mathsf{Fid}_{\rm closure}
\neq
\mathsf{Fid}_{\rm proof}.
}
$$

---

# 48. Static Batched Projection

定義：

$$
\boxed{
\mathfrak C_0
\xrightarrow{
e_1,\ldots,e_T
}
\mathfrak C_T
\xrightarrow{\Pi}
\mathcal V_T.
}
$$

---

# 49. Static Projection Principle

若：

1. projection lossy；
2. omitted state 會影響 closure；
3. native update 尚未穩定；

則優先：

$$
\boxed{
\text{complete native reasoning first,
project second}.
}
$$

---

# 50. Static 不等於 Immutable

static 指的是：

> 在某個 materialization checkpoint 上一次投影。

native closure state 仍可繼續演化。

---

# 51. Dynamic Incremental Projection

定義：

$$
\boxed{
\mathcal V_{t+1}
=
\mathfrak P(
\mathcal V_t,
\Delta\mathfrak C_t
).
}
$$

---

# 52. Incremental Projection Safety

只有在：

$$
\mathsf{IncProjCert}
$$

成立時，dynamic projected state 才可承擔 closure inference。

---

# 53. Incremental Projection Certificate

至少包含：

1. delta completeness；
2. invariant preservation；
3. event ordering；
4. replay equivalence；
5. stale invalidation；
6. reopening propagation；
7. boundary update；
8. version coherence。

---

# 54. Dynamic Projection Failure 1 — Order Drift

若事件先後改變 materialized view，而 projected runtime 沒有 canonical replay，會形成：

$$
\boxed{
\text{projection order drift}.
}
$$

---

# 55. Dynamic Projection Failure 2 — Attention Drift

逐輪只保留當下 salient nodes，可能讓早先低 attention 但 closure-critical 的 assumption 消失。

---

# 56. Dynamic Projection Failure 3 — Boundary Rot

external references 隨 update 改變，但 working view 邊界沒有更新。

---

# 57. Dynamic Projection Failure 4 — Stale Closure

native route 已 reopening，但 projected view 還顯示 CLOSED。

---

# 58. Dynamic Projection Failure 5 — Premature Quotient

在 evidence 尚未完整前就 merge route，後續差異可能無法恢復。

---

# 59. Static Projection Advantage

static batch 在完整 native snapshot 後再投影，可避免部分：

- order drift；
- premature quotient；
- stale intermediate inference；
- attention-driven loss。

---

# 60. Static Projection Limitation

static view 會快速過時。

因此必須帶：

$$
\boxed{
\mathsf{SnapshotVersion}.
}
$$

---

# 61. Dynamic Projection Advantage

dynamic view 可即時反映新 theorem / reopening。

---

# 62. Dynamic Projection Limitation

若沒有完整 incremental invariants，容易形成 hidden state drift。

---

# 63. Static/Dynamic Noncollapse

$$
\boxed{
\text{Static}
\neq
\text{Always Better},
\qquad
\text{Dynamic}
\neq
\text{Always More Faithful}.
}
$$

---

# 64. Certified Dynamic Projection

理想 dynamic projection 應滿足：

$$
\boxed{
\mathcal V_t
=
\Pi(
\mathsf{Replay}(
\mathsf{Ledger}_{\le t}
)
).
}
$$

---

# 65. Incremental Equivalence

若：

$$
\mathfrak P^\ast(
\Pi(\mathfrak C_0),
e_1,\ldots,e_t
)
=
\Pi(
\mathfrak U^\ast(
\mathfrak C_0,
e_1,\ldots,e_t
)
),
$$

則 incremental materialization 與 native-then-project 等價。

---

# 66. Projection Fixed Point

對 fixed native state：

$$
\mathfrak C^\star,
$$

若：

$$
\Pi(\mathfrak C^\star)
=
\mathcal V^\star
$$

且 materializer 再運算不改變 view，可稱 projected fixed point。

---

# 67. Projected Fixed Point 不等於 Native Fixed Point

$$
\boxed{
\mathcal V^\star\text{ stable}
\not\Rightarrow
\mathfrak C^\star\text{ stable}.
}
$$

---

# 68. False Stability

projection 可能因省略 active frontier 而看起來穩定。

這是：

$$
\boxed{
\text{false projected stability}.
}
$$

---

# 69. Multi-Layer Projection

一個 native state 可同時投影為：

$$
\mathcal V_{\rm audit},
\quad
\mathcal V_{\rm research},
\quad
\mathcal V_{\rm visual},
\quad
\mathcal V_{\rm execution}.
$$

---

# 70. Projection Layer Stack

$$
\boxed{
\mathfrak C^{\rm nat}
\to
\mathcal V_{\rm audit}
\to
\mathcal V_{\rm research}
\to
\mathcal V_{\rm visual}.
}
$$

---

# 71. Higher Projection Cannot Recover Lost Authority

若 audit layer 已丟 invariant，後面的 visual layer 不能自己補回 theorem authority。

---

# 72. Projection Composition

$$
\Pi_2\circ\Pi_1
$$

只有在兩層 preservation contract 可組合時才安全。

---

# 73. Projection Composition Certificate

$$
\boxed{
\mathsf{ProjCompCert}(
\Pi_1,\Pi_2
).
}
$$

---

# 74. Projection No-Go

即使：

$$
\mathsf{ProjCert}(\Pi_1)
=
\mathsf{PASS},
$$

$$
\mathsf{ProjCert}(\Pi_2)
=
\mathsf{PASS},
$$

也不自動推出：

$$
\mathsf{ProjCert}(\Pi_2\Pi_1)
=
\mathsf{PASS}.
$$

---

# 75. Attention Projection

定義 AI working attention projection：

$$
\boxed{
\Pi_A:
\mathfrak C
\to
\mathcal W_A.
}
$$

---

# 76. Attention Working Set

$$
\mathcal W_A
$$

只包含當下任務需要的：

- target；
- active frontier；
- relevant assumptions；
- relevant obstructions；
- relevant bridges；
- local debt；
- boundary references。

---

# 77. Attention Projection Invariant

最小要求：

$$
\boxed{
\mathfrak I_A
=
\{
I_{\rm id},
I_{\rm target},
I_{\rm scope},
I_{\rm asm},
I_{\rm status},
I_{\rm debt},
I_{\rm boundary},
I_{\rm version}
\}.
}
$$

---

# 78. Attention Projection Boundary

未載入 working set 的 closure-critical object 必須轉成：

$$
\boxed{
\mathsf{ExternalRef}
}
$$

而不是消失。

---

# 79. Attention Debt

若 attention budget 無法載入必要 context：

$$
\boxed{
\mathsf{AttentionDebt}.
}
$$

---

# 80. Attention Debt 不得被當成 Proof Failure

$$
\boxed{
\text{not loaded}
\neq
\text{not relevant}
\neq
\text{does not exist}.
}
$$

---

# 81. Attention Rehydration

當 task 觸及 boundary ref，必允許：

$$
\mathsf{Rehydrate}(r)
$$

重新載入原生內容。

---

# 82. Attention Projection Safety

如果 working set 中的所有 active inference 都只依賴：

$$
\mathcal W_A
+
\partial_A,
$$

則可在有限 attention 下安全工作。

---

# 83. Static Attention Projection

先完成完整 task-state selection，再一次載入 working set。

---

# 84. Dynamic Attention Projection

逐 token / round 根據 salience 更新 working set。

---

# 85. Attention Hysteresis

dynamic attention 若讓早期關鍵 state 被逐步遺忘，可能產生：

$$
\boxed{
\text{attention hysteresis}.
}
$$

---

# 86. Attention Closure Principle

任何 closure-critical node 若被 attention projection 移除，至少要留下：

- identity；
- status；
- dependency count；
- boundary ref；
- debt marker。

---

# 87. Attention Projection Fixed Point

對一個 task，如果 working set 經多輪更新後不再改變，可稱 task-relative attention fixed point。

它不代表 full closure space fixed。

---

# 88. Observer Projection

不同 observer 可有：

$$
\Pi_{O_1},
\Pi_{O_2}.
$$

---

# 89. Observer-Relative View

兩個 observer 看到不同 view：

$$
\mathcal V_{O_1}
\neq
\mathcal V_{O_2}
$$

不代表 native closure state 不一致。

---

# 90. Observer Agreement

如果兩個不同 projection 都保存同一 closure invariants，可在 closure conclusion 上一致。

---

# 91. Observer Disagreement Audit

若 projected conclusions 不同，先檢查：

- projection loss；
- scope；
- version；
- quotient；
- attention boundary；

再談 theorem disagreement。

---

# 92. Projection as Compilation

本文將 projection 視為：

$$
\boxed{
\text{typed compilation from native closure semantics to a target carrier}.
}
$$

---

# 93. Carrier

target carrier 可是：

- JSON graph；
- database；
- SVG / visual graph；
- theorem prover declarations；
- compressed archive；
- AI tensor / vector representation；
- image / spatial layout。

---

# 94. Carrier 不決定 Closure Semantics

$$
\boxed{
\text{Carrier}
\neq
\text{Closure Meaning}.
}
$$

---

# 95. Compilation Contract

$$
\boxed{
\mathsf{CompileContract}
=
(
\mathsf{SourceSemantics},
\mathsf{TargetCarrier},
\mathsf{PreservedInvariants},
\mathsf{Loss},
\mathsf{Decode},
\mathsf{Version}
).
}
$$

---

# 96. Reversible Compilation

若 target 可 deterministic decode 回 closure-equivalent state，可稱 reversible closure compilation。

---

# 97. Non-Reversible Compilation

visual summary 通常不可逆。

它只能作 view，不可作 canonical source。

---

# 98. Canonical Source Principle

$$
\boxed{
\text{Projected views must never silently replace the native canonical source}.
}
$$

---

# 99. Materialization

定義：

$$
\boxed{
\mathsf{Mat}_\Pi(\mathfrak C)
}
$$

為某 projection 的實際 materialized artifact。

---

# 100. Materialization Checkpoint

每個 artifact 必標：

$$
(t,\nu,\Pi,\mathsf{Policy}).
$$

---

# 101. Materialization Debt

如果 artifact 延後更新，它有：

$$
\boxed{
\mathsf{StalenessDebt}.
}
$$

---

# 102. Snapshot Authority

只有在 snapshot version 與 native ledger head 對齊時，view 才可聲稱 current。

---

# 103. Projection Ledger

每次生成 view：

$$
e_\Pi
=
\left\langle
\Pi,
\nu,
\mathfrak I_{\rm preserved},
\mathsf{Loss},
\mathsf{Debt},
\mathsf{ArtifactRef}
\right\rangle.
$$

---

# 104. Projection Replay

可由 native snapshot + projection contract 重建 view。

---

# 105. Projection Diff

$$
\Delta\mathcal V
=
\mathcal V_{\nu+1}
\triangle
\mathcal V_\nu.
$$

---

# 106. Semantic Diff

visual diff 不一定等於 closure semantic diff。

需另外計：

$$
\boxed{
\Delta_{\rm sem}\mathcal V.
}
$$

---

# 107. Projection Noise

layout / ordering / color / grouping 改變但 closure semantics 不變，屬 projection noise。

---

# 108. Semantic Projection Drift

closure semantics 改變但 visual diff 很小，則有 semantic drift risk。

---

# 109. Projection Compression

可定義：

$$
\boxed{
\operatorname{PCR}
=
\frac{
|\mathfrak C|
}{
|\mathcal V|
}.
}
$$

但 raw compression ratio 不代表 quality。

---

# 110. Compression–Fidelity Tradeoff

通常：

$$
\operatorname{PCR}\uparrow
$$

可能使：

$$
\mathsf{Fid}_{\rm closure}\downarrow.
$$

但不是必然。

---

# 111. Sufficient Statistic Analogy

如果 projected state 對指定 closure query 是 sufficient，則可大幅壓縮。

本文把這作類比，不預設統計學充分統計量結構自動成立。

---

# 112. Closure Query

定義：

$$
q_{\rm Cl}(\mathfrak C).
$$

例如：

- route 是否 blocked；
- frontier 是否包含 $R$；
- cut 是否 valid；
- cert 是否 stale。

---

# 113. Query-Sufficient Projection

若：

$$
q_{\rm Cl}(\mathfrak C)
=
q^\Pi_{\rm Cl}(\Pi(\mathfrak C))
$$

對 query family 全成立，稱 query-sufficient。

---

# 114. Universal Projection 不必要

不同 query family 可以有不同最佳 projection。

---

# 115. Static Compilation Theorem Schema

若：

1. native state 已 replay-consistent；
2. snapshot fixed；
3. projection contract complete；
4. required invariants preserved；

則：

$$
\boxed{
\mathsf{Mat}_\Pi(\mathfrak C_T)
}
$$

對 declared purpose closure-safe。

---

# 116. Incremental Compilation Theorem Schema

若：

1. delta stream complete；
2. event order preserved；
3. projection–closure commutation 成立；
4. stale / reopen events 完整傳播；
5. boundary 完整更新；

則：

$$
\boxed{
\mathcal V_t^{\rm incremental}
=
\Pi(\mathfrak C_t)
}
$$

相對指定 semantics。

---

# 117. Static Safety No-Go

如果 omitted state 會影響 native closure，但 projection 在 closure 前執行且資訊無法 recover，則：

$$
\boxed{
\text{project-first closure}
}
$$

無 theorem authority。

---

# 118. Dynamic Safety No-Go

如果 incremental view 沒有 stale / reopen propagation，則：

$$
\boxed{
\text{dynamic freshness}
\neq
\text{closure correctness}.
}
$$

---

# 119. Projection No-Go 1

$$
\boxed{
\text{visible}
\not\Rightarrow
\text{complete}.
}
$$

---

# 120. Projection No-Go 2

$$
\boxed{
\text{not visible}
\not\Rightarrow
\text{closed or irrelevant}.
}
$$

---

# 121. Projection No-Go 3

$$
\boxed{
\text{graph adjacency}
\not\Rightarrow
\text{logical implication}.
}
$$

---

# 122. Projection No-Go 4

$$
\boxed{
\text{same visual cluster}
\not\Rightarrow
\text{same route class}.
}
$$

---

# 123. Projection No-Go 5

$$
\boxed{
\text{same status color}
\not\Rightarrow
\text{same epistemic status}.
}
$$

---

# 124. Projection No-Go 6

$$
\boxed{
\text{small view}
\not\Rightarrow
\text{small native frontier}.
}
$$

---

# 125. Projection No-Go 7

$$
\boxed{
\text{stable view}
\not\Rightarrow
\text{stable native state}.
}
$$

---

# 126. Projection No-Go 8

$$
\boxed{
\text{lossless data encoding}
\not\Rightarrow
\text{closure-homomorphic representation}.
}
$$

---

# 127. Projection No-Go 9

$$
\boxed{
\text{closure-homomorphic for }C_1
\not\Rightarrow
\text{closure-homomorphic for }C_2.
}
$$

---

# 128. Projection No-Go 10

$$
\boxed{
\text{attention-selected}
\not\Rightarrow
\text{globally representative}.
}
$$

---

# 129. NS Closure Projection

未來 NS native graph：

$$
\mathfrak C_{\rm NS}^{\rm nat}.
$$

可投影出：

$$
\mathcal V_{\rm NS}^{\rm overview},
$$

$$
\mathcal V_{\rm NS}^{\rm active-frontier},
$$

$$
\mathcal V_{\rm NS}^{\rm obstruction},
$$

$$
\mathcal V_{\rm NS}^{\rm survivor},
$$

$$
\mathcal V_{\rm NS}^{\rm audit}.
$$

---

# 130. NS Overview View

只顯示：

- C1--C6；
- X72；
- DCRP；
- MORP；
- RFP；
- FCBP；

等 major series 與主 frontier。

不能用來作 theorem inference。

---

# 131. NS Audit View

需要保留：

- claim；
- assumptions；
- scope；
- proof status；
- obstruction cert；
- route quotient；
- debt；
- provenance。

---

# 132. NS Active Frontier View

只顯示：

$$
\partial^\ast_{\rm NS}.
$$

但 boundary 必回指已封 siblings 與 route-completeness debt。

---

# 133. NS Static Snapshot

在一輪大規模 corpus ingestion 完成後，先 freeze：

$$
\mathfrak C_{\rm NS}^{(\nu)}.
$$

再生成 overview / frontier / audit views。

---

# 134. NS Dynamic Update

後續新 paper / theorem 以 event stream 更新 native graph，再增量刷新 views。

---

# 135. NS Projection Invariant

至少：

$$
\boxed{
\{
I_{\rm target},
I_{\rm scope},
I_{\rm status},
I_{\rm cert},
I_{\rm debt},
I_{\rm version}
\}
}
$$

不可在 audit view 丟失。

---

# 136. NS False Closure Risk

如果舊 `NO-GO` 被畫成紅色終點而不顯 scope，容易造成：

$$
\boxed{
\text{visual refutation illusion}.
}
$$

---

# 137. NS Survivor Risk

如果 `SURVIVOR` 被畫成綠色成功路徑，也會造成：

$$
\boxed{
\text{visual proof illusion}.
}
$$

---

# 138. Status Visual Contract

建議 visual layer 明確分：

- PROVEN；
- REFUTED；
- BLOCKED；
- CONDITIONAL；
- OPEN；
- SURVIVOR；
- STALE；
- REOPENED；
- UNKNOWN。

---

# 139. Projection Color Is Noncanonical

顏色只是 carrier convention。

status semantics 必由 machine-readable data 決定。

---

# 140. Projection to Image / Spatial Layout

若 closure graph 最終投影到圖像／無限畫布，空間位置只是一種 carrier coordinate。

$$
\boxed{
\text{spatial proximity}
\not\Rightarrow
\text{logical proximity}
}
$$

除非 layout contract 明確定義。

---

# 141. Spatial Layering

可將：

- claim；
- obstruction；
- debt；
- bridge；
- frontier；

放不同 layer。

這是合法 projection strategy。

---

# 142. Layer Merge Risk

若 visual layer 疊合後讓不同 edge type 無法區分，closure fidelity 降低。

---

# 143. Static Layer Batch

先完成每一 layer 的 native membership，再一次 spatial composition，可降低逐步 layout drift。

---

# 144. Dynamic Layer Update

若需要即時更新，必須讓 node identity 與 edge semantics 不依賴畫面位置。

---

# 145. Attention Projection to AI

AI 不需要每次讀取整張圖。

只需要：

$$
\boxed{
\text{task-local working set}
+
\text{closure-complete boundary contract}.
}
$$

---

# 146. Global Accountability under Local Attention

只要：

1. local dependencies 完整；
2. external refs 不消失；
3. missing frontier 被標 debt；
4. scope / version 保留；

就可以：

$$
\boxed{
\text{local attention}
+
\text{global accountability}.
}
$$

---

# 147. Projection and Reopening

如果 native route reopen，所有具 closure authority 的 projected views 必收到 invalidation event。

---

# 148. Projection Invalidation

$$
\boxed{
\mathsf{Invalidate}(
\mathcal V,
e_{\rm reopen}
).
}
$$

---

# 149. Stale View

若未刷新：

$$
\sigma(\mathcal V)
=
\mathsf{STALE}.
$$

---

# 150. View Authority Level

定義：

$$
\mathsf{Authority}(\mathcal V)
\in
\{
\mathsf{DISPLAY},
\mathsf{RESEARCH},
\mathsf{AUDIT},
\mathsf{PROOF}
\}.
$$

---

# 151. Authority Promotion

view 從 DISPLAY 升 AUDIT 必有 projection certificate。

---

# 152. Proof Authority

只有 closure-semantically sufficient 且可回指 native cert stack 的 view 才可能具有 PROOF authority。

---

# 153. Canonical Native Authority

最高權限仍來自：

$$
\boxed{
\mathfrak C^{\rm nat}
+
\mathsf{Ledger}
+
\mathsf{CertStack}.
}
$$

---

# 154. Projection Policy

定義：

$$
\boxed{
\mathsf{ProjPolicy}
=
(
\mathsf{Purpose},
\mathsf{InvariantSet},
\mathsf{Compression},
\mathsf{Boundary},
\mathsf{Refresh},
\mathsf{Authority}
).
}
$$

---

# 155. Policy Version

每一 projection artifact 必標：

$$
\mathsf{ProjPolicyVersion}.
$$

---

# 156. Policy Change

projection policy 改變不應改 native mathematical state。

---

# 157. Policy-Induced View Change

若 view 變了但 native state 沒變，應標：

$$
\boxed{
\text{projection-only change}.
}
$$

---

# 158. Native Semantic Change

若 native state 變化，即使 view layout 不變，也要標 semantic change。

---

# 159. Machine Record — Projection Contract

```yaml
projection_contract:
  projection_id:
  purpose:
  source_type:
  target_carrier:
  preserved_invariants: []
  dropped_fields: []
  recoverable_fields: []
  projection_debt_ids: []
  closure_operators_supported: []
  boundary_policy:
  authority_level:
  version:
```

---

# 160. Machine Record — Projection Artifact

```yaml
projection_artifact:
  artifact_id:
  projection_id:
  native_state_id:
  native_version:
  policy_version:
  artifact_ref:
  artifact_hash:
  preserved_invariants: []
  projection_debt_ids: []
  status:
```

---

# 161. Machine Record — Attention View

```yaml
attention_view:
  view_id:
  target_id:
  task_id:
  native_state_id:
  loaded_node_ids: []
  external_boundary_refs: []
  attention_debt_ids: []
  invariant_profile: []
  version:
  status:
```

---

# 162. Machine Record — Incremental Projection

```yaml
incremental_projection:
  materializer_id:
  base_native_state:
  base_view:
  event_stream_head:
  delta_completeness:
  ordering_guarantee:
  stale_invalidation:
  reopening_propagation:
  boundary_refresh:
  replay_equivalence:
  certificate_status:
```

---

# 163. Validation Scenario A — Visual-only projection

只保存 node + label + status color。

可 DISPLAY，不可 AUDIT。

---

# 164. Validation Scenario B — Missing scope

NO-GO node 未帶 scope。

projection closure authority FAIL。

---

# 165. Validation Scenario C — Static batch safety

native closure 完成後一次投影，required invariants 全保存。

PASS。

---

# 166. Validation Scenario D — Dynamic stale route

native route REOPENED，view 未更新。

view status STALE。

---

# 167. Validation Scenario E — Incremental equivalence

delta materializer 結果與 native-then-project hash/semantic hash 一致。

IncProjCert PASS。

---

# 168. Validation Scenario F — Premature quotient

兩 route 在證據不足時 merge，後來 assumption 不同。

必 quotient split + frontier rebuild。

---

# 169. Validation Scenario G — Attention working set

local graph 未載入某 external bridge，但 boundary ref 完整。

可研究，不能把 external bridge 當已證。

---

# 170. Validation Scenario H — Attention loss

關鍵 assumption 被完全丟棄且沒有 external ref。

attention projection FAIL。

---

# 171. Validation Scenario I — Projected fixed point

visual view 不再變，但 native graph仍新增 frontier。

不得宣稱 closure fixed point。

---

# 172. Validation Scenario J — NS overview

NS overview view 只做導航，不具 theorem authority。

---

# 173. Validation Scenario K — NS audit view

保留 claim/scope/status/cert/debt/provenance。

可具 AUDIT authority。

---

# 174. Validation Scenario L — NS visual illusion

SURVIVOR 與 PROVEN 使用同一語義樣式。

projection contract FAIL。

---

# 175. Paper 05 核心命題一

## Closure Invariant Preservation Principle

任何 projected view 若要承擔 closure conclusion，必須保存該 conclusion 所依賴的不變量。

---

# 176. Paper 05 核心命題二

## Projection–Closure Commutation Principle

只有在：

$$
\Pi C
=
C^\Pi\Pi
$$

有 certificate 的 operator family 上，projected closure 才可升格為 native-equivalent closure。

---

# 177. Paper 05 核心命題三

## Static Projection Safety Principle

若 projection 會丟失參與 closure dynamics 的 state，則：

$$
\boxed{
\text{native closure first}
\to
\text{projection second}
}
$$

比：

$$
\text{projection first}
\to
\text{closure on projection}
$$

具有更強的 closure authority。

---

# 178. Paper 05 核心命題四

## Certified Incremental Materialization Principle

dynamic projection 並非不安全；只要 delta completeness、ordering、stale invalidation、reopening propagation 與 replay equivalence 全部被證明，即可與 static native-then-project 等價。

---

# 179. Paper 05 核心命題五

## Attention Boundary Principle

有限 attention working set 不需要包含整個 relative-global closure space，但所有 closure-critical external dependencies 必被保留成可 rehydrate 的 boundary references。

---

# 180. Paper 05 核心命題六

## Canonical Source Separation Principle

任何 human-facing / AI-facing projection 都不得在沒有明確 authority transfer certificate 的情況下取代 native canonical closure state。

---

# 181. 與 CSM Paper 00–04 的整合

Paper 00：

$$
\mathfrak C
$$

定義原生 closure space。

Paper 01：

$$
D
$$

與 scope typing 決定 projection 必須保留的 globality information。

Paper 02：

obstruction / bridge / debt 提供 closure-critical invariants。

Paper 03：

frontier / cut / exhaustion 形成 projection 中最容易被誤壓縮的結構。

Paper 04：

dynamic events / reopening 要求 projected view 可 invalidation 與 replay。

Paper 05：

建立 native-to-view 的 projection authority model。

---

# 182. 與 UCT 的關係

UCT 的 non-collapse、bridge、ledger 與 observer-relative representation，在本文具體化為 closure projection contract。

---

# 183. 與 LSI-PSD 的關係

LSI-PSD 的 semantic quotient / search representation sensitivity，在本文進一步變成：

$$
\boxed{
\text{representation changes may alter search behavior
without altering native mathematical identity}.
}
$$

---

# 184. 與一般資料庫 View 的關係

本文借用 materialized view / incremental update 的工程概念。

CSM 的新增問題是：

> view 是否保存 theorem closure authority 所需的 typed invariants？

---

# 185. 與視覺圖論的關係

graph drawing 只是一種 projection carrier。

本文不把 layout topology 等同 proof topology。

---

# 186. 與 AI Context 的關係

attention view 是 closure space 的 bounded working projection。

它的正確性依賴：

$$
\boxed{
\text{boundary completeness}
+
\text{rehydration}
+
\text{version fidelity}.
}
$$

---

# 187. CSM Paper 05 的主要風險

最大的風險不是 projection loss 本身。

而是：

$$
\boxed{
\text{unacknowledged loss}.
}
$$

---

# 188. Honest Loss Principle

如果 view 明確標：

> 這只是 overview，不保存 assumptions / certs。

那它是合法的 DISPLAY projection。

---

# 189. Dishonest Loss

若相同 overview 被拿去支持 theorem closure，則是 authority violation。

---

# 190. Projection Authority Firewall

$$
\boxed{
\mathsf{DISPLAY}
\not\Rightarrow
\mathsf{RESEARCH}
\not\Rightarrow
\mathsf{AUDIT}
\not\Rightarrow
\mathsf{PROOF}.
}
$$

升級必須有 certificate。

---

# 191. Paper 06 路線

下一篇應處理：

$$
\boxed{
\textbf{Closure Conservation, Transfer Laws, and Cross-Domain Invariance}
}
$$

核心問題：

- closure invariants 跨 domain bridge 如何保存；
- theorem / obstruction / debt 的 transfer law；
- conservative vs lossy bridge；
- closure quantity 是否存在守恆／單調量；
- cross-domain closure equivalence；
- local-to-global promotion invariants；
- NS formal / generalized / physical domains 的合法傳遞。

---

# 192. 結論

CSM 的 closure space 不可能永遠以完整原生形式呈現在每一個人類、AI、資料庫或可視化介面中。

因此真正可擴張的系統必須允許：

$$
\boxed{
\text{one native closure state}
\to
\text{many purpose-specific projections}.
}
$$

但 projection 必須接受一個嚴格限制：

$$
\boxed{
\text{projection authority cannot exceed preserved invariants}.
}
$$

如果 closure-critical information 尚未完成，先把它逐步投影出去再依賴投影做 closure，可能產生 order drift、attention drift、premature quotient 與 false closure。

因此在 lossy projection 下：

$$
\boxed{
\text{reason / close natively}
\rightarrow
\text{freeze a coherent state}
\rightarrow
\text{project}.
}
$$

是一個具有強 closure safety 的基本策略。

另一方面，只要 incremental projection 能證明：

$$
\boxed{
\text{delta completeness}
+
\text{invariant preservation}
+
\text{reopening propagation}
+
\text{replay equivalence},
}
$$

dynamic materialization 同樣可以安全。

最後，有限 attention 也不與相對全域數學衝突。CSM 所要求的不是「每次看到全部」，而是：

$$
\boxed{
\text{local working visibility}
+
\text{global closure accountability}.
}
$$

只要所有未載入但 closure-critical 的資訊仍存在於可追溯 boundary 中，局部 AI attention、靜態圖像、分層視圖與動態可視化都可以成為同一原生 closure space 的合法載體。

---

## 附錄 A — Paper 05 核心不變量

1. projected view 不等於 native closure state；
2. visual fidelity 不等於 closure fidelity；
3. closure fidelity 不等於 proof fidelity；
4. projection authority 不得超過 preserved invariants；
5. scope / assumption / status / cert / debt / version 為核心 closure invariants；
6. lossy projection 必須記 projection debt；
7. projected closure 需要 projection–closure commutation certificate；
8. static projection 不等於永遠 superior；
9. uncertified incremental projection 不具 closure authority；
10. certified incremental materialization 可與 native-then-project 等價；
11. attention omission 必須留下 boundary reference；
12. not loaded 不等於 not relevant；
13. projected fixed point 不等於 native fixed point；
14. visual cluster 不等於 mathematical equivalence；
15. projected views 不得靜默取代 canonical native source。

---

## 附錄 B — 系列依賴

### Paper 00
- Native Closure Space
- Relative-Global State
- Ledger / Debt

### Paper 01
- Scope Contract
- Globality Typing

### Paper 02
- Typed Closure Hypergraph
- Obstruction / Bridge / Reopening

### Paper 03
- Frontier
- Cut
- Exhaustion

### Paper 04
- Dynamic Closure State
- Event Replay
- Fixed Point
- Reopening Wave

### Paper 05
- Closure Invariants
- Projection Contract
- Projection Authority
- Static/Dynamic Compilation
- Attention Projection
- Incremental Materialization

---

**END OF CSM PAPER 05 v0.1**