# 空間資訊佔據與 Generator Geometry：容器、自由、構成元、商結構與跨解析度不變量

## Spatial Information Occupancy and Generator Geometry: Containers, Freedom, Constituents, Quotients, and Cross-Resolution Invariants

**系列總結論文 / Series Synthesis**  
**版本：** v1.0  
**日期：** 2026-10-02  
**作者：** Neo.K  
**AI 協力研究者：** Aletheia / ChatGPT, GPT-5.6 Sol  
**機構：** EveMissLab／一言諾科技有限公司  
**狀態：** Formal Synthesis Draft  
**主文：** Paper 01–06  
**實驗前置：** E0–E7

---

## 摘要

本系列研究一個表面上簡單、但傳統幾何測度無法完整回答的問題：

> 一個結構在空間中「佔據」了什麼？

若答案只寫成：

$$
\mu(O),
$$

我們得到長度、面積、體積或更一般的幾何 measure。

但在有限容器、配置空間、路徑可達性、可嵌入性、邊界通透性、probe placement、rotation、coarse-graining 與多構成元 cooperative closure 中，相同 measure 的結構可以保留完全不同的 admissible possibilities。

本系列因此提出 **Spatial Information Occupancy（空間資訊佔據）** 的 operational 研究綱領。其最低核心不是宣稱物理空間「本質上就是資訊」，而是區分：

$$
\boxed{
\text{Geometric Measure Occupancy}
\neq
\text{Freedom / Configuration Occupancy}.
}
$$

系列從 container-relative admissibility 出發。容器記為：

$$
\mathfrak C
=
\left(
X,
\{\mathcal F_x\}_{x\in X},
\mathcal R_{\mathfrak C},
\mathcal A_{\mathfrak C},
\partial\mathfrak C
\right),
$$

而一個 object / constraint：

$$
O
$$

被理解為對 admissible global states 或 actions 的限制。

對 freedom query：

$$
q,
$$

研究的不是只有：

$$
|\operatorname{Supp}(O)|,
$$

而是：

- 哪些 placements 仍合法；
- 哪些 paths 仍連通；
- 哪些方向被壓縮；
- 哪些 released constituents 尚處於 latent state；
- 哪些 constituent combinations 才能形成 minimal freedom closure；
- 哪些結構只是 representation 改寫；
- 哪些關係在解析度改變後仍收斂；
- 二維 shape 如何形成 placement-generator geometry。

六篇主文建立以下鏈：

$$
\boxed{
\begin{aligned}
\text{Measure / Freedom Separation}
&\rightarrow
\text{Freedom Transport / Escape}\\
&\rightarrow
\text{Cooperative Generator Algebra}\\
&\rightarrow
\text{Generator Quotient}\\
&\rightarrow
\text{Cross-Resolution Limit}\\
&\rightarrow
\text{2D Generator Geometry}.
\end{aligned}
}
$$

主要解析結果包括：

第一，固定 direct support 不決定 translation freedom：

$$
\boxed{
P_N(w,h)
=
(N+1)^2+K-(N+1)(w+h),
\qquad
wh=K.
}
$$

第二，存在 direct occupancy 趨零但 global connectivity effect 不消失的 barrier family：

$$
\boxed{
\eta_{\mathrm{site}}\rightarrow0,
\qquad
\mathcal L_{\mathrm{conn}}\rightarrow\frac12.
}
$$

第三，固定面積 deformation 可產生 exact directional freedom transport：

$$
\boxed{
D_v-D_h
=
\frac{(L-1)(w-h)}
{N(N-L+1)}.
}
$$

第四，boundary gap 對 probe 的 operational threshold 為：

$$
\boxed{
g_c(P)=h_p,
}
$$

且：

$$
\boxed{
C_{\mathrm{ap}}(g;P)
=
\max(0,g-h_p+1).
}
$$

第五，任何 finite monotone freedom problem 可由 minimal generator family：

$$
\mathcal G_q
$$

重建：

$$
\boxed{
V_q(A)=1
\iff
\exists G\in\mathcal G_q:
G\subseteq A.
}
$$

第六，contiguous aperture capacity 的 Möbius/Harsanyi interaction 精確集中於 minimal cooperative order：

$$
\boxed{
m_{C_h}(B)=1
\iff
B\in\mathcal W_h.
}
$$

第七，latent freedom 可用 distance-to-generator closure 表示：

$$
\boxed{
d_q(A)
=
\min_{G\in\mathcal G_q}
|G\setminus A|.
}
$$

第八，representation redundancy 可被 Generator Quotient 消去：

$$
\boxed{
\mathfrak Q_q(X)
=
[\mathcal H_q(X)]_{\cong}.
}
$$

第九，當 constituent count 隨解析度改變時，interval-generator family仍有 exact cross-resolution limit：

$$
\boxed{
d_H(
\mathscr G_N,
\mathscr G_\alpha^\infty
)
=
\frac{1}{2N},
}
$$

以及：

$$
\boxed{
K_\alpha(\delta)
=
\max(0,\alpha-\delta).
}
$$

第十，二維 placement-generator geometry 中，direct measure 是 capacity field 的總量／平均，但不足以決定其 distribution：

$$
\boxed{
\sum_{x\in X_N}
\Psi_{P,N}(x)
=
|P|.
}
$$

因此本系列的總命題可寫成：

$$
\boxed{
\textbf{A spatial structure does not merely occupy locations; it commits, removes, redistributes, and organizes admissible possibilities.}
}
$$

中文：

> **一個空間結構不只是佔據若干位置；它同時承諾、排除、重分配並組織容器中的合法可能性。**

本文同時強調：hypergraph、monotone Boolean function、Möbius/Harsanyi transform、Shapley value、Hausdorff distance 與 covariogram 都是既有數學工具。本系列不主張發明這些物件。研究主張位於它們如何被統合為一套 container-relative freedom-occupancy framework，以及由該框架得到的特定 theorem chain、quotient hierarchy 與 cross-resolution construction。

**目前尚未完成全面文獻 novelty audit。**  
因此「形式理論已建立」與「其中哪些組合或定理具有學術新穎性」在本文中明確分開。

---

# 1. 研究的最小命題

Spatial Information Occupancy 的最小命題不是：

$$
\boxed{
\text{space is information}.
}
$$

也不是：

$$
\boxed{
\text{geometry is unnecessary}.
}
$$

而是：

$$
\boxed{
\text{geometric measure alone is insufficient for many admissibility questions}.
}
$$

一個 shape 可能具有：

- 固定 area；
- 固定 support cardinality；
- 固定 volume；

但仍有不同：

