# HFMU-012｜Obligation Geometry 與 Delayed Distinguishability

## 0. 這輪真正新增的問題

HFMU-011 得到：

$$
D_{\mathrm{eff}}(\mathcal O)
=
|X/{\sim_{\mathcal O}}|
$$

會隨 obligation 增強而單調不減。

但 HFMU-011 的 world 太乾淨：

> 很多 distinction 在「現在」就已經看得出來。

HFMU-012 故意加入：

$$
\boxed{
\text{現在看起來相同，但未來 action probe 後才分裂的 states}
}
$$

並且不再只跑一條 obligation ladder。

六個 obligation 的全部：

$$
2^6=64
$$

個子集合全部掃描。

**作者：** Neo.K  
**機構：** EveMissLab／一言諾科技有限公司  
**日期：** 2026-10-07（整理日期；原稿未標註日期）  
**版本：** 原稿未標註（本次整理版）  

---

# 1. 固定世界

狀態空間：

$$
X=\mathbb F_2^5,
\qquad
|X|=32.
$$

有四個 action：

- $R$：循環前三個 bit；
- $S$：交換後兩個 bit；
- $T$：翻轉 $b_0$ ；
- $U$：翻轉 $b_3$。

從：

$$
00000
$$

出發，32 states 全部可達。

六個 obligation 是線性 predicate：

$$
q_1=b_0,
$$

$$
q_2=b_0\oplus b_1,
$$

$$
q_3=b_0\oplus b_1\oplus b_2,
$$

$$
q_4=b_3,
$$

$$
q_5=b_3\oplus b_4,
$$

$$
q_6=b_0\oplus b_3.
$$

---

# 2. 「現在的 rank」和「未來的 rank」不是同一件事

若只看當下 predicate：

$$
I(\mathcal O)
=
\dim\operatorname{span}(\mathcal O).
$$

但 predictive obligation 必須考慮：

> predicate 經過所有未來 action pullback 後，還能看到哪些方向？

因此定義：

$$
\boxed{
W_{\mathcal O}
=
\operatorname{span}_{\mathbb F_2}
\{
P\circ w:
P\in\mathcal O,\;
w\in A^*
\}.
}
$$

然後：

$$
\boxed{
r(\mathcal O)
=
\dim W_{\mathcal O}.
}
$$

有效狀態數：

$$
\boxed{
D_{\mathrm{eff}}(\mathcal O)
=
2^{r(\mathcal O)}.
}
$$

本輪 64 個 obligation subsets 中，exact partition refinement 與這個線性 certificate：

$$
2^{\dim W_{\mathcal O}}
$$

**64/64 全部一致。**

---

# 3. 單一 obligation 已經能展示 delayed distinguishability

六個 singleton：

| Obligation | 當下 bits | Predictive bits | 當下 classes | Predictive classes |
|---|---:|---:|---:|---:|
| $q_1$ | 1 | 3 | 2 | 8 |
| $q_2$ | 1 | 2 | 2 | 4 |
| $q_3$ | 1 | 1 | 2 | 2 |
| $q_4$ | 1 | 2 | 2 | 4 |
| $q_5$ | 1 | 1 | 2 | 2 |
| $q_6$ | 1 | 4 | 2 | 16 |

最誇張的是：

$$
q_6=b_0\oplus b_3.
$$

現在只提供：

$$
1
$$

bit。

但讓 future actions 作用後，

它的 orbit span 有：

$$
4
$$

個獨立 bit。

因此：

$$
\boxed{
2\text{ current classes}
\rightarrow
16\text{ predictive classes}.
}
$$

這直接證明：

$$
\boxed{
\text{present observational equality}
\neq
\text{future predictive equality}.
}
$$

---

# 4. 延遲可區分性的實際 witness

本輪找到四個 singleton obligation 具有真正的 delayed split：

$$
q_1,\ q_2,\ q_4,\ q_6.
$$

例如兩個 states 現在對 $q_1$ 都輸出相同值，

但經過：

$$
RR
$$

後，

 $q_1$ 讀到原本另一個 bit，

兩者立即分裂。

所以 equivalence relation 不能只用：

$$
P(x)=P(y)
$$

定義。

必須用：

$$
\boxed{
\forall w\in A^*:
P(w\cdot x)=P(w\cdot y).
}
$$

---

# 5. 64 個 obligation subsets 最後只有 13 種真正不同的 predictive geometry

原始 obligation powerset：

$$
|\mathcal P(Q)|=64.
$$

但定義 closure：

$$
\operatorname{cl}(\mathcal O)
=
\{
q:
r(\mathcal O\cup\{q\})
=
r(\mathcal O)
\}.
$$

兩個 obligation sets 若 closure 相同，

代表它們產生同一 predictive span。

結果：

$$
\boxed{
64
\rightarrow
13
}
$$

個 closed obligation geometries。

也就是 obligation 本身也可以被再次 quotient。

---

# 6. Rank distribution

64 subsets 的 predictive rank：

| Rank | Obligation subsets |
|---:|---:|
| 0 | 1 |
| 1 | 2 |
| 2 | 4 |
| 3 | 8 |
| 4 | 11 |
| 5 | 38 |

其中：

$$
38
$$

個不同 obligation sets 都已足以恢復完整：

$$
D_{\mathrm{eff}}=32.
$$

也就是一旦 obligation family 足夠強，

