title: X 階過程變化束論｜第三篇：動態不變量與過程等價——觀測纖維、行為分歧與階次相容
english_title: X-Order Process Variation Bundle Theory III: Dynamic Invariants and Process Equivalence — Observational Fibres, Behavioural Divergence, and Order-Compatible Transport
series: X 階過程變化束論
series_english: X-Order Process Variation Bundle Theory
series_short: XPVB
paper_id: XPVB-03
version: v0.1
date: 2026-11-03
author: Neo.K（原始研究構想、變與不變之運算方向）／GPT-6（形式重建、條件命題、反例、實驗與原稿）
affiliation: EveMissLab／一言諾科技有限公司
language: zh-TW
status: RESEARCH DRAFT — FINITE FORMAL COUNTEREXAMPLES; CONDITIONAL RESULTS; GENERAL X-ORDER THEORY OPEN
predecessors: XPVB-01 v0.1; XPVB-02 v0.1
canonical_source: UTF-8; LF; no BOM
canonical_math_delimiters: $...$ and $$...$$ only
external_peer_review: NOT PEER REVIEWED
reference_implementation: Python 3.10+ standard library

X 階過程變化束論

第三篇：動態不變量與過程等價——觀測纖維、行為分歧與階次相容

XPVB-03｜v0.1｜2026-11-03

研究定位： 本篇繼承 XPVB-01 的底空間與過程束，並繼承 XPVB-02 對「合法生成邊」「旁向證據連結」「投影後繼閉合」的分型。研究問題不是證明 $1$ 在一般算術中有特殊的隱藏結構，而是：在明示底空間、作用與觀測政策後，哪些性質沿運算過程保持不變？哪些相同的可見結果其實不能被視為相同過程？什麼程度的等價，才容許在下一輪生成中安全地替代？

證據標記： [DEF] 工作性定義；[PROP] 條件性數學命題；[PROOF] 對其前提的證明；[COUNTER] 反例；[DEMO] 可重播的有限合成實驗；[OPEN] 尚未獲證之一般化義務。文中提及雙模擬、軌跡等價及分割精化時，均承認其已有成熟的數學與理論電腦科學文獻，並不將此等既有概念宣稱為 XPVB 原創。

作者： Neo.K（原始研究構想、變與不變之運算方向）／GPT-6（形式重建、條件命題、反例、實驗與原稿）
機構： EveMissLab／一言諾科技有限公司
日期： 2026-11-03
版本： v0.1
原稿狀態： RESEARCH DRAFT — FINITE FORMAL COUNTEREXAMPLES; CONDITIONAL RESULTS; GENERAL X-ORDER THEORY OPEN

摘要

對於過程生成系統， $q(s)=1$ 的不變性與整個可能性束的形態、來源、後繼選項及運算規則不變，是不同的數學命題。XPVB-01 將結果與過程分型，XPVB-02 使跨分支證據連結具有合法性判準；然而仍未釐清：「相同」在一個持續生成的系統中究竟意味著什麼，以及哪種等價關係足以支援過程壓縮與下一輪再生。

本文提出分型的等價階梯與動態不變量接口。在指定規則版本與觀測語言下，區分終端數值等價、有限觀測未來等價、強雙模擬等價、來源身份等價與具型別的束結構同構；其中部分關係彼此可推出，部分則不可比較。本文並將「動態不變」界定為可檢查的作用保持條件，而不是直觀上「所有東西都不變」。在觀測投影改版時，引入明示的傳輸映射，避免將不同版本顯示出的同一符號偷當成相同語義。

在有限標記轉移系統中，本文建立五個核心結論：一、每條合法可達邊保存某個不變量，則所有有限合法歷程均保存該不變量；二、相同數值投影不推出相同可觀測後繼；三、觀測未來等價隨觀測深度增長可以被拆開；四、強雙模擬推出所有有限可觀測動作字的相等，但逆命題不成立；五、同一數值投影纖維上的有標籤後繼集合若且唯若處處一致，該投影的核關係在此有限系統內形成強雙模擬。此處「若且唯若」只針對文中指定的完整有限狀態域與單一版本，不擴張為未指定的 X 階普遍定理。

附屬實驗沿用 XPVB-02 的精確分數宏觀操作，重播四輪可能性展開：累積 $193$ 個節點、 $192$ 條宏觀轉移，所有宏觀邊界數值投影皆為 $1$ ，相位卻在 $143$ 條邊上變動。另構造具有相同所有有限動作字、但不具強雙模擬的兩個分支系統；以及在深度 $2$ 尚無法區分、到深度 $3$ 才出現分歧的兩個系統。兩組實驗共同展示：等價必須標示觀測語言、視野深度、運算規則與來源責任，不能由終端數值單獨決定。本文原型以 Python 標準函式庫實作，新增 $53$ 項局部測試，並重播 XPVB-02 的 $38$ 項回歸測試，合計 $91$ 項通過；其驗證範圍仍是有限、人工指定的形式合約。

