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] 三種不可混用的群聚

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

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

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$ 輪的「結果投影」與「相位分組之可能性束」分開展示。對完整研究系統，建議至少有五條平行顯示軌：

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

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

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 或更新版本的標準函式庫，在解壓後根目錄執行：

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

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