# 空間資訊佔據 III：協同構成元代數、潛在自由與纖維資訊場

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

**系列：** Spatial Information Occupancy and Generator Geometry  
**篇次：** Paper 03 / Cooperative Algebra  
**版本：** v1.0  
**日期：** 2026-10-02  
**作者：** Neo.K  
**AI 協力研究者：** Aletheia / ChatGPT, GPT-5.6 Sol  
**機構：** EveMissLab／一言諾科技有限公司  
**狀態：** Formal Research Draft / Exact Finite Cooperative Algebra

**直接前置：**

- Paper 01《空間資訊佔據 I：超越幾何測度的容器相對自由結構》；
- Paper 02《空間資訊佔據 II：自由度傳輸、邊界飽和與結構逃逸》；
- E3 Cooperative Fiber Field；
- E4 Latent Freedom Potential and Irregular Cooperative Field；
- 主客邊三域代數（SOBTA）；
- Algebraic–Combinatorial Transcendence Methodology（ACTM）。

---

## 摘要

Paper 02 已證明：局部 substrate 被釋放，不代表指定 action class 的 freedom 已經形成；對高度為 $h_p$ 的 probe，gap 在：

$$
g<h_p
$$

時雖然幾何上已經開口，但 operational crossing 仍不存在。

本文把這個現象推廣到任意 released constituent subset，並建立 **Cooperative Constituent Algebra**。

令有限 constituent set 為：

$$
W,
$$

令：

$$
\mathcal G_q
\subseteq
2^W
$$

為 query $q$ 下所有 minimal freedom generators。定義 monotone binary freedom game：

$$
\boxed{
V_q(A)
=
\mathbf 1
\left[
\exists G\in\mathcal G_q:
G\subseteq A
\right].
}
$$

則 freedom 不再被理解為單一 constituent 的固定屬性，而是由 generator family 所決定的 cooperative closure。

對最基本的 contiguous aperture model，令：

$$
W=\{0,\ldots,M-1\},
$$

並令：

$$
\mathcal W_h
=
\{
\{j,j+1,\ldots,j+h-1\}
:
0\le j\le M-h
\}.
$$

定義 aperture capacity：

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

本文證明其 subset-lattice Möbius / Harsanyi transform 為：

$$
\boxed{
m_{C_h}(B)
=
\begin{cases}
1,
&
B\in\mathcal W_h,
\\
0,
&
\text{otherwise}.
\end{cases}
}
$$

因此：

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

當 $h>1$ 時，每一 singleton 都有：

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

但某些 $h$ -body subsets 有：

$$
C_h(A)=1.
$$

所以：

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

本文再證明 aperture-capacity game 的 Shapley value具有 closed form：

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

其中 $n_i(h)$ 是包含 constituent $i$ 的合法 $h$ -generator 數。

為形式化 Paper 02 的 latent freedom，本文定義：

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

稱為 **Latent Freedom Potential**。它表示離最近合法 freedom closure 還缺多少 constituents。本文證明：

$$
d_q(A)=0
\iff
V_q(A)=1,
$$

且對：

$$
i\notin A,
$$

局部 closure gradient：

$$
\boxed{
\lambda_i(A)
=
d_q(A)-d_q(A\cup\{i\})
}
$$

必滿足：

$$
\boxed{
\lambda_i(A)\in\{0,1\}.
}
$$

因此 constituent 的資訊角色不是固定 scalar，而是 context-dependent marginal relation。

本文最後提出一個最低 Fiber Information Object：

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

其中：

- $\Phi_q$：constituent-level influence field；
- $\mathcal J_q$：高階 cooperative interaction structure；
- $d_q$：distance-to-closure potential。

E4 的 exact finite experiments 進一步顯示：幾何外觀大幅改變時，只要 generator structure 不變， $V_q$ 、 $d_q$ 、Shapley 與 Möbius 結構可以保持完全相同；而當幾何改變 generator relations 時，整個 cooperative algebra 亦隨之改變。這部分在本文中作為 exact computational evidence，正式 quotient / isomorphism theory 留給 Paper 04。

