# OIGT Paper 05｜有限實現下的無界展開域

## Seed、Frontier、有限查詢閉合與資源受限 Runtime 中的開放無限

**English Title:** *Unbounded Expansion Domains under Finite Realization: Seeds, Frontiers, Finite-Query Closure, and Resource-Bounded Open Infinity*  
**Series:** Open Inter-World Globality Theory  
**Series ID:** OIGT  
**Paper:** 05 / 10  
**Version:** Draft v0.1  
**Date:** 2026-09-14  
**Author:** Neo.K  
**AI Collaboration:** Aletheia / GPT-5.6 Sol  
**Institution:** EveMissLab / 一言諾科技有限公司  
**Status:** Foundational Draft / Unbounded Expansion Semantics  
**Depends on:** OIGT Paper 00–04

---

# 摘要

OIGT Paper 00–04 已建立：

$$
\boxed{
\text{Globality without a Universal World},
}
$$

$$
\boxed{
\mathsf{World}\neq\mathsf{Set},
}
$$

$$
\boxed{
\text{Empty Realization}\neq\text{Empty Potential},
}
$$

$$
\boxed{
\text{Interoperability without Ontological Unification},
}
$$

以及：

$$
\boxed{
\text{First-Order Duality}
\not\Rightarrow
\text{Higher-Order Symmetry}.
}
$$

本文正式處理上述所有結構共同依賴的無限問題。

如果 World 可以持續增加節點、關係、世界分支、Bridge、Fiber 與高階 Duality/Tension，而現實計算機在任一時刻都只有有限記憶體、有限算力與有限活動狀態，那麼理論如何同時保留：

$$
\boxed{
\text{有限實現}
}
$$

與：

$$
\boxed{
\text{無預設最大展開界}
}
$$

而不要求有限 Runtime 同時承載 completed infinity？

本文提出：

$$
\boxed{
\text{Finite Active Realization}
+
\text{Unbounded Extensibility}
}
$$

作為 OIGT 無限語義的最低原則。

一個無界展開域不被要求一次完整 materialize。它可以由有限或局部有限的：

$$
\text{Seed}
+
\text{Grammar}
+
\text{Constraints}
+
\text{Frontier}
+
\text{History}
$$

表示。

令：

$$
s
$$

為生成 Seed，

$$
\mathcal G
$$

為生成規則，

$$
\Gamma
$$

為合法性約束，

則：

$$
\mathfrak E
=
\operatorname{Expand}(s,\mathcal G,\Gamma)
$$

可以沒有預設有限最大深度。

但對任意有限查詢：

$$
Q,
$$

只要求存在有限 derivation：

$$
s
\xrightarrow{\ast}
E_Q.
$$

因此：

$$
\boxed{
\forall Q_{\mathrm{finite}},
\exists n_Q<\infty
}
$$

使當前查詢所需的局部結構可在有限步內 materialize、驗證或明確失敗。

本文把這一性質稱為：

$$
\boxed{
\text{Finite-Query Closure}.
}
$$

進一步，本文區分：

- potential structure；
- frontier；
- dormant structure；
- materialized structure；
- active structure；
- archived structure；

並提出：

$$
\boxed{
\text{Existence}
\neq
\text{Materialization}
\neq
\text{Activity}.
}
$$

本文亦將此無界模型推廣至：

1. 世界數量無界；
2. 世界內部 Fiber 無界；
3. Bridge network 無界；
4. Duality/Tension order 無界；
5. Resolution 無界；
6. History 無界延續。

本文不主張所有數學無限都應被重新定義為潛在無限，也不否定傳統 actual infinity。本文只建立 OIGT Runtime 所需的另一種可計算無限語義：**在任何有限時刻只實現有限部分，但不預先固定所有未來能展開到哪裡。**

---

# 關鍵詞

有限實現、無界展開、Seed、Frontier、finite-query closure、lazy materialization、bounded active support、open infinity、generative domain、distributed world、higher-order expansion、OIGT。

---

# 1. 問題：無限世界如何存在於有限計算機？

假設一個系統允許：

$$
W_0
\rightarrow
W_1
\rightarrow
W_2
\rightarrow
\cdots
$$

最直覺的誤解是：

> 如果這條鏈沒有預設終點，那麼計算機必須在某處存著完整無限鏈。

OIGT 不接受這個推論。

因為：

$$
\boxed{
\text{Unbounded}
\neq
\text{Simultaneously Infinite}.
}
$$

---

# 2. 有限 Runtime 的最低事實

對任意實際時間：

$$
t,
$$

真實機器只能維持有限：

- RAM；
- VRAM；
- storage working set；
- active threads；
- active nodes；
- active worlds；
- materialized relations。

因此要求：

