# 時間旅行不是一個問題：八種穿越類型的重建與型別安全時空穿越框架

**系列**：《從時間旅行到時空管理者》01  
**英文題名**：*Time Travel Is Not One Problem: Reconstructing Eight Traversal Types into a Type-Safe Framework for Temporal and Spacetime Traversal*  
**作者**：Neo.K × GPT-5.6 Sol  
**機構**：EveMissLab（一言諾科技有限公司）  
**日期**：2026-08-23  
**版本**：v0.1  
**性質**：時間旅行分類學／時空本體論／型別安全方法論／可達性前置框架  
**狀態**：Series 02 正式首篇  
**Canonical 前置來源**：《t 的多態性：跨物理框架的時間型別初步分類——一個計算視角的類比嘗試》（2026 年 6 月）  
**上游系列**：《時空何以成為時空》Series 01，Paper 01–08

---

## 摘要

「時間旅行是否可能？」不是一個足夠精確的科學問題。它至少混合了不同時間型別、不同世界線結構、不同穿越尺度、不同目標域、不同載體、不同記憶保持條件，以及完全不同的「穿越」「逆轉」「分支選擇」與「分支創生」機制。

本文以 Neo.K 2026 年 6 月《t 的多態性》附錄中提出的八種時間穿越類型為 canonical 歷史基底：

1. 全局向前穿越；
2. 局部向前穿越；
3. 全局逆向回溯；
4. 局部逆向回溯；
5. 全局平行宇宙穿越；
6. 局部平行宇宙穿越；
7. 創生全局平行宇宙；
8. 創生局部平行宇宙。

本文不直接把舊八類視為完成分類，而將其重建為一個多軸「時空穿越型別」：

$$
\boxed{
\operatorname{TraversalType}(\mathcal X)
=
\left\langle
\mathcal T,
S,
D,
Z,
B,
P,
M,
K,
A
\right\rangle
}
$$

其中：

- $\mathcal T$：所依賴的時間型別；
- $S$：穿越作用範圍；
- $D$：時間／歷史方向；
- $Z$：目標域拓撲；
- $B$：分支操作；
- $P$：穿越載體；
- $M$：記憶、身份與歷史保持；
- $K$：時空核保持／修改／重寫狀態；
- $A$：可操作性與可定址性。

本文首先指出，「時間旅行」至少應與四種概念分離：

$$
\boxed{
\text{Time Reversal}
\neq
\text{Backward Causation}
\neq
\text{Past-Directed Traversal}
\neq
\text{Branch Transfer}.
}
$$

方程具有時間反演對稱，不代表存在可供智能體操作的返回過去通道；宏觀熵增加也不等於所有 past-directed traversal 都被一般性排除；閉合類時曲線是特定時空幾何中的世界線結構，而不是自動等同於可建造的時光機；Everett／Many-Worlds 類詮釋中的 branch 也不是標準量子理論中可被主動定址、選擇或穿越的地點。

本文進一步提出「穿越有效性條件」。任何真正的時空穿越命題至少必須指定：

$$
\mathcal X
=
\left(
\mathcal D_{\mathrm{source}},
\mathcal D_{\mathrm{target}},
\Gamma,
P,
M,
\mathcal C,
\mathcal K
\right),
$$

即來源域、目標域、合法路徑、載體、身份／記憶保持、因果一致性與時空核變化。如果這些欄位未定義，則「可不可以時間旅行」仍是欠定義問題。

八類重建後也顯示，它們的理論成熟度極不對稱。局部向前穿越在相對論固有時差的弱意義上已屬已知物理；全局向前穿越若要求「整個宇宙跳到另一個時刻」則需要額外 meta-time 或外部參考結構；全局逆向回溯主要是全局狀態反演問題；局部逆向回溯可與含 closed timelike curves 的時空模型比較，但「數學解存在」與「可形成、穩定、可建造、可導航」仍是不同層級；第 5–8 類則需要額外的分支實在、分支定址、跨分支傳輸或分支創生公設，不能由 Many-Worlds Interpretation 單獨推出。