關鍵詞： X 階過程變化束、動態不變量、觀測投影、等價階梯、標記轉移系統、強雙模擬、有限觀測未來、歷程來源、分割精化、投影閉合、規則改版、相容傳輸、結果—過程非同一。

0. 承接問題：究竟哪一個東西「不變」？

0.1 [DEF 0.1] 三個承接中的物件

依 XPVB-01，取底空間

B_t=(S_t,A_t,R_t,K_t,Q_t,H_t,V_t),

及可能性束

W_t=(\Gamma_t,L_t,C_t,P_t,M_t).

其中 $S_t$ 是狀態域， $A_t$ 是作用標籤， $R_t$ 是規則， $K_t$ 是約束， $Q_t$ 是觀測族， $H_t$ 是來源記錄， $V_t$ 是版本； $\Gamma_t$ 為可重播的歷程集合， $L_t$ 為已形成的作用邊， $C_t$ 為有型別的旁向關係， $P_t$ 是歷程來源依賴， $M_t$ 是本研究所需的附加元資料。各欄位的具體實作須遵循其宣告型別；此處不假設每個數學結構都能無損嵌入同一有限元組。

令一次有型別的過程運算為部分作用

\mathcal P^{(X)}_t:(B_t,W_t)\rightharpoonup(B_{t+1},W_{t+1}).

這裡的 $X$ 不是自然數型的步數別名；它代表研究者指定的作用層級或分型。例如對單狀態的作用、對整個過程束的作用、對規則自身的作用，均可能是不同型別的 $X$ 階操作。不同階次之間的合法提升需要另有形成規則，不可因符號相似便自動交換或升階。

0.2 [DEF 0.2] 三種不同的不變

在指定作用 $e:s\to s'$ 與可觀測投影 $q:S\to O$ 下：

觀測不變： $q(s')=q(s)$ ；例如在宏觀邊界始終得到數值 $1$ 。
結構不變： 某個明定的結構量 $I_{\mathrm{str}}(B,W)$ 保持，例如某種連結型別數、規則簽名或群聚形態；此條件不由觀測不變自動得到。
能力不變： 在某個觀測語言與合法規則下，後續可能的行為或可達域保持同一等價類；此條件通常強於單點數值不變。

因此即使

q(s_{t+1})=q(s_t)=1,

也不要求

(B_{t+1},W_{t+1})=(B_t,W_t).

這是「變與不變並行」在本篇的可運算解釋：不同層次的判定並不互斥，亦不彼此取消。

0.3 禁止將成本重新放回理論中心

計算成本是某一實作的額外觀察，而非 XPVB 的基礎定義。若直接以常數摺疊返回 $1$ ，與逐次展開所有可能性束，兩種演算法的運算成本可以不同；但可能性束的數學結構仍必須首先由狀態、作用、合法性與觀測條件定義。沒有指定機器模型與演算法，不宣稱任一數學式具有唯一的實際成本。

1. 不變量是有型別、有作用域的保存條件

1.1 [DEF 1.1] 單步不變量與歷程不變量

固定版本 $v$ ，令 $\mathcal T_v=(S_v,A_v,\to_v)$ 為標記轉移系統。給定 $I:S_v\to K$ ，其在邊集合 $E$ 上的不變性為

\forall(s,a,s')\in E,\qquad I(s)=I(s').

此定義依賴合法邊的選擇。若 $E$ 只包括某次枚舉得到的前沿邊，結論僅是局部檢查；若要宣稱對所有可能執行都成立，必須證明它涵蓋全部可達合法邊，或以歸納不變量對全域轉移規則作證。

設 $\tau=(s_0,a_1,s_1,\ldots,a_n,s_n)$ 是合法有限歷程。若上述保存條件對歷程每一邊成立，就得到

I(s_0)=I(s_1)=\cdots=I(s_n).

不變性不要求該歷程停止，也不要求可能性集合有限。 但目前的參考程式只能實測有限歷程，不能以測試數量代替無界證明。

1.2 [PROP 1.2] 合法有限歷程的保存命題

條件。 固定合法轉移規則 $R_v$ 與初態 $s_0$ 。對所有從 $s_0$ 可達的合法邊 $s\xrightarrow{a}s'$ ，皆有 $I(s')=I(s)$ 。

結論。 對任意有限合法歷程 $\tau$ ，末端不變量等於初端不變量。

[PROOF] 對歷程長度 $n$ 歸納。 $n=0$ 時同一狀態，命題成立。設長度 $n$ 成立；對長度 $n+1$ 的歷程，前 $n$ 邊由歸納假設得 $I(s_n)=I(s_0)$ ，末邊由單步假設得 $I(s_{n+1})=I(s_n)$ ，故結論成立。證畢。

