---
title: "X 階過程變化束論｜第二篇：X 階可能性束的生成與連結——有型別跨分支作用、投影閉合與動態收斂"
english_title: "X-Order Process Variation Bundle Theory II: Generation and Connection of Possibility Bundles, Typed Cross-Branch Actions, Projection Closure, and Dynamic Convergence"
series: "X 階過程變化束論"
series_english: "X-Order Process Variation Bundle Theory"
series_short: "XPVB"
paper_id: "XPVB-02"
version: "v0.1"
date: "2026-11-03"
author: "Neo.K（原始構想與研究方向）／GPT-6（定義、條件命題、證明、反例、有限實作與研究稿）"
affiliation: "EveMissLab／一言諾科技有限公司"
language: "zh-TW"
status: "RESEARCH DRAFT — CONDITIONAL FORMAL CLAIMS; FINITE SYNTHETIC REPLAY; GENERAL X-ORDER THEORY OPEN"
predecessor: "XPVB-01 v0.1 (2026-11-03)"
canonical_source: "UTF-8; LF; no BOM"
canonical_math_delimiters: " $...$ and $$...$$ only"
external_peer_review: "NOT PEER REVIEWED"
---

# X 階過程變化束論

## 第二篇：X 階可能性束的生成與連結——有型別跨分支作用、投影閉合與動態收斂

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

**研究定位：** 在 XPVB-01 的底空間、具來源的歷程束、結果投影與分型階次上，進一步定義「生成」與「連結」如何真正作用於可能性束，而非只讓數學公式附帶一段動畫或運算日誌。

**狀態聲明：** 以下 [PROP] 均為明示條件下的命題；[DEMO] 為有限合成構造；[OPEN] 仍缺少一般證明或外部實驗。程式測試不構成任意無限階代數的驗證。

---

**作者：** Neo.K（原始構想與研究方向）／GPT-6（定義、條件命題、證明、反例、有限實作與研究稿）  
**機構：** EveMissLab／一言諾科技有限公司  
**日期：** 2026-11-03  
**版本：** v0.1  

## 摘要

若以一個數值結果代表一段運算，通常會捨棄生成來源、候選分支、跨分支關係與下一輪規則。XPVB-01 已建立該問題的基本表示；然而，僅聲明「過程有無限可能性」仍不足以給出可執行的數學對象。本文轉而研究一個具體問題：在限定的底空間中，如何使一組帶來源的可能性歷程經由合法算子持續展開，並在不錯誤地合併不同歷程的前提下建立跨分支連結、進行局部聚合與重新形成下輪底空間？

本文以具型別的前綴歷程束與兩種不同的跨分支關係為核心：**證據型連結**只新增具有來源的對照關係，不自動創造可執行轉移；**作用型連結**若會改變可達性，則必須有額外的型別、前後條件、規則版本與形成證書。由此避免將「數值相同」「可以建立比較關係」「允許相互轉移」與「可合法壓縮為同一狀態」混為一談。

本文證明有限前綴展開可保留來源嵌入；純證據型連結在特定執行語義下不改變可達歷程；給定局部同類配對規則時，連結數由各相容類別的組合數決定；而將高解析度狀態壓縮成低解析度投影時，只有在同一投影纖維中的所有狀態具有相同的投影後繼集合，才能建立忠實的一步封閉更新。此處的數學工具與既有標記轉移系統、跡語義及行為等價研究相鄰，並不宣稱為全新普遍定理。

有限合成示例設定四種從數值 $1$ 返回 $1$ 的宏觀方案，另增設模 $3$ 的結構相位作為分支連結條件。四輪生成得到 $1,3,9,36,144$ 條歷程；第三輪起規則版本增加一種合法方案。第 3 輪共有 $36$ 條末端數值皆為 $1$ 的歷程，若僅憑數值配對共有 $630$ 組，但在已聲明的相位相容條件下只有 $198$ 條合法證據型連結。當下一輪允許方案依前一步的操作來源改變時，相位投影又可能失去更新封閉性；加入「最後一種宏觀操作」作為額外觀測後，在此有限模型恢復一步封閉。附屬 Python 標準函式庫提供可重播資料、反例與單元測試。

本篇得到的不是「無限已經計算完成」，而是第一套能區分**可能性生成、旁向連結、觀測聚合、合法作用與動態規則再生**的有限形式接口。數值投影固定為 $1$，並不要求生成中的結構固定為一條路；但反過來，任何結構上的相容也不能在欠缺轉移規則時自動變成新的實際運算。

**關鍵詞：** X 階過程變化束、可能性束、底空間、跨分支連結、證據關係、可執行作用、過程來源、投影閉合、纖維一致性、非交換、局部收斂、動態相位、規則再生。

---

## 0. 本篇新問題：展開以後，哪些分支真的能連結？

### 0.1 從 XPVB-01 接續，不重設其定義

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$ 為已生成的合法有限歷程集合， $C_t$ 為跨歷程連結， $P_t$ 為來源依賴。上述型別沿用第一篇。