- placement count；
- direction-dependent depletion；
- path connectivity；
- configuration topology；
- minimal cooperative closure；
- generator overlap；
- boundary participation field。

因此：

$$
\boxed{
\mu(O)
}
$$

應被視為 occupancy description 的一個分量，而不是所有問題的 complete sufficient statistic。

---

# 2. 三個基本非等價

整套系列可以壓縮為三個最核心的 non-equivalence。

## 2.1 Measure Non-Equivalence

$$
\boxed{
\text{same support measure}
\not\Rightarrow
\text{same freedom structure}.
}
$$

## 2.2 Constituent Non-Additivity

$$
\boxed{
\text{isolated point value}
\not\Rightarrow
\text{cooperative closure value}.
}
$$

## 2.3 Representation Non-Ownership

$$
\boxed{
\text{representation}
\not\Rightarrow
\text{underlying relational invariant}.
}
$$

Paper 05 再加入第四層：

## 2.4 Resolution Non-Ownership

$$
\boxed{
\text{constituent identity}
\not\Rightarrow
\text{cross-resolution invariant}.
}
$$

Paper 06 則加入第五層：

## 2.5 Mean Non-Exhaustion

$$
\boxed{
\text{same field mean}
\not\Rightarrow
\text{same field distribution}.
}
$$

---

# 3. Canonical Container Layer

系列使用：

$$
\boxed{
\mathfrak C
=
\left(
X,
\{\mathcal F_x\}_{x\in X},
\mathcal R_{\mathfrak C},
\mathcal A_{\mathfrak C},
\partial\mathfrak C
\right).
}
$$

其中：

- $X$：addressable constituent loci；
- $\mathcal F_x$：局部 admissible state set；
- $\mathcal R_{\mathfrak C}$：relation structure；
- $\mathcal A_{\mathfrak C}$：allowed actions / transformations；
- $\partial\mathfrak C$：effective boundary。

這是一個 operational research layer。

它不宣稱：

$$
\mathfrak C
$$

是物理宇宙的終極本體結構。

---

# 4. Object as Constraint

對 fixed container：

$$
\mathfrak C,
$$

令：

$$
\Omega_{\mathfrak C}
$$

為 admissible global states。

加入 object / constraint：

$$
O
$$

後：

$$
\boxed{
\Omega_{\mathfrak C\mid O}
\subseteq
\Omega_{\mathfrak C}.
}
$$

因此 object 可以被重新理解為：

$$
\boxed{
\text{constraint on admissible possibilities}.
}
$$

這不取消它的幾何 realization。

相反地，geometry 成為 constraint 被顯影的一種方式。

---

# 5. Blank as Uncommitted Structure

在此框架中：

$$
\text{Blank}
$$

不能自動等同：

$$
\text{Nothing}.
$$

最低 operational 說法是：

$$
\boxed{
\text{Blank}
=
\text{currently uncommitted admissible structure}.
}
$$

Paper 02 進一步修正：

$$
\boxed{
\text{Blank Substrate}
\neq
\text{Immediately Usable Freedom}.
}
$$

因為可能有：

$$
\boxed{
\text{Released Substrate}
\rightarrow
\text{Latent Freedom}
\rightarrow
\text{Realized Freedom}.
}
$$

---

# 6. Query Layer

Freedom 一定相對：

$$
q
$$

定義。

例如：

$$
q
=
(P,G,\mathcal A_q,\mathsf{Adm}_q).
$$

它可指定：

- probe；
- action group；
- placement semantics；
- path semantics；
- rotation；
- resolution；
- configuration adjacency。

因此：

$$
\boxed{
F_q(O\mid\mathfrak C)
}
$$

不是 object 的絕對 intrinsic scalar。

但 query-relative 不等於主觀任意。

固定：

$$
(\mathfrak C,O,q)
$$

後，有限模型結果是 deterministic / exact。

---

# 7. Paper 01：Measure / Freedom Separation

Paper 01 的第一主定理：

對：

$$
w\times h
$$

rectangle in：

$$
N\times N
$$

container：

$$
P_N(w,h)
=
(N-w+1)(N-h+1).
$$

固定：

$$
wh=K,
$$

得到：

$$
\boxed{
P_N(w,h)
=
(N+1)^2+K-(N+1)(w+h).
}
$$

因此：

$$
\boxed{
wh=K
\not\Rightarrow
P_N=\text{constant}.
}
$$

這個 theorem 是整個系列的第一個 separation result。

---

# 8. Square as a Freedom Extremum

固定：

$$
wh=K=s^2.
$$

由：

$$
w+h\ge2\sqrt K
$$

得到：

$$
\boxed{
w=h=s
}
$$

最大化 rectangle translation freedom。

這不是在宣稱 square 對所有 freedom query 都最優。

它只是在明確 translation model 下成立。

---

# 9. Vanishing Support / Persistent Global Effect

Paper 01 的第二主定理考慮一格厚 spanning barrier。

direct occupancy：

$$
\boxed{
\eta_{\mathrm{site}}
=
\frac1N
\rightarrow0.
}
$$

但 pair-connectivity fragmentation：

$$
\boxed{
\mathcal L_{\mathrm{conn}}
\rightarrow
\frac12.
}
$$

所以：

$$
\boxed{
\text{vanishing support}
\not\Rightarrow
\text{vanishing global freedom effect}.
}
$$

這一點在 Paper 02 的 topology jump 中再次出現。

---

# 10. Occupancy Signature

因此第一層 occupancy 不應被壓成單一 scalar。

最低 signature 可寫：

$$
\boxed{
\mathbf{Occ}_{\mathfrak C,q}(O)
=
\left(
\eta_{\mathrm{site}},
\boldsymbol\eta_{\mathrm{dir}},
F_q,
D_q,
\mathcal L_{\mathrm{conn}},
\mathcal B,
\mathcal R
\right).
}
$$

其中：

$$
\mathcal B
$$

表示 boundary descriptors，

$$
\mathcal R
$$

表示其他 relational terms。

後續 Paper 03–06 實際把其中若干 relational terms 展開。

---

# 11. Paper 02：Freedom Transport

固定：

$$
wh=K
$$

不代表 freedom distribution 不變。

對 horizontal probe：

$$
P_h=L\times1
$$

與 vertical probe：

$$
P_v=1\times L,
$$

在 interior class 中：

$$
I_h=h(w+L-1),
$$

$$
I_v=w(h+L-1).
$$

因此：

$$
\boxed{
D_v-D_h
=
\frac{(L-1)(w-h)}
{N(N-L+1)}.
}
$$

---

# 12. Redistribution without Scalar Conservation

fixed-area stretch：