限定。 此命題並非 XPVB 首創，它是轉移系統不變量歸納法的基本特例。XPVB 的研究用途是把此判定連結到多分支生成、底空間再生與觀測投影，而非重命名既有歸納法。

1.3 [DEF 1.3] 作用於整個束的動態不變量

對束性質 $J$ ，令

J_t=J(B_t,W_t).

若 $\mathcal P_t^{(X)}$ 已合法形成，可研究

J(B_{t+1},W_{t+1})=J(B_t,W_t).

例如「所有合法宏觀終端都投影為 $1$ 」是一種全稱束性質；「束中有多少條不同來源歷程」「有多少旁向證據連結」「新規則允許多少後繼」則是其他型別的束性質。前者不變不推出後三者不變。

1.4 [COUNTER 1.4] 宏觀邊界恆為 1，不表示微觀每步皆為 1

令宏觀方案

1\xrightarrow{+1}2\xrightarrow{-1}1.

宏觀邊界投影從 $1$ 返回 $1$ ，但中途數值為 $2$ 。因此聲稱「每個宏觀作用前後 $q=1$ 」不能未經聲明就強化成「宏觀方案內全部微步 $q=1$ 」。此區分對動態渲染尤其重要：播放器需要標示目前展示的是宏觀邊界還是微步內部，否則同一個不變量檢查很容易被錯用。

2. 觀測語言與分型的過程等價

2.1 [DEF 2.1] 指定版本的觀測轉移系統

在一個固定版本 $v$ 中，取有限或適當定義的標記轉移系統

\mathcal T_v=(S_v,A_v,\to_v,q_v,p_v),

其中 $q_v:S_v\to O_v$ 為觀測投影， $p_v:S_v\to H_v$ 為來源身份或可重播來源索引。本文不假設 $p_v$ 是觀測投影的一部分；有些等價關係故意不看來源，但分析時保留來源與合併執行對象是兩件不同的事。

任意「等價」主張都要說明其所依據的 $A_v$ 、 $q_v$ 、 $v$ 、觀測深度與形成契約。若跨版本比較，必須先有合法的跨版本轉譯，不能直接讓不同語義的同名操作被視為相同標籤。

2.2 [DEF 2.2] 終端觀測等價

對兩個狀態 $s,t\in S_v$ ：

s\equiv_q t \quad\Longleftrightarrow\quad q_v(s)=q_v(t).

這是最弱且常用的觀測比較。即使 $q_v$ 是常數函數，它仍是一個合法等價關係；只是它不能區分任何狀態。若研究目標需要判定下一步生成能力，常數投影通常太粗。

2.3 [DEF 2.3] 有界觀測未來等價

令 $\mathsf{Fw}_{q,h}(s)$ 表示從 $s$ 出發、長度不超過 $h$ 的全部有限可觀測動作字：每個字的單步字母是「作用標籤、到達狀態觀測值」的有序對，並包含空字。由此定義

s\equiv_{q,h}t \quad\Longleftrightarrow\quad q_v(s)=q_v(t) \land \mathsf{Fw}_{q,h}(s)=\mathsf{Fw}_{q,h}(t).

此等價比較的是可觀測的字集合，不是每條路徑的來源身份，也不是每個中間分支的拓撲。它容許非決定性分支，但不保留同一動作字可以經幾種不同歷程實現的重數；本篇不把這種有界字集合誤稱為完整的過程束。

2.4 [DEF 2.4] 強雙模擬等價

若關係 $\mathcal R\subseteq S_v\times S_v$ 滿足，對每一 $(s,t)\in\mathcal R$ ：

q_v(s)=q_v(t),

以及對每條 $s\xrightarrow{a}s'$ ，存在 $t\xrightarrow{a}t'$ 且 $(s',t')\in\mathcal R$ ；反向亦成立，則 $\mathcal R$ 是本篇觀測語言下的強雙模擬。若有這樣的關係包含 $(s,t)$ ，寫作

s\sim_{q,v}t.

動作標籤必須精確匹配；本文不定義不可見 $\tau$ 作用的弱雙模擬，也不涵蓋機率轉移、連續時間及外部未聲明干預。

2.5 [DEF 2.5] 來源身份等價與型別相容

兩段歷程的來源識別相同，應當意味著其完整來源鏈在同一版本及同一驗證規則下可以重播。單純文字相同的 source_id、雜湊值或結果標籤，並不自動創造可信身份。有限原型要求各狀態有明確且無碰撞的來源識別，並對 XPVB-02 對象沿用完整微事件重播。