**本篇新增的任務**是使 $C_t$ 與生成算子產生可區分的形式作用，而不是讓 $C_t$ 只是任意畫上的連線。相同的 $\Gamma_t$ 可以帶有不同的 $C_t$ ；相同的 $C_t$ 也可以由不同的形成規則允許。兩者都需要來源與合法性。

### 0.2 原始研究意圖與禁止的替代解釋

研究所說的「X 階過程變化束」，不等於計算機依次乘了多少次 $1$，也不等於只為同一算式累積時間成本。它要求考察：起點所在底空間允許什麼、可能性如何展開、彼此能否形成關係、約束怎樣影響分支、局部結果能否成為下一次生成的條件，以及在何種觀測下可見不變量。

因此不能將「計算成本」視為此架構的唯一意義。成本可以作為觀測量，卻既不是可能性關係的全部，也不能在尚未指定實作時由公式唯一決定。本文不將問題轉向數字 $1$ 的形上學同一性。

### 0.3 主張類型

- **[DEF]** 本文設立之數學型別與運算合約。
- **[PROP]** 在明示前提下具證明的命題，可能屬於成熟數學的直接特例。
- **[COUNTER]** 用來拒絕過強推論的構造反例。
- **[DEMO]** 可重播的有限人工模型。
- **[OPEN]** 尚需形成、可計算性、一般化或實證工作者。

---

## 1. 可能性束的雙重結構：歷程縱向生成與橫向連結

### 1.1 [DEF 1.1] 前綴歷程與生成前沿

固定底空間 $B$ 、同一規則版本 $v$，令 $\operatorname{Tr}_v(B)$ 為合法有限歷程集合。對 $\tau,\sigma\in\operatorname{Tr}_v(B)$，定義前綴關係：

$$
\tau\preceq\sigma
$$

表示 $\tau$ 的完整事件順序是 $\sigma$ 的初始片段。令 $F_t\subseteq\Gamma_t$ 為第 $t$ 輪仍可作用的前沿歷程，且每一歷程具有唯一、可回查的來源識別。**生成前沿不必包含所有可想像候選**；它只表示指定枚舉政策下已產生、可供本輪作用的對象。

若 $\Gamma_t$ 只保存前沿葉節點，則歷史前綴必須可由 $P_t$ 與 $H_t$ 回查；若連祖先也未保存，就不得宣稱已保存完整前綴關係。

### 1.2 [DEF 1.2] 兩類不同的邊

在 $W_t$ 中將邊分型：

$$
C_t=C_t^{\mathrm{ann}}\sqcup C_t^{\mathrm{act}}.
$$

其中 $C_t^{\mathrm{ann}}$ 是**旁向證據連結**，例如兩條路徑具有相同的某個結構相位，因而可在比較圖中相連；此連結不是合法轉移事件。 $C_t^{\mathrm{act}}$ 是**可執行作用邊**，例如存在明示規則可使一個狀態轉換為另一個狀態。兩者有不同的型別，禁止只因它們在圖上皆是一條線便混同。

對證據邊 $c=(\tau,\sigma,\ell,\kappa)$， $\ell$ 是連結關係標籤， $\kappa$ 是形成檢查的資料；對作用邊還需要給定轉移規則、前後置條件與執行語義。缺少這些條件時，系統只能產生證據邊，不能偷偷增加可達路徑。

### 1.3 [DEF 1.3] 數值相同與連結合法性不同

給定結果投影 $q_{\mathrm{val}}$ 及結構相容檢查 $\chi_v$：

$$
q_{\mathrm{val}}(\tau)=q_{\mathrm{val}}(\sigma)
$$

只表示數值相同；一條旁向證據連結還要求：

$$
\chi_v(\tau,\sigma)=1.
$$

因此值相同是本篇某些連結的必要條件，但不是充分條件。若一個應用明確將「值相同」當作足夠的比較關係，它也可以建立該關係；其語義與本文的相位相容關係不同，不能假裝二者會產生相同網絡。

---

## 2. 生成與連結的部分算子

### 2.1 [DEF 2.1] 前沿擴張算子

對第 $t+1$ 輪的合法宏觀方案集合 $A_{v,t+1}$，定義：

$$
\mathsf E_{v,t+1}(F_t)
=
\bigcup_{\tau\in F_t}
\{\tau\cdot e_a:
 a\in A_{v,t+1},\;\operatorname{Legal}_v(\tau,a)\}.
$$

 $e_a$ 指該宏觀作用形成的具標籤事件片段，串接須保留原歷程的完整來源；若一個宏觀方案由多個微步構成，應逐步記錄而非只保存返回結果。這個定義是部分作用：不合法的候選不得強制產生子節點。

在完全分支且所有父節點皆有同數 $b_t$ 個相異合法後繼的特例中， $|F_t|=b_t|F_{t-1}|$ ；若限制依歷程而異，則應採：

$$
|F_t|=\sum_{\tau\in F_{t-1}} b_t(\tau).
$$

兩個式子都不把「未枚舉的所有潛能」等同於「本輪已生成節點」。

### 2.2 [DEF 2.2] 具相容判定的旁向連結算子

給定相容關係 $\chi_v$，定義無向連結集合：