$$
w\uparrow,
\qquad
h\downarrow
$$

導致：

$$
\boxed{
D_h\downarrow,
}
$$

$$
\boxed{
D_v\uparrow,
}
$$

同時：

$$
\boxed{
F_{\mathrm{trans}}\downarrow.
}
$$

因此：

$$
\boxed{
\text{freedom transport}
\neq
\text{simple scalar conservation}.
}
$$

更精確：

$$
\boxed{
\text{channel redistribution}
+
\text{net placement depletion}.
}
$$

---

# 13. Boundary as an Admissibility Modifier

一般 boundary-clipped counts：

$$
I_h=h\,c_x,
$$

$$
I_v=w\,c_y.
$$

定義 clipping deficits：

$$
\beta_x,
\qquad
\beta_y.
$$

則：

$$
\boxed{
I_v-I_h
=
(L-1)(w-h)
+
h\beta_x-w\beta_y.
}
$$

所以 observed freedom effect可以分解成：

$$
\boxed{
\text{shape term}
+
\text{boundary term}.
}
$$

這是「boundary 不是輪廓附註」的第一個 exact 表達。

---

# 14. Gap Threshold and Operational Freedom

對：

$$
w_p\times h_p
$$

probe crossing vertical barrier gap：

$$
g,
$$

有：

$$
\boxed{
C_{\mathrm{ap}}(g;P)
=
\max(0,g-h_p+1).
}
$$

critical gap：

$$
\boxed{
g_c(P)=h_p.
}
$$

因此：

$$
\boxed{
\text{geometric opening}
\neq
\text{operational opening}.
}
$$

---

# 15. Structural Escape

Paper 02 區分：

## Counting-Law Escape

由：

$$
\beta_x=\beta_y=0
$$

進入：

$$
\beta_x>0
$$

或：

$$
\beta_y>0.
$$

## Topological Escape

configuration-space：

$$
\#\pi_0:
2\rightarrow1.
$$

所以 structural escape 可以是：

- law class 改變；
- topology class 改變。

這延續 ACTM 的 closure / escape 方法論，但不依賴 ACTM 原本的超越數具體工具。

---

# 16. Paper 03：Generator First

Paper 03 的核心轉變是：

> 不先給每個 constituent 一個固定資訊分數；先找哪些 combinations 真正生成 freedom。

對 finite monotone freedom predicate：

$$
V_q:
2^W
\rightarrow
\{0,1\},
$$

minimal generator family：

$$
\mathcal G_q.
$$

主定理：

$$
\boxed{
V_q(A)=1
\iff
\exists G\in\mathcal G_q:
G\subseteq A.
}
$$

所以：

$$
\boxed{
\mathcal H_q
=
(W,\mathcal G_q)
}
$$

完整重建 binary freedom。

---

# 17. Cooperative Constituent Algebra

對 length- $h$ contiguous aperture：

$$
\mathcal W_h
=
\{
J_j
\},
$$

capacity：

$$
\boxed{
C_h(A)
=
\sum_{J\in\mathcal W_h}
\mathbf 1[J\subseteq A].
}
$$

其 Möbius transform：

$$
\boxed{
m_{C_h}(B)
=
1
\iff
B\in\mathcal W_h.
}
$$

因此：

$$
\boxed{
\text{irreducible cooperative order}=h.
}
$$

---

# 18. Isolated Zero / Cooperative Nonzero

若：

$$
h>1,
$$

每個 singleton：

$$
C_h(\{i\})=0.
$$

但：

$$
C_h(J)=1
$$

對：

$$
J\in\mathcal W_h.
$$

所以：

$$
\boxed{
\text{isolated zero contribution}
\not\Rightarrow
\text{zero cooperative information}.
}
$$

這是整個「資訊纖維」直覺第一次被 exact algebra 捕捉。

---

# 19. Shapley Field

對 aperture capacity：

$$
\boxed{
\phi_i(C_h)
=
\frac{n_i(h)}{h},
}
$$

其中：

$$
n_i(h)
$$

是包含 constituent $i$ 的合法 generators 數。

因此 constituent-level field 反映：

$$
\boxed{
\text{participation in cooperative closures},
}
$$

而不是 constituent 的 intrinsic information mass。

---

# 20. Latent Freedom Potential

定義：

$$
\boxed{
d_q(A)
=
\min_{G\in\mathcal G_q}
|G\setminus A|.
}
$$

有：

$$
\boxed{
d_q(A)=0
\iff
V_q(A)=1.
}
$$

以及：

$$
\boxed{
\lambda_i(A)
=
d_q(A)-d_q(A\cup\{i\})
\in\{0,1\}.
}
$$

所以 constituent role 是：

$$
\boxed{
\text{context-dependent}.
}
$$

---

# 21. Fiber Information Object

Paper 03 提出最低 object：

$$
\boxed{
\mathfrak I_q
=
(
\Phi_q,
\mathcal J_q,
d_q
).
}
$$

其中：

- $\Phi_q$：one-body influence field；
- $\mathcal J_q$：higher-order cooperative interaction；
- $d_q$：latent potential。

這避免把真正高階 structure 錯壓成一張 heatmap。

---

# 22. Paper 04：Representation Non-Ownership

同一 generator structure 可以有大量：

- labels；
- embeddings；
- radix strings；
- matrix orderings。

因此定義：

$$
X_1\sim_q X_2
\iff
\mathcal H_q(X_1)
\cong
\mathcal H_q(X_2).
$$

並證明：

$$
\boxed{
\sim_q
}
$$

為 equivalence relation。

所以：

$$
\boxed{
\mathfrak Q_q(X)
=
[
\mathcal H_q(X)
]_{\cong}.
}
$$

---

# 23. Isomorphism Transport

若：

$$
\varphi:
\mathcal H_1
\cong
\mathcal H_2,
$$

則：

$$
\boxed{
V_1(A)
=
V_2(\varphi(A)),
}
$$

$$
\boxed{
d_1(A)
=
d_2(\varphi(A)),
}
$$

$$
\boxed{
m_1(B)
=
m_2(\varphi(B)),
}
$$

$$
\boxed{
\phi_i^{(1)}
=
\phi_{\varphi(i)}^{(2)}.
}
$$

因此應區分：

$$
\boxed{
\text{invariant}
}
$$

與：

$$
\boxed{
\text{equivariant}.
}
$$

---

# 24. Quotient Factorization

若 functional：

$$
F
$$

只依 isomorphism class，則：

$$
\boxed{
F
=
\widetilde F\circ\pi.
}
$$

所以：

$$
\mathfrak Q_q
$$

不是某個 fingerprint。

它是：