$$
\boxed{
|\operatorname{Active}_t|<\infty.
}
$$

這不是理論限制，而是 Runtime realism。

---

# 3. 但有限現在不推出有限未來

由：

$$
|\operatorname{Active}_t|<\infty
$$

不能推出存在：

$$
N<\infty
$$

使：

$$
|\operatorname{ReachableFuture}|\leq N.
$$

因此：

$$
\boxed{
\text{Finite Present}
\not\Rightarrow
\text{Finite Extensibility}.
}
$$

---

# 4. 無界展開域

本文定義：

$$
\boxed{
\mathfrak E
=
\left\langle
s,
\mathcal G,
\Gamma,
F,
H
\right\rangle.
}
$$

其中：

$$
s
$$

為 Seed；

$$
\mathcal G
$$

為 generation grammar；

$$
\Gamma
$$

為 legality constraints；

$$
F
$$

為 current frontier；

$$
H
$$

為 derivation history。

---

# 5. Seed

Seed 是：

> 足以合法啟動或重建某一展開域的最小或局部充分生成核心。

寫：

$$
\boxed{
s:\mathsf{Seed}.
}
$$

Seed 不等於：

$$
E(s).
$$

因此：

$$
\boxed{
\text{Seed}
\neq
\text{Generated Totality}.
}
$$

---

# 6. Grammar

$$
\mathcal G
=
\{g_1,g_2,\ldots\}
$$

是允許的生成規則族。

每個：

$$
g_i
$$

應有：

$$
\operatorname{Dom}(g_i),
\operatorname{Cod}(g_i),
\Gamma_i.
$$

所以：

$$
g_i
$$

是 typed partial operator。

---

# 7. Legality Constraints

$$
\Gamma
$$

不是附註。

它決定哪些展開是合法的。

因此：

$$
s
\xrightarrow{g}
x
$$

只有在：

$$
\Gamma\vdash g(s)\downarrow
$$

時才成立。

---

# 8. Frontier

Frontier：

$$
F_t
$$

表示：

> 在目前已實現狀態下，下一批仍可合法展開但尚未全部 materialize 的位置、規則或需求。

因此：

$$
\boxed{
F_t
\neq
\text{all future states}.
}
$$

---

# 9. Frontier 是邊界描述，不是完成未來

例如：

$$
F_t
=
\{f_1,f_2,f_3\}
$$

可能只表示三種下一步 expansion class。

每個：

$$
f_i
$$

內部仍可能再次產生新的 frontier。

---

# 10. Recursive Frontier

因此：

$$
F_t
\rightarrow
F_{t+1}
\rightarrow
F_{t+2}
\rightarrow
\cdots
$$

可以沒有固定最大深度。

但任一：

$$
F_t
$$

都可以有限表示。

---

# 11. Unbounded Extensibility

本文定義：

$$
\boxed{
\text{UnboundedExt}(\mathfrak E)
}
$$

若不存在 foundation 預先要求的：

$$
N<\infty
$$

使所有合法 expansion depth、world count、fiber refinement 或 order 均被限制於：

$$
N.
$$

即：

$$
\boxed{
\neg\exists N<\infty
\text{ required a priori such that all legal expansion}\leq N.
}
$$

---

# 12. 無界不等於實際無窮活動

即：

$$
\boxed{
\text{UnboundedExt}
\not\Rightarrow
|\operatorname{Active}_t|=\infty.
}
$$

反之：

$$
|\operatorname{Active}_t|<\infty
$$

與：

$$
\text{UnboundedExt}
$$

可以同時成立。

---

# 13. Finite Active Realization

本文定義：

$$
\boxed{
\forall t,
\quad
|\operatorname{supp}_{\mathrm{active}}(t)|<\infty.
}
$$

稱為：

$$
\boxed{
\text{Finite Active Realization}.
}
$$

---

# 14. OIGT 無限原則

因此：

$$
\boxed{
\text{OIGT Infinity Principle}
=
\text{Finite Active Realization}
+
\text{Unbounded Extensibility}.
}
$$

這不是對所有數學無限的總定義。

它只是 OIGT 世界與 Runtime 的核心無限模型。

---

# 15. Five-State Materialization Model

對任一結構：

$$
x,
$$

可至少區分：

$$
\boxed{
\begin{aligned}
&\text{Potential},\\
&\text{Dormant},\\
&\text{Materialized},\\
&\text{Active},\\
&\text{Archived}.
\end{aligned}
}
$$

---

# 16. Potential

Potential 表示：

$$
x
$$

尚未 materialize，但可由合法 generation path 產生。

---

# 17. Dormant

Dormant 表示：

$$
x
$$

曾被識別或存在可重建 handle，但目前不在 active working set。

---

# 18. Materialized