$$
\mathsf C^{\mathrm{ann}}_{v,\chi}(F_t)
=\{\{\tau,\sigma\}:\tau,\sigma\in F_t,\;
\tau\ne\sigma,\;\chi_v(\tau,\sigma)=1\}.
$$

此算子需要可回查的端點識別與形成規則。若 $\chi_v$ 不是對稱的，就不能直接寫成無向集合，而必須改為有向關係；如果 $\chi_v$ 不是可判定的，有限參考實作只能輸出 UNKNOWN 或另給可判定近似，不得宣稱全域已連結。

### 2.3 [DEF 2.3] 作用型連結算子

若真正要使兩條路徑之間新增一個可以執行的作用，必須另定：

$$
\mathsf C^{\mathrm{act}}_v:
(B,W,\tau,\sigma,\kappa)\rightharpoonup(B',W').
$$

此處 $\kappa$ 至少宣告作用對象的型別、合法轉移關係、規則版本、跨底空間映射及來源完整性。它不同於「畫出一條線」或「把兩條路徑歸為同一群」。**本篇有限實作刻意不實作作用型連結**，以免用教學性相容判定冒充已驗證的跨底空間運算。

### 2.4 [DEF 2.4] 保留、剪枝與局部聚合

對保留集合 $K\subseteq F_t$，定義保留算子 $\mathsf R_K$，它只保留 $K$ 中歷程，並在來源證據中記錄被排除的歷程識別及原因。對證據邊採取導出子圖規則：

$$
\mathsf R_K(C)
=\{\{\tau,\sigma\}\in C:\tau\in K,\sigma\in K\}.
$$

對觀測聚合則另設 $\mathsf Q_q$：將歷程按 $q$ 分類，並保留成員索引。**本研究不以聚合直接銷毀原始歷程**；若只留一個代表值，便不得再聲稱已能重播全部來源。

---

## 3. 為什麼連結不能等同於「合併」

### 3.1 [PROP 3.1] 前綴來源在合法擴張下保留

**條件。** 每次擴張建立新事件且保留原歷程完整前綴，不重寫已存在事件識別，也不把不同父歷程強制映射成相同來源識別。

**結論。** 對每個子歷程 $\sigma\in\mathsf E_{v,t+1}(F_t)$，存在可唯一識別的父歷程 $\tau\in F_t$ 使 $\tau\preceq\sigma$。不同父歷程的來源可由子歷程回溯。

**證明。** 子歷程按定義由父歷程串接一個新的具標籤事件片段得到；回撤本次附加片段便恢復原父歷程。來源識別不重寫保證回溯不會被不同父節點的碰撞破壞。證畢。

**限制。** 結論依賴特定的來源保存設計。若實作採用歷程去重、事件合併或僅保存最終值，命題的前提就不成立。

### 3.2 [PROP 3.2] 純證據型連結不改變可執行可達域

**條件。** 執行關係 $R_v$ 只從底空間中聲明的作用邊讀取； $C^{\mathrm{ann}}$ 僅用於比較／顯示／分析，不在執行時轉換成 $R_v$ 的新轉移。

**結論。** 在同一 $B$ 、同一前沿 $F$ 下，添加或移除純證據型連結不改變由 $R_v$ 決定的可達歷程集合。

**證明。** 兩種情況的可執行轉移關係完全相同；任何合法執行的每一步仍由同一 $R_v$ 指定，因此各有限步可達集合相同。證畢。

**反面條件。** 若某個生成器把旁向連結當作推薦候選、選擇優先級或下一輪操作的直接依據，則它實際使用了不同的生成政策。此時必須把新的依賴明寫進 $R_v$ 或元規則，不能再套用本命題。

### 3.3 [COUNTER 3.3] 相同數值不保證可執行跨分支轉移

令兩條路徑皆以數值 $1$ 結束，但分別攜帶不同的型別標籤 $\alpha$ 與 $\beta$。即使兩者的數值投影相同：

$$
q_{\mathrm{val}}(\tau)=q_{\mathrm{val}}(\sigma)=1,
$$

只要沒有一個合法規則允許 $\alpha\rightarrow\beta$，從 $\tau$ 到 $\sigma$ 的可執行轉移就**沒有被形成**。此反例不需要否定任何數值等式；它否定的是「結果相同即等於操作相通」的額外推論。

### 3.4 [DEF 3.4] 三種不可混用的群聚

1. **結果群聚：** $q_{\mathrm{val}}(\tau)=q_{\mathrm{val}}(\sigma)$。
2. **關係群聚：** $\chi_v(\tau,\sigma)=1$，例如同相位的比較連結。
3. **行為群聚：** 在指定觀測語言與轉移系統下，具有經證成的行為等價或適當的雙模擬關係。

在一般情況，結果群聚不推出關係群聚，也不推出行為群聚。相位群聚可以是有用的結構索引，但未必是下一輪動力的充分統計量。

---

## 4. 投影閉合的必要且充分條件

### 4.1 [DEF 4.1] 投影後繼一致性

考慮一個集合 $Z$ 的非決定性一步更新：