本文因此把八種舊類型保留為「歷史語義分類」，同時建立一套可擴張、可加入新機制與新載體的正式分類接口。此工作為 Series 02 後續「穿越載體」「動態技術可達性」「AI 對難度曲線的改變」「時空可供性」「時空管理者孵化」與「後設時空治理」提供共同語言。

**關鍵詞**：時間旅行、時空穿越、閉合類時曲線、世界線、時間反演、分支、Many-Worlds、時空核、型別系統、可操作性

---

# 0. 核心命題：時間旅行不是一個 predicate

如果只寫：

$$
\operatorname{TimeTravel}=1
$$

我們其實不知道它在說什麼。

至少可能指：

- 外部世界比旅行者老得更快；
- 旅行者回到自身世界線的較早事件；
- 全宇宙狀態向某歷史狀態逆演；
- 因果影響從未來指向過去；
- 系統切換到另一歷史分支；
- 系統建立一個新的歷史分支；
- 只傳送資訊而不傳送物質；
- 保留記憶的智能體出現在較早事件；
- 一個世界的底層時空核被重新生成。

因此：

$$
\boxed{
\text{Time Travel}
\neq
\text{a single physical operation}.
}
$$

---

# 1. Canonical 八種類型

2026 年 6 月舊稿提出：

1. **全局向前穿越**：整個宇宙或全局「現在」切片向另一時刻移動。
2. **局部向前穿越**：只有旅行者／機器相對外部世界有效前往未來。
3. **全局逆向回溯**：整個宇宙的演化被反轉，所有物理過程向先前狀態演化。
4. **局部逆向回溯**：只有旅行者／機器回到較早事件，而外部宇宙不一起全局反演。
5. **全局平行宇宙穿越**：整個觀察者及其歷史域切換到另一個既有分支。
6. **局部平行宇宙穿越**：只有局部載體從原分支轉移到另一分支。
7. **創生全局平行宇宙**：返回過去或歷史干預生成新的完整分支。
8. **創生局部平行宇宙**：只在有限域內生成局部歷史分支／歷史泡泡。

本文保留這八類作為：

$$
\boxed{
\text{Legacy Traversal Classes}.
}
$$

但後續不再把它們視為不可再分的 primitive。

---

# 2. 舊分類真正保留下來的四個軸

八類最重要的貢獻不是數字「八」，而是拆開：

$$
\text{global}
\neq
\text{local},
$$

$$
\text{forward}
\neq
\text{reverse},
$$

$$
\text{same-history}
\neq
\text{parallel-history},
$$

$$
\text{select existing branch}
\neq
\text{create branch}.
$$

這四個區分在新版中仍被保留。

---

# 3. 九軸時空穿越型別

本文定義：

$$
\boxed{
\operatorname{TraversalType}(\mathcal X)
=
\left\langle
\mathcal T,
S,
D,
Z,
B,
P,
M,
K,
A
\right\rangle.
}
$$

其中各軸分別對應時間型別、作用範圍、方向、目標域、分支操作、載體、身份與記憶、時空核作用以及可操作性。

---

# 4. 軸一：時間型別 $\mathcal T$

沿用 Series 01：

$$
\operatorname{Type}(\mathcal T)
=
\left\langle
R,O,Q,A,S,G,\Lambda,V
\right\rangle.
$$

任何穿越命題都必須先回答：

> 穿越的是哪一種時間？

例如：

$$
\tau
$$

的世界線差異，不等於：

$$
t_{\mathrm{global}}
$$

的跳躍。

---

# 5. 軸二：作用範圍 $S$

定義：

$$
S
\in
\{
\texttt{global},
\texttt{regional},
\texttt{local},
\texttt{payload-only}
\}.
$$

最後一類表示只傳輸資訊、模型、算法、種子或其他有限載體。

---

# 6. 軸三：方向 $D$

定義：

$$
D
\in
\{
+,
-,
0,
\circlearrowleft,
\mathrm{branch}
\}.
$$

其中：

- $+$：朝較晚事件；
- $-$：朝較早事件；
- $0$：跨域但不以單一前後描述；
- $\circlearrowleft$：閉合／循環；
- branch：沿分支關係轉換。

因此：

$$
D=-
$$

不必等於：

$$
t\rightarrow -t.
$$

---

# 7. 軸四：目標域拓撲 $Z$