---

## Abstract

Paper 02 established that released substrate does not automatically produce operational freedom. This paper generalizes that observation from a single contiguous gap to arbitrary released subsets and develops a **Cooperative Constituent Algebra**.

Let $W$ be a finite set of constituents and let $\mathcal G_q\subseteq 2^W$ be the family of minimal freedom generators for a query $q$. The associated monotone binary freedom game is

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

Freedom is therefore treated as a cooperative closure property rather than as a fixed scalar attached to isolated constituents.

For a contiguous aperture model,

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

counts the number of legal length- $h$ apertures contained in $A$. Its exact Möbius/Harsanyi transform is

$$
m_{C_h}(B)
=
1
$$

when $B$ is a legal contiguous length- $h$ generator and zero otherwise. Hence the irreducible cooperative order is exactly $h$.

The Shapley allocation of the aperture-capacity game also admits an exact form,

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

where $n_i(h)$ is the number of legal generators containing constituent $i$.

To formalize latent freedom, the paper defines

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

the distance from the current released set to the nearest minimal freedom closure. It satisfies

$$
d_q(A)=0
\iff
V_q(A)=1,
$$

and the one-site closure gradient

$$
\lambda_i(A)
=
d_q(A)-d_q(A\cup\{i\})
$$

always belongs to $\{0,1\}$.

These results motivate a fiber-information object containing a constituent influence field, a high-order cooperative interaction structure, and a latent-freedom potential.

---

# 1. 問題：資訊到底在點上，還是在關係上？

Paper 02 的 gap threshold 已顯示：

$$
0<g<h_p
$$

時，已經有 free constituents，但 crossing freedom 仍不存在。

這留下核心問題：

> 若前 $h_p-1$ 個 constituents individually 都沒有形成 crossing，那它們的資訊價值如何描述？

若採 naïve additive model：

$$
I(A)
=
\sum_{i\in A} I(\{i\}),
$$

而每個 singleton：

$$
I(\{i\})=0,
$$

就會錯誤推出：

$$
I(A)=0
$$

對所有組合都成立。

但 Paper 02 已提供反例：足夠的 constituents 共同閉合後，freedom 可以突然形成。

因此本文研究：

$$
\boxed{
\text{information carried by admissible cooperative relations}.
}
$$

---

# 2. Constituent Set 與 Minimal Freedom Generators

## Definition 2.1 — Constituent Set

令：

$$
\boxed{
W
=
\{1,\ldots,M\}
}
$$

為有限 candidate constituent set。

每個：

$$
A\subseteq W
$$

代表當前已釋放、已啟用或已滿足的 constituents。

## Definition 2.2 — Monotone Freedom Predicate

令：

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

滿足 monotonicity：

$$
A\subseteq B
\quad\text{且}\quad
V_q(A)=1
\Rightarrow
V_q(B)=1.
$$

也就是：

> 一旦某組 constituents 已經足以形成指定 freedom，再增加 released constituents 不應把該 freedom 取消。

本文所有 generator theorem 都在此 monotone finite setting 下成立。

## Definition 2.3 — Minimal Freedom Generator

若：

$$
G\subseteq W
$$

滿足：

$$
V_q(G)=1,
$$

但對所有 proper subset：

$$
H\subsetneq G
$$

都有：

$$
V_q(H)=0,
$$

則稱：

$$
\boxed{
G
}
$$

為 minimal freedom generator。

所有 minimal generators 的集合記作：

$$
\boxed{
\mathcal G_q.
}
$$

---

# 3. Minimal Generator Sufficiency

## Theorem 3.1 — Generator Representation of Finite Monotone Freedom

對任何有限 monotone freedom predicate：

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

令 $\mathcal G_q$ 為其全部 minimal winning subsets。

則對任意：

$$
A\subseteq W,
$$

都有：

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

### Proof

若存在：

$$
G\in\mathcal G_q
$$