$$
F:Z\rightarrow\mathcal P(Z),
$$

與投影 $q:Z\rightarrow Y$。對集合 $A\subseteq Z$ 記 $q[A]=\{q(z):z\in A\}$。我們問是否存在一個投影層更新 $G:Y\rightarrow\mathcal P(Y)$，使得：

$$
q[F(z)]=G(q(z))\qquad(\forall z\in Z).
$$

這個條件只要求**一步觀測後繼集合**的正確性；它不是直接宣稱雙模擬、長時序決定性、測度守恆或跨版本全域相容。

### 4.2 [PROP 4.1] 一步投影閉合判準

存在上述 $G$，若且唯若：

$$
q(z)=q(z')\Longrightarrow q[F(z)]=q[F(z')]
$$

對所有 $z,z'\in Z$ 成立。

**必要性證明。** 若 $G$ 存在，兩個具有相同 $q$ 值的狀態經 $G$ 計算必得到相同集合，故其 $q[F(\cdot)]$ 相等。

**充分性證明。** 在像集 $q[Z]$ 上，定義 $G(y)=q[F(z)]$，其中 $z$ 為任意滿足 $q(z)=y$ 的狀態；題設保證此定義不依賴代表元選擇。在 $Y\setminus q[Z]$ 上可任意指定集合，例如空集合。遂得到所需 $G$。證畢。

**意義。** 單看一個結果或一個相位，能否預測下一輪，取決於同投影的所有細部歷程是否擁有**相同的投影後繼集合**。若存在相反例，便必須擴充觀測，或承認該投影無法封閉更新。

### 4.3 [COUNTER 4.2] 同相位，但後繼不同

取兩條以數值 $1$ 結束、相位同為 $0$ 的歷程：

$$
\tau=AA,\qquad\sigma=BC.
$$

若每種宏觀方案的相位增量模 $3$ 分別為 $\delta(A)=0$ 、 $\delta(B)=1$ 、 $\delta(C)=2$，則 $\tau$ 、 $\sigma$ 的相位都為 $0$。現在另外宣告一個**依來源而變的下一輪政策**：最後一步若為 $C$，則下一輪禁止 $B$ 與 $D$ ；否則允許 $A,B,C,D$。其中 $\delta(D)=1$。

對 $\tau=AA$，下一輪相位可為 $\{0,1,2\}$ ；對 $\sigma=BC$，下一輪只可為 $\{0,2\}$。因此：

$$
q_{\mathrm{phase}}(\tau)=q_{\mathrm{phase}}(\sigma)=0,
\qquad
q_{\mathrm{phase}}[F(\tau)]\ne q_{\mathrm{phase}}[F(\sigma)].
$$

由命題 4.1，**不存在**僅依相位即可忠實反映這兩條歷程下一步投影後繼集合的封閉更新。

但是若改用較細投影：

$$
\widehat q(\tau)=(\operatorname{phase}(\tau),\operatorname{last}(\tau)),
$$

在本示例的政策下，下一步可用方案只依最後操作決定、下一相位只依當前相位及方案增量決定，因此 $\widehat q$ 對此**單步政策**具有封閉性。這不能外推至所有未來的規則改版、資源限制或無限階過程。

### 4.4 與 XPVB-01 的差異

XPVB-01 已證明：一個不充分的投影可能無法決定下一步的數值。本篇增加的是**非決定性可能性束的觀測後繼集合判準**，允許問題不只是「下一個值是多少」，而是「下一輪哪些投影狀態仍合法可達」。

這個判準是常見的商結構與轉移系統思路的形式化應用；新系列的候選研究價值在於把它與版本化底空間、旁向連結及過程再生並列，而非主張其必要充分條件本身是首創。

---

## 5. 連結數、源資料與觀測壓縮

### 5.1 [PROP 5.1] 對稱局部相容關係的配對數

設有限前沿 $F$ 被分成互斥的相容類別 $F_1,\ldots,F_r$，每類內任兩個不同節點形成一條無向證據邊，類與類之間不形成該類證據邊。則證據邊總數為：

$$
|C^{\mathrm{ann}}|=\sum_{i=1}^{r}\binom{|F_i|}{2}.
$$

**證明。** 每一類內無序且不重複的兩兩配對數為 $\binom{|F_i|}{2}$，類間沒有該規則的邊，類別又互斥，故直接加總。證畢。

若只按所有節點的同一數值 $1$ 形成完全圖，總配對數為：

$$
\binom{|F|}{2}.
$$

本篇並不認為後者「數學錯誤」；它只是另一個更粗的關係，不能拿來替代不同相位下的合法連結規則。

### 5.2 [PROP 5.2] 在局部相容條件下，先連結後保留與先保留後連結相容

**條件。** $\chi(\tau,\sigma)$ 只依兩個保留節點自身及固定規則版本判定，不依其他候選是否存在，也不以全域排名重新選邊。保留算子採第 2.4 節的導出子圖政策。

**結論。** 對任意保留集合 $K\subseteq F$：