Materialized 表示：

$$
x
$$

已有具體 computational representation。

---

# 19. Active

Active 表示：

$$
x
$$

目前參與高成本計算、查詢、更新或驗證。

---

# 20. Archived

Archived 表示：

$$
x
$$

已離開 active domain，但保留歷史／checkpoint／reconstruction information。

---

# 21. Existence / Materialization Separation

因此：

$$
\boxed{
\text{Existence}
\neq
\text{Materialization}.
}
$$

一個 OIGT world relation 可以在 canonical generative specification 中存在，而未完整 materialize。

---

# 22. Materialization / Activity Separation

同樣：

$$
\boxed{
\text{Materialized}
\neq
\text{Active}.
}
$$

資料可以在 storage 中存在，但不進入當前 working set。

---

# 23. Finite-Query Closure

這是本文核心形式之一。

對無界 domain：

$$
\mathfrak E,
$$

不要求一次完成：

$$
E(\mathfrak E).
$$

只要求：

$$
\boxed{
\forall Q_{\mathrm{finite}},
\exists n_Q<\infty
}
$$

使對查詢：

$$
Q
$$

所需的合法局部結構可在：

$$
n_Q
$$

步內生成、判定或明確失敗。

---

# 24. Query Closure 不等於完整 Closure

設：

$$
Closure(\mathfrak E)
$$

可能無界。

Runtime 只求：

$$
\boxed{
Closure_Q(\mathfrak E).
}
$$

因此：

$$
\boxed{
\text{Local Query Closure}
\neq
\text{Full Global Materialization}.
}
$$

---

# 25. Finite Derivation Property

對任意：

$$
x
$$

若宣稱：

$$
x\in E(s),
$$

OIGT Runtime 最理想要求：

$$
\boxed{
\exists n_x<\infty,
\quad
s\xrightarrow{n_x}x.
}
$$

這是一個局部可生成性條件。

---

# 26. 不是所有可能無限都滿足 finite derivability

OIGT 不宣稱：

> 任意無限結構中的每個元素都一定可有限導出。

只有採用本文 Runtime contract 的 expansion domain 才要求此性質。

---

# 27. Query Failure 也可以閉合

如果：

$$
Q
$$

要求一個非法或不存在的節點，

finite-query closure 不要求一定生成成功。

只要求有限時間得到：

$$
\boxed{
\text{Result}
\in
\{
\text{Found},
\text{NotFound},
\text{Illegal},
\text{Unknown},
\text{BudgetExceeded}
\}.
}
$$

---

# 28. Unknown 不等於 Infinite Loop

若系統不能在當前證據中判定，應返回：

$$
\text{Unknown}.
$$

而不是假裝：

> 因為無界，所以永遠跑下去。

---

# 29. Budgeted Closure

真實 Runtime 可能有：

$$
B_t.
$$

因此：

$$
\boxed{
Closure_{Q,B_t}(\mathfrak E).
}
$$

若 budget 不足：

$$
\text{BudgetExceeded}.
$$

這與 logical impossibility 不同。

---

# 30. Logical Failure / Resource Failure 分離

所以：

$$
\boxed{
\text{Cannot derive}
\neq
\text{Cannot afford to derive now}.
}
$$

兩者必須區分。

---

# 31. Bounded Frontier

在任何時間：

$$
F_t^{active}
$$

應保持有限：

$$
\boxed{
|F_t^{active}|<\infty.
}
$$

但 dormant potential frontier 不必全部同時 active。

---

# 32. Frontier Scheduling

Runtime 可以根據：

$$
\text{Priority},
\text{Risk},
\text{Cost},
\text{Dependency},
\text{FutureUse}
$$

排序 frontier。

即：

$$
\boxed{
f^\star
=
\arg\max_f
Score(f).
}
$$

---

# 33. Expansion Scheduler

一般：

$$
\mathsf{ScheduleExpand}
(
F_t,
Q,
B_t
)
\rightarrow
F_t^{selected}.
$$

只對：

$$
F_t^{selected}
$$

進行 materialization。

---

# 34. Lazy Materialization

因此：

$$
\boxed{
\text{World capacity}
\neq
\text{World materialization}.
}
$$

只有被 task、observer、risk 或 dependency demand 到的區域才需要 materialize。

---

# 35. Selective Materialization

若：

$$
W
$$

具有巨大甚至無界潛在域：

$$
\mathcal D,
$$

可以只展開：

$$
\mathcal D_Q.
$$

所以：

$$
\boxed{
\operatorname{Materialized}_Q(W)
\subset
\operatorname{Potential}(W).
}
$$

---

# 36. Locality

若查詢：

$$
Q
$$

只依賴：

$$
N_r(x),
$$

則只 materialize 半徑：