來源不同的兩條歷程即使行為等價，也不應在研究原始資料中默默刪除其一。反過來，只有在來源記錄足夠完整且驗證通過的條件下，同一來源才可以承擔同一形成歷程的聲明。

2.6 不是一條單一的「相等強弱排行」

在同一觀測語言與同一規則版本下，有

s\sim_{q,v}t\Longrightarrow s\equiv_{q,h}t \Longrightarrow s\equiv_q t

對每個有限 $h$ 均成立。逆向一般不成立。

然而來源身份與行為等價不應直接放在同一條「較強／較弱」的序列上：來源是回查責任，行為是指定觀測語言下的替代性。不同來源可以行為等價；而缺少可靠來源證明時，相同的字面識別也不應被視為行為證明。

3. 五個形式命題與反例

3.1 [PROP 3.1] 觀測未來等價隨深度增加只會細分

條件。 $\mathsf{Fw}_{q,h}$ 收集所有長度不超過 $h$ 的字，而不是只看恰為 $h$ 的字。

結論。 對任意 $h\ge0$ ：

s\equiv_{q,h+1}t\Longrightarrow s\equiv_{q,h}t.

[PROOF] 由定義，長度不超過 $h$ 的字，正是長度不超過 $h+1$ 的字中長度受到限制的部分。兩者的大集合若相等，其限制子集合也相等；初始投影相等亦被等價定義要求。證畢。

[COUNTER] 逆命題不成立。 兩條歷程先都執行 $a,b$ ，然後一條執行 $c$ 、另一條執行 $d$ 。在深度 $2$ 兩側相同，深度 $3$ 即可區分。初端與所有中間狀態的數值觀測仍可以全部是 $1$ 。

3.2 [PROP 3.2] 強雙模擬保持所有有限可觀測動作字

條件。 有同一版本、同一動作標籤集與同一觀測投影下的強雙模擬關係包含 $(s,t)$ 。

結論。 對每個有限 $h$ ，皆有 $s\equiv_{q,h}t$ 。

[PROOF] 對可觀測動作字長度歸納。空字存在於兩側；初態觀測依雙模擬條件一致。若 $s$ 可以以標籤 $a$ 走到 $s'$ ，雙模擬保證 $t$ 有相同標籤的後繼 $t'$ ，且 $q(s')=q(t')$ ，並由歸納假設使後續有限字均可匹配。反方向相同，故兩側字集合相等。證畢。

[COUNTER] 逆命題不成立。 設

P=a.(b+c),\qquad Q=a.b+a.c.

其中 $+$ 表示非決定性選擇，不是數值加法。 $P$ 在執行 $a$ 後才擁有 $b,c$ 兩個可選後繼； $Q$ 在執行 $a$ 時已選定往後只容許 $b$ 或只容許 $c$ 的一條分支。兩者的可見有限動作字集合皆為

\{\epsilon,a,ab,ac\},

且可以把所有狀態的數值觀測設為 $1$ ，但 $P$ 與 $Q$ 不強雙模擬： $P$ 的唯一 $a$ 後繼同時擁有 $b$ 與 $c$ ； $Q$ 的任一個 $a$ 後繼都不能同時匹配。這是既有過程語義中的標準型反例，而非 XPVB 的新定理。

3.3 [PROP 3.3] 投影核形成強雙模擬的必要且充分條件

條件。 在固定的標記轉移系統 $\mathcal T_v$ 中，令

\ker q=\{(s,t):q_v(s)=q_v(t)\}.

對每個狀態定義帶標籤的觀測後繼集合