$$
\boxed{
\text{the relational quotient class itself}.
}
$$

---

# 25. Radix as Representation

對 lossless：

$$
\rho:
\Omega\rightarrow\Sigma
$$

與 decoder：

$$
\delta,
$$

若：

$$
\delta\circ\rho
=
\operatorname{id},
$$

則：

$$
\boxed{
I_\rho(\rho(\omega))
=
I(\omega).
}
$$

所以：

$$
\boxed{
\text{radix does not own the decoded invariant}.
}
$$

但：

- digit length；
- carry structure；
- compression ratio；
- execution cost；

仍可 representation-dependent。

---

# 26. Representation Multiplicity

baseline：

$$
4
$$

個 disjoint triples。

automorphism group：

$$
\boxed{
|\operatorname{Aut}(\mathcal H)|
=
4!(3!)^4
=
31104.
}
$$

labeled orbit：

$$
\boxed{
15400.
}
$$

所以單一 quotient class 可有大量不同 labeled manifestations。

---

# 27. Paper 05：Resolution Non-Ownership

Paper 04 還要求同 cardinality。

但：

$$
N\rightarrow2N
$$

時：

$$
|V_N|
\neq
|V_{2N}|.
$$

因此需要：

$$
\boxed{
\text{refinement system}
}
$$

而不是普通 isomorphism。

---

# 28. Continuum Generator Family

固定：

$$
\alpha.
$$

discrete generator：

$$
G_{N,j}
$$

physical realization：

$$
\boxed{
\left[
\frac jN,
\frac jN+\alpha
\right].
}
$$

continuum family：

$$
\boxed{
\mathscr G_\alpha^\infty
=
\{
[s,s+\alpha]:
0\le s\le1-\alpha
\}.
}
$$

---

# 29. Exact Hausdorff Limit

start-set：

$$
S_N
=
\left\{
\frac jN
\right\}.
$$

有：

$$
\boxed{
d_H(
S_N,
[0,1-\alpha]
)
=
\frac1{2N}.
}
$$

因此：

$$
\boxed{
d_H(
\mathscr G_N,
\mathscr G_\alpha^\infty
)
=
\frac1{2N}.
}
$$

這是 cross-resolution generator family 的 exact convergence law。

---

# 30. Resolution-Independent Overlap Kernel

若 normalized displacement：

$$
\delta=\frac rN,
$$

則：

$$
\boxed{
K_\alpha(\delta)
=
\max(0,\alpha-\delta).
}
$$

不同 resolution 在可表示 grid 上 exact sample 同一函數。

---

# 31. Inner / Outer Coarse Bracket

對 fine state：

$$
A,
$$

定義：

$$
C^-(A),
\qquad
C^+(A).
$$

則：

$$
\boxed{
V_N(C^-A)
\le
V_{2N}(A)
\le
V_N(C^+A).
}
$$

所以 lossy projection 可保存：

$$
\boxed{
\text{valid lower / upper certificates}.
}
$$

而不需要宣稱 coarse state 等於 fine state。

---

# 32. Latent Potential Limit

對 physical interval：

$$
I,
$$

有：

$$
\boxed{
\left|
\frac{d_N(A_N(I))}{N}
-
\max(0,\alpha-|I|)
\right|
\le
\frac1N.
}
$$

所以 latent potential 具有 normalized continuum limit。

---

# 33. Constituent Field Limit

Paper 03 的 capacity influence field：

$$
\Phi_N
$$

有：

$$
\boxed{
\left|
\Phi_N(x_i)
-
\Phi_\alpha(x_i)
\right|
\le
\frac1{2\alpha N}.
}
$$

這顯示 constituent field 不必是 pixel artifact。

---

# 34. Cross-Resolution Object

Paper 05 提出：

$$
\boxed{
\mathfrak R_\alpha
=
\left(
\{
\mathcal H_N
\},
\{
c_{2N\rightarrow N}
\},
\{
\iota_N
\},
\mathcal H_\alpha^\infty
\right).
}
$$

所以 cross-resolution information carrier 更像：

$$
\boxed{
\text{a refinement system with common relational limit}.
}
$$

---

# 35. Paper 06：2D Generator Geometry

對：

$$
P\subseteq\mathbb Z^2,
$$

所有 legal rigid placements：

$$
\mathcal G_{P,N}.
$$

形成：

$$
\boxed{
\mathcal H_{P,N}
=
(X_N,\mathcal G_{P,N}).
}
$$

所有 distinct equal-cardinality rigid placements 都是 minimal generators。

---

# 36. Exact 2D Generator Count

若 orientation：

$$
rP
$$

bbox：

$$
w_r\times h_r,
$$

則：

$$
\boxed{
|\mathcal G_{P,N}|
=
\sum_r
(N-w_r+1)(N-h_r+1).
}
$$

所以：

$$
\boxed{
\text{same area}
\not\Rightarrow
\text{same generator count}.
}
$$

---

# 37. Equal-Support Disk / Square / Irregular

E7 在：

$$
N=64
$$

保持：

$$
|P|=256.
$$

但 generator counts：

$$
2209,
\qquad
2401,
\qquad
7744.
$$

因此 equal direct support 並不決定二維 freedom-generator hypergraph。

---

# 38. Covariogram

定義：

$$
\boxed{
\Gamma_P(\Delta)
=
|P\cap(P+\Delta)|.
}
$$

它精確等於兩個 relative-placement generators 的 intersection cardinality。

所以 covariogram 可被理解成：

$$
\boxed{
\text{pairwise generator-overlap geometry}.
}
$$

---

# 39. Square Kernel

square side：

$$
a.
$$

有 exact：

$$
\boxed{
K_\square(\delta_x,\delta_y)
=
\max(0,a-|\delta_x|)
\max(0,a-|\delta_y|).
}
$$

這是 1D triangular kernel 的 2D separable lift。

---

# 40. Placement Capacity Field

定義：

$$
\boxed{
\Psi_{P,N}(x)
=
\frac{
\#\{G\in\mathcal G_{P,N}:x\in G\}
}{
|\mathcal G_{P,N}|
}.
}
$$

它編碼：

- object geometry；
- orientation；
- container boundary；
- placement action。

---

# 41. Measure as Field Mean

主定理：

$$
\boxed{
\sum_x
\Psi_{P,N}(x)
=
|P|.
}
$$

所以：

$$
\boxed{
\eta_{\mathrm{site}}
=
\text{spatial mean of }
\Psi_{P,N}.
}
$$

這使 measure 得到新的位置：

> measure 不是無用，而是 richer freedom field 的 aggregate。

因此：

$$
\boxed{
\text{mean}
\not\Rightarrow
\text{distribution}.
}
$$