$$
r
$$

內必要結構。

不必展開整個 world。

---

# 37. Dependency Closure

如果：

$$
Q
$$

需要：

$$
x,
$$

並且：

$$
x
$$

依賴：

$$
y,z,
$$

則 active region 至少需要：

$$
\operatorname{DepClosure}(x).
$$

但仍可以是有限。

---

# 38. Finite Dependency Requirement

對可執行 query：

$$
Q,
$$

本文暫要求：

$$
\boxed{
|\operatorname{DepClosure}_Q|<\infty
}
$$

或存在有限 summary / seed substitute。

---

# 39. Infinite Dependency Compression

若某 dependency 本身無界，可以用：

$$
s_D
$$

表示。

因此：

$$
\boxed{
\text{Infinite dependency}
\rightarrow
\text{finite generative dependency descriptor}
}
$$

在允許的情況下成立。

---

# 40. Compression 不自動保真

Seed compression 必須帶：

$$
\operatorname{Loss}(s_D).
$$

因此：

$$
\boxed{
\text{Finite Descriptor}
\neq
\text{Guaranteed Exact Reconstruction}.
}
$$

---

# 41. Reconstruction Contract

若：

$$
s
$$

聲稱可生成：

$$
E(s),
$$

至少要求：

$$
\boxed{
\operatorname{Reconstruct}_Q(s)
\simeq_Q
E(s)|_Q.
}
$$

其中：

$$
\simeq_Q
$$

是 query-relative equivalence。

---

# 42. Exact Reconstruction 不是唯一合法模式

可以有：

- exact；
- proof-equivalent；
- semantic-equivalent；
- bounded-error；
- lossy but certified。

但必須標記。

---

# 43. Seed + Grammar Version

Seed：

$$
s
$$

不能脫離：

$$
\mathcal G.
$$

因此身份應是：

$$
\boxed{
(s,\mathcal G,\Gamma,\text{Version}).
}
$$

同一 seed 在不同 grammar 下可能生成不同世界。

---

# 44. Frontier Version

同樣：

$$
F_t
$$

必須帶版本與 history。

否則 future expansion identity 無法追蹤。

---

# 45. Expansion History

定義：

$$
\boxed{
H_E
=
(
e_1,e_2,\ldots,e_n
).
}
$$

它記錄已執行 expansion path。

---

# 46. 同一 Endpoint 不等於同一 Expansion History

可以：

$$
W_A
\xrightarrow{p_1}
W_C,
$$

$$
W_A
\xrightarrow{p_2}
W_C,
$$

但：

$$
p_1\neq p_2.
$$

所以：

$$
\boxed{
\text{same realized state}
\not\Rightarrow
\text{same expansion history}.
}
$$

---

# 47. 非交換 Expansion

若：

$$
g_1\circ g_2
\neq
g_2\circ g_1,
$$

則生成順序影響結果。

OIGT 不要求 expansion grammar 全部交換。

---

# 48. Expansion Tension

不同 expansion path 若得到不同結果，可定義：

$$
\boxed{
T_E(p_1,p_2).
}
$$

這直接接 Paper 04 的 higher-order tension。

---

# 49. Duality Order Frontier

Paper 04 定義：

$$
D_1,D_2,\ldots
$$

不預設最大階。

現在可以正式表示：

$$
\boxed{
F_D(t)=K_t+1
}
$$

為下一個待展開 duality order。

---

# 50. Finite Duality Realization

任一時間：

$$
K_t<\infty.
$$

因此：

$$
\mathfrak D_{\leq K_t}
$$

是有限已驗證 prefix。

---

# 51. Unbounded Duality Order

但不要求：

$$
\exists K_{\max}<\infty.
$$

所以：

$$
\boxed{
\text{Finite duality depth now}
+
\text{open higher-order frontier}.
}
$$

---

# 52. World-Family Infinity

OIGT 無界性第一種是 world family：

$$
W_1,W_2,\ldots
$$

不預設最大 world count。

但任意：

$$
t
$$

只要求：

$$
|\mathcal W_t^{\text{active}}|<\infty.
$$

---

# 53. Intra-World Infinity

第二種是單一 world：

$$
W
$$

內部 relation / fiber / resolution 持續展開。

---

# 54. Bridge Infinity

第三種是：

$$
B_{ij}
$$

可能持續新增。

所以 bridge network 不需要預先固定完整 topology。

---

# 55. Order Infinity

第四種是 higher-order relation：

$$
T_1,T_2,T_3,\ldots
$$

不預設最大 order。

---

# 56. Resolution Infinity

第五種是：

$$
r_0<r_1<r_2<\cdots
$$

解析度可以持續細化。

但任一時刻只使用有限 resolution。

---

# 57. Historical Infinity