$$
\mathsf R_K\big(\mathsf C^{\mathrm{ann}}_{\chi}(F)\big)
=
\mathsf C^{\mathrm{ann}}_{\chi}(K).
$$

**證明。** 左邊的一條邊存在若且唯若兩個端點均在 $K$ 且滿足固定的 $\chi$ ；這正是右邊的形成條件。證畢。

**限制。** 若連結政策每個節點只保留「當前得分最高」的鄰居、或依全域候選集合重新計算關係，則上述交換不一定成立。先剪枝可能改變最佳鄰居，必須重新形成連結。

### 5.3 為什麼聚合不等於抹除

把 $|F|$ 條來源歷程按相位分組，可以只儲存三個群組的摘要而迅速顯示結果，但若不另存成員識別與事件來源，就再也不能只從三個相位值還原全部歷程。因此我們採兩層資料：

$$
\mathrm{View}=\mathsf Q_q(F),\qquad
\mathrm{Source}=\{\text{完整歷程、事件及版本}\}.
$$

當 $\mathrm{View}$ 為簡化表示時，來源資料仍需能被查回。**顯示上的收斂不應默默升格為運算上完全同一。**

---

## 6. 階次：從狀態、過程束到生成規則的作用

### 6.1 [DEF 6.1] 三個已使用的階次工作型別

本篇延續 XPVB-01 的分型，而非重新創造另一種互不相容的 $X$ 定義：

| 工作階 | 作用對象 | 本篇具體操作 | 結果與風險 |
|---|---|---|---|
| $X_0$ | 具型別狀態／微步事件 | $1\rightarrow2\rightarrow1$ 等宏觀方案中的微步 | 需檢查每個操作是否合法 |
| $X_1$ | 帶來源的可能性束與旁向關係 | $\mathsf E$ 、 $\mathsf C^{\mathrm{ann}}$ 、 $\mathsf R$ 、 $\mathsf Q$ | 結果群聚不代表新轉移 |
| $X_2$ | 規則版本、可用標籤與投影政策 | 新增合法方案 $D$，重新判定後續形成 | 新規則不得追認舊版不合法歷程 |
| $X_{k\ge3}$ | 規則再生成本身的作用 | 本篇僅保留型別接口 | 未構造一般閉合或收斂定理 |

在形式上，若 $\mathrm{Obj}_0$ 是狀態物件類型、 $\mathrm{Obj}_1$ 是合法束物件類型、 $\mathrm{Obj}_2$ 是規則修訂物件類型，則：

$$
\mathcal G_0:\mathrm{Obj}_0\rightharpoonup\mathrm{Obj}_0,
\qquad
\mathcal G_1:\mathrm{Obj}_1\rightharpoonup\mathrm{Obj}_1,
\qquad
\mathcal G_2:\mathrm{Obj}_2\rightharpoonup\mathrm{Obj}_2.
$$

這些是三種**不同型別的部分運算**，不是任意階之間可毫無條件地相乘、求導、取冪或相互替代的同一種數值。跨階作用仍需顯式升階／降階映射與合法性檢查。

### 6.2 [DEF 6.2] 規則前瞻改版

令 $v_1$ 的合法宏觀集合為 $A_{v_1}$， $v_2$ 的集合為 $A_{v_2}$。若改版在輪次 $t_*$ 生效，則先前事件仍應帶有先前版本標記；之後的新步驟受新版規則約束。這表示：

$$
\mathrm{history}(\tau)
=(v_1:a_1,\ldots,v_1:a_{t_*-1},v_2:a_{t_*},\ldots).
$$

不能因為 $v_2$ 新增方案 $D$，就把以前沒有執行過的 $D$ 填入舊歷程。若歷史規則真的要遷移，需另一個經驗證的映射與來源收據，不能原地改寫。

### 6.3 [COUNTER 6.3] 先連結與先展開不能無條件交換

假設輪次 1 有三條歷程，且相位分別為 $0,1,2$，因此同相位旁向邊數為 $0$。若先把這個連結圖向下一輪延伸，卻沒有任何**合法的連結提升規則**把舊邊自動作用到子節點上，則後繼前沿不會繼承出新的證據邊。

反過來，若先把三條歷程完整展開成輪次 2 的九條歷程，再重新執行相位相容連結，便得到九條旁向邊。因此在這個**沒有連結自動提升**的政策下：

$$
\mathsf C^{\mathrm{ann}}\circ\mathsf E
\ne
\mathsf E\circ\mathsf C^{\mathrm{ann}}.
$$

這裡的不等式是明示政策下的操作非交換性，不是對所有數學擴張與連結的普遍斷言。若另外定義使該圖交換的合法提升規則，可能得到不同結論。

---

## 7. 有限構造：數值 1、三相位與跨分支網絡

### 7.1 [DEMO 7.1] 四種返回 1 的合成方案

此處重新使用 XPVB-01 的宏觀方案，但額外加入**人工指定的結構相位**：