且：

$$
G\subseteq A,
$$

由 monotonicity：

$$
V_q(G)=1
\Rightarrow
V_q(A)=1.
$$

反之，若：

$$
V_q(A)=1,
$$

因 $A$ 有限，可在所有 winning subsets of $A$ 中取一個 inclusion-minimal subset：

$$
G\subseteq A.
$$

由 construction：

$$
G\in\mathcal G_q.
$$

證畢。

---

## Corollary 3.2 — Freedom Generator Hypergraph

定義：

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

則：

$$
V_q
$$

可由 $\mathcal H_q$ 完整重建。

因此對 finite monotone freedom problem：

$$
\boxed{
\mathcal H_q
}
$$

是一個 sufficient relational representation。

本文尚不在此宣稱它是唯一 canonical representation；正式 quotient 問題留給 Paper 04。

---

# 4. Contiguous Aperture Capacity Model

令：

$$
W
=
\{0,\ldots,M-1\}.
$$

固定：

$$
1\le h\le M.
$$

定義所有長度為 $h$ 的 contiguous windows：

$$
\boxed{
\mathcal W_h
=
\left\{
J_j
=
\{j,j+1,\ldots,j+h-1\}
:
0\le j\le M-h
\right\}.
}
$$

## Definition 4.1 — Aperture Capacity

對：

$$
A\subseteq W,
$$

定義：

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

也就是：

> $A$ 中完整包含多少個合法 $h$ -constituent apertures。

相對 binary freedom：

$$
V_h(A)
=
\mathbf 1[C_h(A)>0].
$$

capacity 與 binary predicate 不是同一個量。

---

# 5. Unanimity Basis

對任意：

$$
J\subseteq W,
$$

定義 unanimity game：

$$
\boxed{
u_J(A)
=
\mathbf 1[J\subseteq A].
}
$$

則：

$$
\boxed{
C_h
=
\sum_{J\in\mathcal W_h}
u_J.
}
$$

這個分解直接把 aperture freedom 變成 cooperative generator basis。

---

# 6. Möbius / Harsanyi Transform

對 set function：

$$
f:
2^W
\rightarrow
\mathbb R,
$$

定義 subset-lattice Möbius transform：

$$
\boxed{
m_f(B)
=
\sum_{A\subseteq B}
(-1)^{|B|-|A|}
f(A).
}
$$

## Lemma 6.1 — Unanimity Möbius Coefficient

對 unanimity game：

$$
u_J,
$$

有：

$$
\boxed{
m_{u_J}(B)
=
\begin{cases}
1,
&
B=J,
\\
0,
&
B\neq J.
\end{cases}
}
$$

### Proof

若：

$$
J\not\subseteq B,
$$

則對所有：

$$
A\subseteq B,
$$

都有：

$$
u_J(A)=0,
$$

所以：

$$
m_{u_J}(B)=0.
$$

若：

$$
J\subseteq B,
$$

則：

$$
m_{u_J}(B)
=
\sum_{J\subseteq A\subseteq B}
(-1)^{|B|-|A|}.
$$

令：

$$
k=|B\setminus J|.
$$

上式等於：

$$
\sum_{r=0}^{k}
\binom{k}{r}
(-1)^{k-r}
=
(1-1)^k.
$$

所以：

$$
m_{u_J}(B)
=
1
$$

當且僅當：

$$
k=0,
$$

即：

$$
B=J.
$$

證畢。

---

# 7. Aperture Capacity Möbius Theorem

## Theorem 7.1 — Exact Cooperative Interaction Structure

對：

$$
C_h
=
\sum_{J\in\mathcal W_h}
u_J,
$$

其 Möbius transform 為：

$$
\boxed{
m_{C_h}(B)
=
\begin{cases}
1,
&
B\in\mathcal W_h,
\\
0,
&
\text{otherwise}.
\end{cases}
}
$$

### Proof

Möbius transform 線性，所以：

$$
m_{C_h}
=
\sum_{J\in\mathcal W_h}
m_{u_J}.
$$