N_q(s)=\{(a,q_v(s')):s\xrightarrow{a}s'\}.

結論。 $\ker q$ 是一個強雙模擬關係，若且唯若

q_v(s)=q_v(t)\Longrightarrow N_q(s)=N_q(t)

對系統全部狀態 $s,t$ 成立。

[PROOF] 充分性。 若 $q_v(s)=q_v(t)$ 且 $s\xrightarrow{a}s'$ ，則 $(a,q_v(s'))\in N_q(s)=N_q(t)$ ；因此有 $t\xrightarrow{a}t'$ 且 $q_v(t')=q_v(s')$ ，亦即 $(s',t')\in\ker q$ 。反向對稱成立，所以 $\ker q$ 是強雙模擬。

必要性。 若 $\ker q$ 已是強雙模擬，任一邊 $s\xrightarrow{a}s'$ 必有 $t$ 的同標籤後繼落在相同 $q$ 纖維；故 $N_q(s)\subseteq N_q(t)$ 。交換 $s,t$ 得逆包含，於是後繼集合相等。證畢。

技術界線。 XPVB-02 已提出不含標籤的投影後繼閉合判準；本篇加入作用標籤，因為把不同可執行動作混成同一個無標籤後繼，可能使「可替代性」的要求過弱。若觀測語言刻意不包含標籤，應重定義相關等價，不得將兩種判準混用。

3.4 [PROP 3.4] 規則擴張的動態不變量保持條件

條件。 $R_v$ 與 $R_{v+1}$ 在共同狀態域上使用同一不變量 $I$ ，新版本可以增加合法邊。對新版本從指定初態可達的每一條合法邊，皆滿足 $I(s')=I(s)$ 。

結論。 $I$ 對新版本的全部有限可達歷程保持不變。

[PROOF] 直接將命題 1.2 套用於新版本可達邊。證畢。

限制及必要反例。 只檢查「本次新增的邊」而不檢查新增邊引出的其他可達合法邊，不足以保證保存條件。若新版本改變了狀態型別、觀測函數或合法性政策，應先建立跨版本相容契約，而不是將兩個版本的值硬做同型比較。

3.5 [PROP 3.5] 不變量本身不足以提供未來更新封閉性

條件。 有兩個歷程末端 $s,t$ 滿足 $q_v(s)=q_v(t)$ ，但

N_q(s)\ne N_q(t).

結論。 不存在只以目前的 $q_v$ 值為輸入、同時對 $s,t$ 都忠實回報全部合法帶標籤下一步後繼集合的單值更新函數。

[PROOF] 假設這樣的更新函數 $F$ 存在，則因 $q_v(s)=q_v(t)$ ，相同輸入必須輸出相同 $F(q_v(s))=F(q_v(t))$ ；但忠實性同時要求它分別等於兩個不相等的 $N_q$ 集合，矛盾。證畢。

註。此處函數的輸出本身可以是一個集合；「單值」是說同一輸入只回傳一個確定的集合，不是在限制下一步必須是決定性的。若允許輸入包含未觀測歷史或額外結構，則可以建造新的更新函數，但那已不是只依賴原來的 $q_v$ 。

4. 動態不變量不是靜態數值恆等的另一種寫法

4.1 [DEF 4.1] 不變量的觀測纖維

對任一觀測值 $y\in O_v$ ，令

\mathcal F_y=\{s\in S_v:q_v(s)=y\}.

同一纖維內可以含有不同歷程來源、不同旁向證據連結、不同的最後作用，以及不同的下一輪可達選項。把 $\mathcal F_1$ 直接壓縮成單一狀態，只有在明示的觀測任務足夠粗、或已經通過適當的動力封閉判準時，才可能保留所需行為。

在 XPVB-02 的結構相位模型中，以 $q_{\mathrm{val}}$ 觀察時，所有宏觀邊界皆落入 $\mathcal F_1$ ；但不同來源路徑仍可按相位形成旁向證據群聚，而相位本身也不保證下一輪後繼集合封閉。

4.2 [COUNTER 4.2] 數值與相位都相同，下一輪仍可能分歧

取 XPVB-02 的宏觀方案 $A$ （相位增量 $0$ ）與 $C$ （相位增量 $2$ ），使兩條長度為 $2$ 的歷程分別為 $AC$ 與 $CA$ 。二者具有

q_{\mathrm{val}}(AC)=q_{\mathrm{val}}(CA)=1

以及

q_{\mathrm{phase}}(AC)=q_{\mathrm{phase}}(CA)=2.

然而，當下一輪合法性政策明定「最後一次宏觀方案為 $C$ 時，禁止 $B$ 與 $D$ 」時，兩者的下一輪相位候選集合不同：

N_{\mathrm{phase}}(AC)=\{1,2\},

N_{\mathrm{phase}}(CA)=\{0,1,2\}.

這裡的 $N_{\mathrm{phase}}$ 暫時只回傳相位集合、不包含動作標籤，是一個更弱的局部封閉檢查。連這個較弱判準都失敗，故不可能僅靠原相位完成忠實的後繼更新。補入「最後一種宏觀方案」後，在該指定的有限模型與政策內可以恢復一步後繼封閉；這並不意味著對任何後續規則改版都永遠足夠。

此例極接近本系列的基本直覺：不是結果值不正確，而是結果值與相位仍不足以承載下一輪作用所需要的歷程差異。

4.3 [DEF 4.3] 不可錯認的三類連結

令兩個過程節點之間的關係分為：

$C^{\mathrm{ann}}$ ：對照與證據型旁向連結；只表示可在某觀測或結構條件下比較。
$C^{\mathrm{act}}$ ：具作用形成證書的可執行轉移；改變合法可達性。
$\sim_{q,v}$ ：由轉移系統整體互相模擬而建立的行為等價關係；不是只加一條連結邊。

三者不可混用。尤其不可以把「某兩條歷程的相位相容」直接當成雙模擬的證明，更不可以把雙模擬類別中的多個來源證據抹除。

4.4 [DEF 4.4] 整束的觀測等價與具型別結構同構

對同版本的兩個過程束 $W,W'$ ，在指定前沿與觀測 $q$ 下，可以定義有界束觀測

\mathcal O_{q,h}(W)=\bigcup_{s\in F(W)}\mathsf{Fw}_{q,h}(s),

再比較兩束的 $\mathcal O_{q,h}$ 是否相等。這是一種束觀測等價，只回答「能觀測到哪些字」；它忽略分支重數及旁向邊的型別，因而不應被視為束同構。

較強的具型別束結構同構必須提供雙射 $f$ ，保留狀態型別、作用標籤、觀測、經允許的旁向證據邊與邊形成型別，並說明來源對映是否要求逐字同一、可逆重錨，或只要求可追溯的對應證書。若只存在結果集合相等，通常不足以構造這樣的 $f$ 。

本文並未建立這種束同構在任意 X 階作用下都保持的普遍同餘定理；任一具體組合算子都須自行檢查它是否保持所選等價關係。

5. X 階提升、觀測改版與不變量傳輸

5.1 [DEF 5.1] 不同觀測版本之間的比較契約

若過程作用造成底空間或投影改版，原先的 $q_t:S_t\to O_t$ 與新投影 $q_{t+1}:S_{t+1}\to O_{t+1}$ 可能具有不同值域。若存在已宣告的輸出傳輸

\phi_t:O_t\rightharpoonup O_{t+1},

及合法過程映射 $F_t:S_t\rightharpoonup S_{t+1}$ ，可要求交換條件

q_{t+1}(F_t(s))=\phi_t(q_t(s))

對相容定義域內每個 $s$ 成立。此時才可說舊觀測的不變結論在指定傳輸意義下延續。若 $\phi_t$ 未定義、 $F_t$ 未經形成檢查，或等式失敗，狀態應回報 UNKNOWN、INCOMPATIBLE 或附帶具體反例，不能靠數值符號碰巧相似宣稱跨版本不變。

5.2 [DEMO 5.2] 合法改名與不合法偷換

令舊觀測值為字串 1、新觀測為 unity，並明示映射 $\phi_t(1)=\mathrm{unity}$ ，則在範例中可通過傳輸檢查。但若新觀測改為 phase-2 而傳輸仍宣稱映射到 unity，則交換條件失敗。這只是字面標籤上的有限契約例子，不應把 unity 與真實數學常數 $1$ 在所有上下文中視為同一型別。

5.3 [DEF 5.3] 階次提升需要保留作用域

XPVB-01 的 X 階分型容許在不同型別上操作：

\text{狀態作用}\quad\to\quad\text{束作用}\quad\to\quad\text{規則作用}.

但上述箭頭在本篇只是研究組織方向，不是已被證明的普遍同構或單一遞迴階層。若一個新規則改寫原先的可執行動作，則強雙模擬關係也必須在新版本重新計算；若觀測語言變了，舊的 $\sim_{q,v}$ 也不能未經轉譯就搬到 $\sim_{q',v+1}$ 。

形式地說，合法的升階至少應攜帶

\mathcal U=(\mathrm{type},\mathrm{version},\mathrm{domain},\mathrm{rules},\mathrm{provenance},\mathrm{transport}),

並使升階前後所有欲保持的不變量與等價關係都具備明示的保真性義務。本文將此稱為 X 階相容提升契約，而不是宣稱已經完成無限階的自動保真證明。

5.4 等價保存與來源保存是不同義務

當一個有限模型檢查器把雙模擬狀態壓縮成商圖時，可以對指定的觀測語言保存所需行為；但研究檔案仍應保留至少：來源識別、原規則版本、形成檢查、原始作用邊、旁向證據邊，以及商圖與原狀態之間的成員映射。觀測壓縮有權簡化顯示，不應被默許重寫歷史。

6. 有限參考實驗：把「變」與「不變」分別測量

6.1 [DEMO 6.1] XPVB-02 的來源鎖定重播

本篇研究包帶入 XPVB-02 v0.1 的 Python 來源快照與原始 $38$ 項回歸測試，並另外提供 XPVB-03 的新實作。宏觀作用依 XPVB-02 宣告： $A$ 是乘 $1$ ， $B$ 是先加 $1$ 再減 $1$ ， $C$ 是先乘 $2$ 再除 $2$ ， $D$ 是先加 $3$ 再減 $3$ ；版本 $v1$ 允許 $A,B,C$ ，從第三輪起 $v2$ 另允許 $D$ 。使用 Fraction 做精確有理數重播。

輪次	新生成的末端歷程	同相位旁向證據連結	只按數值配對
0	1	0	0
1	3	0	3
2	9	9	36
3	36	198	630
4	144	3384	10296

四輪累積共有 $193$ 個具來源的邊界節點及 $192$ 條宏觀轉移。所有宏觀邊界值皆為 $1$ ；沿這些邊，數值不變量的違例數為 $0$ ，但模 $3$ 結構相位的變化邊有 $143$ 條。相位被變動不代表它是「錯誤的」不變量；它只是本來就不是此作用語言下的全邊不變量。此處的相位是合成結構標籤，不是一般算術中 $1$ 自然附帶的物理相位。

6.2 [DEMO 6.2] 所有有限字相同，仍然不具強雙模擬

前述 $P=a.(b+c)$ 與 $Q=a.b+a.c$ 已被編碼為六個狀態、七條邊的有限系統。所有節點的數值投影均設為 1。程式取得：

終端觀測等價：True。
深度 $3$ 觀測未來等價：True。
兩側完整有限動作字：[], [a], [a,b], [a,c]，相同。
強雙模擬等價：False。
來源身份相同：False。

這個反例直接排除「所有可見字相同即可無條件把兩棵生成樹合併」的錯誤。對要求保留分支決策時機的研究任務，必須選用更強的行為語義或直接保留原圖。

6.3 [DEMO 6.3] 深度 $2$ 不可區分，深度 $3$ 才分歧

令兩條路徑為 $a,b,c$ 與 $a,b,d$ 。初態與途中所有狀態的數值觀測一樣為 1，但有界觀測未來判定得到：

視野深度 $h$	是否等價
0	是
1	是
2	是
3	否

因此，局部觀測的「目前仍等價」與「所有未來都等價」不可混同。此結論同時提醒：動態渲染若只展示到某一步，應明示其觀察視野，不能把目前未見分歧當成不存在分歧的證明。

6.4 [DEMO 6.4] 不同來源可以具有相同行為

另造兩組各自獨立的 x 作用，兩個起始狀態的來源識別不同，但觀測和可用轉移結構對稱。在指定強雙模擬語義下，兩者行為等價為 True，來源身份等價卻為 False。因此來源可追溯性不是行為等價的反面：壓縮觀測表示與保存生成史可以並行，沒有必要互相取代。

6.5 [DEMO 6.5] 分割精化與投影閉合

本篇使用有限狀態上的最大關係刪減法求強雙模擬，並以逐步分割精化交叉檢查。先按 $q$ 分組，再按每個狀態的「動作標籤—後繼等價類」集合迭代細分；直到分類穩定。在構造性反例中，最終分割與強雙模擬配對完全一致。此為有限模型演算法核對，不是對任意可數或不可數狀態系統的計算保證。

6.6 驗收範圍與獨立性

原型新增 $53$ 項針對關係、投影、來源與動態傳輸的單元測試；另重跑 XPVB-02 的 $38$ 項既有測試。合計 $91/91$ PASS。程式的決定性重播、反例輸出與原稿格式驗證分開記錄：

results/xpvb03_demo.json：有限反例、分割結果、跨篇重播統計。
results/test_report.txt：測試工具輸出的完整紀錄。
results/validation_report.json：原稿、實作及保存數據的一致性檢查。
viewer.html：離線比較視野深度、等價判定與生成歷程的簡單檢視器。
MANIFEST_SHA256.json：封包內容的雜湊清單，僅作檔案完整性用途。

SHA-256 檔案指紋不等於研究結論已獲第三方驗證，也不等於自動形成可信外部時間戳。程式測試可證明已宣告有限合約的實作行為，但不能代替形式證明器對無限問題的檢查。

7. 為什麼 $1^n=1$ 仍然是合適的起點，但不是充分的模型

對通常自然數冪的定義：

1^n=1,\qquad \lim_{n\to\infty}1^n=1.

這是由全域運算規則可證得的恆等性。微積分並沒有因為無法想像過程而「推不到 1」；相反，對此恆值序列，極限等於 $1$ 是嚴格成立的。 $1^\infty$ 在涉及底數趨近 $1$ 且指數趨向無限時才是未定式，與恆等底數為 $1$ 的問題不同。

XPVB 的切入點不是改寫這個正確結果，而是追問：如果數值觀測已知為 $1$ ，生成算子、可選路徑、相互連結、規則版本、歷程來源與下一輪可達域是否也已由這個數值確定？ 答案一般是否定的；只有在指定足夠的觀測與保真條件後，才可得到相應的等價關係。

同樣地，若所有已觀測到的有限前綴都返回 $1$ ，在缺乏全域規則保證時，不能推出未來所有前綴必如此。可以構造兩個序列在任意指定的有限長度 $N$ 之前完全相同，卻從 $N+1$ 起以不同規則繼續。有限觀測的不確定性與全域規則可證明的極限是兩種不同資訊狀態；不能藉此否定既有微積分的極限定理。

因此，本系列所說「 $1$ 重新生成為 $1$ 」應當在操作模型中表示為：數值投影已由規則保證保存，但整個過程束的其他可觀測與可生成結構未必保存。只有這種分型，才能讓這句話具有可執行與可反駁的數學意義。

8. 本篇貢獻與不能宣稱的事項

8.1 本篇新增的可操作內容

把動態不變量明確分為節點／作用邊的不變性與整束性質的不變性，並區分宏觀邊界與內部微步。
建立終端觀測、有限視野未來、強雙模擬、來源身份與束同構的分型比較，不將所有「等價」合併為一個無型別詞彙。
給出有標籤投影核的一步閉合充要條件，對接 XPVB-02 的無標籤後繼閉合判準。
建立版本化觀測傳輸條件，使變與不變可以在改版前後被明確測量。
使用兩個相反方向的構造性反例：相同未來字集合卻非雙模擬，以及不同來源卻可雙模擬。
使用 XPVB-02 的實際精確重播展示：宏觀數值不變，不代表整體可能性束、相位或後繼能力不變。
提供有來源快照、測試、決定性 JSON、離線檢視器與原始碼驗收的完整可重播研究包。

8.2 [OPEN] 尚未證明與明確排除的範圍

未證明一般無限階、無限維、連續時間或任意基數的 XPVB 系統存在唯一、可計算且完整的規則閉合。
未建立任何關於真實量子運算、自然物理相位或實際神經網路內部狀態的實驗結論。
未證明任何投影保真性都可以由有限枚舉自動延伸到無限歷程。
未實作任意跨底空間的可執行連結，亦未將 XPVB-02 的旁向證據連結誤認為作用邊。
未證明 XPVB 的方法優於所有既有過程代數、模型檢查或抽象解釋框架。
未以 Lean、Coq 或其他形式證明器驗證本文的一般命題；文內的短證明為傳統數學論證，程式只做限定有限實例核查。

8.3 可作為全篇收束的判準

本篇提出一個簡潔而可測試的原則：在沒有指定觀測語言與後繼保真條件之前，結果相等只授權結果比較，不授權過程合併。

對任何聲稱「兩個 X 階過程在變化中保持相同」的表述，應先回答：比較的是哪個不變量、哪一輪底空間、哪套規則版本、哪個觀測深度、哪種分支或旁向連結，以及哪些來源必須保留？這些條件被明示後，「變」與「不變」可以同時成立，而不再是缺乏判準的修辭。

參考原稿與既有研究

A. EveMissLab 既有研究原稿（承接接口，非外部同行審查證據）

[EML-01] XPVB-01，《過程運算的數學基礎——底空間、生成作用與結果再生》，v0.1，2026-11-03。
[EML-02] XPVB-02，《X 階可能性束的生成與連結——有型別跨分支作用、投影閉合與動態收斂》，v0.1，2026-11-03。
[EML-03] DHTT-02，《從結果到過程：認知世界線、過程可能性底空間與決策資訊的生成歷史》，v0.1，2026-10-07。
[EML-04] ESC-EXP-JA-FND-07，《差合化雙層結果的過程再生成：有型別雙面提升、來源非坍縮與嚴格重播》，v0.1，2026-10-30。
[EML-05] XOST-07，《自指閉合、光譜再生成與動態演化》，v0.1，2026-10-31。

B. 外部既有理論（用以標定非首創概念）

[E01] Milner, R. (1989). Communication and Concurrency. Prentice-Hall. University of Edinburgh publication record: https://www.research.ed.ac.uk/en/publications/communication-and-concurrency/
[E02] van Glabbeek, R. J. (2001). The Linear Time–Branching Time Spectrum I: The Semantics of Concrete, Sequential Processes. In Handbook of Process Algebra, pp. 3–99. Publisher contents: https://www.sciencedirect.com/book/9780444828309
[E03] Baier, C. & Katoen, J.-P. (2008). Principles of Model Checking, Chapter 7: Equivalences and Abstraction. MIT Press. https://mitpress.ublish.com/book/principles-model-checking

原稿與結果的保真聲明

此文檔的 canonical source 為本研究包中的 UTF-8 Markdown 位元組序列，僅以 $...$ 與 $$...$$ 作為數學原始碼的 delimiter。任何網頁或聊天畫面渲染均非正式原稿。原稿驗證與封存只能確保格式、可重播數據及附屬有限測試符合本次合約；其內容的長期科學地位必須由可重現驗證、反例檢查及適當的外部研究程序決定。

XPVB-03 結語：數值所保留的是一個不變投影；過程所攜帶的，是這個投影尚不能代替的生成結構。

X 階過程變化束論｜第三篇：動態不變量與過程等價——觀測纖維、行為分歧與階次相容