第六種是時間延續：

$$
H_0
\rightarrow
H_1
\rightarrow
\cdots
$$

沒有預定最大歷史長度。

---

# 58. 六種無界不可混同

因此：

$$
\boxed{
\begin{aligned}
U_W &: \text{world-count unboundedness},\\
U_F &: \text{fiber unboundedness},\\
U_B &: \text{bridge unboundedness},\\
U_K &: \text{order unboundedness},\\
U_R &: \text{resolution unboundedness},\\
U_H &: \text{history unboundedness}.
\end{aligned}
}
$$

它們不是同一種 infinity。

---

# 59. Unboundedness Vector

可以寫：

$$
\boxed{
\mathbf U
=
(
U_W,
U_F,
U_B,
U_K,
U_R,
U_H
).
}
$$

某 system 可以只在部分 dimensions 無界。

---

# 60. 一個系統不必所有維度都無界

例如：

$$
U_W=0,
$$

但：

$$
U_F=1.
$$

表示 world 數固定，但每個 world 內部可持續展開。

---

# 61. Open Infinity Profile

因此 OIGT 不使用單一：

$$
\infty
$$

表示所有情況。

而使用：

$$
\boxed{
\mathsf{InfinityProfile}(\mathcal S).
}
$$

---

# 62. 完成無限不是禁止項

本文特別聲明：

OIGT 不宣稱 completed infinity 在數學上非法。

例如局部 kernel 完全可以使用：

$$
\mathbb N,
\mathbb R,
\aleph_0
$$

等標準無限對象。

---

# 63. Runtime Infinity 與 Mathematical Infinity 分離

因此：

$$
\boxed{
\text{Mathematical Actual Infinity}
\neq
\text{Runtime Materialization Requirement}.
}
$$

這避免不必要地與傳統集合論衝突。

---

# 64. OIGT 關心的是實現語義

問題不是：

> $\mathbb N$ 是否完成存在？

而是：

> 一個有限計算機是否必須 materialize 每個自然數，才能使用自然數結構？

答案顯然不需要。

同樣地，World frontier 也如此。

---

# 65. Symbolic Infinite Object

某些無限可由有限符號表示，例如：

$$
\mathbb N.
$$

所以：

$$
\boxed{
\text{finite symbolic representation}
+
\text{infinite denotation}
}
$$

本身並不矛盾。

---

# 66. OIGT 再往前一步

OIGT 研究：

$$
\boxed{
\text{finite generative representation}
+
\text{unbounded extensible structure}.
}
$$

這裡 future structure 甚至不必已固定完全。

---

# 67. Open Denotation

因此一個 OIGT Seed 的 denotation 可以隨合法 rules 與 revisions 擴展。

這不同於固定數學符號：

$$
\mathbb N.
$$

---

# 68. Open Domain

定義：

$$
\boxed{
\mathcal D_t
\subseteq
\mathcal D_{t+1}
}
$$

僅在 conservative extension 下成立。

若 revision 改變 rule，則不是 ordinary subset relation。

---

# 69. Extension 與 Revision 再次分離

若：

$$
W_t\hookrightarrow W_{t+1},
$$

表示保守擴張。

若：

$$
W_t\rightsquigarrow W_{t+1},
$$

則可能改變：

$$
\Gamma.
$$

所以無界世界不等於規則任意漂移。

---

# 70. Unbounded Expansion Contract

一個正式無界域應至少記：

$$
\boxed{
\mathsf{UEC}
=
\langle
\text{Seed},
\text{Grammar},
\text{Constraints},
\text{Frontier},
\text{BudgetPolicy},
\text{Reconstruction},
\text{History},
\text{Version}
\rangle.
}
$$

---

# 71. Expansion Certificate

一次 expansion：

$$
e
$$

應產生：

$$
\boxed{
\text{Cert}_E(e).
}
$$

包含：

- source；
- target；
- rule；
- context；
- invariant；
- cost；
- result；
- frontier update。

---

# 72. Local Expansion Cert 不等於 Global Correctness

單次 expansion 合法，不表示整條無界程序永遠正確。

因此：

$$
\boxed{
\text{Step Soundness}
\neq
\text{Global Completion Proof}.
}
$$

---

# 73. 不需要 Global Completion Proof 才能運作

OIGT Runtime 可以以：

$$
\boxed{
\text{prefix-valid execution}
}
$$

運作。

也就是每一有限 prefix 都可驗證。

---

# 74. Prefix Validity

對：

$$
H_n
=
(e_1,\ldots,e_n),
$$

要求：

$$
\boxed{
Valid(H_n)
}
$$

對每個已實現 prefix 成立。

---

# 75. Prefix Validity 不推出無限極限存在

由：