由 Lemma 6.1，每個：

$$
u_J
$$

只在：

$$
B=J
$$

時貢獻 $1$。

且：

$$
\mathcal W_h
$$

中所有 windows 都互異，所以結果成立。證畢。

---

## Corollary 7.2 — Irreducible Cooperative Order

所有非零 Möbius interaction 都滿足：

$$
|B|=h.
$$

因此：

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

這表示指定 probe transverse thickness $h$，直接決定描述其 minimal aperture freedom 所需的 cooperative interaction order。

---

# 8. Isolated Zero Does Not Imply Cooperative Zero

## Theorem 8.1 — Non-Additivity of Isolated Constituent Values

若：

$$
h>1,
$$

則對所有 singleton：

$$
\{i\},
$$

都有：

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

但任一：

$$
J\in\mathcal W_h
$$

滿足：

$$
\boxed{
C_h(J)=1.
}
$$

因此：

$$
\boxed{
C_h(J)
\neq
\sum_{i\in J}
C_h(\{i\}).
}
$$

### Proof

singleton 不可能包含 $h>1$ 個 constituent 的合法 window，因此：

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

若：

$$
J\in\mathcal W_h,
$$

則 $J$ 本身完整包含恰好一個與自身相同的 length- $h$ window，所以：

$$
C_h(J)=1.
$$

右式 singleton sum 為 $0$。證畢。

---

## Corollary 8.2

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

這是本文所謂 **Cooperative Informational Occupancy** 的最小精確形式。

---

# 9. Same Count, Different Freedom

同樣 released constituent 數量並不決定 capacity。

## Proposition 9.1

若：

$$
M\ge2h-1
$$

且：

$$
h>1,
$$

則存在：

$$
A,B\subseteq W
$$

使：

$$
|A|=|B|=h,
$$

但：

$$
C_h(A)=1,
$$

$$
C_h(B)=0.
$$

### Proof

取：

$$
A
=
\{0,1,\ldots,h-1\}.
$$

則：

$$
A\in\mathcal W_h,
$$

所以：

$$
C_h(A)=1.
$$

再取 separated set：

$$
B
=
\{0,2,4,\ldots,2(h-1)\}.
$$

因：

$$
M\ge2h-1,
$$

故 $B\subseteq W$。

 $B$ 不含任何 $h$ 個連續 integers，因此：

$$
C_h(B)=0.
$$

而：

$$
|A|=|B|=h.
$$

證畢。

---

# 10. Shapley Constituent Influence

capacity game 的高階 interaction 可以用 Möbius coefficients 表示。

但為了把 cooperative value 分配回單一 constituents，可使用 Shapley value。

## Definition 10.1 — Shapley Value

對：

$$
f:
2^W
\rightarrow
\mathbb R,
$$

其 constituent $i$ 的 Shapley value：

$$
\boxed{
\phi_i(f)
=
\sum_{A\subseteq W\setminus\{i\}}
\frac{
|A|!(M-|A|-1)!
}{
M!
}
\left(
f(A\cup\{i\})-f(A)
\right).
}
$$

---

# 11. Aperture Capacity Shapley Formula

令：

$$
n_i(h)
=
\#\{
J\in\mathcal W_h:
i\in J
\}.
$$

## Theorem 11.1 — Exact Constituent Allocation

對 aperture-capacity game：

$$
C_h,
$$

有：

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

### Proof

由：

$$
C_h
=
\sum_{J\in\mathcal W_h}
u_J
$$

以及 Shapley linearity：

$$
\phi_i(C_h)
=
\sum_{J\in\mathcal W_h}
\phi_i(u_J).
$$

對 unanimity game：

$$
u_J,
$$

只有：

$$
i\in J
$$

時 constituent $i$ 才有非零 Shapley value。

由 symmetry 與 efficiency， $|J|=h$ 個 members 平分 unanimity value $1$，所以：

