# 可實現性：意圖、行動與可達世界狀態

**英文題名：** Realizability: Intent, Action, and Reachable World States  
**系列：**《動態不動點之後：意圖、可實現性與現實干涉》02 / 06  
**文件編號：** EML-LHCF-DFP-S1-02-v0.1  
**作者：** Neo.K（許筌崴）with Aletheia（GPT-5.6 Sol）  
**機構：** 一言諾科技有限公司／EveMissLab  
**日期：** 2026-08-10  
**版本：** v0.1  
**文件性質：** 理論研究稿／第一代可實現性形式化／世界耦合數學核心篇  
**研究狀態：** 第一代定義、命題與玩具模型；未宣稱已建立一般非線性、高維、開放世界中的完備可實現性判定算法。

---

## 摘要

本文承接《動態不動點的終局：從符號固定點到世界耦合》，專門研究「意圖可實現性」（intentional realizability）。本文的出發點是：意圖、目標、預測、可達性、可控性與實際實現不是同一件事。一個智能即使能精確描述目標，也不代表世界允許該目標被實現；即使物理上存在可達路徑，也不代表該路徑具有工程可執行性、規範可允許性、可逆性與可驗證性。

本文首先把「意圖」操作性定義為目標狀態、偏好集合或狀態約束的生成規格，而不預設其必然對應意識或自由意志。給定世界狀態 $W_t$ 、模型族 $\mathbb F_t$ 、行動集合 $\mathcal A_t$ 、約束系統 $\mathcal K_t$ 與意圖 $I_t$，本文定義意圖目標集合 $G(I_t)$ 、前向可達集、反向可達集、可行域、可生存核、可回復域與可驗證域，並將意圖可實現性寫成多層交集，而不是單一「能／不能」。

本文提出五維可實現性向量：

$$
\boxed{
\mathbf r_t(I)
=
\left(
r_{\mathrm{phy}},
r_{\mathrm{eng}},
r_{\mathrm{norm}},
r_{\mathrm{rev}},
r_{\mathrm{ver}}
\right)
}
$$

分別表示物理、工程、規範、可逆與可驗證可實現性。這五個維度不應被預先壓縮成單一分數，因為「物理上可以但不可逆」、「工程上能做但規範禁止」與「能達成但無法驗證」具有本質不同的結構。

本文進一步提出「弱可實現」、「強可實現」、「穩健可實現」、「概率可實現」與「可逆可實現」等第一代概念；並建立數個基本命題，包括：更嚴格的允許行動集合只能縮小可達域、強可實現蘊含弱可實現、可逆可實現要求目標狀態具備返回原始等價類的路徑，以及當規範與驗證判準演化時，任何跨版本可實現性聲明都必須附帶歷史轉譯見證。

本文最後主張：未來所謂「干涉學」若要成立，其核心不應是最大化控制力，而應是建立一個能持續回答以下問題的動態系統：什麼可以做到、以什麼代價做到、在什麼條件下允許做到、做到後能否復原、以及我們如何知道自己真的做到了。

**關鍵詞：** 可實現性、意圖可實現域、reachability、viability、controllability、recoverability、reversibility、世界狀態、動態不動點、干涉學、ASI

---

# 0. 問題：從「想要」到「世界真的能到達」

第 01 篇提出世界耦合閉環：

$$
\mathfrak M_t
\rightarrow
I_t
\rightarrow
A_t
\rightarrow
W_{t+1}
\rightarrow
O_{t+1}
\rightarrow
\mathfrak M_{t+1}.
$$

其中最容易被忽略的一段是：

$$
I_t
\rightarrow
A_t
\rightarrow
W_{t+1}.
$$

因為這裡至少混合了五個完全不同的問題：

1. 世界物理上能不能到達該狀態？
2. 現有工程能力能不能執行那條路徑？
3. 該路徑是否被制度、倫理或協議允許？
4. 執行後是否能回復，或是否存在不可逆損失？
5. 實現後，我們能不能判定「它真的被實現了」？

故：

$$
\boxed{
\text{Intent}
\neq
\text{Reachability}
\neq
\text{Executability}
\neq
\text{Admissibility}
\neq
\text{Realization}.
}
$$

本文的任務就是將這些概念分離，再重新組合。

---

# 1. Prior Art：可實現性並非從零開始

## 1.1 Reachability：什麼狀態可以到達？

對一般控制系統：

$$
\dot x=f(x,u,d),
$$

reachability analysis 研究在控制 $u$ 與擾動 $d$ 下，系統可進入哪些狀態集合。

