# HFMU-005｜跨 Calculus 無目標閉包實驗

## 實驗問題

HFMU-001～004 已逐步排除中文字義、固定 glyph mapping 與 target-directed 生成路徑。

HFMU-005 再拿掉一層：

$$
\boxed{
\text{不再固定同一個底層 calculus。}
}
$$

本輪同時跑三個 target-free universe：

1. 關係式宇宙；
2. 有限狀態變換宇宙；
3. 可逆圖重寫宇宙。

三者都在 60-state trace 凍結後才掃描 idempotence。

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

---

## U-R｜關係式宇宙

底層對象：

$$
R\subseteq X\times X,
\qquad
|X|=3.
$$

操作：

$$
\cup,
\quad
R^{-1},
\quad
\circ.
$$

正式 60 態：

- idempotent：13；
- 非 trivial idempotent：12。

完整 closure：

$$
|\mathcal C_R|
=
512.
$$

其中：

- idempotent：123；
- 非 trivial idempotent：121。

---

## U-F｜有限狀態變換宇宙

對象為：

$$
f:X\to X,
\qquad
|X|=4.
$$

只使用函數組合，primitive 同時含 reversible 與 irreversible transformation。

正式 60 態：

- idempotent：11；
- 非 trivial idempotent：8。

完整 transformation semigroup：

$$
|\mathcal C_F|
=
180.
$$

其中：

- idempotent：33；
- 非 trivial idempotent：28。

---

## U-G｜可逆圖重寫宇宙

狀態為四個 labeled vertices 的 simple graph，共：

$$
2^6=64
$$

種圖。

primitive rewrite 全部可逆。

正式 60 態：

- idempotent：1；
- 非 trivial idempotent：0。

完整 closure：

$$
|\mathcal G|
=
1536.
$$

完整 closure 中：

$$
\boxed{
\text{nontrivial idempotent}
=
0
}
$$

只有 identity 可以滿足：

$$
g^2=g.
$$

---

# 核心結果

這一輪第一次得到一個反向結果：

$$
\boxed{
\text{冪等並不是換任何 calculus 都會大量自己出現。}
}
$$

關係式與有限狀態 universe 都允許不可逆／壓縮操作，因此非平凡冪等存在。

可逆 graph universe 則形成 group-like closure。

在 group 中：

$$
g^2=g
$$

左乘：

$$
g^{-1}
$$

得到：

$$
g=e.
$$

所以只有 identity idempotent。

另一方面，有限 semigroup 中元素的 powers 最終進入有限週期，因此 idempotent element 是自然的穩定代數現象。

目前比「數學底空間必然長出冪等」更好的解釋是：

$$
\boxed{
\text{finiteness}
+
\text{composition}
+
\text{noninvertibility / compression}
\Longrightarrow
\text{idempotent recurrence becomes natural}.
}
$$

這是一個很重要的降階。

原 SREG 001–018 裡反覆看到的：

$$
P^2\simeq P
$$

可能不是某個神秘終極不動點直接露頭，而是因為系統長期在做：

- 壓縮；
- quotient；
- observation；
- normalization；
- reconstruction；
- closure。

這些本身都是高度非可逆的操作。

因此 idempotence 目前更合理地解讀成：

$$
\boxed{
\text{不可逆壓縮動力學的穩定代數結果。}
}
$$

---

# 對 SREG 底空間假說的修正

這不是削弱 SREG。

反而把問題推得更低一層。

真正值得問的從：

> 為什麼一直看到冪等？

變成：

> 為什麼長程數學生成這麼容易產生不可逆壓縮、quotient、normalization 與 reconstruction？

也就是：

$$
\boxed{
\text{idempotence}
\leftarrow
\text{compression / information loss / quotient / stabilization}.
}
$$

下一步 HFMU-006 應直接拆：

$$
\boxed{
\text{有限性}
}
$$

與：

$$
\boxed{
\text{組合閉包}
}
$$

這兩個條件。

若在 growing / infinite-state 或非 composition-first calculus 中仍反覆形成類似 stabilization，才會得到更深的證據。