$$
\begin{aligned}
A &: 1\xrightarrow{\times1}1, &\delta(A)&=0,\\
B &: 1\xrightarrow{+1}2\xrightarrow{-1}1, &\delta(B)&=1,\\
C &: 1\xrightarrow{\times2}2\xrightarrow{\div2}1, &\delta(C)&=2,\\
D &: 1\xrightarrow{+3}4\xrightarrow{-3}1, &\delta(D)&=1.
\end{aligned}
$$

相位 $\phi$ 取值於 $\mathbb Z/3\mathbb Z$，每個宏觀步驟使其按 $\delta(a)$ 更新：

$$
\phi(\tau a)=\big(\phi(\tau)+\delta(a)\big)\bmod3.
$$

**重要：** 這個相位是為檢驗「同值不同結構與連結」而加入的合成標籤；不是數字 $1$ 在標準算術中暗藏了三種物理相位，也不是對 $1^n$ 的直接語法展開。加減或乘除的往返運算，僅代表指定底空間中的其他合法宏觀過程。

### 7.2 [DEMO 7.2] 規則時序與有限分支數

- 第 1–2 輪：版本 $v_1$，合法方案 $A,B,C$。
- 第 3–4 輪：版本 $v_2$，合法方案 $A,B,C,D$。
- 每個宏觀方案從數值 $1$ 出發且返回 $1$。
- 所有歷程包含實際微步、中間值、版本與來源序列。
- 若兩條歷程終端值相同且相位相同，形成一條**非可執行**的無向證據邊。

附屬參考實作以精確分數算術運算，不使用浮點數估測返回值。

| 輪次 | 規則 | 完整歷程數 | 各相位的歷程數 $(0,1,2)$ | 同相位證據邊 | 只按數值 1 配對 |
|---:|---|---:|---|---:|---:|
| 0 | 起點 | 1 | $(1,0,0)$ | 0 | 0 |
| 1 | $v_1$ | 3 | $(1,1,1)$ | 0 | 3 |
| 2 | $v_1$ | 9 | $(3,3,3)$ | 9 | 36 |
| 3 | $v_2$ | 36 | $(12,12,12)$ | 198 | 630 |
| 4 | $v_2$ | 144 | $(48,48,48)$ | 3384 | 10296 |

表中第四欄的各相位大小源於此特定 $\delta$ 與版本時序：輪次 1 的三個方案恰產生三個相位，之後從每個相位出發的增量對分布保持均衡。**這不是一般可能性束必然具有的均勻性。**

### 7.3 [PROP 7.1] 本合成模型的相位等量性

**命題。** 初始相位為 $0$，在第一輪套用 $A,B,C$ 三種增量 $0,1,2$，則三個相位各有一條歷程；若某輪三個相位各有相同的歷程數 $m$，且下一輪的方案增量數量對所有父歷程相同，則每個新相位的歷程數仍相同。

**證明。** 對任一目標相位 $r$，每一合法宏觀方案的增量 $d$ 將一個來源相位 $r-d$ 的 $m$ 條歷程映入 $r$，因此新相位的數量為 $m$ 乘以本輪合法方案總數，且與 $r$ 無關。證畢。

此命題要求所有父歷程具有相同合法方案集合；若分支限制依路徑而不同，則不能直接推得均衡。

### 7.4 具體比較：36 條歷程，全部數值 1

在第三輪，全部 $36$ 條歷程的宏觀終端數值皆為 $1$，但它們按相位分成三組、每組 $12$ 條。若沒有分型，就會誤把全體 $36$ 條歷程視為可兩兩以同一意義連結：

$$
\binom{36}{2}=630.
$$

依本文指定的相位相容規則，旁向證據邊只有：

$$
3\binom{12}{2}=198.
$$

**少掉的 $432$ 條，不是被證明在所有理論中都不可能連接。** 它們只是**沒有通過本篇特定的相位相容關係**。未來若給出合法跨相位橋接、不同的連結型別或更高階的相容性證書，可以開放其他邊，但必須明確保留新增的規則與版本來源。

### 7.5 動態渲染應顯示哪些資訊？

本篇附屬 HTML 離線檢視頁，將第 $0$ – $4$ 輪的「結果投影」與「相位分組之可能性束」分開展示。對完整研究系統，建議至少有五條平行顯示軌：

1. 目前已生成的前沿與祖先來源；
2. 可執行縱向轉移及其形成證書；
3. 非可執行的旁向相容關係及其相容條件；
4. 結果投影、不變量與聚合後視圖；
5. 尚未枚舉、被拒絕、未知與規則改版的標記。

不同顯示軌可以並列，但不能假裝它們是同一數學對象。離線檢視頁是有限資料的顯示器，不會產生新的無限階證明。

---

## 8. 「變」與「不變」的三個層級

### 8.1 結果邊界不變

所有完整宏觀方案都從 $1$ 返回 $1$，故每條有限歷程的宏觀終端數值為：

$$
q_{\mathrm{val}}(\tau)=1.
$$

但對中間微步， $q_{\mathrm{val}}$ 未必恆為 $1$。因此這是**宏觀邊界不變量**，不是微步逐點不變量。

### 8.2 結構改變

當允許方案數由 $3$ 增至 $4$，或新路徑繼續被生成時：