---

# 42. The Unified Hierarchy

整套理論可分成七層。

## Layer 0 — Container

$$
\mathfrak C.
$$

## Layer 1 — Direct Occupancy

$$
\eta_{\mathrm{site}},
\qquad
\eta_\mu.
$$

## Layer 2 — Query-Specific Freedom

$$
F_q,
\qquad
D_q,
\qquad
\mathcal L_{\mathrm{conn}}.
$$

## Layer 3 — Dynamic Transport

$$
T:
\mathbf{Occ}_t
\rightarrow
\mathbf{Occ}_{t+1}.
$$

## Layer 4 — Cooperative Generator Algebra

$$
\mathcal G_q,
\qquad
\mathcal H_q,
\qquad
\mathfrak I_q.
$$

## Layer 5 — Representation Quotient

$$
\mathfrak Q_q.
$$

## Layer 6 — Resolution System

$$
\mathfrak R.
$$

## Layer 7 — 2D Generator Geometry

$$
\mathfrak S_N(P),
\qquad
\mathfrak C_P.
$$

---

# 43. A Minimal Unified State

為避免把所有 derived quantity塞進一個過度龐大的 primitive，本文建議最低 state：

$$
\boxed{
\Xi_q
=
(
\mathfrak C,
O,
q,
\mathcal H_q
).
}
$$

其餘 quantities 盡量視為 derived：

$$
\eta,
F_q,
d_q,
m_q,
\Phi_q,
\mathfrak Q_q,
K,
\Psi.
$$

若研究 cross-resolution family，再提升為：

$$
\boxed{
\mathfrak R
=
\{
\Xi_{q,N}
\}_N
+
\text{refinement maps}
+
\text{limit object}.
}
$$

---

# 44. Invariant Hierarchy

本系列得到的 invariance 不是單一一種。

## 44.1 Cardinality / Measure Invariance

例如 fixed area：

$$
wh=K.
$$

最弱。

## 44.2 Generator Invariance

$$
\mathcal G_q.
$$

## 44.3 Isomorphism-Class Invariance

$$
\mathfrak Q_q
=
[\mathcal H_q]_{\cong}.
$$

## 44.4 Equivariant Field Structure

$$
\Phi_q,
\qquad
m_q.
$$

## 44.5 Cross-Resolution Limit

$$
\mathfrak R.
$$

## 44.6 Geometric Kernel / Field Limit

$$
K,
\qquad
\Psi.
$$

所以「什麼不變」必須先說清楚：

$$
\boxed{
\text{under which transformation class?}
}
$$

---

# 45. Freedom Is Not One Scalar

本系列沒有找到：

$$
F_{\mathrm{total}}
$$

這樣一個普遍 scalar conservation law。

反而多次看到：

- directional redistribution；
- placement depletion；
- topology jump；
- latent closure；
- cooperative interaction；
- quotient-preserving transformation。

因此：

$$
\boxed{
\text{freedom}
}
$$

在目前框架中更像一族 query-indexed relational quantities，而不是單一守恆數。

---

# 46. Boundary Has Three Roles

跨六篇主文，可以把 boundary 至少分成三種 operational role。

## 46.1 Anchor Clipping

改變 legal placement counts。

## 46.2 Permeability Threshold

決定：

$$
g_c(P).
$$

## 46.3 Field Shaping

有限 container 造成：

$$
\Psi_{P,N}(x)
$$

boundary-induced asymmetry。

所以：

$$
\boxed{
\text{Boundary}
=
\text{modifier of admissibility structure}.
}
$$

比「物體的輪廓線」更符合本系列。

---

# 47. Constituent Has Three Roles

constituent 也不是單一概念。

## 47.1 Carrier

resolution layer 的 local addressable unit。

## 47.2 Cooperative Participant

加入 generator closure。

## 47.3 Representation-Relative Unit

在：

$$
N\rightarrow2N
$$

時 identity 被拆分／替換。

因此：

$$
\boxed{
\text{constituent}
\neq
\text{absolute atom}.
}
$$

至少本系列沒有證據要求它是 absolute atom。

---

# 48. The Status of “Fiber”

本系列最早用「纖維」描述不可直接看見、但影響 freedom 的局部可能結構。

正式化後，這個詞應分層使用。

## Local Fiber

$$
\mathcal F_x
$$

是 position $x$ 的 local admissible state set。

## Cooperative Fiber Relation

由：

$$
\mathcal G_q
$$

表示哪些 constituent sets 共同形成 freedom closure。

## Fiber Information Object

$$
\mathfrak I_q
=
(
\Phi_q,
\mathcal J_q,
d_q
).
$$

因此「fiber」不應被模糊地當成一種神祕物質。

它是：

$$
\boxed{
\text{local admissibility + cooperative relation + latent potential}
}
$$

的研究語言。

---

# 49. Known Mathematics Correspondence

本系列大量使用既有數學。

這些 correspondence 必須明確標示。

## Hypergraph / Minimal Winning Coalitions

$$
\mathcal H_q
=
(W,\mathcal G_q)
$$

對應 hypergraph 與 monotone Boolean game 的 minimal winning sets。

## Möbius / Harsanyi

$$
m_f(B)
$$

是 subset-lattice Möbius transform / cooperative-game interaction representation。

## Shapley

$$
\phi_i
$$

是標準 cooperative-game attribution。

## Configuration Space

probe legal anchors形成離散 configuration graph。

## Hausdorff Distance

Paper 05 用它描述 discrete generator family 收斂。

## Covariogram

$$
\Gamma_P(\Delta)
$$

是既有幾何／隨機幾何中的標準 overlap descriptor。

## Convolution / Coverage

$$
\Psi_{P,N}
$$

與 placement coverage / convolution counting 有直接關係。

因此本系列不應把這些 standard objects 宣稱成新發明。

---

# 50. What the Series Actually Adds

目前較合理的研究貢獻主張不是：

> 我們發明 hypergraph、Shapley、covariogram。

而是：

1. 以 **container-relative admissible freedom** 作為統一 occupancy 問題；
2. 建立 measure / freedom separation theorem chain；
3. 把 boundary clipping、gap threshold 與 structural escape放在同一 transport framework；
4. 把 minimal generators、latent distance、Möbius interaction與 influence field組成 cooperative occupancy layer；
5. 定義 query-indexed Generator Quotient；
6. 把 lossless representation invariance與 lossy coarse projection嚴格分開；
7. 建立一個 exact cross-resolution interval-generator limit；
8. 把二維 covariogram與 capacity field重新解讀成 generator geometry 的 pairwise / one-body projection；
9. 建立從 measure 到 quotient 到 refinement limit 的層級式不變量綱領。