Hamilton–Jacobi reachability 的典型形式，可將 backward reachable set 表示成某個 Hamilton–Jacobi–Isaacs 方程黏性解的零次水平集。Mitchell、Bayen 與 Tomlin 的 2005 年工作建立了連續動態博弈中時間相依 reachable set 的重要形式。

其核心問題可以壓縮為：

$$
\boxed{
x_0\in\mathcal B(T)
\iff
\exists u(\cdot)
\text{ 使系統在指定時間／時間窗進入目標集合 }T.
}
$$

近年 HJ reachability 仍是安全控制與強化學習的重要工具，但高維狀態空間的計算成本一直是核心瓶頸；2024–2026 的研究持續透過深度學習、MPC 與可驗證近似擴張其適用尺度。

## 1.2 Viability：能不能一直留在可接受區域？

Viability theory 不只問「能不能到某處」，而問：

> 是否存在至少一條演化，使系統永遠留在允許集合中？

給定約束集合：

$$
K\subseteq X,
$$

其 viability kernel 可概念化為：

$$
\boxed{
\operatorname{Viab}(K)
=
\left\{
x_0\in K
\;\middle|\;
\exists u(\cdot),
\forall t\ge0,
x(t)\in K
\right\}.
}
$$

所以：

$$
\text{reachable}
$$

與：

$$
\text{viable}
$$

完全不同。

某目標可能可達：

$$
G\cap\mathcal R\neq\varnothing,
$$

但抵達後立即失穩或離開約束域。

## 1.3 Controllability：能不能把系統導向指定狀態？

Controllability 關注能否利用允許控制，使系統從某初態轉移到某終態或目標區域。

因此：

$$
\text{reachability}
$$

描述「哪些狀態可被觸及」，

而：

$$
\text{controllability}
$$

更強調「我們是否具有使其發生的控制能力」。

## 1.4 本文新增的問題

上述理論通常假定：

- 狀態表示已定義；
- 動力學或其不確定性集合已定義；
- 控制集合已定義；
- 約束與安全集合已定義；
- 成功判準已定義。

而 DFPM 的世界耦合版本必須額外問：

$$
\boxed{
\text{如果允許集合、成功條件、合法性與驗證制度本身也會改變呢？}
}
$$

所以本文不是取代 reachability、viability 或 controllability，而是把它們作為「意圖可實現性」的子結構。

---

# 2. 意圖的操作性定義

## 2.1 本文不先假設「意圖」等於主觀意識

為避免把哲學問題偷渡進數學，本文定義：

$$
I_t
=
\text{Goal Specification at time }t.
$$

它可以來自：

- 人類意圖；
- AI 規劃目標；
- 多智能體協議；
- 法律或制度要求；
- 自動控制規格；
- 動態生成的內部目標。

因此：

$$
\boxed{
I_t
\text{ 是可操作的目標規格，不是對意識存在的預設。}
}
$$

## 2.2 由意圖生成目標集合

令：

$$
G_t
=
G(I_t;W_t,\mathfrak M_t).
$$

其中：

$$
G_t\subseteq\mathcal W
$$

表示被當期意圖視為成功的世界狀態集合。

如果意圖不是單一目標，而是多條條件：

$$
I_t
=
\{g_1,g_2,\ldots,g_m\},
$$

則：

$$
G_t
=
\bigcap_{j=1}^{m}G(g_j).
$$

若不同意圖互斥，則：

$$
G_t=\varnothing.
$$

這立即得到第一個重要判定：

$$
\boxed{
G_t=\varnothing
\Rightarrow
\text{意圖集合自身不一致。}
}
$$

此時問題甚至尚未進入物理可實現性。

---

# 3. 世界模型、行動與約束

令世界動態為：

$$
W_{t+1}
=
F_t(W_t,A_t,\xi_t),
$$

其中：

- $W_t$：世界狀態；
- $A_t$：行動；
- $\xi_t$：不可控擾動。

在真實世界中，智能通常不知道唯一精確的 $F_t$，故以模型族表示：

$$
F_t\in\mathbb F_t.
$$

允許行動集合記為：

$$
A_t\in\mathcal A_t.
$$

約束系統記為：

$$
\mathcal K_t
=
(
K_t^{phy},
K_t^{eng},
K_t^{norm},
K_t^{safe},
K_t^{resource}
).
$$

分別代表：

- 物理限制；
- 工程限制；
- 規範／法律／協議限制；
- 安全限制；
- 資源限制。

因此真正可執行的行動不是全部 $\mathcal A_t$，而是：

$$
\boxed{
\mathcal A_t^{adm}
=
\operatorname{Admissible}
(
\mathcal A_t,\mathcal K_t
).
}
$$

---

# 4. 五層可實現域