$$
|F_{t+1}|>|F_t|,
\qquad
C^{\mathrm{ann}}_{t+1}\ne C^{\mathrm{ann}}_t
$$

可同時發生，而所有端點仍投影為 $1$。這個敘述具有清楚的適用條件：對本人工規則展開的有限輪次成立；並不保證任意未知的生成模型也會單調增長。

### 8.3 聚合改變不等於生成停止

在此例中，數值聚合視圖始終只有一個類別 $\{1\}$，相位聚合視圖則有三個類別；然而歷程來源數與證據連結數仍隨輪次改變。因此：

$$
\text{value projection stable}
\centernot\Longrightarrow
\text{process bundle stable}.
$$

上式不是否定極限值的數學正確性，而是拒絕把數值投影的穩定當作整體生成結構已停止的證明。

---

## 9. 無限過程與 X 階：本篇能說與不能說的話

### 9.1 形式上可定義無限路徑，不等於有限電腦能跑完

若每輪的有限前綴形成相容系統，無限路徑可用前綴序列定義：

$$
(\tau_0,\tau_1,\ldots),
\qquad
\tau_t\preceq\tau_{t+1}.
$$

但在本篇實作中只進行四輪完整展開，並且沒有主張對無限數量的旁向連結完成了列舉。有限實驗展示的是**可被延伸的規則與局部前綴**，不是把任何無限算子完整地執行出來。

### 9.2 三種不相同的無限

- **無界迭代：** 可考察任意大的有限輪次或相容無限歷程。
- **無界分支：** 每一步的候選數本身可能無界。
- **無界階次：** 作用規則的對象與形成法則可逐階提升。

它們各自需要獨立的數學條件。一般 $X_{k\ge3}$ 的形成、極限與交換律仍為 [OPEN]，不應把有限原型在第 4 輪產生的 144 條歷程視為任何此類證明。

### 9.3 關於 $1^\infty$

通常的 $1^n=1$ 及其常值序列極限可以嚴格證明；微積分所說的 $1^\infty$ 未定式，涉及**底數趨近 1** 與指數趨向無限時的耦合速率。本篇並不替換這些既有數學。

XPVB 在這裡改變的不是數值結論，而是研究問題：**當某個投影已知為 1 時，是否仍有可以合法展開、連結、觀察與再生成的過程束？若有，該過程束保留了什麼、缺少了什麼、允許哪些後續變換？**

---

## 10. 已知邊界與失效反例清單

| 識別 | 本篇可支持的判定 | 不得作出的擴張 |
|---|---|---|
| B01 | 指定宏觀方案的有限合法展開 | 所有數學運算皆已覆蓋 |
| B02 | 旁向證據邊可依相位相容形成 | 證據邊直接等於物理／計算轉移 |
| B03 | 結果值同為 1 不必同相位 | 數值 1 在標準算術中自帶相位 |
| B04 | 局部來源保留可支持有限回溯 | SHA 或字串來源即可證真實世界身份 |
| B05 | 投影閉合有必要且充分判準 | 單步封閉即普遍雙模擬或永久封閉 |
| B06 | 指定相容類的配對數可精確計算 | 缺少連結代表所有其他理論均不可能連接 |
| B07 | 局部連結政策與導出子圖剪枝可交換 | 任意全域排名、全域剪枝均可交換 |
| B08 | 第 3 輪開始新規則可改變生成樹 | 新版可回頭任意改寫舊版來源 |
| B09 | 觀測群組數可小於歷程數 | 顯示收斂等於整體結構收斂 |
| B10 | 38 項程式測試可重播有限合約 | 無限階、物理實在或普遍語義已獲驗證 |

### 10.1 尚未實作的核心部分 [OPEN]

**O1｜作用型跨分支連結。** 本篇只有明確分型的非可執行證據連結；真正可執行的跨底空間傳輸需後續的形成法則。

**O2｜一般 X 階組合。** 目前是 $X_0$ 、 $X_1$ 、 $X_2$ 的工作型別，並非任意階次的封閉代數。

**O3｜無界狀態與高維相容判定。** 未建立任意無限分支圖中可判定、可壓縮且不失真的完整表示。

**O4｜形式證明器驗證。** 目前只有人類可核對的條件證明及 Python 測試，尚無 Lean、Coq 或 Isabelle 的機器證書。

**O5｜跨理論同構。** 尚未證明 XPVB 與 PPBS、差合化、X 積分、TCGCT／TCGQT 或其他理論具有一般性的保型別同構。

**O6｜效率比較。** 若無具體任務、基線與成本模型，不能宣稱這套表示一定比既有過程代數或圖模型更快、更省資源或更正確。

---

## 11. 與既有理論的責任邊界

### 11.1 PPBS／DHTT-02

PPBS 提供多層候選、認知世界線、歷程資訊向量與不應由結果回推過程的前置脈絡。本文繼承「可能性與已發生歷程的區分」，但**不將人類認知中的注意、意圖或記憶直接當作數學相位的物理來源**；本篇有限模型只是純形式生成結構。

### 11.2 ESC-EXP-JA／FND-07