這些 claim 仍需未來文獻比較才能確定其 novelty 邊界。

---

# 51. Novelty Status

本文明確區分：

$$
\boxed{
\text{mathematical validity}
}
$$

與：

$$
\boxed{
\text{literature novelty}.
}
$$

目前完成的是：

- finite exact theorem construction；
- internal consistency；
- cross-paper formalization；
- reproducibility audits。

尚未完成：

- 系統性學術搜尋；
- prior-art theorem matching；
- terminological collision audit；
- journal-specific novelty positioning；
- external peer review。

因此目前正確說法是：

> **這是一套已具形式數學內容與可驗證 theorem chain 的研究框架；其完整學術新穎性仍需獨立文獻審查。**

---

# 52. Relation to Traditional Information Geometry

本系列不是 classical information geometry 的重新命名。

傳統 information geometry通常研究：

- probability distributions；
- statistical manifolds；
- Fisher metric；
- divergence-induced geometry。

本系列的 primitive 是：

$$
\boxed{
\text{container}
+
\text{admissibility}
+
\text{constraint}
+
\text{generator freedom}.
}
$$

兩者未來可以橋接，例如：

對：

$$
\Omega_{\mathfrak C}
$$

加 probability measure後，研究：

- generator distributions；
- stochastic freedom occupancy；
- entropy of admissible states；
- Fisher-like geometry on freedom parameters。

但本文不預設這些橋接已經完成。

---

# 53. Relation to Mathematical Morphology

probe placement、Minkowski-like expansion、erosion-style admissibility 與 structuring elements 與 mathematical morphology 有明顯鄰近性。

本系列特別關心的不是單一 morphological transform，而是：

- action-indexed freedom；
- minimal cooperative generator；
- quotient；
- latent distance；
- cross-resolution structure；
- boundary-mediated configuration topology。

正式公開前應把 morphology 文獻列入優先 novelty audit。

---

# 54. Relation to Configuration-Space Geometry

robot motion planning與 configuration space 早已研究：

- obstacles；
- Minkowski sums；
- free configuration space；
- connectivity。

本系列的相鄰處在：

$$
\mathcal Q_P(O).
$$

不同處在於系列試圖把：

- direct support；
- channel transport；
- cooperative constituent algebra；
- quotient；
- resolution limit；

接成同一 occupancy hierarchy。

正式 novelty audit 必須比較 computational geometry / robotics literature。

---

# 55. Relation to Cooperative Games and Boolean Functions

Paper 03–04 的數學與：

- simple games；
- monotone Boolean functions；
- minimal winning coalitions；
- Harsanyi dividends；
- Shapley values；

高度相連。

因此 cooperative constituent algebra的「工具」並不新。

可能的新意若存在，主要在：

$$
\boxed{
\text{spatial admissibility generators}
\rightarrow
\text{cooperative game representation}
}
$$

以及它與 boundary / quotient / resolution system 的統合。

---

# 56. Relation to Covariogram Theory

Paper 06 的：

$$
\Gamma_P(\Delta)
$$

是標準 covariogram form。

因此不能主張發明 shape overlap kernel。

本系列的用法是把它明確定位成：

$$
\boxed{
\text{pairwise generator intersection projection}.
}
$$

也就是 Generator Complex 的二體 relation descriptor。

---

# 57. SOBTA Interface

SOBTA：

$$
\Gamma_q
=
\langle
S_q,O,\partial
\rangle
$$

在本系列不是 universal ontology claim。

其 operational interpretation：

## Subject / Query

指定：

- probe；
- action；
- resolution；
- observable；
- admissibility semantics。

## Object

constraint structure。

## Boundary

修改 legal relation。

因此：

$$
\boxed{
\mathcal H_q
=
\operatorname{Gen}
(
S_q,O,\partial
).
}
$$

這解釋為什麼 generator structure 不由單一 domain 擁有。

---

# 58. SOBTA Non-Reduction

系列多次體現：

$$
\boxed{
\text{Projection without Annexation}.
}
$$

例如：

- Shapley field 不等於完整 Möbius interaction；
- coarse projection 不等於 fine state；
- Generator Quotient equality 不等於 geometric identity；
- support measure 不等於 freedom field。

所以：

$$
\boxed{
\text{useful projection}
\not\Rightarrow
\text{ontological exhaustion}.
}
$$

---

# 59. ACTM Interface

ACTM 在本系列中的角色是 methodology：

$$
\boxed{
\text{track relation under transformation}.
}
$$

對 operator：

$$
T,
$$

audit：

- preserve；
- redistribute；
- compress；
- release；
- escape；
- quotient-preserve；
- quotient-change；
- converge。

因此 ACTM 被轉化成：

$$
\boxed{
\text{Freedom Relation Transport Audit}.
}
$$

不是把原超越數內容直接移植。

---

# 60. Perfect Cuboid Methodological Inheritance

系列繼承幾個方法學原則：

## World / Representation Separation

$$
\text{relation}
\neq
\text{one rendering}.
$$

## Quotient Fake Freedom

label、radix、coordinate rename 不算新的 world freedom。

## Exact vs Approximate

finite theorem 與 numerical convergence evidence 明確分層。

## First Manifestation vs Family

一個例子成立，不代表 universal class 已建立。

這些紀律對避免理論膨脹很重要。

---

# 61. Theorem Dependency Graph

最簡 theorem chain：

$$
\boxed{
\begin{aligned}
&\text{P01 Measure Separation}\\
&\Downarrow\\
&\text{P02 Transport / Threshold}\\
&\Downarrow\\
&\text{P03 Minimal Generators / Latent Potential}\\
&\Downarrow\\
&\text{P04 Generator Quotient}\\
&\Downarrow\\
&\text{P05 Refinement / Continuum Limit}\\
&\Downarrow\\
&\text{P06 2D Generator Geometry}.
\end{aligned}
}
$$

其中每一篇可以獨立讀，但後篇 primitive 由前篇逐步成熟。

---

# 62. Exact Results vs Computational Evidence

本系列正式區分：

## Analytic / Exact Theorems

包含：

- translation count；
- vanishing-support fragmentation；
- directional transport；
- boundary clipping；
- gap threshold；
- minimal generator sufficiency；
- Möbius aperture theorem；
- Shapley aperture formula；
- latent distance properties；
- quotient equivariance；
- Hausdorff convergence；
- coarse bracket；
- square covariogram；
- capacity-field mass。

## Exact Finite Computational Evidence

包含：

- E3 $4096$ subsets；
- E4 三模型；
- E5 radix / permutation audits；
- E6 $65536$ fine states；
- E7 disk / square / irregular counts。