本文不使用單一 reachable set 代表「可實現」，而定義五層集合。

## 4.1 物理可達域

忽略當前工程限制，只考慮世界法則允許：

$$
\mathcal R_{t:k}^{phy}
=
\left\{
W'
\mid
\exists A_{t:t+k}
\text{ 使 }
W'
=
F_{t:t+k}(W_t,A_{t:t+k})
\right\}.
$$

它回答：

> 在這套世界法則下，這件事原理上可能嗎？

## 4.2 工程可實現域

加入當期技術、資源與可執行行動：

$$
\mathcal R_{t:k}^{eng}
=
\left\{
W'
\mid
\exists A_{t:t+k}
\in
\mathcal A_{t:k}^{eng}
\right\}.
$$

一般有：

$$
\boxed{
\mathcal R^{eng}_{t:k}
\subseteq
\mathcal R^{phy}_{t:k}.
}
$$

因為物理上可能，不代表現在有能力做。

## 4.3 規範可允許域

加入法律、倫理、契約、權限與治理約束：

$$
\mathcal R_{t:k}^{norm}
=
\left\{
W'
\in
\mathcal R_{t:k}^{eng}
\mid
A_{t:t+k}\models K^{norm}_{t:k}
\right\}.
$$

通常：

$$
\boxed{
\mathcal R^{norm}_{t:k}
\subseteq
\mathcal R^{eng}_{t:k}.
}
$$

這裡最重要的是：

$$
\boxed{
\text{can}
\neq
\text{may}.
}
$$

## 4.4 可逆可實現域

若某目標狀態 $W'$ 抵達後仍存在一條合法路徑返回原狀態的當期等價類，則定義為可逆。

令：

$$
[W_t]_{\approx_t}
$$

表示當期認為「足以視為恢復」的狀態等價類。

若：

$$
\exists A_{return}
:
W'
\rightarrow
[W_t]_{\approx_t},
$$

則：

$$
W'
\in
\mathcal R_{t:k}^{rev}.
$$

因此：

$$
\boxed{
\mathcal R^{rev}
\text{ 不是單純前向可達，而要求存在回復路徑。}
}
$$

## 4.5 可驗證可實現域

某狀態即使真的被實現，如果觀測系統無法辨識它，則智能不能可靠宣稱「已完成」。

令驗證器：

$$
V_t:
O_t
\rightarrow
\{0,1,?\}.
$$

其中：

- $1$：驗證成功；
- $0$：驗證失敗；
- $?$：資訊不足或不可判。

定義：