$$
\phi_i(u_J)
=
\begin{cases}
1/h,
&
i\in J,
\\
0,
&
i\notin J.
\end{cases}
$$

因此：

$$
\phi_i(C_h)
=
n_i(h)\frac1h.
$$

證畢。

---

## Corollary 11.2 — Boundary-to-Interior Ramp

對 line window：

$$
W=\{0,\ldots,M-1\},
$$

有：

$$
n_i(h)
=
\min
\left(
i+1,
h,
M-i,
M-h+1
\right)
$$

在適當 index range 下形成：

- 左邊界 ramp；
- interior plateau；
- 右邊界 ramp。

因此：

$$
\phi_i(C_h)
$$

不是 constituent 的 intrinsic scalar，而反映它參與多少合法 cooperative closures。

---

# 12. Influence Field 不等於 Interaction Structure

Shapley value把 cooperative value分配回單點。

但 Theorem 7.1 已經說明真正不可約 interaction 在：

$$
h
$$

階 subsets。

所以：

$$
\boxed{
\Phi_q(i)
}
$$

與：

$$
\boxed{
\mathcal J_q(B)
}
$$

不能混同。

本文定義：

$$
\boxed{
\Phi_q(i)
=
\phi_i(F_q)
}
$$

作為 constituent-level influence field，而：

$$
\boxed{
\mathcal J_q(B)
=
m_{F_q}(B)
}
$$

作為 cooperative interaction structure。

Shapley field 是高階 structure 的一種 equivariant summary，而不是它的替代物。

---

# 13. Latent Freedom Potential

現在推廣 Paper 02 的 gap deficit。

對任意 finite generator family：

$$
\mathcal G_q
$$

定義：

## Definition 13.1 — Latent Freedom Potential

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

它表示：

> 當前 subset $A$ 距離最近 minimal freedom closure 還缺多少 constituents。

若：

$$
\mathcal G_q=\varnothing,
$$

則本文不定義此量；本文假設至少存在一個 minimal generator。

---

# 14. Potential Zero Characterizes Realized Freedom

## Theorem 14.1

對 finite monotone freedom game：

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

### Proof

若：

$$
d_q(A)=0,
$$

則存在：

$$
G\in\mathcal G_q
$$

使：

$$
|G\setminus A|=0.
$$

所以：

$$
G\subseteq A.
$$

由 Theorem 3.1：

$$
V_q(A)=1.
$$

反之，若：

$$
V_q(A)=1,
$$

由 Theorem 3.1，存在：

$$
G\in\mathcal G_q
$$

滿足：

$$
G\subseteq A.
$$

因此：

$$
|G\setminus A|=0
$$

且：

$$
d_q(A)=0.
$$

證畢。

---

# 15. Potential Monotonicity

## Theorem 15.1

若：

$$
A\subseteq B,
$$

則：

$$
\boxed{
d_q(B)
\le
d_q(A).
}
$$

### Proof

對任意 generator：

$$
G,
$$

因：

$$
A\subseteq B,
$$

有：

$$
G\setminus B
\subseteq
G\setminus A.
$$

所以：

$$
|G\setminus B|
\le
|G\setminus A|.
$$

對所有 $G$ 取 minimum，得到：

$$
d_q(B)
\le
d_q(A).
$$

證畢。

---

# 16. Local Closure Gradient

對：

$$
i\notin A,
$$

定義：

$$
\boxed{
\lambda_i(A)
=
d_q(A)-d_q(A\cup\{i\}).
}
$$

## Theorem 16.1 — One-Constituent Gradient Bound

$$
\boxed{
\lambda_i(A)\in\{0,1\}.
}
$$

### Proof

由 Theorem 15.1：

$$
d_q(A\cup\{i\})
\le
d_q(A),
$$

所以：

$$
\lambda_i(A)\ge0.
$$

另一方面，對任意 generator：

$$
G,
$$

加入單一 constituent $i$ 最多使：

$$
|G\setminus A|
$$

下降 $1$。

因此 minimum deficit 亦不可能下降超過 $1$：