## Numerical / Cross-Resolution Evidence

主要：

- disk-like boundary discrepancy下降；
- irregular boundary discrepancy下降；
- disk / irregular capacity-field refinement error下降。

這些後者不是一般 theorem。

---

# 63. Non-Claims

本系列目前**沒有**證明：

1. 物理宇宙由離散資訊纖維構成；
2. 所有空間問題都可被 hypergraph完全表示；
3. 所有 shape 都有相同型態的 continuum limit；
4. Generator Quotient 是 universal canonical geometry；
5. freedom 有單一守恆 scalar；
6. 所有 representation change 都無關；
7. arbitrary curved / nonconvex / continuous-rotation case 已完成；
8. 本系列所有概念都具有 literature novelty；
9. classical geometry應被取代。

---

# 64. Strongest Current Claim

目前最強、同時最安全的總結是：

$$
\boxed{
\textbf{For a broad class of finite admissibility problems, geometric support measure is not sufficient to characterize the structure of allowed possibilities.}
}
$$

而本系列提供了一套逐層 richer representations：

$$
\boxed{
\text{measure}
\rightarrow
\text{query freedom}
\rightarrow
\text{generator algebra}
\rightarrow
\text{quotient}
\rightarrow
\text{refinement limit}
\rightarrow
\text{2D relational fields}.
}
$$

---

# 65. A Candidate General SIO Program

未來一般 Spatial Information Occupancy 問題可按以下流程研究。

## Step 1 — Fix Container

$$
\mathfrak C.
$$

## Step 2 — Fix Query

$$
q.
$$

## Step 3 — Identify Direct Support

$$
\operatorname{Supp}(O).
$$

## Step 4 — Define Admissible Actions

$$
\mathcal A_q.
$$

## Step 5 — Compute / Characterize Freedom

$$
F_q,
\qquad
D_q.
$$

## Step 6 — Extract Minimal Generators

$$
\mathcal G_q.
$$

## Step 7 — Analyze Cooperative Algebra

$$
m_q,
\qquad
\Phi_q,
\qquad
d_q.
$$

## Step 8 — Quotient Representation Redundancy

$$
\mathfrak Q_q.
$$

## Step 9 — If Resolution Varies, Build Refinement System

$$
\mathfrak R.
$$

## Step 10 — For Geometry, Study Kernels / Fields

$$
K,
\qquad
\Psi.
$$

---

# 66. Future Program A — General Generator Geometry

從 interval / square 擴張至：

- convex bodies；
- nonconvex bodies；
- arbitrary rotation；
- continuous $SE(2)$ ；
- $SE(3)$ ；
- deformation groups；
- articulated probes。

核心問題：

$$
\boxed{
\text{which generator descriptors survive quotient / refinement?}
}
$$

---

# 67. Future Program B — Non-Monotone Freedom

目前 generator theory 主要假設 monotonicity：

$$
A\subseteq B,
\quad
V(A)=1
\Rightarrow
V(B)=1.
$$

但真實系統可能有：

- interference；
- congestion；
- incompatible resources；
- mutually exclusive constraints。

此時 minimal winning hypergraph不足。

可能需要：

- signed set functions；
- simplicial / cellular complexes；
- directed hypergraphs；
- constraint satisfaction structures；
- non-monotone Boolean functions。

---

# 68. Future Program C — Stochastic Occupancy

若對：

$$
\Omega_{\mathfrak C}
$$

加入 probability measure：

$$
\mathbb P,
$$

可研究：

- expected freedom；
- entropy of admissible states；
- random generator activation；
- stochastic latent potential；
- information geometry on freedom parameters。

這可能成為與 classical information geometry 真正的橋接點。

---

# 69. Future Program D — Dynamic Worlds

若 container 本身演化：

$$
\mathfrak C_t,
$$

則：

$$
\mathcal G_{q,t},
\qquad
\mathfrak Q_{q,t},
\qquad
\mathfrak R_t
$$

也隨時間演化。

可研究：

- generator birth / death；
- quotient phase transitions；
- topology change；
- adaptive boundary；
- moving observers；
- world-model dynamics。

---

# 70. Future Program E — Computation and AI

此理論與 AI/world-model 研究有潛在接口：

- action-space compression；
- affordance maps；
- latent world constraints；
- geometry-independent relational representation；
- multiresolution world models；
- generator-based planning；
- image / scene representations。

但目前這只是 research direction。

系列尚未證明它會改善 LLM / VLM / world-model performance。

---

# 71. Future Program F — Formal Verification

下一階段可把主要有限定理搬入：

- Lean；
- Coq；
- Isabelle；
- proof assistant friendly combinatorics。

優先項：

1. Paper 01 translation theorem；
2. Paper 02 gap threshold；
3. Paper 03 generator sufficiency與 Möbius theorem；
4. Paper 04 quotient equivariance；
5. Paper 05 coarse bracket；
6. Paper 06 capacity-field mass theorem。

這會把 exact Python audit 提升到 machine-checked proof。

---

# 72. Future Program G — Literature Audit

正式公開／投稿前，需系統檢查：

- mathematical morphology；
- configuration spaces；
- robotic motion planning；
- hypergraph games；
- simple games；
- Boolean function theory；
- cooperative-game interactions；
- covariogram theory；
- digital geometry；
- multiresolution topology；
- rough sets / inner-outer approximations；
- occupancy grids；
- affordance theory；
- information geometry；
- constraint satisfaction；
- sheaf / cosheaf models of local-global structure。

這一步用來決定：

$$
\boxed{
\text{which claims are new}
}
$$

而不是決定已證公式是否正確。

---

# 73. Canonical Naming Recommendation

目前建議保留：

## Umbrella Theory

**Spatial Information Occupancy**

中文：

**空間資訊佔據**

## Geometric / Generator Branch

**Generator Geometry**

## Core finite object

**Freedom-Generator Hypergraph**

$$
\mathcal H_q.
$$

## Representation quotient

**Generator Quotient**

$$
\mathfrak Q_q.
$$

## Resolution object

**Generator Refinement System**

$$
\mathfrak R.
$$

## Cooperative local object

**Fiber Information Object**

$$
\mathfrak I_q.
$$

避免創造過多新名詞，能用標準名稱時優先用標準名稱。

---

# 74. Canonical Central Equations

本系列若只能保留十個公式，建議是：

### 1

$$
P_N(w,h)
=
(N+1)^2+K-(N+1)(w+h).
$$

### 2

$$
\eta_{\mathrm{site}}\rightarrow0,
\qquad
\mathcal L_{\mathrm{conn}}\rightarrow\frac12.
$$