$$
\forall n,
Valid(H_n)
$$

不能直接推出：

$$
\exists H_\infty.
$$

OIGT 不需要這個推論。

---

# 76. Reopenability

任何已停止的 finite prefix：

$$
H_n
$$

應允許在未來重新：

$$
H_n
\rightarrow
H_{n+1}.
$$

如果 frontier 仍開放。

---

# 77. Open Completion

因此 OIGT 使用：

$$
\boxed{
\text{Reopenable Completion}
}
$$

這個概念：

某一任務在當下可以完成，

但世界本身仍可再開。

---

# 78. Task Completion / World Completion 分離

$$
\boxed{
\text{Task Complete}
\neq
\text{World Complete}.
}
$$

這是 AI-native long-running system 的重要原則。

---

# 79. Query Closure / World Closure 分離

同樣：

$$
\boxed{
Closure_Q(W)
}
$$

可以完成，

但：

$$
Closure(W)
$$

不必存在。

---

# 80. Local Proof Closure

某 theorem/query 可以：

$$
Proof_Q=\mathsf{Closed}.
$$

但整個 world：

$$
W
$$

仍：

$$
\mathsf{Open}.
$$

---

# 81. 這對數學研究尤其重要

一個局部命題證明完成，不代表相關數學世界的所有可延伸問題已完成。

所以：

$$
\boxed{
\text{Proof Closure}
\neq
\text{World Closure}.
}
$$

---

# 82. Infinite Expansion Domain 與 Open Null World

Paper 02 的 Open Null World：

$$
A_t(W)=\varnothing,
$$

$$
F_t(W)\neq\varnothing
$$

正是最簡單的無界展開入口。

---

# 83. Null-to-Expansion

可以：

$$
W_0^{open}
\xrightarrow{e_1}
W_1
\xrightarrow{e_2}
W_2
\rightarrow\cdots
$$

其中：

$$
W_0
$$

一開始沒有 active carrier。

---

# 84. 但不必線性

更一般：

$$
W_0
\rightarrow
\{
W_{1a},
W_{1b}
\}.
$$

所以 expansion domain 是 graph-like。

---

# 85. Branching Frontier

定義：

$$
\boxed{
F_t(W)
=
\{e_1,\ldots,e_m\}.
}
$$

每個：

$$
e_i
$$

可開新 branch。

---

# 86. Branch Pruning

Runtime 可以：

$$
\mathsf{Prune}(e_i).
$$

這不代表：

$$
e_i
$$

在本體上不可能。

只表示當前不再 active。

---

# 87. Branch Archive

被 pruning 的 branch 可保存：

$$
Archive(e_i).
$$

未來重新啟動。

---

# 88. Counterfactual Branch

有些 branch 可以被標成：

$$
\mathsf{Counterfactual}.
$$

不提交到 canonical world。

這為後續 MMLC / NOVA runtime 提供接口。

---

# 89. Canonical / Noncanonical Branch 分離

所以：

$$
\boxed{
\text{Generated}
\neq
\text{Canonical}.
}
$$

---

# 90. Commit

只有通過：

$$
\text{Verify}
+
\text{Authority}
+
\text{Invariant}
$$

後才：

$$
\boxed{
\text{Commit}.
}
$$

這和世界 expansion 的生成能力分離。

---

# 91. Expansion 不是 Commit

$$
\boxed{
\text{Expansion Candidate}
\neq
\text{Committed World State}.
}
$$

這是安全性必要條件。

---

# 92. Parallel Expansion

若 frontier 中：

$$
e_1,e_2,e_3
$$

互不依賴，可以：

$$
e_1
\parallel
e_2
\parallel
e_3.
$$

這是未來平行計算的重要接口。

---

# 93. Conflict Detection

若兩個 expansion：

$$
e_i,e_j
$$

會修改相同 invariant region，

必須建立 dependency / conflict edge。

---

# 94. Expansion Graph

有限 active expansion 可以表示：

$$
\boxed{
G_E=(V_E,E_E).
}
$$

其中：

$$
V_E
$$

是 expansion tasks，

$$
E_E
$$

是 dependency / conflict / order relations。

---

# 95. Expansion Matrix

進一步：

$$
M_E
$$

可以表示有限 active frontier 的矩陣 projection。

每 cell 不必只是數值。

---

# 96. Matrix Entry

例如：

$$
m_{ij}
=
(
\text{Dependency},
\text{Compatibility},
\text{Cost},
\text{Tension},
\text{Status}
).
$$

這將直接接 Paper 06。

---

# 97. Bounded Active Matrix

即使潛在 graph 無界：

$$
G_\infty^{potential},
$$

Runtime 只建立：

$$
\boxed{
M_t^{active}
}
$$

有限矩陣。

---