定義：

$$
Z
\in
\{
\texttt{same-worldline},
\texttt{same-spacetime},
\texttt{same-history},
\texttt{other-history},
\texttt{new-history},
\texttt{other-spacetime}
\}.
$$

「回到過去」必須先回答：

> 回到哪一個過去？

---

# 8. 軸五：分支操作 $B$

定義：

$$
B
\in
\{
\varnothing,
\texttt{select},
\texttt{transfer},
\texttt{fork},
\texttt{merge},
\texttt{rewrite}
\}.
$$

所以：

$$
\boxed{
\text{Branch Existence}
\not\Rightarrow
\text{Branch Addressability}
\not\Rightarrow
\text{Branch Traversability}.
}
$$

---

# 9. 軸六：載體 $P$

定義：

$$
P
\in
\{
\texttt{matter},
\texttt{organism},
\texttt{machine},
\texttt{information},
\texttt{software},
\texttt{model},
\texttt{agent-seed},
\texttt{observer-state},
\texttt{world-state}
\}.
$$

因此：

$$
\boxed{
\text{Traversal Payload}
\text{ is an independent axis}.
}
$$

---

# 10. 軸七：身份與記憶保持 $M$

定義：

$$
M
=
\left(
M_{\mathrm{id}},
M_{\mathrm{memory}},
M_{\mathrm{causal}},
M_{\mathrm{record}}
\right).
$$

至少要問：

- 身份是否保持？
- 記憶是否保持？
- 因果歷史是否保持？
- 外部記錄是否保持？

因此：

$$
\boxed{
\text{State Reversal}
\not\Rightarrow
\text{Remembered Time Travel}.
}
$$

---

# 11. 軸八：時空核作用 $K$

定義：

$$
K
\in
\{
\texttt{preserve},
\texttt{modify},
\texttt{rewrite},
\texttt{unknown}
\}.
$$

若必要時空核被改變：

