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

英文題名： 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}.

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

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

故：

\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} ).

也就是：

五維可實現性；
五維缺口；
候選策略；
可實現性判定證書。

這將是未來工程 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{知道什麼能改、如何改、不能失去什麼， 以及未來何時必須重新判定今天的「能」。} }

參考文獻與研究對照

Aubin, J.-P. (1991). Viability Theory. Birkhäuser.
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.
Bansal, S., Chen, M., Herbert, S., & Tomlin, C. J. (2017). Hamilton-Jacobi Reachability: A Brief Overview and Recent Advances. arXiv:1709.07523.
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.
Wetzlinger, M., & Althoff, M. (2023). Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation. arXiv:2310.19083.
Ganai, M., Gao, S., & Herbert, S. (2024). Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey. arXiv:2407.09645.
Feng, Z., Qiu, L., & Bansal, S. (2025). Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis. arXiv:2505.03830.
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.
Ocaña Anaya, E., De Lara, M., Oliveros-Ramos, R., & Tam, J. (2009). Viability Kernel for Ecosystem Management Models. arXiv:0906.3506.
Liniger, A., & Lygeros, J. (2017). Real-Time Control for Autonomous Racing Based on Viability Theory. arXiv:1701.08735.
Neo.K with Aletheia (2026). 動態不動點的終局：從符號固定點到世界耦合. EveMissLab.
Neo.K with Aletheia (2026). 動態不動點數學宣言：為後人類、AI與多智能長時間尺度而設計的數學. EveMissLab.
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：系列位置

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

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

本篇狀態：完成 v0.1。