# HFMU-011｜Obligation-Relative State Space

## 0. 這次不換世界，只換「必須保持什麼」

前面幾輪一直在改 carrier、calculus、compression method 與 representation language。

HFMU-011 全部固定。

同一個 hidden world：

$$
|X|=32.
$$

同一組五個 action。

唯一改變：

$$
\boxed{
\mathcal O
=
\text{必須保持正確的 obligation family}
}
$$

問題變成：

> 同一個世界，如果研究者需要保持的真理不同，它所需要的「有效狀態空間」是不是也不同？

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

---

# 1. 精確定義

給定 obligation family：

$$
\mathcal O
=
\{P_1,\ldots,P_k\},
$$

定義：

$$
x\sim_{\mathcal O} y
$$

當且僅當：

$$
\forall w\in A^*,
\forall P\in\mathcal O,
\quad
P(w\cdot x)
=
P(w\cdot y).
$$

因此有效世界定義為：

$$
\boxed{
X_{\mathcal O}
=
X/{\sim_{\mathcal O}}.
}
$$

並令：

$$
D_{\mathrm{eff}}(\mathcal O)
=
|X_{\mathcal O}|.
$$

以及：

$$
B_{\mathrm{eff}}(\mathcal O)
=
\log_2 D_{\mathrm{eff}}(\mathcal O).
$$

---

# 2. Obligation ladder

| Level | Obligation 數 | 最小 predictive states | Effective bits |
|---|---:|---:|---:|
| O0 | 0 | 1 | 0 |
| O1 | 1 | 2 | 1 |
| O2 | 2 | 4 | 2 |
| O3 | 3 | 4 | 2 |
| O4 | 4 | 8 | 3 |
| O5 | 5 | 16 | 4 |
| O6 | 6 | 16 | 4 |
| O7 | 7 | 32 | 5 |

所以：

$$
\boxed{
1
\rightarrow
2
\rightarrow
4
\rightarrow
4
\rightarrow
8
\rightarrow
16
\rightarrow
16
\rightarrow
32
}
$$

對應 effective bits：

$$
\boxed{
0
\rightarrow
1
\rightarrow
2
\rightarrow
2
\rightarrow
3
\rightarrow
4
\rightarrow
4
\rightarrow
5.
}
$$

---

# 3. Obligation 數量不是 dimension

O2：

$$
\{q_1,q_2\}
$$

需要：

$$
4
$$

個 predictive states。

加入：

$$
q_3
$$

後，O3 仍然：

$$
\boxed{
4.
}
$$

因為：

$$
q_1=b_0\oplus b_1,
$$

$$
q_2=b_0,
$$

所以：

$$
q_3=b_1
=
q_1\oplus q_2.
$$

同樣，O5→O6 加入 $q_6$，dimension 仍是 $16$。

因此：

$$
\boxed{
\text{obligation count}
\neq
\text{effective dimension}.
}
$$

真正決定 dimension 的是：

$$
\boxed{
\text{independent future-relevant distinctions}.
}
$$

---

# 4. 精確單調性

若：

$$
\mathcal O_1
\subseteq
\mathcal O_2,
$$

那麼：

$$
\sim_{\mathcal O_2}
\subseteq
\sim_{\mathcal O_1}.
$$

因此：

$$
\boxed{
D_{\mathrm{eff}}(\mathcal O_1)
\le
D_{\mathrm{eff}}(\mathcal O_2).
}
$$

這不是本輪數字的巧合，而是由定義直接推出。

更強 obligation 只能讓有效世界保持原解析度或變得更細。

---

# 5. 相對，但不是任意

latent world 永遠有 32 states。

但 O0 下：

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

O7 下：

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

所以：

$$
\boxed{
\text{effective object identity depends on what invariants must be preserved}.
}
$$

但這不是「想怎麼看就怎麼看」。

一旦：

$$
(\text{world},\text{actions},\mathcal O)
$$

固定，最小 predictive quotient 就被客觀決定。

因此它是：

$$
\boxed{
\text{relative but objective}.
}
$$

---

# 6. Distinction Economy 的完整形式

HFMU-008～010 問：

> 哪些 distinction 對 prediction 真正必要？

HFMU-011 補上：

> 「必要」相對於什麼？

答案是：

$$
\boxed{
\mathcal O.
}
$$

因此 Distinction Economy 可以寫成：

$$
\boxed{
\text{保留所有對 }\mathcal O\text{ 必要的 distinctions，商掉其餘 distinctions}.
}
$$

也就是：

$$
X
\longrightarrow
X/{\sim_{\mathcal O}}.
$$

---

# 7. 對數學物件的含義

如果兩個形式 object：

$$
x,y
$$

在某組 theorem / observation / proof obligations 下永遠無法區分，

那麼：

$$
x\sim_{\mathcal O}y.
$$

對該研究目的，它們可以被當成同一 effective object。

但換一組更強 obligation：

$$
\mathcal O'
\supset\mathcal O,
$$

它們可能重新裂開：

$$
x\not\sim_{\mathcal O'}y.
$$

因此：

$$
\boxed{
\operatorname{Object}_{\mathcal O}
=
\text{equivalence class under preserved obligations}.
}
$$

---

# 8. 對「底空間」假說的修正

最早問的是：

> 是否存在單一固定數學底空間？

現在更像可能存在一族：

$$
\boxed{
\{\mathcal B_{\mathcal O}\}_{\mathcal O}.
}
$$

或：

$$
\boxed{
X_{\mathcal O}
=
X/{\sim_{\mathcal O}}.
}
$$

如果：

$$
\mathcal O_1\subseteq\mathcal O_2,
$$

自然得到 refinement / forgetting map：

$$
X_{\mathcal O_2}
\to
X_{\mathcal O_1}.
$$

因此更可能形成：

$$
\boxed{
\text{obligation-indexed hierarchy of effective state spaces}.
}
$$

---

# 9. Plateau 可以定義新的 rank 概念

本輪：

$$
O2\to O3
$$

與：

$$
O5\to O6
$$

都增加 obligation，卻沒有增加 dimension。

因此一個新 predicate $P$ 只有在：

$$
D_{\mathrm{eff}}(\mathcal O\cup\{P\})
>
D_{\mathrm{eff}}(\mathcal O)
$$

時，才真的增加有效世界解析度。

可以暫時稱為：

$$
\boxed{
\text{Obligation Independence}.
}
$$

而：

$$
\log_2D_{\mathrm{eff}}
$$

在本輪得到：

$$
0,1,2,2,3,4,4,5.
$$

這不像 obligation 數量，而更像一個 predictive distinction rank。

---

# 10. 下一步

HFMU-012 應該不再只做一條 nested ladder。

直接研究：

$$
\boxed{
\text{Obligation Lattice}.
}
$$

把不同 obligation families 放進偏序：

$$
\mathcal O_i\subseteq\mathcal O_j.
$$

然後測：

- meet / join 對 effective quotient 的作用；
- 哪些 obligation 彼此獨立；
- 哪些是冗餘；
- 是否存在最小 generating obligation basis；
- predictive dimension 是否有 submodularity；
- 是否能形成 rank-like structure。

如果真的可以，

Distinction Economy 就會自然推到：

$$
\boxed{
\text{Obligation Geometry}.
}
$$