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 結構需要什麼條件。

如果仍大量成立，

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