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

實驗問題

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

HFMU-005 再拿掉一層：

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

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

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

三者都在 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，才會得到更深的證據。