### 3

$$
D_v-D_h
=
\frac{(L-1)(w-h)}
{N(N-L+1)}.
$$

### 4

$$
g_c(P)=h_p.
$$

### 5

$$
V_q(A)=1
\iff
\exists G\in\mathcal G_q:
G\subseteq A.
$$

### 6

$$
d_q(A)
=
\min_G|G\setminus A|.
$$

### 7

$$
m_{C_h}(B)=1
\iff
B\in\mathcal W_h.
$$

### 8

$$
\mathfrak Q_q(X)
=
[\mathcal H_q(X)]_{\cong}.
$$

### 9

$$
d_H(
\mathscr G_N,
\mathscr G_\alpha^\infty
)
=
\frac1{2N}.
$$

### 10

$$
\sum_x\Psi_{P,N}(x)
=
|P|.
$$

---

# 75. Canonical Central Diagram

$$
\boxed{
\begin{aligned}
(\mathfrak C,O,q)
&\longrightarrow
\mathbf{Occ}_{\mathfrak C,q}(O)\\
&\longrightarrow
\mathcal G_q\\
&\longrightarrow
\mathcal H_q\\
&\longrightarrow
\mathfrak I_q\\
&\longrightarrow
\mathfrak Q_q\\
&\longrightarrow
\mathfrak R\\
&\longrightarrow
(K,\Psi,\text{2D Generator Geometry}).
\end{aligned}
}
$$

這個箭頭不是說每個 object 都只由前一個單向決定。

它是系列的研究抽象順序。

---

# 76. Why the Theory Was Not Obvious at the Start

最初直覺只是：

> 同樣一塊空間，圓、方、不規則 shape 好像「佔據」了不同的可能性。

真正使它變成數學理論的不是這個句子本身。

而是後續出現：

- exact counterexamples；
- exact transport laws；
- threshold theorem；
- cooperative order theorem；
- latent potential；
- quotient；
- refinement limit；
- field mass identity。

所以最重要的轉折是：

$$
\boxed{
\text{intuition}
\rightarrow
\text{operational definitions}
\rightarrow
\text{exact theorems}.
}
$$

---

# 77. Final Thesis

本系列支持以下 thesis：

> **For spatial systems governed by admissibility constraints, direct geometric measure is generally only a partial description. A fuller account requires the structure of allowed actions, cooperative generators, boundary effects, representation quotients, and—when resolution changes—refinement relations and limiting generator geometry.**

若不用排版 box，可寫成純文字：

> **對由 admissibility constraints 支配的空間系統，直接幾何測度通常只是部分描述。更完整的描述需要合法作用、協同 generators、邊界效應、representation quotient，以及解析度改變時的 refinement relation 與 limiting generator geometry。**

---

# 78. Final Conclusion

Spatial Information Occupancy 從一個很簡單的觀察開始：

$$
\text{area is not everything}.
$$

但正式結果比這句話精確得多。

我們現在知道：

$$
\boxed{
\text{support}
\neq
\text{placement freedom},
}
$$

$$
\boxed{
\text{local release}
\neq
\text{operational release},
}
$$

$$
\boxed{
\text{isolated constituent}
\neq
\text{cooperative closure},
}
$$

$$
\boxed{
\text{representation}
\neq
\text{generator quotient},
}
$$

$$
\boxed{
\text{finite constituent identity}
\neq
\text{resolution limit},
}
$$

以及：

$$
\boxed{
\text{field mean}
\neq
\text{field geometry}.
}
$$

所以本系列最終把「空間資訊佔據」定義成一個 relational research program：

$$
\boxed{
\textbf{Spatial information occupancy is the container-relative structure by which constraints commit, remove, redistribute, and organize admissible possibilities.}
}
$$

中文：

> **空間資訊佔據，是約束相對於容器所形成的結構：它承諾、排除、重分配並組織其中可被實現的合法可能性。**

這一定義不是物理宇宙的終極本體宣言。

它是一個可以被：

- 定義；
- 計算；
- 證明；
- quotient；
- refinement；
- 比較；

的數學研究框架。

到此：

$$
\boxed{
\text{Spatial Information Occupancy and Generator Geometry}
}
$$

六篇主文與系列 Synthesis 的第一版形式化完成。

---

# Appendix A. 六篇主文

## Paper 01

**Spatial Information Occupancy I: Container-Relative Freedom Beyond Geometric Measure**

核心：

$$
\text{measure}
\neq
\text{freedom}.
$$

## Paper 02

**Spatial Information Occupancy II: Freedom Transport, Boundary Saturation, and Structural Escape**

核心：

$$
\text{transport}
+
\text{boundary}
+
\text{escape}.
$$

## Paper 03

**Spatial Information Occupancy III: Cooperative Constituent Algebra, Latent Freedom, and Fiber Information Fields**

核心：

$$
\mathcal G_q,
\quad
d_q,
\quad
\mathfrak I_q.
$$

## Paper 04

**Spatial Information Occupancy IV: Generator Quotients and Cross-Representation Invariants**

核心：

$$
\mathfrak Q_q.
$$

## Paper 05

**Spatial Information Occupancy V: Cross-Resolution Generator Systems and Continuum Limits**

核心：

$$
\mathfrak R.
$$

## Paper 06

**Spatial Information Occupancy VI: Two-Dimensional Generator Complexes, Covariograms, and Container Freedom Fields**

核心：

$$
\mathfrak S_N(P),
\quad
K_P,
\quad
\Psi_P.
$$

---

# Appendix B. Formal Epistemic Labels

本系列使用：

$$
\boxed{
\text{Definition}
}
$$

表示約定的 formal object。

$$
\boxed{
\text{Theorem / Proposition / Lemma}
}
$$

表示有解析 proof 的結果。

$$
\boxed{
\text{Exact Computational Evidence}
}
$$

表示有限 exhaustive / assertion-based confirmation，但不取代解析 proof。

$$
\boxed{
\text{Numerical Evidence}
}
$$

表示 resolution trends / approximation evidence。

$$
\boxed{
\text{Conjecture / Future Program}
}
$$

表示尚未證明的延伸。

---

# Appendix C. Publication Readiness

目前已完成：

- canonical UTF-8 Markdown；
- canonical math delimiters；
- exact audit scripts；
- theorem / evidence separation；
- six-paper formal structure；
- synthesis；
- notation map；
- theorem map。

正式投稿前仍建議完成：

1. full academic literature review；
2. external novelty audit；
3. bibliography / citations；
4. terminology collision review；
5. English-only polished edition；
6. machine-checked core proofs；
7. independent replication；
8. journal-specific formatting。