# 98. Dynamic Matrix Size

因此：

$$
M_t
\in
\mathcal V^{n_t\times n_t},
$$

其中：

$$
n_t<\infty,
$$

但：

$$
n_t
$$

不要求有固定最大值。

---

# 99. Matrix Growth

可以：

$$
n_t
\rightarrow
n_{t+1}.
$$

所以矩陣不是固定 dimension。

---

# 100. Sparse Materialization

若整個潛在 relation space 很大，

只保存非空 active relations：

$$
nnz(M_t)\ll n_t^2.
$$

這使無界圖更適合 sparse runtime。

---

# 101. Local Matrix Projection

不同 world region 可以投影不同 matrix block：

$$
M_t^{(1)},
M_t^{(2)},\ldots
$$

不必建立一個全域 dense matrix。

---

# 102. Distributed Matrix

多 machine 可以各自持有：

$$
M_A,
M_B,
M_C.
$$

Bridge 只同步必要 block。

---

# 103. Global Matrix 不必存在

所以：

$$
\boxed{
\text{Distributed matrix computation}
\neq
\text{one fully materialized global matrix}.
}
$$

這與 OIGT 核心完全一致。

---

# 104. OIGT-U1：Finite Active Support

$$
\boxed{
\forall t,
\quad
|\operatorname{Active}_t|<\infty.
}
$$

---

# 105. OIGT-U2：No Required Finite Maximum

$$
\boxed{
\neg\exists N<\infty
\text{ required as a universal future expansion bound}.
}
$$

---

# 106. OIGT-U3：Seed / Totality Separation

$$
\boxed{
s\neq E(s).
}
$$

---

# 107. OIGT-U4：Frontier / Future Separation

$$
\boxed{
F_t
\neq
\text{completed future}.
}
$$

---

# 108. OIGT-U5：Existence / Materialization Separation

$$
\boxed{
\text{Existence}
\neq
\text{Materialization}.
}
$$

---

# 109. OIGT-U6：Materialization / Activity Separation

$$
\boxed{
\text{Materialized}
\neq
\text{Active}.
}
$$

---

# 110. OIGT-U7：Finite-Query Closure

$$
\boxed{
\forall Q_{\mathrm{finite}},
\exists n_Q<\infty
}
$$

使 query 可有限生成、判定或合法失敗。

---

# 111. OIGT-U8：Resource Failure Separation

$$
\boxed{
\text{BudgetExceeded}
\neq
\text{LogicalFailure}.
}
$$

---

# 112. OIGT-U9：Prefix Validity

所有已 committed finite prefixes 必須可驗證。

---

# 113. OIGT-U10：No Required Completed Limit

$$
\boxed{
\text{unbounded expansion}
\not\Rightarrow
\text{required completed limit object}.
}
$$

---

# 114. OIGT-U11：Task / World Completion Separation

$$
\boxed{
\text{Task Complete}
\neq
\text{World Complete}.
}
$$

---

# 115. OIGT-U12：Open Re-entry

若 frontier 尚未關閉，已停止 world prefix 可以重新展開。

---

# 116. 第一母命題

$$
\boxed{
\text{Finite Realization}
\neq
\text{Finite Extensibility}.
}
$$

這是 Paper 05 最核心命題。

---

# 117. 第二母命題

$$
\boxed{
\text{Unbounded}
\neq
\text{Completed Infinite}.
}
$$

---

# 118. 第三母命題

$$
\boxed{
\text{Global Dependency}
\neq
\text{Full Materialization}.
}
$$

---

# 119. 第四母命題

$$
\boxed{
\text{Recursive Globality}
\neq
\text{Recursive Full Expansion}.
}
$$

---

# 120. 第五母命題

$$
\boxed{
\text{A finite machine can host an unboundedly extensible world
without ever holding an infinitely active state}.
}
$$

---

# 121. 與前四篇的閉合

Paper 01 的：

$$
\mathsf{World}\neq\mathsf{Set}
$$

讓 world 不必成為完成集合。

Paper 02 的：

$$
\text{Empty Realization}\neq\text{Empty Potential}
$$

讓空世界仍可生成。

Paper 03 的：

$$
\text{Overlap}\neq\text{Merge}
$$

讓 bridge network 可以按需形成。

Paper 04 的：

$$
\text{First-Order Duality}
\not\Rightarrow
\text{Higher-Order Symmetry}
$$

讓 higher-order relation 可以持續展開。

本文為四者共同提供：

$$
\boxed{
\text{finite-runtime unbounded expansion semantics}.
}
$$

---

# 122. 與下一篇矩陣／圖論計算的接口

至此，一個有限 Runtime 在時間：

$$
t
$$

實際擁有的不是完整世界，而是：