FND-07 對來源非坍縮、版本橋接與結果—過程再提升的嚴格重播要求，是本篇拒絕從同值連結直接升格為可執行連結的重要前置。本文沒有重跑 FND-07 的完整原型，也沒有宣稱本篇相位標籤與 FND 上下雙面原子是同一型別。

### 11.3 XOST-07

保留版本、未知、局部完成與可重新開啟的態度相容。但 XPVB 的 $X_0,X_1,X_2$ 不能僅憑符號相同就與 XOST 的反身階次等同。

### 11.4 既有過程代數與行為等價

標記轉移系統、軌跡語義、雙模擬與商系統早已能表達多種路徑和等價概念。[E1–E3] 本篇沒有把「知道結果不足以重建過程」當作首創數學命題。XPVB 候選的跨域貢獻，是把**未生成但合法的候選域、前沿展開、旁向關係、規則版本、來源保存與下輪底空間**放在一致的研究接口內，並逐項要求有測試與形成證據。

---

## 12. 結論

第一篇把結果重新放回底空間與運算歷程；第二篇則回答：**當可能性真正展開為束，何種關係能合法產生？又在何種條件下可以連結、聚合，甚至支援下一輪推演？**

本篇的有限實驗顯示，同樣是 $36$ 條返回數值 $1$ 的完整歷程，只看數值會給出 $630$ 組相等值配對，而附加可檢驗的相位相容條件後只形成 $198$ 條旁向證據邊。這不是找到一個超越既有代數的神祕數值，而是展示：**當連結規則具有自身的型別與形成條件時，相同的結果無法替代過程束的結構。**

更重要的是，即使完成結構聚合，投影也未必能封閉下一輪更新。當生成合法性依賴尚未保留的歷程資訊時，同一投影可能分化成不同的後繼可能性。要保留生成能力，就需要更細的觀測、更完整的來源，或明確承認原本的低維表示不充分。

**最後結論：數值可以不變，可能性可以生成；關係可以成立，作用卻仍須證成。過程真正的數學內容，就存在於這些不能互相偷換的運算層次。**

---

## 附錄 A｜有限可重播研究包

壓縮包含 `src/xpvb02.py`、`tests/test_xpvb02.py`、`results/xpvb02_demo.json`、`results/test_report.txt`、離線動態檢視器 `viewer.html`、驗收文件與 SHA-256 清單。使用 Python 3.10 或更新版本的標準函式庫，在解壓後根目錄執行：

```bash
python -m unittest discover -s tests -v
python src/xpvb02.py --rounds 4 --output results/xpvb02_demo.json
python validate_source.py
```

單元測試僅是程式契約與有限合成資料的檢查，**不**代表一般 X 階數學已由自動證明器證明。`viewer.html` 是可直接離線開啟的有限實驗資料視圖。

## 附錄 B｜參考資料與來源地位

### 內部理論譜系

- [I1] Neo.K／EveMissLab，《X 階過程變化束論｜第一篇：過程運算的數學基礎——底空間、生成作用與結果再生》，XPVB-01 v0.1，2026-11-03。本文直接前置，含定義、條件命題與有限參考實作。
- [I2] Neo.K／EveMissLab，《雙手張力論 02：從結果到過程——認知世界線、過程可能性底空間與決策資訊的生成歷史》，DHTT-02 v0.1，2026-10-07。作為可能性域及過程非同一的研究脈絡。
- [I3] Neo.K／EveMissLab，《差合化雙層結果的過程再生成：有型別雙面提升、來源非坍縮與嚴格重播》，ESC-EXP-JA-FND-07 v0.1，2026-10-30。作為合法承接與保留來源的前置參照。
- [I4] Neo.K／EveMissLab，《X 階光譜真與無限維反身張力論｜Paper 07：自指閉合、光譜再生成與動態演化》，XOST-07 v0.1，2026-10-31。作為局部完成、未知狀態與可重開的研究方法參照。

### 相鄰成熟研究（已公開，不代表 XPVB 所有主張已被外部證成）

- [E1] R. Milner, *Communication and Concurrency*, Prentice-Hall, 1989. https://www.research.ed.ac.uk/en/publications/communication-and-concurrency/ 。過程語義、轉移與行為研究的經典著作。
- [E2] B. Jacobs, “Trace Semantics for Coalgebras,” *Electronic Notes in Theoretical Computer Science*, 106, 167–184, 2004. https://doi.org/10.1016/j.entcs.2004.02.031 。軌跡語義與餘代數之既有研究。
- [E3] J. J. Leifer and R. Milner, “Deriving Bisimulation Congruences for Reactive Systems,” *CONCUR 2000*, LNCS 1877, 243–258, 2000. https://doi.org/10.1007/3-540-44618-4_19 。既有反應系統、標記轉移及同餘式行為等價研究。

## 附錄 C｜提交狀態

**`XPVB-02_v0.1; UTF8_MD_SOURCE; 38_UNIT_TESTS; FINITE_SYNTHETIC_EXPERIMENT; INFINITE_X_ORDER_OPEN; NO_FORMAL_PROOF_ASSISTANT_CERTIFICATE`**