# HFMU-002 第一脈衝結構摘要

本摘要位於實驗流之外。

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

## 控制目的

HFMU-002 將 HFMU-001 的語義對齊 opcode 改成與中文字面意思無關的漢字：

`雨 山 門 石 火 木 風 水 日 月 田 川 金`

因此本輪首先測的是：

$$
\boxed{\text{formal behavior invariant under Chinese-glyph permutation?}}
$$

而不是再次宣稱「獨立發現底空間」。

## 60-state 結果

prefix grammar：

$$
60/60
$$

通過。

其中可由本次最小 beta/eta + definition normalizer 直接驗證的 derivation state：

$$
31
$$

個。

其餘：

$$
10
$$

個 derivation state 涉及 implication、existential witness、predicate-level reasoning 或需要更完整 proof system，因此被保留為 proof debt，而非假裝已形式證成。

## 本輪生成的高階形式

本輪採取與 HFMU-001 不同的路徑：

1. identity-like operator；
2. constant operator；
3. composition；
4. self-composition；
5. pair encoding；
6. two projection-like observations；
7. canonical reconstruction；
8. reconstruction fixed predicate；
9. reconstruction image predicate；
10. swap-like involution；
11. double-swap collapse to canonical reconstruction；
12. global idempotence of the canonicalizer。

核心可機器驗證結構包括：

$$
C(C(x))=C(x),
$$

以及：

$$
C\circ C=C.
$$

此外，在 predicate layer 上，本輪明示了 fixed-core 與 image-core 的雙向 implication：

$$
\operatorname{Fix}(C)
\leftrightarrow
\operatorname{Im}(C),
$$

但該層目前仍保留在 logical proof debt 中，未由最小 lambda normalizer 單獨認證。

## 與 HFMU-001 的比較

HFMU-001 最後也形成：

$$
N\circ N=N
$$

與 fixed/image 對應。

HFMU-002 在完全不同漢字 opcode 下，又構造出同型結構。

但因為兩輪由同一個已知曉前一輪結果的生成器完成，所以目前只能得到：

$$
\boxed{\text{glyph semantics are not required for carrying the formal structure.}}
$$

不能得到：

$$
\boxed{\text{independent structural recurrence has been proven.}}
$$

## 下一步

真正更強的 HFMU-003 應把 mapping 隱藏：

- parser 持有 mapping；
- generator 只看到 opaque grammar examples；
- fresh model / fresh context；
- 評估器最後才解碼；
- target names 全部禁止。

那才開始接近真正的 blind carrier experiment。