$$
d_q(A\cup\{i\})
\ge
d_q(A)-1.
$$

所以：

$$
\lambda_i(A)\le1.
$$

而 $d_q$ 為 integer-valued，因此：

$$
\lambda_i(A)\in\{0,1\}.
$$

證畢。

---

# 17. Contextual Constituent Value

定義：

$$
\boxed{
\chi_q(i\mid A)
=
F_q(A\cup\{i\})-F_q(A).
}
$$

或對 latent potential：

$$
\boxed{
\lambda_i(A).
}
$$

這兩者都顯示 constituent role 是 context-dependent。

同一個 $i$ 可以在某些 context：

$$
A
$$

中：

$$
\lambda_i(A)=0,
$$

而在其他 context：

$$
A'
$$

中：

$$
\lambda_i(A')=1.
$$

因此：

$$
\boxed{
\text{Constituent Identity}
\neq
\text{Fixed Informational Role}.
}
$$

這是本文對「構成元」概念的主要修正之一。

---

# 18. Average Closure-Gradient Field

為得到一個 constituent-level summary，可定義：

$$
\boxed{
\bar\lambda_i
=
\frac{1}{2^{M-1}}
\sum_{A\subseteq W\setminus\{i\}}
\lambda_i(A).
}
$$

它表示：

> 在 uniformly sampled contexts 中，加入 constituent $i$ 有多大比例會讓最近 freedom closure 靠近一步。

這不是 intrinsic information mass。

它是：

$$
\boxed{
\text{context-averaged closure influence}.
}
$$

---

# 19. Fiber Information Object

由前述，我們提出最低結構：

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

其中：

$$
\Phi_q
$$

可以由：

- Shapley field；
- average closure-gradient field；
- 其他 constituent attribution field；

構成。

$$
\mathcal J_q
$$

表示：

- Möbius interaction；
- Harsanyi dividends；
- minimal generator relations；
- higher-order cooperative terms。

$$
d_q
$$

表示 latent potential。

因此「纖維資訊場」不能只是一張 scalar heatmap。

較完整的最低形式是：

$$
\boxed{
\text{one-body field}
+
\text{higher-order interaction}
+
\text{closure potential}.
}
$$

---

# 20. Disjoint Generator Model

考慮：

$$
W
$$

被分成：

$$
r
$$

個互不重疊且等大小：

$$
h
$$

的 generators：

$$
G_1,\ldots,G_r.
$$

binary freedom：

$$
V(A)
=
\mathbf 1[
\exists j:
G_j\subseteq A
].
$$

若 automorphism group 在所有 constituents 上 transitive，則所有 constituent Shapley values 相同。

由 Shapley efficiency：

$$
\sum_{i\in W}
\phi_i(V)
=
V(W)-V(\varnothing)
=
1.
$$

若：

$$
|W|=rh,
$$

則：

## Proposition 20.1

$$
\boxed{
\phi_i(V)
=
\frac{1}{rh}.
}
$$

對所有：

$$
i\in W.
$$

E4 的 separated model：

$$
r=4,
\qquad
h=3,
$$

所以：

$$
\boxed{
\phi_i(V)=\frac1{12}.
}
$$

這與 exhaustive calculation 完全一致。

---

# 21. Binary Connectivity 的高階 Inclusion–Exclusion

capacity：

$$
C_h
$$

是 generator counts 的線性總和。

binary connectivity：

$$
V_h(A)
=
\mathbf 1[C_h(A)>0]
$$

則是 generator events 的 OR。

若：

$$
u_j(A)
=
u_{G_j}(A),
$$

則：

$$
\boxed{
V
=
1-
\prod_j(1-u_j).
}
$$

展開：

$$
\boxed{
V
=
\sum_j u_j
-
\sum_{j<k}u_ju_k
+
\sum_{j<k<l}u_ju_ku_l
-\cdots.
}
$$

而 unanimity games 相乘：

$$
u_Gu_H
=
u_{G\cup H}.
$$

所以 binary global predicate 會產生：

$$
\boxed{
\text{unions of local generators}
}
$$

對應的更高階 Möbius terms。

因此：

$$
\boxed{
\text{local generator algebra}
\neq
\text{binary global predicate algebra}.
}
$$

global yes/no freedom 可以把局部 closures 再耦合成 higher-order inclusion-exclusion structure。

---

# 22. E4：幾何外觀與 Generator Structure

本文的解析理論建立在：

$$
\mathcal G_q
$$

上。

E4 額外做了三個 exact finite geometry models：

1. straight-separated；
2. zigzag-separated；
3. zigzag-coupled。

前三者各有：

$$
12
$$

個 candidate constituents，且 barrier direct support 都是：

$$
72
$$

格。

straight-separated 與 zigzag-separated 的：

$$
\text{interface edges}
$$

分別是：

$$
54
$$

與：

$$
76,
$$

bbox width 分別：

$$
3
$$

與：

$$
6.
$$

幾何 rendering 明顯不同。

但全部：

$$
4096
$$

個 release subsets 的 binary freedom truth table 完全一致。

兩者 minimal generators 都是四個 disjoint triples。

因此：

$$
V_q,
\quad
d_q,
\quad
\Phi_q,
\quad
\mathcal J_q
$$

全部 exact 相同。

這提供 computational evidence：

$$
\boxed{
\text{geometric appearance}
\neq
\text{freedom algebra}.
}
$$

但本文不在此正式定義 quotient relation；Paper 04 將處理：

$$
\mathcal H_1
\cong
\mathcal H_2.
$$

---

# 23. Geometry 何時重新重要？

E4 的 zigzag-coupled model 保持：

$$
72
$$

個 barrier support cells 與：

$$
12
$$

個 candidate constituents。

但因 candidates 在相鄰 rows 中產生 mixed tunnels，minimal generator family 變成：

$$
12
$$

個 generators：

$$
6
$$

個 size- $3$，

以及：

$$
6
$$

個 size- $4$。

結果有：

$$
436
$$

個 release subsets 的 binary freedom state 與 separated model 不同。

因此較準確的鏈是：

$$
\boxed{
\text{Geometry / Container}
\rightarrow
\text{Admissibility Relations}
\rightarrow
\mathcal G_q
\rightarrow
\text{Freedom Algebra}.
}
$$

幾何不是不重要。

它的重要性在於是否改變 admissibility generator structure。

---

# 24. SOBTA 的 Cooperative Interpretation

令：

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

本文中的：

$$
\mathcal G_q
$$

不是單獨屬於某一域。

它由：

- query / admissible action class；
- object constraint；
- boundary / container relation；

共同決定。

可暫寫：

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

這不等於：

$$
\mathcal G_q
=
S_q
$$

或：

$$
\mathcal G_q
=
O
$$

或：

$$
\mathcal G_q
=
\partial.
$$

因此 cooperative generator 本身可以被理解為一個 tri-domain emergent relation。

這與 SOBTA 原則：

$$
\tau_{SO\partial}
\neq
\tau_{SO}
+
\tau_{S\partial}
+
\tau_{O\partial}
$$

在方法論上相容。

---

# 25. ACTM：Generator First

ACTM 在本文中的移植形式是：

> 不先分類 constituent 是否「重要」，先找哪些 combinations 真正生成 freedom。

研究順序：

$$
\boxed{
\text{Generator Family}
\rightarrow
\text{Cooperative Algebra}
\rightarrow
\text{Influence Field}.
}
$$

而不是：

$$
\boxed{
\text{Assign Point Scores First}
\rightarrow
\text{Guess Global Structure}.
}
$$

這能避免把本質上 $h$ -body 的 cooperative closure 錯壓成一階 scalar field。

---

# 26. 可證偽性與限制

## F1 — Generator Incompleteness

若：

$$
\mathcal G_q
$$

無法重建 finite monotone freedom predicate，Theorem 3.1 失效。

在本文 assumptions 下此事已解析證明不會發生。

## F2 — Möbius Misidentification

若 aperture capacity：

$$
C_h
$$

有非零 interaction 不在：

$$
\mathcal W_h
$$

上，Theorem 7.1 失效。

## F3 — Scalar-Field Reduction

本文明確不主張：

$$
\Phi_q
$$

單獨就能完整描述 cooperative information。

若只保留 Shapley heatmap 而丟掉：

$$
\mathcal J_q,
$$

可能把不可約高階 interaction 抹平。

## F4 — Query Overreach

不同 query 可產生不同 generator family。

因此：

$$
\mathcal G_{q_1}
\neq
\mathcal G_{q_2}
$$

不表示其中一個必然「錯」。

必須固定 action semantics 後比較。

## F5 — Physical Ontology Overreach

本文不宣稱真實物理空間由 hyperedges 組成。

有限 cooperative algebra 是 operational model，不是已證的微觀宇宙本體論。

---

# 27. 與下一篇的接口

本文已得到：

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

以及：

$$
V_q,
\quad
d_q,
\quad
\Phi_q,
\quad
\mathcal J_q.
$$

下一個問題自然是：

> 如果幾何 embedding、vertex labels、radix encoding 都改變，但 generator structure 只是重新命名，我們是否應該把它們視為同一個 freedom-information object？

Paper 04 將正式定義：

$$
\boxed{
X_1\sim_q X_2
\iff
\mathcal H_q(X_1)
\cong
\mathcal H_q(X_2),
}
$$

以及：

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

由此研究 cross-representation invariant。

---

# 28. 結論

本文把 Paper 02 的 latent freedom 推廣成一般 cooperative constituent algebra。

核心結果是：

$$
\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.
}
$$

