XPVB / PAPER 05 / FINITE FORMAL VIEWER
過程差合化與跨底空間再生成
改變觀測視角、播放有限歷程，檢查來源作用如何被轉譯，以及新底空間如何增加舊系統不存在的生成可能性。所有案例均為人工指定的有限轉移系統。
離線檢視 · 不代表無限完成
64已重播來源歷程
64合法轉譯歷程
160新版形成候選
32其中新增 weave 候選
1 · 選擇來源歷程與局部觀察深度
每一個步驟都是已編碼的宏觀作用；X 階不是這裡的步數標籤。來源字 S = stay（XPVB-04 的 A）；F = flip（XPVB-04 的 B）。
2 · 同步觀測來源與目標表示
來源 B₁ · src-v1
s0
數值投影
1
相位 0
作用歷程
目標 B₂ · tgt-v2
t0
數值投影
1
相位 0
轉譯後作用歷程
此圖展示的是來源歷程在目標語言下的合法表示，不是宣稱目標世界曾經執行相同歷史。
3 · 從當前目標端點再生成
以下是目前選定前綴之後，在新版規則下可形成的一步候選：
同值不等於同能力。 當終端在 t1 時，額外可生成
weave → t2；它沒有來源版的合法前像。4 · 橋接與差異：什麼被保存，什麼真正新增？
來源合法作用與轉譯像目標新增作用合法的單向橋接
源 → 目標：經驗證的映射
目標未由來源像表示的作用
來源作用是前向保存；不保證所有目標邊都可反向匹配。跨底空間差異並非普通數值相減。
5 · 來源鏈與組合
原始歷程識別（SHA-256）
目標轉譯收據（SHA-256）
B₁ → B₂ → B₃64 / 64 相容組合
散列只證明所持資料可做本地一致性比對，不提供可信外部時間或真實身份。
6 · 被拒絕的橋接案例
OBSERVATION_SQUARE_FAILS
未經目標資料支持，將來源數值 1 強行轉成 2，與目標狀態觀測不相容。
BRIDGE_SNAPSHOT_MISMATCH
目標規則即使仍叫相同版本，只要實際合法邊已更改，原橋接不能直接沿用。
研究界線
有限合成模型 · 全部目標觀測值預設為 1 · 被轉譯的舊歷程 ≠ 在目標系統真正執行過的歷程 · 下一步候選 ≠ 外部現實事件 · 單向前向模擬 ≠ 雙向等價 · SHA-256 ≠ 第三方認證 · 動畫結束 ≠ 無限完成。