穿越之前：重建、回溯、逆演化與真正時間穿越的型別分離
系列 ：科幻命題猜想：時空、資訊與逆因果 01英文題名 ：Before Traversal: Type Separation of Reconstruction, Rollback, Reverse Evolution, Retrocausality, and Genuine Time Travel 作者 ：Neo.K × GPT-5.6 Sol機構 ：EveMissLab（一言諾科技有限公司）日期 ：2026-09-17版本 ：v0.1性質 ：內部理論整理／時空分類學／逆因果前置框架／科幻命題猜想狀態 ：Series A 正式首篇
摘要
「回到過去」常被當成單一命題，但它實際混合了至少七種不同操作：歷史資料重建、虛擬重現、系統回滾、狀態逆演化、未來對過去的因果介入、載體向過去的真正穿越，以及歷史分支的選擇／創生／改寫。這些操作可能在表象上產生相似結果，卻依賴完全不同的狀態空間、因果結構、物理機制與身份條件。
本文提出一個新的「穿越前型別系統」，不再以「時間旅行」作為 primitive，而將任一候選操作表示為：
T = ⟨ D s , D t , X , O , H , C , B , I , A ⟩ \boxed{
\mathfrak T
=
\left\langle
\mathcal D_s,
\mathcal D_t,
\mathcal X,
\mathcal O,
\mathcal H,
\mathcal C,
\mathcal B,
\mathcal I,
\mathcal A
\right\rangle
} T = ⟨ D s , D t , X , O , H , C , B , I , A ⟩ 其中，D s \mathcal D_s D s D t \mathcal D_t D t X \mathcal X X O \mathcal O O H \mathcal H H C \mathcal C C B \mathcal B B I \mathcal I I A \mathcal A A
本文的核心結論是：
Reconstruction ≠ Replay ≠ Rollback ≠ Reverse Evolution ≠ Retrocausal Intervention ≠ Past-Directed Traversal ≠ History Rewrite . \boxed{
\text{Reconstruction}
\neq
\text{Replay}
\neq
\text{Rollback}
\neq
\text{Reverse Evolution}
\neq
\text{Retrocausal Intervention}
\neq
\text{Past-Directed Traversal}
\neq
\text{History Rewrite}.
} Reconstruction = Replay = Rollback = Reverse Evolution = Retrocausal Intervention = Past-Directed Traversal = History Rewrite . 特別地，一個系統在較晚時刻重建出與較早時刻等價的狀態，不代表該系統真的返回了較早事件；可逆動力學不代表存在向過去可定址的因果通道；未來邊界參與全域歷史解，也不等於未來代理人可以任意改寫已發生的歷史；分支存在更不自動推出分支可定址、可轉移或可穿越。
本文同時提出三個必要區分：
State Equivalence ≠ Historical Identity ≠ Causal Location , \boxed{
\text{State Equivalence}
\neq
\text{Historical Identity}
\neq
\text{Causal Location},
} State Equivalence = Historical Identity = Causal Location , Physical Possibility ≠ Operational Addressability ≠ Permission , \boxed{
\text{Physical Possibility}
\neq
\text{Operational Addressability}
\neq
\text{Permission},
} Physical Possibility = Operational Addressability = Permission , 以及：
Backward Description ≠ Backward Causation . \boxed{
\text{Backward Description}
\neq
\text{Backward Causation}.
} Backward Description = Backward Causation . 此框架的目的不是證明時間旅行可行，而是建立一個足夠精確的語義與形式底座，使後續「資訊穿越」「人工量子」「逆因果可定址性」「單一歷史與分支宇宙」「時空治理與開放度」等命題能在不發生型別錯位的前提下被分別研究。
關鍵詞 ：時間旅行、逆因果、回滾、重建、逆演化、世界線、歷史分支、可定址性、型別系統、科幻命題猜想
0. 問題重構：不要先問「能不能回到過去」
傳統問題通常寫成：
TimeTravel ∈ { possible , impossible } . \operatorname{TimeTravel}
\in
\{\text{possible},\text{impossible}\}. TimeTravel ∈ { possible , impossible } . 這個問題過度壓縮。
因為下列敘述在自然語言中都可能被稱為「回到過去」：
根據完整資料重建一座已消失城市；
在虛擬世界中重新執行某段歷史；
將計算機恢復到昨天的 checkpoint；
讓微觀系統沿逆向動力學回到先前狀態；
讓未來操作改變較早時刻的物理結果；
讓某個載體沿 past-directed worldline 抵達較早事件；
進入另一條具有相似過去的歷史分支；
建立一條從過去事件開始的新歷史；
把同一條既有歷史由 H 1 H_1 H 1 H 2 H_2 H 2
這些命題沒有相同的必要條件。
因此本文首先取消：
TimeTravel \boxed{
\operatorname{TimeTravel}
} TimeTravel 作為不可再分的 primitive。
新的問題應改為：
發生了什麼狀態轉換？它作用在哪一個歷史域？是否跨越因果位置？是否改變因果關係？是否保留同一身份？是否生成或改寫分支？
1. 穿越前型別
定義候選時空操作：
T = ⟨ D s , D t , X , O , H , C , B , I , A ⟩ . \boxed{
\mathfrak T
=
\left\langle
\mathcal D_s,
\mathcal D_t,
\mathcal X,
\mathcal O,
\mathcal H,
\mathcal C,
\mathcal B,
\mathcal I,
\mathcal A
\right\rangle.
} T = ⟨ D s , D t , X , O , H , C , B , I , A ⟩ . 其中：
D s \mathcal D_s D s D t \mathcal D_t D t X \mathcal X X O \mathcal O O H \mathcal H H C \mathcal C C B \mathcal B B I \mathcal I I A \mathcal A A
本文將：
O \mathcal O O 至少拆成：
O ∈ { O r e c , O r e p l a y , O r o l l b a c k , O r e v , O r e t r o , O t r a v , O b r a n c h , O r e w r i t e } . \boxed{
\mathcal O
\in
\{
O_{\mathrm{rec}},
O_{\mathrm{replay}},
O_{\mathrm{rollback}},
O_{\mathrm{rev}},
O_{\mathrm{retro}},
O_{\mathrm{trav}},
O_{\mathrm{branch}},
O_{\mathrm{rewrite}}
\}.
} O ∈ { O rec , O replay , O rollback , O rev , O retro , O trav , O branch , O rewrite } . 後續任何「時間旅行」命題都應先指定它實際是哪一種操作。
2. 類型一：重建不是穿越
令歷史目標在較早時刻具有狀態：
x ( t 0 ) . x(t_0). x ( t 0 ) . 若在較晚時刻 t 1 > t 0 t_1>t_0 t 1 > t 0
x ^ ( t 0 ) = Recon ( R , M , E ) , \hat{x}(t_0)
=
\operatorname{Recon}(R,M,E), x ^ ( t 0 ) = Recon ( R , M , E ) , 並滿足某種容許誤差：
d ( x ^ ( t 0 ) , x ( t 0 ) ) ≤ ε , d\!\left(
\hat{x}(t_0),
x(t_0)
\right)
\leq
\varepsilon, d ( x ^ ( t 0 ) , x ( t 0 ) ) ≤ ε , 則稱為重建 。
重建只要求：
x ^ ( t 0 ) ≃ ε x ( t 0 ) . \boxed{
\hat{x}(t_0)
\simeq_{\varepsilon}
x(t_0).
} x ^ ( t 0 ) ≃ ε x ( t 0 ) . 它不要求：
Location ( x ^ ( t 0 ) ) = t 0 . \boxed{
\operatorname{Location}
\left(
\hat{x}(t_0)
\right)
=
t_0.
} Location ( x ^ ( t 0 ) ) = t 0 . 因此：
Past Reconstruction ≠ Presence in the Past . \boxed{
\text{Past Reconstruction}
\neq
\text{Presence in the Past}.
} Past Reconstruction = Presence in the Past . 即使一個未來文明可以原子級、量子級重建古代城市、人物或環境，它仍可能只是在未來創造一個與歷史狀態高度等價的新實例。
3. 類型二：重現不是重建
「重現」與「重建」仍應分離。
重建偏向：
x ( t 0 ) → x ^ ( t 0 ) . x(t_0)
\rightarrow
\hat{x}(t_0). x ( t 0 ) → x ^ ( t 0 ) . 重現則偏向重新執行一段演化：
x ^ ( t 0 ) → Φ ^ x ^ ( t 1 ) → Φ ^ ⋯ → Φ ^ x ^ ( t n ) . \hat{x}(t_0)
\xrightarrow{\hat{\Phi}}
\hat{x}(t_1)
\xrightarrow{\hat{\Phi}}
\cdots
\xrightarrow{\hat{\Phi}}
\hat{x}(t_n). x ^ ( t 0 ) Φ ^ x ^ ( t 1 ) Φ ^ ⋯ Φ ^ x ^ ( t n ) . 因此：
Reconstruction = state-oriented , \boxed{
\text{Reconstruction}
=
\text{state-oriented},
} Reconstruction = state-oriented , 而：
Replay = trajectory-oriented . \boxed{
\text{Replay}
=
\text{trajectory-oriented}.
} Replay = trajectory-oriented . 一個虛擬宇宙可以高度精確地 replay 某段歷史，但它仍然只是在另一載體、另一時間位置或另一計算域中生成一條對應軌跡。
所以：
Replay of History ≠ Continuation of the Original History . \boxed{
\text{Replay of History}
\neq
\text{Continuation of the Original History}.
} Replay of History = Continuation of the Original History . 4. 類型三：回滾不是逆演化
令一個計算系統在 t 0 t_0 t 0
c 0 = Checkpoint ( x ( t 0 ) ) . c_0
=
\operatorname{Checkpoint}
\left(
x(t_0)
\right). c 0 = Checkpoint ( x ( t 0 ) ) . 系統後來到達：
x ( t 1 ) . x(t_1). x ( t 1 ) . 若執行：
x ( t 1 ) → R c 0 x ′ ( t 0 ) , x(t_1)
\xrightarrow{R_{c_0}}
x'(t_0), x ( t 1 ) R c 0 x ′ ( t 0 ) , 其中：
x ′ ( t 0 ) = Restore ( c 0 ) , x'(t_0)
=
\operatorname{Restore}(c_0), x ′ ( t 0 ) = Restore ( c 0 ) , 這叫回滾 。
它依賴的是外部保存的歷史表示，而不是要求原本的動力學本身可逆。
因此：
Rollback ≠ Dynamical Reversal . \boxed{
\text{Rollback}
\neq
\text{Dynamical Reversal}.
} Rollback = Dynamical Reversal . 資料庫 rollback、虛擬機 snapshot restore、event sourcing、世界狀態 checkpoint 都屬於此型。
這一區分也適用於早期「量子回溯論」中的部分工程思想：如果所謂回溯實際依賴 checkpoint、路徑記錄、成功軌跡保存或狀態重建，那麼它首先是一種歷史狀態管理與可重建計算，而不是物理時間旅行。
5. 類型四：逆演化不是返回過去
考慮動力學：
x ( t 1 ) = Φ t 1 − t 0 ( x ( t 0 ) ) . x(t_1)
=
\Phi_{t_1-t_0}
\left(
x(t_0)
\right). x ( t 1 ) = Φ t 1 − t 0 ( x ( t 0 ) ) . 若存在合法逆映射：
Φ t 1 − t 0 − 1 , \Phi^{-1}_{t_1-t_0}, Φ t 1 − t 0 − 1 , 使得：
Φ t 1 − t 0 − 1 ( x ( t 1 ) ) = x ( t 0 ) , \Phi^{-1}_{t_1-t_0}
\left(
x(t_1)
\right)
=
x(t_0), Φ t 1 − t 0 − 1 ( x ( t 1 ) ) = x ( t 0 ) , 則系統具備某種逆演化 。
但這裡得到的是：
x n o w → x p a s t - e q u i v a l e n t , x_{\mathrm{now}}
\rightarrow
x_{\mathrm{past\text{-}equivalent}}, x now → x past - equivalent , 而不是：
Event ( t 1 ) → Event ( t 0 ) . \operatorname{Event}(t_1)
\rightarrow
\operatorname{Event}(t_0). Event ( t 1 ) → Event ( t 0 ) . 因此：
Reverse Evolution ≠ Past-Directed Traversal . \boxed{
\text{Reverse Evolution}
\neq
\text{Past-Directed Traversal}.
} Reverse Evolution = Past-Directed Traversal . 更一般地：
State Restoration ≠ Causal Relocation . \boxed{
\text{State Restoration}
\neq
\text{Causal Relocation}.
} State Restoration = Causal Relocation . 這個區分避免把微觀可逆、Loschmidt-type reversal、可逆邏輯或 unitary inversion 直接解讀成「時間已經倒流」。
6. 類型五：逆因果是因果圖問題
真正的 retrocausal intervention 應該由因果關係定義，而不是由「狀態看起來像過去」定義。
令未來操作：
A f A_f A f 發生於：
t f . t_f. t f . 令過去變量：
Y p Y_p Y p 位於：
t p < t f . t_p<t_f. t p < t f . 若存在兩個未來操作：
a ≠ a ′ , a\neq a', a = a ′ , 使：
P ( Y p ∣ do ( A f = a ) ) ≠ P ( Y p ∣ do ( A f = a ′ ) ) , P
\left(
Y_p
\mid
\operatorname{do}(A_f=a)
\right)
\neq
P
\left(
Y_p
\mid
\operatorname{do}(A_f=a')
\right), P ( Y p ∣ do ( A f = a ) ) = P ( Y p ∣ do ( A f = a ′ ) ) , 則至少在操作性定義上出現真正的過去向因果影響候選。
因此逆因果的核心不是：
t → − t , t\rightarrow -t, t → − t , 而是因果圖中出現：
A f ⟶ Y p , t p < t f . \boxed{
A_f
\longrightarrow
Y_p,
\qquad
t_p<t_f.
} A f ⟶ Y p , t p < t f . 所以：
Backward Causation = causal-edge property , \boxed{
\text{Backward Causation}
=
\text{causal-edge property},
} Backward Causation = causal-edge property , 而不是單純的：
state-transition property . \boxed{
\text{state-transition property}.
} state-transition property . 這也是未來「人工量子」命題需要特別注意之處：人工製造或精確控制微觀量子態，不會自動生成：
A f → Y p . A_f\rightarrow Y_p. A f → Y p . 真正缺少的仍是可操作的 past-directed causal relation。
7. 類型六：真正向過去穿越需要因果位置改變
本文將狹義真正穿越 定義為：
存在載體 (P)，其世界線或等價因果軌跡從較晚事件：
e f e_f e f 合法連接至較早事件：
e p , t ( e p ) < t ( e f ) , e_p,
\qquad
t(e_p)<t(e_f), e p , t ( e p ) < t ( e f ) , 並且該載體在目標事件具有可識別持續性：
I ( P f , P p ) = 1 \mathcal I(P_f,P_p)
=
1 I ( P f , P p ) = 1 或至少滿足指定身份準則。
因此：
Past-Directed Traversal \boxed{
\text{Past-Directed Traversal}
} Past-Directed Traversal 要求的不只是狀態被重建，而是：
causal location / worldline relation changes . \boxed{
\text{causal location / worldline relation changes}.
} causal location / worldline relation changes . 這與：
x ^ ( t 0 ) ≃ x ( t 0 ) \hat{x}(t_0)\simeq x(t_0) x ^ ( t 0 ) ≃ x ( t 0 ) 完全不同。
兩個系統即使具有完全相同的局部物理狀態，也不代表它們具有相同歷史身份與因果位置。
8. 三種不可混淆的同一性
本文提出：
State Equivalence ≠ Historical Identity ≠ Causal Location . \boxed{
\text{State Equivalence}
\neq
\text{Historical Identity}
\neq
\text{Causal Location}.
} State Equivalence = Historical Identity = Causal Location . 8.1 狀態等價
若：
d ( x , y ) ≤ ε , d(x,y)\leq\varepsilon, d ( x , y ) ≤ ε , 則 (x) 與 (y) 在指定觀測尺度下可視為等價。
8.2 歷史身份
歷史身份要求一個物件具有指定的生成／持續關係：
Hist ( x ) ≃ Hist ( y ) . \operatorname{Hist}(x)
\simeq
\operatorname{Hist}(y). Hist ( x ) ≃ Hist ( y ) . 狀態完全一樣仍不必推出：
Hist ( x ) = Hist ( y ) . \operatorname{Hist}(x)
=
\operatorname{Hist}(y). Hist ( x ) = Hist ( y ) . 8.3 因果位置
因果位置描述一個存在位於哪個事件、世界線、歷史分支與因果網路中。
因此：
x ≃ y x\simeq y x ≃ y 不推出：
CausalLoc ( x ) = CausalLoc ( y ) . \operatorname{CausalLoc}(x)
=
\operatorname{CausalLoc}(y). CausalLoc ( x ) = CausalLoc ( y ) . 這一區分對「複製一個過去的人」與「同一個人真的回到過去」尤其重要。
9. 類型七：分支操作不是返回同一過去
假設存在歷史集合：
H = { H 0 , H 1 , … } . \mathbb H
=
\{
H_0,H_1,\ldots
\}. H = { H 0 , H 1 , … } . 則 branch operation 至少可拆成：
B ∈ { B s e l e c t , B t r a n s f e r , B f o r k , B m e r g e , B r e w r i t e } . \mathcal B
\in
\{
B_{\mathrm{select}},
B_{\mathrm{transfer}},
B_{\mathrm{fork}},
B_{\mathrm{merge}},
B_{\mathrm{rewrite}}
\}. B ∈ { B select , B transfer , B fork , B merge , B rewrite } . 它們分別表示：
選擇既有分支；
轉移至另一分支；
從事件生成新分支；
合併歷史；
改寫原有歷史。
因此：
Branch Existence ⇏ Branch Addressability ⇏ Branch Traversability . \boxed{
\text{Branch Existence}
\not\Rightarrow
\text{Branch Addressability}
\not\Rightarrow
\text{Branch Traversability}.
} Branch Existence ⇒ Branch Addressability ⇒ Branch Traversability . 如果一個存在從：
H 0 H_0 H 0 進入：
H 1 , H_1, H 1 , 即使 H 1 H_1 H 1 H 0 H_0 H 0
10. 改寫與自洽歷史必須分離
假設原始歷史為：
H 1 . H_1. H 1 . 10.1 歷史改寫
若未來操作使：
H 1 → H 2 , H 1 ≠ H 2 , H_1
\rightarrow
H_2,
\qquad
H_1\neq H_2, H 1 → H 2 , H 1 = H 2 , 且被改變的是同一歷史的較早區段，這是最強意義的 rewrite。
10.2 自洽逆因果
另一種可能則不存在：
H 1 → H 2 . H_1\rightarrow H_2. H 1 → H 2 . 而只有單一全域歷史：
H ∗ , H^\ast, H ∗ , 其中未來事件與過去事件共同滿足：
H ∗ = Fix ( C p a s t , C f u t u r e , C l o o p ) . H^\ast
=
\operatorname{Fix}
\left(
\mathcal C_{\mathrm{past}},
\mathcal C_{\mathrm{future}},
\mathcal C_{\mathrm{loop}}
\right). H ∗ = Fix ( C past , C future , C loop ) . 這時未來確實可能是過去的因果條件之一，但沒有「先有未受影響的過去，再被改掉」這個步驟。
因此：
Retrocausal Consistency ≠ History Rewrite . \boxed{
\text{Retrocausal Consistency}
\neq
\text{History Rewrite}.
} Retrocausal Consistency = History Rewrite . 11. 雙邊界歷史也不是代理人任意改寫
另一類模型可抽象為：
H ∗ = Consistent ( B i , B f , L ) , H^\ast
=
\operatorname{Consistent}
\left(
B_i,
B_f,
\mathcal L
\right), H ∗ = Consistent ( B i , B f , L ) , 其中：
B i B_i B i B f B_f B f L \mathcal L L
此時歷史不是單純：
B i → H , B_i
\rightarrow
H, B i → H , 而是由兩端條件共同限制：
B i ↔ H ∗ ↔ B f . B_i
\leftrightarrow
H^\ast
\leftrightarrow
B_f. B i ↔ H ∗ ↔ B f . 但仍不能因此推出：
Future Boundary Participation ⇒ Free Past Rewrite . \boxed{
\text{Future Boundary Participation}
\Rightarrow
\text{Free Past Rewrite}.
} Future Boundary Participation ⇒ Free Past Rewrite . 「未來是全域解的一部分」與「未來智能體可任意寫入過去」是不同命題。
12. 虛擬宇宙應另外建域，不要偷渡成時間穿越
令真實／原生歷史域為：
D R . \mathcal D_R. D R . 令虛擬重建域為：
D V . \mathcal D_V. D V . 即使存在高保真映射：
F : D R ( t 0 ) → D V , F:
\mathcal D_R(t_0)
\rightarrow
\mathcal D_V, F : D R ( t 0 ) → D V , 並使：
d ( F ( D R ( t 0 ) ) , D R ( t 0 ) ) ≤ ε , d
\left(
F(\mathcal D_R(t_0)),
\mathcal D_R(t_0)
\right)
\leq
\varepsilon, d ( F ( D R ( t 0 )) , D R ( t 0 ) ) ≤ ε , 也仍然只是：
D R → D V . \mathcal D_R
\rightarrow
\mathcal D_V. D R → D V . 而不是：
t 1 → t 0 . t_1
\rightarrow
t_0. t 1 → t 0 . 因此本文明確規定：
Virtual Reconstruction \boxed{
\text{Virtual Reconstruction}
} Virtual Reconstruction 必須與：
Physical Past-Directed Traversal \boxed{
\text{Physical Past-Directed Traversal}
} Physical Past-Directed Traversal 分域表示。
未來若建立完整歷史模擬、虛擬造物主、世界重建或高保真重演系統，這些技術本身可能極其重要，但不應被語義上提前升格為真正時間穿越。
13. 「資訊穿越」也必須先通過型別檢查
令資訊內容為：
[
I.
]
若它在較晚時刻被保存、複製或解碼：
I ( t 0 ) → I ( t 1 ) , t 1 > t 0 , I(t_0)
\rightarrow
I(t_1),
\qquad
t_1>t_0, I ( t 0 ) → I ( t 1 ) , t 1 > t 0 , 這只是普通歷史持續。
若未來代理人於 t f t_f t f
I f , I_f, I f , 而較早時刻 t p < t f t_p<t_f t p < t f
P ( Y p ∣ do ( I f = i ) ) ≠ P ( Y p ∣ do ( I f = i ′ ) ) , P
\left(
Y_p
\mid
\operatorname{do}(I_f=i)
\right)
\neq
P
\left(
Y_p
\mid
\operatorname{do}(I_f=i')
\right), P ( Y p ∣ do ( I f = i ) ) = P ( Y p ∣ do ( I f = i ′ ) ) , 這才屬於真正 backward-information influence 的候選。
因此：
Information Persistence ≠ Information Reconstruction ≠ Backward Information Transmission . \boxed{
\text{Information Persistence}
\neq
\text{Information Reconstruction}
\neq
\text{Backward Information Transmission}.
} Information Persistence = Information Reconstruction = Backward Information Transmission . 本文不假設資訊天然比物質更容易進入過去向通道。資訊必須有載體，而 temporal-channel cost 也不必由 payload mass 或 bit count 單獨決定。
14. 可行性、可定址性與權限是三個不同問題
即使未來某種物理機制允許 past-directed relation，也至少還有三個不同層次：
P = physical possibility , \boxed{
\mathcal P
=
\text{physical possibility},
} P = physical possibility , A = operational addressability , \boxed{
\mathcal A
=
\text{operational addressability},
} A = operational addressability , R = permission / governance . \boxed{
\mathcal R
=
\text{permission / governance}.
} R = permission / governance . 所以：
P ⇏ A ⇏ R . \boxed{
\mathcal P
\not\Rightarrow
\mathcal A
\not\Rightarrow
\mathcal R.
} P ⇒ A ⇒ R . 一個通道可能物理上存在，但無法被智能體選擇目標；
一個通道可能可以定址，但只能操作極小自由度；
一個文明可能具有完整技術能力，卻因協調、安全、倫理或跨域治理而限制實際使用。
因此「沒有觀察到時間旅行者」不能單獨推出：
Past-Directed Traversal is physically impossible . \text{Past-Directed Traversal is physically impossible}. Past-Directed Traversal is physically impossible . 它最多支持：
Observed Accessibility ≃ 0 \boxed{
\text{Observed Accessibility}
\simeq
0
} Observed Accessibility ≃ 0 於目前觀察域與證據條件下成立。
15. 新版型別判定流程
未來遇到任何「時間穿越」命題，依序回答：
15.1 狀態問題
是否只是：
x → x ^ ? x
\rightarrow
\hat{x}? x → x ^ ? 若是，優先分類為 reconstruction。
15.2 軌跡問題
是否重新執行：
Γ = { x 0 , x 1 , … , x n } ? \Gamma
=
\{
x_0,x_1,\ldots,x_n
\}? Γ = { x 0 , x 1 , … , x n }? 若是，分類為 replay。
15.3 歷史儲存問題
是否依靠 checkpoint、ledger、snapshot 或其他歷史表示恢復：
x n → x k ? x_n
\rightarrow
x_k? x n → x k ? 若是，分類為 rollback。
15.4 動力學問題
是否使用：
Φ − 1 \Phi^{-1} Φ − 1 或等價反演機制？
若是，分類為 reverse evolution。
15.5 因果問題
是否真正新增：
e f → e p , t p < t f ? e_f
\rightarrow
e_p,
\qquad
t_p<t_f? e f → e p , t p < t f ? 若是，進入 retrocausal intervention 類。
15.6 世界線問題
是否有載體本身到達較早事件？
若是，才進入 past-directed traversal 類。
15.7 歷史拓撲問題
是否改變：
[
H,
]
或建立／切換：
H i ? H_i? H i ? 若是，再分類為 branch operation 或 rewrite。
16. 與舊「八種時間穿越」框架的關係
舊八類仍然有價值，但新版不再把它們當 primitive。
例如舊「全局逆向回溯」可能實際對應：
O r e v + S g l o b a l , O_{\mathrm{rev}}
+
S_{\mathrm{global}}, O rev + S global , 也可能只是：
O r o l l b a c k + S g l o b a l . O_{\mathrm{rollback}}
+
S_{\mathrm{global}}. O rollback + S global . 兩者在自然語言上都叫「全宇宙回到以前」，但物理含義完全不同。
舊「局部逆向回溯」也可能拆成：
O t r a v , O_{\mathrm{trav}}, O trav , O r e t r o , O_{\mathrm{retro}}, O retro , 或：
O b r a n c h . O_{\mathrm{branch}}. O branch . 因此新版採用：
Legacy Classes → Typed Decomposition . \boxed{
\text{Legacy Classes}
\rightarrow
\text{Typed Decomposition}.
} Legacy Classes → Typed Decomposition . 八類不被否定，而是被降為歷史語義索引。
17. 與「量子回溯論 v2.0」的關係
早期量子回溯論中的若干重要工程直覺仍可保留，包括：
路徑保存；
checkpoint；
成功軌跡結晶；
歷史記憶；
逆向檢索；
局部狀態恢復；
可逆演化與不可逆輸出分層。
但新版不再預設它們必須具有字面上的物理「量子時間回溯」含義。
可先抽象表示：
M H = history memory , \mathcal M_H
=
\text{history memory}, M H = history memory , R k : ( x t , M H ) → x ~ t − k . R_k:
(x_t,\mathcal M_H)
\rightarrow
\tilde{x}_{t-k}. R k : ( x t , M H ) → x ~ t − k . 然後再依實現方法判斷：
R k ∈ { checkpoint restore , trajectory reconstruction , reversible dynamics , quantum inversion , … } . R_k
\in
\{
\text{checkpoint restore},
\text{trajectory reconstruction},
\text{reversible dynamics},
\text{quantum inversion},
\ldots
\}. R k ∈ { checkpoint restore , trajectory reconstruction , reversible dynamics , quantum inversion , … } . 因此：
Rollback ≠ Quantum , \boxed{
\text{Rollback}
\neq
\text{Quantum},
} Rollback = Quantum , 但某些 quantum/reversible substrate 可以成為更強的 rollback 或 inverse-dynamics 實現。
這種重新 typing 可以保留工程骨架，同時剝離過度物理化的隱喻。
18. 最小真正穿越條件
本文最後提出一個最低條件集合。
若要聲稱存在真正過去向穿越 ，至少需要：
G t r a v = { G 1 , G 2 , G 3 , G 4 , G 5 } . \boxed{
\mathcal G_{\mathrm{trav}}
=
\{
G_1,G_2,G_3,G_4,G_5
\}.
} G trav = { G 1 , G 2 , G 3 , G 4 , G 5 } . 其中：
G 1 : ∃ 合法 past-directed causal relation ; G_1:
\quad
\exists
\text{合法 past-directed causal relation}; G 1 : ∃ 合法 past-directed causal relation ; G 2 : target event/domain is addressable ; G_2:
\quad
\text{target event/domain is addressable}; G 2 : target event/domain is addressable ; G 3 : a payload or causal influence can couple to that relation ; G_3:
\quad
\text{a payload or causal influence can couple to that relation}; G 3 : a payload or causal influence can couple to that relation ; G 4 : identity/memory condition is explicitly specified ; G_4:
\quad
\text{identity/memory condition is explicitly specified}; G 4 : identity/memory condition is explicitly specified ; G 5 : same-history / branch / rewrite semantics is explicitly specified . G_5:
\quad
\text{same-history / branch / rewrite semantics is explicitly specified}. G 5 : same-history / branch / rewrite semantics is explicitly specified . 如果只滿足狀態恢復：
G 0 : x ′ ≃ x ( t 0 ) , G_0:
\quad
x'\simeq x(t_0), G 0 : x ′ ≃ x ( t 0 ) , 則不足以推出：
G t r a v . \mathcal G_{\mathrm{trav}}. G trav . 因此：
Past-State Recovery ⇏ Past-Event Access . \boxed{
\text{Past-State Recovery}
\not\Rightarrow
\text{Past-Event Access}.
} Past-State Recovery ⇒ Past-Event Access . 19. 方法論結論：先問型別，再問可行性
本文最核心的方法論不是回答：
時間旅行可不可能？
而是把它改寫成：
Which operation is being claimed? \boxed{
\text{Which operation is being claimed?}
} Which operation is being claimed? 再依序研究：
Type → Formal Consistency → Physical Compatibility → Engineering Reachability → Addressability → Permission . \boxed{
\text{Type}
\rightarrow
\text{Formal Consistency}
\rightarrow
\text{Physical Compatibility}
\rightarrow
\text{Engineering Reachability}
\rightarrow
\text{Addressability}
\rightarrow
\text{Permission}.
} Type → Formal Consistency → Physical Compatibility → Engineering Reachability → Addressability → Permission . 如此可以避免三種常見錯誤：
第一，把能重建過去誤認為能抵達過去；
第二，把微觀可逆誤認為存在 past-directed causal channel；
第三，把某種宇宙／分支模型的數學存在誤認為代理人具有操作權。
20. 結論
「時間旅行」不是一個操作，而是一個過度壓縮的自然語言標籤。
真正需要研究的是：
State + History + Causality + Topology + Identity + Addressability . \boxed{
\text{State}
+
\text{History}
+
\text{Causality}
+
\text{Topology}
+
\text{Identity}
+
\text{Addressability}.
} State + History + Causality + Topology + Identity + Addressability . 因此本文提出：
Reconstruction ≠ Replay ≠ Rollback ≠ Reverse Evolution ≠ Retrocausal Intervention ≠ Past-Directed Traversal ≠ History Rewrite . \boxed{
\text{Reconstruction}
\neq
\text{Replay}
\neq
\text{Rollback}
\neq
\text{Reverse Evolution}
\neq
\text{Retrocausal Intervention}
\neq
\text{Past-Directed Traversal}
\neq
\text{History Rewrite}.
} Reconstruction = Replay = Rollback = Reverse Evolution = Retrocausal Intervention = Past-Directed Traversal = History Rewrite . 其中真正最接近「穿越」核心的，不是狀態是否可以被恢復，而是：
whether a past-directed causal location is physically and operationally addressable . \boxed{
\text{whether a past-directed causal location is physically and operationally addressable}.
} whether a past-directed causal location is physically and operationally addressable . 這將成為本系列後續論文的共同前置條件。
下一篇將處理更容易被混淆的命題：
Information ≠ Carrier ≠ Temporal Channel , \boxed{
\text{Information}
\neq
\text{Carrier}
\neq
\text{Temporal Channel},
} Information = Carrier = Temporal Channel , 並重新檢查「資訊是否天然比物質更容易穿越」這一早期命題。
內部理論脈絡
Neo.K，〈量子回溯論 v2.0：基於分形有限域的認知超導架構〉，2026。
Neo.K × GPT-5.6 Sol，〈時間不是一個變數：時間型別與異質時空分類〉，2026-08-23。
Neo.K × GPT-5.6 Sol，〈時間旅行不是一個問題：八種穿越類型的重建與型別安全時空穿越框架〉，2026-08-23。
Neo.K × GPT-5.6 Sol，〈穿越的是什麼：肉身、資訊、模型、AI 種子與非自知時間旅行者〉，2026-08-24。
Neo.K × GPT-5.6 Sol，〈從微觀可逆到宏觀不可逆：時間箭頭的跨層型別審計〉，2026-08-24。
系列狀態 ：A-01 完成。下一篇 ：A-02〈資訊並不天然更容易穿越：載體、通道與時向可達性的重新分類〉。