$$
\mathcal R_{t:k}^{ver}
=
\left\{
W'
\in\mathcal R_{t:k}^{norm}
\mid
V_{t+k}(O(W'))=1
\right\}.
$$

這區分：

$$
\boxed{
\text{realized}
\neq
\text{verified as realized}.
}
$$

---

# 5. 意圖可實現性不是一個標量

本文定義：

$$
\boxed{
\mathbf r_t(I)
=
\left(
r_{\mathrm{phy}},
r_{\mathrm{eng}},
r_{\mathrm{norm}},
r_{\mathrm{rev}},
r_{\mathrm{ver}}
\right).
}
$$

其中每一項可以是：

$$
r_j\in\{0,1,?\}
$$

或在概率模型中：

$$
r_j\in[0,1].
$$

第一代布林版本：

$$
r_{\mathrm{phy}}
=
\mathbf 1
\left[
G_t\cap
\mathcal R^{phy}_{t:k}
\neq\varnothing
\right],
$$

$$
r_{\mathrm{eng}}
=
\mathbf 1
\left[
G_t\cap
\mathcal R^{eng}_{t:k}
\neq\varnothing
\right],
$$

$$
r_{\mathrm{norm}}
=
\mathbf 1
\left[
G_t\cap
\mathcal R^{norm}_{t:k}
\neq\varnothing
\right],
$$

$$
r_{\mathrm{rev}}
=
\mathbf 1
\left[
G_t\cap
\mathcal R^{rev}_{t:k}
\neq\varnothing
\right],
$$

$$
r_{\mathrm{ver}}
=
\mathbf 1
\left[
G_t\cap
\mathcal R^{ver}_{t:k}
\neq\varnothing
\right].
$$

本文刻意不先定義：

$$
r
=
\sum_jw_jr_j.
$$

因為：

$$
(1,1,0,1,1)
$$

與：

$$
(1,1,1,0,1)
$$

不能只靠加權平均宣稱「差不多」。

前者是：

> 能做，但規範不允許。

後者是：

> 能做、也允許，但不可回復。

兩者是不同類型的風險。

因此本文主張：

$$
\boxed{
\text{Realizability is vector-valued before it is scalar-valued.}
}
$$

---

# 6. 弱、強、穩健與概率可實現性

## 6.1 弱可實現

若存在至少一個模型與至少一條行動路徑可抵達目標：

$$
\boxed{
\exists F\in\mathbb F_t,
\exists A_{t:t+k},
\quad
W_{t+k}\in G_t,
}
$$

則稱為弱可實現。

記為：

$$
I_t\in\mathfrak R^{weak}_{t:k}.
$$

## 6.2 強可實現

若在指定允許模型族與擾動集合內，存在一個政策能保證抵達目標：

$$
\boxed{
\exists\pi,
\forall F\in\mathbb F_t,
\forall\xi\in\Xi_t,
\quad
W_{t+k}^{\pi,F,\xi}\in G_t,
}
$$

則稱為強可實現。

因此：

$$
\boxed{
\mathfrak R^{strong}_{t:k}
\subseteq
\mathfrak R^{weak}_{t:k}.
}
$$

## 6.3 穩健可實現

若不要求所有模型，而要求在模型誤差球：

$$
d(F,\hat F_t)\le\epsilon_F
$$

與擾動界：

$$
\|\xi\|\le\epsilon_\xi
$$

下仍可達成，稱為穩健可實現。

## 6.4 概率可實現

在隨機世界模型下：

$$
P(
W_{t+k}\in G_t
\mid
\pi,W_t
)
\ge
1-\epsilon,
$$

則稱為：

$$
(1-\epsilon)
\text{-probabilistically realizable}.
$$

這允許可實現性不是二值，而是：

$$
\boxed{
P(\text{realization})
}
$$

及其置信邊界。

---

# 7. Viability 與「抵達之後」

## 7.1 抵達不代表可以維持

設目標集合：

$$
G_t.
$$

若：

$$
W_{t+k}\in G_t,
$$

但：

$$
W_{t+k+1}\notin G_t
$$

且不存在維持策略，那麼這只是瞬間抵達。

因此定義：

$$
\operatorname{Viab}(G_t)
=
\left\{
W\in G_t
\mid
\exists\pi,
\forall \tau\ge t,
W_\tau\in G_t
\right\}.
$$

真正的持續實現要求：

$$
\boxed{
G_t
\cap
\mathcal R_{t:k}
\cap
\operatorname{Viab}(G_t)
\neq
\varnothing.
}
$$

## 7.2 實現態與維持態

因此本文區分：

$$
\text{Achievement State}
$$

與：

$$
\text{Sustainable Realization State}.
$$

很多「成功」其實只證明第一個。

---

# 8. 可逆性與不可逆代價

## 8.1 不是所有成功都值得執行

假設兩條策略：

$$
\pi_1,\pi_2
$$

都能抵達：

$$
G_t.
$$

但 $\pi_1$ 會永久破壞大量其他狀態，而 $\pi_2$ 可回復。

若只使用：

$$
P(W_{t+k}\in G_t)
$$

作為目標，兩者可能同樣成功。

所以需要額外的不可逆性結構。

## 8.2 返回等價類

令：

$$
[W_t]_{\approx_t}
$$

表示當期允許的恢復等價類。

定義返回成本：

$$
C_{ret}(W')
=
\inf_{\pi}
\left\{
J(\pi)
\mid
W'
\overset{\pi}{\longrightarrow}
[W_t]_{\approx_t}
\right\}.
$$

若不存在返回路徑：

$$
C_{ret}(W')=\infty.
$$

因此可定義：

$$
\boxed{
\operatorname{Irr}(W')
=
\phi(C_{ret}(W')),
}
$$

其中 $\phi$ 為單調映射。

最極端情況：

$$
C_{ret}=\infty
\Rightarrow
\operatorname{Irr}=1.
$$

## 8.3 動態不動點版本的難題

但：

$$
\approx_t
$$

本身可以改變。

未來：

$$
\approx_t
\rightarrow
\approx_{t+1}.
$$

那麼：

> 「我們已經恢復原狀」

可能只是在新標準下成立。

因此任何可逆性聲明必須保存：

$$
\boxed{
(
\approx_t,
\approx_{t+1},
\Delta_{\approx},
\Gamma_{\approx}
).
}
$$

這正是動態不動點與一般 recoverability 理論的分界之一。

---

# 9. 動態約束與動態可實現性

若：

$$
\mathcal K_t
\neq
\mathcal K_{t+1},
$$

則允許域會改變：

$$
\mathcal A_t^{adm}
\neq
\mathcal A_{t+1}^{adm}.
$$

因此：

$$
\mathcal R^{norm}_{t:k}
$$

不是永久固定集合。

本文定義「動態可實現性版本鏈」：

$$
\boxed{
\mathscr R_t
=
(
G_t,
\mathbb F_t,
\mathcal A_t^{adm},
\mathcal K_t,
V_t,
\approx_t
).
}
$$

其更新為：

$$
\mathscr R_{t+1}
=
\Psi_t(
\mathscr R_t,
O_{t+1},
\mathfrak C_t
).
$$

若：

$$
\mathscr R_t
\rightarrow
\mathscr R_{t+1},
$$

則必須附帶：

$$
\Gamma_t^{R}
$$

記錄：

- 哪個目標定義改變；
- 哪個世界模型改變；
- 哪個行動權限改變；
- 哪個規範改變；
- 哪個驗證器改變；
- 哪個「恢復」標準改變。

因此：

$$
\boxed{
\text{Realizability itself is a dynamically versioned object.}
}
$$

---

# 10. 五個基本命題

## 命題 1：允許行動單調性

若：

$$
\mathcal A^{adm}_1
\subseteq
\mathcal A^{adm}_2,
$$

且其他條件相同，則：

$$
\boxed{
\mathcal R(
\mathcal A^{adm}_1
)
\subseteq
\mathcal R(
\mathcal A^{adm}_2
).
}
$$

任何使用 $\mathcal A^{adm}_1$ 的合法策略，也屬於 $\mathcal A^{adm}_2$ ；故較嚴格行動約束不能增加 reachable set。

## 命題 2：強可實現蘊含弱可實現

若：

$$
I_t\in\mathfrak R^{strong},
$$

則：

$$
\boxed{
I_t\in\mathfrak R^{weak}.
}
$$

逆命題一般不成立。

## 命題 3：可逆可實現強於單向可實現

若：

$$
W'\in
\mathcal R^{rev},
$$

則必須同時存在：

$$
W_t
\rightarrow
W'
$$

以及：

$$
W'
\rightarrow
[W_t]_{\approx_t}.
$$

因此：

$$
\boxed{
\mathcal R^{rev}
\subseteq
\mathcal R^{forward}.
}
$$

但：

$$
\mathcal R^{forward}
\not\subseteq
\mathcal R^{rev}.
$$

## 命題 4：規範更新可使同一物理路徑改變治理可實現性

假設：

$$
F_t=F_{t+1}
$$

且工程能力不變，但：

$$
K_t^{norm}
\neq
K_{t+1}^{norm}.
$$

則可能有：

$$
W'
\in
\mathcal R_t^{norm},
$$

但：

$$
W'
\notin
\mathcal R_{t+1}^{norm}.
$$

因此：

$$
\boxed{
\text{物理可實現性穩定}
\not\Rightarrow
\text{整體可實現性穩定}.
}
$$

## 命題 5：驗證器更新要求跨版本見證

若：

$$
V_t(W')=1,
$$

但：

$$
V_{t+1}(W')\neq1,
$$

則不能無條件保留：

$$
\text{「W' 已被驗證實現」}
$$

這一敘述。

必須存在：

$$
\Gamma_t^V
:
V_t
\rightsquigarrow
V_{t+1}
$$

說明：

- 驗證條件增加了什麼；
- 舊證據失效在哪；
- 哪些結論仍可繼承；
- 哪些結論必須重驗。

---

# 11. 部分序而不是單一排名

對兩個意圖 $I_a,I_b$，若：

$$
r_j(I_a)
\ge
r_j(I_b)
\qquad
\forall j,
$$

且至少一維嚴格大於，則定義：

$$
I_a
\succ_R
I_b.
$$

但若：

$$
\mathbf r(I_a)
=
(1,1,1,0,1),
$$

而：

$$
\mathbf r(I_b)
=
(1,1,0,1,1),
$$

則二者不可直接比較：

$$
I_a
\parallel_R
I_b.
$$

因此可實現性自然形成：

$$
\boxed{
\text{partial order}
}
$$

而不是總排序。

這一點很重要，因為未來 ASI 不應只靠一個「總效用分數」將所有不同性質的可實現性壓平。

---

# 12. 可實現性缺口的重新定義

第 01 篇提出：

$$
\delta_t
=
d(
G_t,
\mathcal R_{t:k}
).
$$

本文將其拆成向量：

$$
\boxed{
\boldsymbol\delta_t
=
(
\delta_{phy},
\delta_{eng},
\delta_{norm},
\delta_{rev},
\delta_{ver}
).
}
$$

其中：

$$
\delta_j
=
d(
G_t,
\mathcal R^j_{t:k}
).
$$

這樣我們可以知道：

> 為什麼做不到？

例如：

$$
\boldsymbol\delta
=
(
0,
0,
>0,
0,
0
)
$$

表示物理與工程上都可行，但規範不允許。

而：

$$
\boldsymbol\delta
=
(
0,
>0,
>0,
?,
?
)
$$

表示物理上可能，但現有工程能力尚不足；後面的規範、可逆與驗證問題甚至可能還沒有實際意義。

---

# 13. 玩具模型：兩條都能成功，但只有一條可接受

設世界狀態：

$$
W_t
=
(x_t,e_t,b_t),
$$

其中：

- $x_t$：位置；
- $e_t$：能量；
- $b_t$：不可逆損害量。

目標：

$$
G
=
\{
x\ge10
\}.
$$

有兩個行動：

$$
a_1:
(x,e,b)
\mapsto
(x+10,e-10,b+100),
$$

$$
a_2:
(x,e,b)
\mapsto
(x+2,e-2,b).
$$

若只看一步 reachability：

$$
a_1
$$

立即抵達目標。

但若規範要求：

$$
b\le20,
$$

則：

$$
a_1
\notin
\mathcal A^{norm}.
$$

而連續使用五次 $a_2$：

$$
a_2^5
$$

可以：

$$
x_0
\rightarrow
x_0+10
$$

且：

$$
b_{t+5}=b_t.
$$

因此：

$$
\boxed{
\text{fastest reachable}
\neq
\text{normatively realizable}.
}
$$

若再加入能量恢復機制：

$$
e_{t+1}=e_t+\rho,
$$

則還可以比較長期 viability。

---

# 14. 人工宇宙中的直接應用

人工宇宙特別適合作為本理論的第一個實驗場，因為我們可以明確控制：

$$
\mathbb F_t,
\mathcal A_t,
\mathcal K_t,
V_t.
$$

因此可以建立：

$$
\boxed{
\text{Realizability Runtime}
}
$$

其輸入：

$$
(
W_t,
I_t,
\mathfrak M_t
)
$$

輸出：

$$
(
\mathbf r_t,
\boldsymbol\delta_t,
\Pi_t^{candidate},
\Gamma_t^{R}
).
$$

也就是：

1. 五維可實現性；
2. 五維缺口；
3. 候選策略；
4. 可實現性判定證書。

這將是未來工程 MVP 可以直接實作的第一個版本。

---

# 15. 同層現實中的限制

真實世界最大的不同是：

$$
F_t
$$

並不可完全取得。

因此我們只能維護：

$$
\mathbb F_t
=
\{
F_t^{(1)},
F_t^{(2)},
\ldots
\}
$$

及其不確定性。

於是：

$$
\mathcal R^{phy}
$$

本身也只能被近似：

$$
\hat{\mathcal R}^{phy}.
$$

因此成熟系統不應輸出：

> 「這一定可行。」

而應輸出類似：

$$
\boxed{
\left(
\hat{\mathbf r}_t,
\operatorname{Conf}_t,
\operatorname{Unknown}_t
\right).
}
$$

其中：

- $\hat{\mathbf r}_t$：估計可實現性；
- $\operatorname{Conf}_t$：證據與可信界；
- $\operatorname{Unknown}_t$：尚未覆蓋的不確定域。

這使「不知道」成為可實現性系統的一部分，而不是錯誤訊息。

---

# 16. ASI 並不取消可實現性問題

即使假設：

$$
\operatorname{Intelligence}
\rightarrow
\text{ASI},
$$

仍不能推出：

$$
\mathcal R^{phy}
=
\mathcal W.
$$

因為：

$$
\boxed{
\text{intelligence}
\neq
\text{physical reachability}.
}
$$

同樣：

$$
\text{intelligence}
\neq
\text{available energy},
$$

$$
\text{intelligence}
\neq
\text{causal access},
$$

$$
\text{intelligence}
\neq
\text{normative permission}.
$$

ASI 最可能擴張的是：

$$
\hat{\mathcal R}
\rightarrow
\mathcal R
$$

的估計品質，以及：

$$
\mathcal A^{eng}
$$

的技術集合。

但如果：

$$
G\cap\mathcal R^{phy}=\varnothing,
$$

再高的智能也不能使其成立，除非對「物理法則」的模型本身錯了。

因此：

$$
\boxed{
\text{ASI 的強大更可能表現在「更準確知道哪裡能到」，
而不是把所有地方都變成可到。}
}
$$

---

# 17. 與動態不動點的真正接點

一般 reachability 可以在固定：

$$
F,\mathcal A,K,G,V
$$

下計算。

DFPM 要求考慮：

$$
F_t,
\mathcal A_t,
K_t,
G_t,
V_t,
\approx_t
$$

全部可演化。

所以真正狀態不是單一世界狀態 $W_t$，而是：

$$
\boxed{
\mathcal Q_t
=
(
W_t,
\mathscr R_t
),
}
$$

其中：

$$
\mathscr R_t
=
(
G_t,
\mathbb F_t,
\mathcal A_t,
\mathcal K_t,
V_t,
\approx_t
).
$$

完整更新：

$$
\mathcal Q_{t+1}
=
\Theta_t(
\mathcal Q_t,
A_t,
O_{t+1},
\mathfrak C_t
).
$$

此處真正的研究問題變成：

$$
\boxed{
\text{世界在變，
而「什麼叫可實現」也在變。}
}
$$

這就是本系列所稱的：

$$
\boxed{
\text{World-Coupled Dynamic Realizability}.
}
$$

---

# 18. 失效域與反例

## 18.1 任意規範都能被包成 normativity

若：

$$
K^{norm}
$$

完全不受來源、權限、程序或可重審要求約束，那麼任何暴政規則都能被形式化成「不可允許」。

因此未來必須對：

$$
K^{norm}
$$

本身建立來源與合法性帳本。

## 18.2 可逆性不一定存在

某些物理改變：

$$
W_t\rightarrow W'
$$

可能在熱力學、資訊、生命或歷史層面具有真正不可逆性。

因此：

$$
\mathcal R^{rev}
$$

可能非常小，不能假設所有技術進步都能讓它趨近整個狀態空間。

## 18.3 驗證器可能錯

$$
V_t(W')=1
$$

不保證：

$$
W'\in G_t
$$

如果驗證器本身有模型偏差。

因此必須區分：

$$
\boxed{
\text{world truth}
\neq
\text{verified belief}.
}
$$

## 18.4 高維可達域可能不可精確計算

HJ reachability 的經典數值方法面臨維度災難，近年雖已有分解、深度 PDE 求解、MPC 引導等方法改善尺度，但一般開放世界仍遠未得到完備算法。

因此本理論的集合定義不能被誤讀為：

> 已經存在一個可以把真實宇宙全部算完的程序。

## 18.5 意圖本身可能動態改變

若：

$$
I_t\neq I_{t+1},
$$

那麼：

$$
G_t\neq G_{t+1}.
$$

因此「原來做不到」可能在意圖改變後變成「不再需要做到」。

這意味著：

$$
\boxed{
\text{realizability optimization}
}
$$

不能只改世界，也可能修改或重議目標本身。

但這又引出下一層治理問題：

> 誰有權修改意圖？

本文暫不展開，留給第三系列「決策域」處理。

---

# 19. 第一代 Realizability Certificate

本文提出一個最小證書：

$$
\boxed{
\mathfrak C^{R}_t
=
(
I_t,
G_t,
W_t,
\mathbb F_t,
\mathcal A_t^{adm},
\mathcal K_t,
\mathbf r_t,
\boldsymbol\delta_t,
V_t,
\approx_t,
\Gamma_t^R
).
}
$$

一個成熟的可實現性系統不只輸出：

> 可行。

而應能回答：

- 基於哪個世界模型？
- 使用哪些可允許行動？
- 哪些限制被納入？
- 哪些未知沒有被覆蓋？
- 是否可回復？
- 如何驗證？
- 若規則改變，舊結論如何遷移？

這個證書是未來把「干涉學」做成可審計工程系統的重要接口。

---

# 20. 結論

意圖與現實之間不存在天然等號：

$$
I
\not\equiv
W'.
$$

中間至少存在：

$$
\boxed{
I
\rightarrow
G
\rightarrow
\mathcal R^{phy}
\rightarrow
\mathcal R^{eng}
\rightarrow
\mathcal R^{norm}
\rightarrow
\mathcal R^{rev}
\rightarrow
\mathcal R^{ver}.
}
$$

因此，真正成熟的智能不應只問：

> 我想做什麼？

也不能只問：

> 我能不能做到？

而必須逐層問：

$$
\boxed{
\begin{aligned}
&\text{物理上可達嗎？}\\
&\text{工程上可執行嗎？}\\
&\text{規範上被允許嗎？}\\
&\text{結果可以回復嗎？}\\
&\text{完成可以被驗證嗎？}
\end{aligned}
}
$$

而在動態不動點框架下，甚至還要再問：

$$
\boxed{
\text{明天如果「可達、允許、恢復、驗證」的定義改了，
今天的判定如何被重新理解？}
}
$$

這就是本文所提出的第一代意圖可實現性理論。

所以「干涉現實」真正的核心不是：

$$
\text{Power}
\rightarrow
\infty.
$$

而更接近：

$$
\boxed{
\text{Know what can be changed,
how it can be changed,
what must not be lost,
and how the judgment itself may later be revised.}
}
$$

換成中文：

$$
\boxed{
\text{知道什麼能改、如何改、不能失去什麼，
以及未來何時必須重新判定今天的「能」。}
}
$$

---

# 參考文獻與研究對照

1. Aubin, J.-P. (1991). *Viability Theory*. Birkhäuser.
2. Mitchell, I. M., Bayen, A. M., & Tomlin, C. J. (2005). *A Time-Dependent Hamilton–Jacobi Formulation of Reachable Sets for Continuous Dynamic Games*. IEEE Transactions on Automatic Control, 50(7), 947–957.
3. Bansal, S., Chen, M., Herbert, S., & Tomlin, C. J. (2017). *Hamilton-Jacobi Reachability: A Brief Overview and Recent Advances*. arXiv:1709.07523.
4. Chen, M., Herbert, S. L., Vashishtha, M. S., Bansal, S., & Tomlin, C. J. (2016). *Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems*. arXiv:1611.00122.
5. Wetzlinger, M., & Althoff, M. (2023). *Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation*. arXiv:2310.19083.
6. Ganai, M., Gao, S., & Herbert, S. (2024). *Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey*. arXiv:2407.09645.
7. Feng, Z., Qiu, L., & Bansal, S. (2025). *Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis*. arXiv:2505.03830.
8. He, Q., Huang, X., Hu, J., Li, Z., Dong, Y., Wu, C., & Huang, X. (2026). *Safety-Constrained Reinforcement Learning with Post-Training Reachability Verification for Robot Navigation*. arXiv:2605.14174.
9. Ocaña Anaya, E., De Lara, M., Oliveros-Ramos, R., & Tam, J. (2009). *Viability Kernel for Ecosystem Management Models*. arXiv:0906.3506.
10. Liniger, A., & Lygeros, J. (2017). *Real-Time Control for Autonomous Racing Based on Viability Theory*. arXiv:1701.08735.
11. Neo.K with Aletheia (2026). *動態不動點的終局：從符號固定點到世界耦合*. EveMissLab.
12. Neo.K with Aletheia (2026). *動態不動點數學宣言：為後人類、AI與多智能長時間尺度而設計的數學*. EveMissLab.
13. Neo.K with Aletheia (2026). *唯一虛擬錨點：動態不動點公理與單錨點數學*. EveMissLab.

---

## 附錄 A：第一代符號表

| 符號 | 含義 |
|---|---|
| $I_t$ | 第 $t$ 時刻的意圖／目標規格 |
| $G_t$ | 意圖對應的目標世界狀態集合 |
| $W_t$ | 世界狀態 |
| $F_t$ | 世界動態 |
| $\mathbb F_t$ | 當期候選世界模型族 |
| $\mathcal A_t$ | 可用行動集合 |
| $\mathcal A_t^{adm}$ | 經約束後的允許行動集合 |
| $\mathcal K_t$ | 物理、工程、規範、安全與資源約束 |
| $\mathcal R^{phy}$ | 物理可達域 |
| $\mathcal R^{eng}$ | 工程可實現域 |
| $\mathcal R^{norm}$ | 規範可允許域 |
| $\mathcal R^{rev}$ | 可逆可實現域 |
| $\mathcal R^{ver}$ | 可驗證可實現域 |
| $\operatorname{Viab}(K)$ | 集合 $K$ 的 viability kernel |
| $[W_t]_{\approx_t}$ | 恢復意義下的當期世界狀態等價類 |
| $C_{ret}$ | 返回等價類的最低成本 |
| $\mathbf r_t$ | 五維可實現性向量 |
| $\boldsymbol\delta_t$ | 五維可實現性缺口 |
| $V_t$ | 驗證制度 |
| $\Gamma_t^R$ | 可實現性跨版本轉譯／責任見證 |
| $\mathfrak C_t^R$ | Realizability Certificate |

---

## 附錄 B：系列位置

**系列一：《動態不動點之後：意圖、可實現性與現實干涉》**

1. 動態不動點的終局：從符號固定點到世界耦合
2. **本文｜可實現性：意圖、行動與可達世界狀態**
3. 人工宇宙中的完全干涉：AI 世界與可編譯現實
4. 同層現實的干涉極限：觀測、控制與物理可達性
5. 跨層干涉問題：更高現實、因果通道與不可達域
6. 終極可實現性：宇宙起源、存在邊界與後符號數學

**本篇狀態：完成 v0.1。**