更多 predicate 很可能只是冗餘描述。

---

# 7. 最小 full-rank obligation bases

能達到：

$$
r=5
$$

而且拿掉任何一個成員就降 rank 的 minimal families 有五組：

$$
\{q_1,q_4\},
$$

$$
\{q_1,q_6\},
$$

$$
\{q_3,q_6\},
$$

$$
\{q_4,q_6\},
$$

$$
\{q_2,q_3,q_4\}.
$$

這裡已經出現一件非常不像普通「predicate 數量」的事：

有的 basis 只需要：

$$
2
$$

個 obligation，

有的需要：

$$
3.
$$

但都生成同一個：

$$
5
$$

bit predictive world。

---

# 8. 次模性：2080 對全部通過

定義：

$$
r(\mathcal O)
=
\dim W_{\mathcal O}.
$$

對所有 unordered pairs：

$$
(\mathcal A,\mathcal B)
$$

共：

$$
2080
$$

對，檢查：

$$
r(\mathcal A)+r(\mathcal B)
\ge
r(\mathcal A\cup\mathcal B)
+
r(\mathcal A\cap\mathcal B).
$$

結果：

$$
\boxed{
0\text{ violations}.
}
$$

slack 分布：

| Slack | Pair 數 |
|---:|---:|
| 0 | 1166 |
| 1 | 384 |
| 2 | 288 |
| 3 | 164 |
| 4 | 66 |
| 5 | 12 |

因此在這個 universe：

$$
\boxed{
r
\text{ 是 normalized、monotone、integer-valued、submodular rank function}.
}
$$

---

# 9. 但它不是 matroid rank

這裡很重要。

matroid rank 對 singleton 必須：

$$
r(\{q\})\le1.
$$

但本輪：

$$
r(\{q_1\})=3,
$$

$$
r(\{q_6\})=4.
$$

因為一個 obligation 經 future action orbit 可以生成多個獨立 predictive directions。

所以 obligation labels 上的 $r$ 更準確是：

$$
\boxed{
\text{integral polymatroid rank}.
}
$$

不是普通 matroid rank。

這讓「Obligation Geometry」第一次有了一個很具體的數學類型。

---

# 10. Join 很乾淨，但 meet 沒那麼乾淨

對 obligation union：

$$
\boxed{
W_{\mathcal A\cup\mathcal B}
=
W_{\mathcal A}
+
W_{\mathcal B}.
}
$$

所以 join 直接對應 subspace span。

但：

$$
W_{\mathcal A\cap\mathcal B}
$$

不一定等於：

$$
W_{\mathcal A}\cap W_{\mathcal B}.
$$

2080 對裡：

- 等號成立：1166；
- 嚴格不等：914。

也就是：

$$
\boxed{
W_{\mathcal A\cap\mathcal B}
\subsetneq
W_{\mathcal A}\cap W_{\mathcal B}
}
$$

在大量 pairs 中發生。

原因是：

> 兩組不同 obligation 可以透過 dynamics 產生相同 predictive directions，即使那些 directions 並不來自兩組 obligation 的字面交集。

這也正是 submodularity slack 的來源。

---

# 11. 這開始真的可以叫 Obligation Geometry

HFMU-011 的直線 ladder：

$$
\mathcal O_0
\subseteq
\mathcal O_1
\subseteq
\cdots
$$

現在擴張成完整 lattice。

而每個 obligation family 不只是對應一個數字，

而是對應一個 predictive subspace：

$$
\boxed{
\mathcal O
\mapsto
W_{\mathcal O}
\subseteq
X^*.
}
$$

再對應 effective quotient：

$$
\boxed{
X_{\mathcal O}
=
X/\operatorname{Ann}(W_{\mathcal O}).
}
$$

所以我們現在有三層：

$$
\boxed{
\mathcal O
\rightarrow
W_{\mathcal O}
\rightarrow
X_{\mathcal O}.
}
$$

這非常接近一個真正可以繼續發展的數學框架。

---

# 12. 對 Distinction Economy 的更新

以前我們說：

> 保留 future-relevant distinctions。

現在可以更精確：

$$
\boxed{
\text{future-relevant distinction space}
=
W_{\mathcal O}.
}
$$

其 annihilator：

$$
\operatorname{Ann}(W_{\mathcal O})
$$

正是可以安全商掉的 hidden directions。

所以：

$$
\boxed{
\text{Distinction Economy}
=
\text{保留 }W_{\mathcal O},
\text{ 商掉 }\operatorname{Ann}(W_{\mathcal O}).
}
$$

這比「壓縮」兩個字精確得多。

---

# 13. 下一輪反而應該找它會不會失敗

HFMU-012 在線性：

$$
\mathbb F_2^5
$$

世界中得到非常漂亮的 polymatroid。

但這很可能 partly 是 linear algebra 給我們的禮物。

所以 HFMU-013 不應該繼續證明它。

應該故意換成：

- nonlinear dynamics；
- context-dependent predicates；
- history-sensitive obligations；
- non-deterministic transition；
- non-compositional proof obligation。

然後問：

$$
\boxed{
r(\mathcal O)
\text{ 還 submodular 嗎？}
}
$$

如果失敗，

我們就知道 Obligation Geometry 的 rank 結構需要什麼條件。

如果仍大量成立，

那才值得把它升級成更一般的猜想。