$$
[\mathcal M]_{\mathrm{ST}}
\rightarrow
[\mathcal M']_{\mathrm{ST}},
$$

則該操作已不只是普通 traversal，而開始進入 spacetime rewrite。

---

# 12. 軸九：可操作性 $A$

定義：

$$
A
=
\left(
A_{\mathrm{exist}},
A_{\mathrm{address}},
A_{\mathrm{access}},
A_{\mathrm{control}},
A_{\mathrm{return}}
\right).
$$

所以：

$$
\boxed{
A_{\mathrm{exist}}
\not\Rightarrow
A_{\mathrm{control}}.
}
$$

---

# 13. Type 1：全局向前穿越

舊定義是：

> 整個宇宙或全局「現在」切面移動到另一時刻。

新版首先問：

$$
\boxed{
\text{Relative to what?}
}
$$

如果：

$$
\mathcal U
$$

就是完整宇宙，而沒有外部：

$$
T_{\mathrm{meta}},
$$

那麼「整個宇宙跳到未來」可能尚未完整定義。

若存在：

$$
T_{\mathrm{meta}},
$$

才可寫：

$$
\mathcal U(t_1)
\rightarrow
\mathcal U(t_2).
$$

另一版本則可能是：

$$
S(t_1)
\rightarrow
S(t_2)
$$

且中間狀態根本不被實現，這更像 state-transition skip，而非普通旅行。

因此 Type 1 本身至少需要拆成 meta-time jump 與 global state skip。

---

# 14. Type 2：局部向前穿越

這一類最接近已知物理。

旅行者沿：

$$
\gamma_A
$$

累積固有時：

$$
\tau_A,
$$

外部參考者沿：

$$
\gamma_B
$$

累積：

$$
\tau_B.
$$

若重逢時：

$$
\Delta\tau_A
<
\Delta\tau_B,
$$

旅行者會發現外部世界比自己經歷更多時間。

這是 differential aging。

但旅行者自身仍有：

$$
d\tau_A>0.
$$

所以：

$$
\boxed{
\text{Relativistic Forward Travel}
\neq
\text{Personal-Time Discontinuity}.
}
$$

可再分成微小固有時差、顯著工程時差、人類實用型未來跨越等不同難度層。

---

# 15. Type 3：全局逆向回溯

舊定義是：

> 整個宇宙所有過程倒流。

新版至少拆成：

$$
\text{law reversal},
$$

$$
\text{state reversal},
$$

以及：

$$
\text{global history reversal}.
$$

可寫：

$$
S_n
\rightarrow
S_{n-1}
\rightarrow
\cdots
\rightarrow
S_0.
$$

如果所有記憶與記錄也一起逆演，內部旅行者並沒有額外保存「未來記憶」。

因此：

$$
\boxed{
\text{Global Reversal}
\text{ may not produce an operationally distinguishable remembered journey}.
}
$$

而且：

$$
\text{Type 3 constrained}
\not\Rightarrow
\text{Type 4–8 constrained in the same way}.
$$

---

# 16. Type 4：局部逆向回溯

新版更精確地描述為：

> 旅行者自身固有時仍向前增加，但其世界線到達背景時空中的較早事件。

即：

$$
d\tau_A>0
$$

但到達：

$$
p_{\mathrm{past}}.
$$

這是：

$$
\boxed{
\text{past-directed arrival without personal proper-time reversal}.
}
$$

一般相對論中某些時空解含 closed timelike curves，可作為此類的重要數學比較模型。

但：

$$
\boxed{
\text{CTC-Compatible Geometry}
\not\Rightarrow
\text{Buildable Time Machine}.
}
$$

因為還需要處理形成、穩定、工程、定址、控制與返回。

Hawking chronology protection 應保留為 conjecture 與相關條件性 no-go results 的研究域，而不是被寫成已經完成的一般定理。

---

# 17. Type 5：全局平行宇宙穿越

舊定義是：

> 觀察者連同其完整歷史域進入另一既有分支。

新版首先指出：

$$
\boxed{
\text{Everett Branch}
\neq
\text{Navigable Destination by Default}.
}
$$

若要真正成立，至少還需要：

$$
\mathcal A_B
=
\{
\text{branch ontology},
\text{branch identity},
\text{branch addressability},
\text{cross-branch coupling},
\text{payload preservation}
\}.
$$

這裡的「global」更安全地改解釋為：

$$
S=\texttt{history-domain},
$$

即 domain-level branch transition。

---

# 18. Type 6：局部平行宇宙穿越

只有局部載體：

$$
P
$$

從：

$$
B_i
$$

進入：

$$
B_j.
$$

因此原分支其餘世界仍持續。

此類新增「分離問題」：

若：

$$
P
$$

本身是原分支的物理組成，

則跨分支傳輸至少需要：

- identity map；
- state transfer；
- conservation handling；
- decoherence relation；
- causal ancestry treatment。

所以：

$$
\boxed{
\text{Cross-Branch Local Transfer}
\text{ is not defined by ordinary decoherence alone}.
}
$$

---

# 19. Type 7：創生全局平行宇宙

舊定義是：

> 返回過去或歷史干預創造新完整分支。

新版最大區分：

$$
\boxed{
\text{Creation}
\neq
\text{Selection}.
}
$$

若：

$$
B_{\mathrm{new}}
$$

只是此前不可被該觀察者定址，

它是 epistemically new。

只有：

$$
B_{\mathrm{new}}
\notin
\mathcal B_{\mathrm{prior}}
$$

才比較接近 ontologically new。

若它真的生成新的：

$$
[\mathcal M']_{\mathrm{ST}}
$$

且：

$$
[\mathcal M']_{\mathrm{ST}}
\neq
[\mathcal M]_{\mathrm{ST}},
$$

則 Type 7 已是：

$$
\boxed{
\text{Spacetime Generation / Kernel Fork}.
}
$$

---

# 20. Type 8：創生局部平行宇宙

舊定義是：

> 只在有限區域生成一個局部歷史分支泡泡。

設：

$$
U\subset\mathcal M.
$$

若區域內生成：

$$
\mathcal M'_U
$$

而外部：

$$
\mathcal M\setminus U
$$

維持原歷史，

就需要回答：

- 邊界 $\partial U$ 如何黏合？
- 因果訊號如何穿越？
- 能量與資訊如何匹配？
- 內外時間序如何兼容？
- 泡泡終止時如何處理內部歷史？

所以 Type 8 實際更像：

$$
\boxed{
\text{local spacetime-kernel engineering problem}.
}
$$

---

# 21. 八類新版矩陣

| Legacy Type | Scope | Direction | Target | Branch Op | Kernel Effect | 狀態 |
|---|---|---|---|---|---|---|
| 1 全局向前 | global | $+$ | same/meta-domain | none | preserve/unknown | 需 meta-time 或 state-skip 定義 |
| 2 局部向前 | local | $+$ | same spacetime | none | preserve | 弱版本為已知相對論物理 |
| 3 全局逆向 | global | reverse | same history | none | preserve/modify | 全局狀態逆演問題 |
| 4 局部逆向 | local | past-arrival | same spacetime/history | none | preserve/modify | CTC 類模型可比較，工程未知 |
| 5 全局平行穿越 | domain | branch | other history | transfer | preserve/unknown | 需額外分支導航公設 |
| 6 局部平行穿越 | payload | branch | other history | transfer | preserve/unknown | 需跨分支傳輸機制 |
| 7 創生全局分支 | domain | fork | new history | fork | rewrite candidate | 高度假設性 |
| 8 創生局部分支 | regional | fork | new local history | fork | rewrite | 高度未定 |

---

# 22. 時間反演不是第九種旅行

時間反演：

$$
t\rightarrow -t
$$

通常屬於：

$$
V_{\mathrm{law}}
$$

或：

$$
V_{\mathrm{trajectory}}.
$$

因此：

$$
\boxed{
\text{Time-Reversal Symmetry}
\notin
\text{Traversal Classes by itself}.
}
$$

---

# 23. 逆因果也不是旅行

Backward causation 可以寫成：

$$
e_{\mathrm{future}}
\rightsquigarrow
e_{\mathrm{past}},
$$

但不必有一個載體沿世界線移動。

因此：

$$
\boxed{
\text{Backward Causation}
\neq
\text{Traveler Traversal}.
}
$$

---

# 24. 傳訊到過去必須獨立

若：

$$
P=\texttt{information},
$$

可能出現：

$$
\text{information past-transfer}
$$

而：

$$
\text{human past-transfer}
$$

不成立。

所以：

$$
\boxed{
\operatorname{Reachability}
=
\operatorname{Reachability}(P).
}
$$

可達性依載體而異。

---

# 25. 身份與記憶問題

若：

$$
A(t_2)
$$

抵達：

$$
t_1<t_2,
$$

需要判定：

$$
A_{\mathrm{arrival}}
\stackrel{?}{=}
A_{\mathrm{departure}}.
$$

身份標準可能包括：

- 身體連續；
- 記憶連續；
- 信息結構連續；
- 因果鏈連續；
- 主體第一人稱連續。

若過去版本：

$$
A_{\mathrm{past}}
$$

也存在，

則：

$$
A_{\mathrm{past}}
\neq
A_{\mathrm{future}}
$$

可在 physical-token 層成立，

即使兩者屬相同 identity lineage。

因此：

$$
\boxed{
\text{same person-type}
\neq
\text{same physical token}.
}
$$

---

# 26. 記憶保持是功能性旅行的重要條件

如果到達過去後：

$$
M_{\mathrm{memory}}=0,
$$

可能只有物理狀態轉移，

卻沒有：

> 我知道自己來自未來。

所以：

$$
\boxed{
\text{Physical Traversal}
\neq
\text{Epistemically Recognized Traversal}.
}
$$

---

# 27. 因果閉環與來源問題

若未來資訊：

$$
I_F
$$

傳到過去，

過去依賴它再產生同一：

$$
I_F,
$$

形成：

$$
I_F
\rightarrow
I_P
\rightarrow
I_F.
$$

則出現 bootstrap provenance loop。

它不一定只是普通邏輯矛盾，

更可能是：

> 信息的來源、作者與因果 provenance 如何定義？

---

# 28. 穿越有效性條件

本文提出：

$$
\boxed{
\mathcal X
=
\left(
\mathcal D_s,
\mathcal D_t,
\Gamma,
P,
M,
\mathcal C,
\mathcal K
\right).
}
$$

完整穿越命題至少要指定：

- Source Domain；
- Target Domain；
- Path；
- Payload；
- Identity / Memory；
- Causal Consistency；
- Spacetime Kernel Effect。

若缺少核心欄位，

則標記：

$$
\texttt{underspecified}.
$$

---

# 29. 穿越成立的五層

定義：

$$
R_0<R_1<R_2<R_3<R_4.
$$

### $R_0$：語義可定義

概念沒有型別錯誤。

### $R_1$：數學模型存在

存在模型允許該結構。

### $R_2$：物理理論相容

在指定物理條件下未被排除。

### $R_3$：形成機制存在

知道如何形成所需結構。

### $R_4$：可操作工程

能定址、控制、維持、驗證與重複。

因此：

$$
\boxed{
R_1
\not\Rightarrow
R_4.
}
$$

---

# 30. 八類不是難度排序

$$
\operatorname{Class}
\neq
\operatorname{Difficulty}.
$$

八類只是語義／拓撲分類。

難度要另外建立：

$$
\mathcal D_i(t).
$$

這將由 Series 02 後續 Paper 03 處理。

---

# 31. 八類也不是封閉全集

未來還可能出現：

- branch merge；
- time-domain swap；
- information-only past channel；
- observer-state reconstruction；
- simulation-layer temporal migration；
- pre-spacetime kernel rewrite；
- universe creation without past traversal。

因此：

$$
\boxed{
\Omega_{\mathrm{Traversal}}
\text{ is open-ended}.
}
$$

---

# 32. 穿越與生成的二階分類

可先分：

$$
\Omega_{\mathrm{Traversal}}
=
\Omega_{\mathrm{Navigate}}
\cup
\Omega_{\mathrm{Generate}}.
$$

其中：

### Navigate

在既有時空結構中移動：

$$
\Gamma
\subseteq
\mathcal M.
$$

### Generate

生成新結構：

$$
\mathcal M
\rightarrow
\mathcal M'.
$$

舊 Type 1–6 大致偏 navigation，

Type 7–8 偏 generation。

---

# 33. Type 3 甚至未必屬於普通旅行

全局逆演：

$$
\mathcal U_n
\rightarrow
\mathcal U_{n-1}
$$

更接近：

$$
\Omega_{\mathrm{ReverseDynamics}}
$$

而不是：

$$
\Omega_{\mathrm{Navigate}}.
$$

所以：

$$
\boxed{
\text{Legacy Class}
\neq
\text{Final Ontological Category}.
}
$$

---

# 34. 從時間旅行自然過渡到時空管理

Type 1 若需要：

$$
T_{\mathrm{meta}},
$$

Type 3 若需要：

$$
\Phi_{\mathrm{global}}^{-1},
$$

Type 7 若需要：

$$
\operatorname{Fork}(\mathcal M),
$$

Type 8 若需要：

$$
\operatorname{LocalFork}(U),
$$

都已不是單純：

> traveler moves through spacetime。

而是：

$$
\boxed{
\text{operations on spacetime/history structures}.
}
$$

這就是「從時間旅行到時空管理者」的真正理論分界。

---

# 35. 與 Series 01 的總接口

Series 01 建立：

$$
\mathfrak B
\xrightarrow{\Pi}
\Sigma_{\mathrm{ST}}
\xrightarrow{\mathcal K}
[\mathcal M]_{\mathrm{ST}}.
$$

Series 02 的操作：

$$
\mathcal X
$$

可以作用於三層。

### Level 1：有效時空內導航

$$
p_i
\rightarrow
p_j.
$$

### Level 2：同一時空等價類內修改

$$
\mathcal M
\rightarrow
\mathcal M',
$$

但：

$$
[\mathcal M]_{\mathrm{ST}}
=
[\mathcal M']_{\mathrm{ST}}.
$$

### Level 3：時空核重寫

$$
[\mathcal M]_{\mathrm{ST}}
\rightarrow
[\mathcal M']_{\mathrm{ST}}.
$$

第三層已經進入：

$$
\boxed{
\text{Spacetime Governance}.
}
$$

---

# 36. 十六個核心命題

1. 時間旅行不是單一問題。
2. 穿越必須先指定時間型別。
3. 時間反演不是穿越。
4. 逆因果不是旅行者穿越。
5. 局部向前穿越有已知物理弱版本。
6. 全局逆演不同於局部返回過去。
7. CTC-compatible geometry 不等於可建造時光機。
8. Chronology protection 不是一般完成定理。
9. Everett branching 不等於跨分支導航。
10. 分支選擇不同於分支創生。
11. 載體類型是獨立軸。
12. 記憶保持是功能性旅行的重要條件。
13. 結構存在不等於可控制。
14. 八類不是難度排序。
15. 八類不是封閉全集。
16. 生成類操作已跨入時空管理。

形式化地：

$$
V_{\mathrm{law}}
\not\Rightarrow
V_{\mathrm{traversal}},
$$

$$
A_{\mathrm{exist}}
\not\Rightarrow
A_{\mathrm{control}},
$$

$$
\texttt{select}
\neq
\texttt{fork},
$$

以及：

$$
\operatorname{Class}
\neq
\operatorname{Difficulty}.
$$

---

# 37. 理論邊界

本文不宣稱：

1. 過去時間旅行已被證明物理可行；
2. closed timelike curves 可在現實宇宙中形成或工程化；
3. chronology protection conjecture 已被證明或推翻；
4. Many-Worlds Interpretation 提供跨分支旅行；
5. 分支是可定址物理位置；
6. Type 7／8 有已知物理機制；
7. 全局 meta-time 存在；
8. 八種舊分類是所有可能性的完備全集；
9. 時間反演、逆因果與時間旅行是同一物理現象；
10. 本文已完成技術難度排序。

本文完成的是：

$$
\boxed{
\text{把「時間旅行可不可以」
改寫成一組型別安全的時空穿越問題。}
}
$$

---

# 38. 結論：真正的問題不是「能不能」，而是「哪一種操作？」

2026 年 6 月的八類分類完成：

$$
\text{Time Travel}
\rightarrow
\{T_1,\ldots,T_8\}.
$$

本篇進一步提升為：

$$
\boxed{
\mathcal X
\mapsto
\left\langle
\mathcal T,
S,
D,
Z,
B,
P,
M,
K,
A
\right\rangle.
}
$$

因此未來任何「時間旅行」主張都至少要回答：

> 穿越哪一種時間？

> 是全局、區域、局部，還是只傳 payload？

> 朝未來、過去、循環還是另一歷史？

> 目標是同一世界線、同一時空、另一分支還是新生成時空？

> 分支是選擇、轉移還是創生？

> 穿越的是人、物質、資訊還是 AI 種子？

> 身份與記憶是否保留？

> 時空核是被保持、修改還是重寫？

> 該結構只是數學存在，還是真的可定址、可控制、可返回？

只有這些欄位逐步被填滿，

才真正有資格問：

$$
\boxed{
\text{Is this traversal physically reachable?}
}
$$

Series 02 下一篇因此不再問穿越拓撲，而問：

> **到底什麼需要穿越？**

也就是：

## Paper 02  
### 〈穿越的是什麼？從肉身到資訊、模型、AI 種子與非自知時間旅行者〉

那一篇將把「時間旅行者」從人類肉身這個預設中解放出來，正式建立：

$$
\boxed{
\text{Traversal Topology}
\times
\text{Payload Type}
}
$$

並處理信息穿越、bootstrap provenance、AI seed reconstruction 與「非自知時間旅行者」命題。

---

## 參考研究脈絡

- Neo.K，2026，《t 的多態性：跨物理框架的時間型別初步分類——一個計算視角的類比嘗試》。
- Neo.K，2026，《時間不是一個變數：從 $t$ 的多態性到型別安全的異質時空分類》。
- Neo.K，2026，《跨本體時空核：不同底層理論下什麼仍然不變？》。
- Stanford Encyclopedia of Philosophy, “Time Machines”, substantive revision 2024.
- Stanford Encyclopedia of Philosophy, “Backward Causation”.
- Stanford Encyclopedia of Philosophy, material on Everettian / many-worlds interpretations and branching time.
- S. W. Hawking, “Chronology protection conjecture”, *Physical Review D* 46, 603, 1992.
- Modern surveys of closed timelike curves, chronology protection and causality in general relativity.