這意味著：

$$
\boxed{
\text{freedom can reside in relations among constituents,
not in constituents individually}.
}
$$

Shapley field：

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

可以把 cooperative value 分配回 constituent，但不能取代高階 interaction。

Latent Freedom Potential：

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

則把「尚未形成但正在接近的 freedom」變成 exact integer quantity。

其 local gradient：

$$
\boxed{
\lambda_i(A)
\in
\{0,1\}
}
$$

正式表達 constituent role 的 context dependence。

因此本文提出：

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

作為最低 Fiber Information Object。

一句話總結：

$$
\boxed{
\textbf{A constituent need not carry freedom alone; freedom may exist only in a cooperative closure.}
}
$$

中文：

> **一個構成元不必單獨承載自由；自由可以只存在於多個構成元共同完成的閉合關係中。**

---

# Appendix A. 核心定義

Minimal generator：

$$
G\in\mathcal G_q.
$$

Binary freedom：

$$
V_q(A)
=
\mathbf 1[
\exists G\subseteq A].
$$

Aperture capacity：

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

Möbius interaction：

$$
m_f(B)
=
\sum_{A\subseteq B}
(-1)^{|B|-|A|}
f(A).
$$

Latent potential：

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

Local closure gradient：

$$
\lambda_i(A)
=
d_q(A)-d_q(A\cup\{i\}).
$$

Fiber information object：

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

---

# Appendix B. Formal Status

**解析定理：**

- Theorem 3.1；
- Lemma 6.1；
- Theorem 7.1；
- Corollary 7.2；
- Theorem 8.1；
- Proposition 9.1；
- Theorem 11.1；
- Theorem 14.1；
- Theorem 15.1；
- Theorem 16.1；
- Proposition 20.1。

**Exact computational evidence：**

- E3 全部 $2^{12}=4096$ subsets；
- E4 三模型各 $4096$ subsets；
- straight / zigzag separated exact equivalence；
- zigzag-coupled generator change；
- Shapley / Möbius / latent-field audits。

**尚未宣稱：**

- generator hypergraph 是所有空間問題的 universal canonical object；
- continuum physical fiber ontology；
- general curved-space theorem；
- arbitrary non-monotone freedom game reduction。