$$
\boxed{
\mathcal A_t
=
(
W_t^{\mathrm{active}},
F_t^{\mathrm{active}},
B_t^{\mathrm{active}},
D_t^{\mathrm{active}},
T_t^{\mathrm{active}}
).
}
$$

所有這些都是有限 active structures。

因此下一步可以將其投影成：

$$
\boxed{
\text{Typed Graph}
\rightarrow
\text{Sparse Matrix / Tensor}
\rightarrow
\text{Parallel Execution}.
}
$$

---

# 123. 最小 Runtime Algorithm

第一版概念演算法：

```text
Input:
    seed/state S
    active budget B
    query Q
    active region A
    frontier F

Loop:
    demand = derive_demand(Q, A)
    deps = dependency_closure(demand)
    candidates = frontier_candidates(F, deps)

    ranked = rank(
        candidates,
        priority,
        risk,
        cost,
        expected_information_gain
    )

    selected = fit_to_budget(ranked, B)

    materialize(selected)
    validate(selected)
    update_active_region()
    update_frontier()
    archive_unneeded_state()

    if query_closed:
        return result

    if budget_exhausted:
        return BudgetExceeded

    if no_legal_frontier:
        return ClosedOrUnknown
```

此演算法不是 OIGT 唯一 Runtime。

它只展示：

$$
\boxed{
\text{unbounded potential}
}
$$

不需要：

$$
\boxed{
\text{unbounded simultaneous execution}.
}
$$

---

# 124. 最終形式

OIGT Paper 05 將無界世界寫成：

$$
\boxed{
\mathfrak U
=
\left\langle
S_t,
F_t,
\mathcal G,
\Gamma,
H_t,
B_t,
Q_t
\right\rangle,
}
$$

其中：

$$
S_t
$$

為 finite realized state；

$$
F_t
$$

為 open frontier；

$$
\mathcal G
$$

為 generation grammar；

$$
\Gamma
$$

為 legality；

$$
H_t
$$

為 finite historical prefix / reconstruction structure；

$$
B_t
$$

為 runtime budget；

$$
Q_t
$$

為當前 query。

要求：

$$
\boxed{
|S_t|<\infty,
\qquad
|F_t^{\mathrm{active}}|<\infty,
}
$$

但不要求存在固定：

$$
N
$$

限制所有合法未來：

$$
\operatorname{Expand}^{n}(S_t)
$$

的深度。

---

# 125. 最終命題

本文最終主張：

> **一個世界不需要在任何一個時間點被完整實現，才能具有沒有預設有限上限的持續展開能力。**

形式上：

$$
\boxed{
\forall t,
\quad
|\operatorname{Active}_t|<\infty
}
$$

與：

$$
\boxed{
\neg\exists N<\infty
\text{ required a priori as the maximum future expansion depth}
}
$$

可以同時成立。

因此有限與無限之間不再只有：

$$
\boxed{
\text{finite object}
\quad\text{vs}\quad
\text{completed infinite object}.
}
$$

還存在第三種重要形式：

$$
\boxed{
\text{finite realized state}
+
\text{unbounded generative frontier}.
}
$$

這就是 OIGT 所需要的有限下無限。

---

# 結論

OIGT 所建立的世界不是一個必須事先完成的無限容器。

它更接近：

$$
\boxed{
\text{Seed}
\rightarrow
\text{Finite Realization}
\rightarrow
\text{Open Frontier}
\rightarrow
\text{Further Finite Realization}
\rightarrow
\cdots
}
$$

但：

$$
\cdots
$$

在此不是偷偷聲稱某個完整無限 object 已經被 Runtime 實現。

它只表示：

$$
\boxed{
\text{No fixed finite ceiling has been imposed}.
}
$$

所以：

$$
\boxed{
\text{Unbounded}
}
$$

在 OIGT 中首先意味：

> **永遠可以合法問下一步是否存在，而不是要求現在已經把所有下一步都算完。**

這使：

- Open Null World；
- distributed world family；
- bridge frontier；
- higher-order duality；
- non-dual tension；
- dynamic resolution；
- long-running AI world；

都可以在有限電腦上具有明確的實現語義。

至此，OIGT 的 foundation 已完成從：

$$
\boxed{
\text{World}
}
$$

到：

$$
\boxed{
\text{Open Unbounded World Runtime}
}
$$

的最低閉合。

下一篇將正式進入計算表示：

$$
\boxed{
\text{分散式世界圖}
\rightarrow
\text{多向矩陣／張量投影}
\rightarrow
\text{平行異質計算}.
}
$$

---

**Version:** Draft v0.1  
**Status:** Unbounded Expansion Semantics Draft  
**Next:** OIGT Paper 06 —《分散式世界圖與矩陣化計算》