← Archive
lm-004425 · 2026-10

可能不等於可達：世界、模型、合法性與實際路徑

zh-Hant · md Raw source ↗ Metadata ↗
下載 MD 檔 ⬇

CWRCE-03

可能不等於可達：世界、模型、合法性與實際路徑

Possibility Is Not Reachability: Worlds, Models, Legality, and Actual Paths

系列： Cross-World Reality-Coupled Epistemology, CWRCE / 跨世界實在耦合認識論
系列篇次： 03 / 08
文件編號： EML-CWRCE-03-2026-v0.1
作者： Neo.K
理論結晶化協作： Aletheia（GPT-5.6 Sol）
機構： EveMissLab / 一言諾科技有限公司
版本： v0.1
日期： 2026-09-21
文件性質： General Epistemology / Reachability Theory / World-Model Separation
前篇： CWRCE-02〈跨世界認識算子不變量猜想：有限智能如何面對不同實在〉
狀態： Canonical Draft

摘要

本文建立 CWRCE 的世界合法性與可達性分層，處理一個在科學、工程、人工智慧、形上學與反事實推理中反覆出現的混淆：某事物「可以被想像」並不表示它在世界中合法；某事物在世界中合法，也不表示存在因果上可行的路徑；存在因果路徑，也不表示該狀態由當前初始條件實際可達；即使世界中可達，也不表示指定有限智能能在其資源、時間、知識、權限與工具條件下到達。

本文正式區分五個層級：

Conceivable⊇WorldLegal⊇CausallyFeasible⊇Reachable⊇AgentReachable.\boxed{ \text{Conceivable} \supseteq \text{WorldLegal} \supseteq \text{CausallyFeasible} \supseteq \text{Reachable} \supseteq \text{AgentReachable}. }

第一層 ConceivableConceivable 只要求某候選可被某表示系統描述；第二層 WorldLegalWorldLegal 要求候選不違反該世界之生成約束；第三層 CausallyFeasibleCausallyFeasible 要求存在至少一條符合世界因果結構的實現路徑；第四層 ReachableReachable 要求該路徑能從指定初始條件出發實際通往目標；第五層 AgentReachableAgentReachable 則再加入指定行動者的能力、工具、時間、成本、知識與控制權限制。

本文同時固定：

World≠Model(World).\boxed{ \text{World} \neq Model(World). }

模型可表示世界、壓縮世界、模擬世界，甚至在任務域內高精度預測世界，但模型合法不等於世界合法，模型內存在的路徑也不自動對應世界內可實現路徑。本文因此引入 Model-Legal 與 World-Legal 的分離，並指出：

ModelReachable⇏WorldReachable.\boxed{ \text{ModelReachable} \not\Rightarrow \text{WorldReachable}. }

本文進一步建立 Path-Bearing Possibility：若一個候選主張無法附帶合法生成路徑，則其「可能性」只停留在弱可描述層。對強可能性主張，至少應提供：起始狀態、允許轉移、資源條件、障礙條件與終止判準。由此，本文將「可能」從單一二值詞拆成帶世界索引、初始條件索引與主體索引的結構：

Possibility=Possibility(X;W,s0,Γ,R,A).\boxed{ \text{Possibility} = \text{Possibility} \left( X; W, s_0, \Gamma, \mathcal R, \mathcal A \right). }

其中 WW 為世界， s0s_0 為初始狀態， Γ\Gamma 為主體 frame， R\mathcal R 為資源集合， A\mathcal A 為可用 action set。

本文最後提出 Epistemic Legality Principle：任何從「可描述」推進到「可實現」的論證，都必須明確標記其跨越的是哪一層，而不能把 Conceivable、Model-Legal、World-Legal、Feasible、Reachable 與 Agent-Reachable 混成同一個「可能」。這一原則將成為 CWRCE 後續處理玄學、特殊性、魔法感與能力距離的世界約束基礎。

關鍵詞： 可達性、世界合法性、模型合法性、因果可行性、主體可達性、反事實、有限智能、世界模型分離、路徑、資源約束

0. 問題設定

「可能」是一個極度多義的詞。

在不同語境中，它可能表示：

  • 我能想像；
  • 我能寫出；
  • 邏輯上不矛盾；
  • 模型中可運行；
  • 物理上不禁止；
  • 因果上有路徑；
  • 從現在能走到；
  • 某個人做得到；
  • 某個文明做得到；
  • 某個 AI 在有限資源下做得到。

這些命題完全不同。

如果不拆開，就會產生大量錯誤推論：

Conceivable⇒Possible⇒Reachable\boxed{ \text{Conceivable} \Rightarrow \text{Possible} \Rightarrow \text{Reachable} }

而本文的第一個工作，就是拒絕這種壓縮。

1. 五層可達性階梯

本文定義：

P={C,LW,FC,R,RA}.\boxed{ \mathfrak P = \{ C, L_W, F_C, R, R_A \}. }

其中：

  • CC：Conceivable；
  • LWL_W：World-Legal；
  • FCF_C：Causally Feasible；
  • RR：Reachable；
  • RAR_A：Agent-Reachable。

其包含關係為：

RA⊆R⊆FC⊆LW⊆C.\boxed{ R_A \subseteq R \subseteq F_C \subseteq L_W \subseteq C. }

這裡的包含關係是概念上最自然的方向，但不要求每個世界中都是嚴格包含。

2. Conceivable：可描述不等於世界允許

2.1 定義

若存在某表示系統：

L\mathcal L

能合法生成對象或命題：

X,X,

則：

X∈ConceivableL.\boxed{ X \in Conceivable_{\mathcal L}. }

2.2 最弱層

Conceivable 只表示：

Representable.\boxed{ \text{Representable}. }

它不要求：

  • 世界真的存在；
  • 世界允許；
  • 有因果路徑；
  • 有物理機制；
  • 有實際起點；
  • 有行動者能做到。

2.3 例子

一個小說世界可以定義：

Mass<0Mass<0

或：

BackwardTimeTravel.\text{BackwardTimeTravel}.

只要語言允許，便可被描述。

但：

Description≠WorldPermission.\boxed{ \text{Description} \neq \text{WorldPermission}. }

3. Model-Legal：模型中的合法性

在進入 World-Legal 之前，先插入一個重要層級：

ModelLegal.\boxed{ \text{ModelLegal}. }

3.1 模型可允許世界不允許的東西

令模型：

MM

具有狀態空間：

SMS_M

與轉移規則：

TM.T_M.

若：

XX

符合：

TM,T_M,

則：

X∈Legal(M).X \in Legal(M).

但這只表示：

ModelLegal(X)=1.\boxed{ ModelLegal(X)=1. }

不表示：

WorldLegal(X)=1.WorldLegal(X)=1.

3.2 模型自由度

模擬可以任意改寫：

  • 重力；
  • 時間；
  • 生命；
  • 能量；
  • 空間維度；
  • 因果方向。

因此：

SimulationPermission⇏RealityPermission.\boxed{ \text{SimulationPermission} \not\Rightarrow \text{RealityPermission}. }

4. World-Legal：世界允許

4.1 定義

令世界：

WW

具有生成約束：

ΛW.\Lambda_W.

若候選：

XX

不違反該世界允許之狀態、關係與轉移條件，則：

X∈WorldLegal(W).\boxed{ X \in WorldLegal(W). }

4.2 世界合法不等於世界實現

即使：

X∈WorldLegal,X \in \text{WorldLegal},

仍可能永遠沒有任何實際路徑進入 XX。

因此：

WorldLegal⇏Actualized.\boxed{ \text{WorldLegal} \not\Rightarrow \text{Actualized}. }

4.3 法律不是世界合法性

本文的 World-Legal 不是社會法律。

不是：

Legalstate.Legal_{\mathrm{state}}.

而是：

Legalworld generation.\boxed{ Legal_{\mathrm{world\ generation}}. }

5. Causally Feasible：存在合法生成路徑

5.1 定義

若存在一條因果路徑：

π=(s0,s1,…,sn)\pi = \left( s_0,s_1,\dots,s_n \right)

使每個轉移：

si→si+1s_i \rightarrow s_{i+1}

都符合世界轉移規則：

TW,T_W,

並且：

sn=X,s_n=X,

則：

X∈CausallyFeasible(W).\boxed{ X \in CausallyFeasible(W). }

5.2 只要求某條路存在

這一層不要求從「目前的我們」出發。

可能有：

s0∗s_0^{*}

可以到達 XX，

但目前世界狀態：

snows_{now}

無法到達。

因此：

CausallyFeasible⇏ReachableFromNow.\boxed{ \text{CausallyFeasible} \not\Rightarrow \text{ReachableFromNow}. }

6. Reachable：從指定初始條件可達

6.1 定義

對指定初始狀態：

s0,s_0,

若存在：

π:s0⇝X,\pi:s_0\leadsto X,

則：

X∈Reachable(W,s0).\boxed{ X \in Reachable(W,s_0). }

6.2 可達性一定帶起點

沒有：

s0s_0

就沒有嚴格的 reachability。

因此：

Reachability=Reachability(X;W,s0).\boxed{ \text{Reachability} = Reachability(X;W,s_0). }

6.3 同一世界，不同起點

可能：

X∈Reachable(W,sa)X \in Reachable(W,s_a)

但：

X∉Reachable(W,sb).X \notin Reachable(W,s_b).

因此世界合法性是 global-ish，

而 reachability 是 initial-condition-relative。

7. Agent-Reachable：世界能，不代表我能

7.1 定義

令有限智能：

AA

具有：

  • action set A\mathcal A ；
  • resources R\mathcal R ；
  • time budget τ\tau ；
  • knowledge KAK_A ；
  • permissions PA\mathcal P_A ；
  • tools TA\mathcal T_A。

若存在：

πA\pi_A

使 AA 能在上述限制內將：

s0s_0

導向：

X,X,

則：

X∈AgentReachable(A,W,s0).\boxed{ X \in AgentReachable(A,W,s_0). }

7.2 主體能力限制

因此：

Reachable(W,s0)Reachable(W,s_0)

可能遠大於：

AgentReachable(A,W,s0).AgentReachable(A,W,s_0).

可寫為：

RA⊊R.\boxed{ R_A \subsetneq R. }

8. Agent-Reachable 仍可再細分

8.1 Knowledge-Reachable

世界允許、工具也足夠，但 agent 不知道路徑。

8.2 Tool-Reachable

知道路徑，但缺工具。

8.3 Resource-Reachable

有工具，但資源不足。

8.4 Authority-Reachable

能力足夠，但沒有控制權。

8.5 Time-Reachable

理論上能做，但需要：

102010^{20}

年。

因此：

AgentReachability=f(Knowledge,Tools,Resources,Authority,Time).\boxed{ \text{AgentReachability} = f ( \text{Knowledge}, \text{Tools}, \text{Resources}, \text{Authority}, \text{Time} ). }

9. 世界與模型分離

本文再次固定：

W≠M(W).\boxed{ W \neq M(W). }

9.1 模型可準確但仍不是世界

若：

d(M(W),W)<ε,d(M(W),W)<\varepsilon,

也只代表：

HighFidelity.\boxed{ \text{HighFidelity}. }

不代表：

M(W)=W.M(W)=W.

9.2 模型可達不等於世界可達

模型中：

∃πM:s0⇝X.\exists\pi_M: s_0\leadsto X.

不能推出：

∃πW:s0⇝X.\exists\pi_W: s_0\leadsto X.

因此：

ModelReachable⇏WorldReachable.\boxed{ \text{ModelReachable} \not\Rightarrow \text{WorldReachable}. }

10. 模型失真與偽路徑

若模型忽略某一限制：

Constraintc,Constraint_c,

可能產生：

πM\pi_M

看似合法。

但在世界中：

πM∩Constraintc=⊥.\pi_M \cap Constraint_c = \bot.

因此：

ModelPath≠WorldPath.\boxed{ \text{ModelPath} \neq \text{WorldPath}. }

這在：

  • 工程；
  • AI planning；
  • 經濟；
  • 軍事；
  • 物理模擬；

都極為重要。

11. Path-Bearing Possibility

本文提出：

PathBearingPossibility.\boxed{ \text{PathBearingPossibility}. }

11.1 弱可能

只說：

X seems possible.X \text{ seems possible}.

11.2 強可能

至少提供：

(s0,T,π,Constraints,Termination).\boxed{ ( s_0, T, \pi, \text{Constraints}, \text{Termination} ). }

其中：

  • s0s_0：起點；
  • TT：合法轉移規則；
  • π\pi：候選路徑；
  • Constraints：路徑限制；
  • Termination：到達條件。

11.3 沒有路徑的「可能」

若只有目標：

XX

但沒有：

π,\pi,

則主張只能停留在：

Conceivable\boxed{ \text{Conceivable} }

或弱 World-Legal。

12. 可能性的索引化

「可能」應寫成：

Possibility(X;W,s0,A,Γ,R,A).\boxed{ \text{Possibility} \left( X; W, s_0, A, \Gamma, \mathcal R, \mathcal A \right). }

不應寫成沒有索引的：

Possible(X).Possible(X).

因為不同索引會給出不同答案。

13. Frame-Relative Possibility

主體 AA 只透過：

ΓA\Gamma_A

接取世界。

因此它判斷：

PossibleA(X)Possible_A(X)

實際上更接近：

Possible(X;ΠΓA(W)).\boxed{ \text{Possible} \left( X; \Pi_{\Gamma_A}(W) \right). }

如果 frame 不完整，則 agent 可能錯估可達性。

14. Hidden Constraint

假設世界具有：

chc_h

但 agent 尚未知。

模型中：

ch∉M.c_h \notin M.

則 agent 可能推導：

ReachableM(X)=1Reachable_M(X)=1

但實際：

ReachableW(X)=0.Reachable_W(X)=0.

因此：

UnknownConstraint→FalseReachability.\boxed{ \text{UnknownConstraint} \rightarrow \text{FalseReachability}. }

15. Hidden Path

反過來，也可能模型缺少某個合法操作：

ah.a_h.

於是：

ReachableM(X)=0,Reachable_M(X)=0,

但：

ReachableW(X)=1.Reachable_W(X)=1.

因此：

UnknownPath→FalseImpossibility.\boxed{ \text{UnknownPath} \rightarrow \text{FalseImpossibility}. }

這點對 CWRCE 很重要。

有限智能不只會高估可能，也會低估可能。

16. 可達性與認知底空間

令：

Bt\mathcal B_t

為時間 tt 的認知底空間。

當新增：

aha_h

或：

chc_h

被發現，

則：

Bt→Bt+1.\mathcal B_t \rightarrow \mathcal B_{t+1}.

此時可達集合也會更新：

Rt→Rt+1.R_t \rightarrow R_{t+1}.

因此：

ReachabilityKnowledge is itself dynamically revisable.\boxed{ \text{ReachabilityKnowledge} \text{ is itself dynamically revisable}. }

17. 客觀可達與主觀可達

需要區分：

Robj\boxed{ R^{obj} }

與：

RΓsubj.\boxed{ R^{subj}_{\Gamma}. }

其中：

RobjR^{obj}

表示世界中真正存在的可達結構；

RΓsubjR^{subj}_{\Gamma}

表示主體目前相信的可達結構。

一般：

RΓsubj≠Robj.\boxed{ R^{subj}_{\Gamma} \neq R^{obj}. }

18. 認識進步可以改寫可達圖

若：

RΓtsubj⊊Robj,R^{subj}_{\Gamma_t} \subsetneq R^{obj},

新知識可以使：

RΓtsubj→RΓt+1subj.R^{subj}_{\Gamma_t} \rightarrow R^{subj}_{\Gamma_{t+1}}.

因此認識進步不只是「知道更多事實」，

而可能是：

ExpandingTheKnownReachabilityGraph.\boxed{ \text{ExpandingTheKnownReachabilityGraph}. }

19. 技術進步也改寫 Agent-Reachable

即使客觀世界不變：

Wt+1=Wt,W_{t+1}=W_t,

工具改變：

Tt→Tt+1,\mathcal T_t \rightarrow \mathcal T_{t+1},

便可能有：

RAt⊊RAt+1.R_A^{t} \subsetneq R_A^{t+1}.

因此：

Technology changes agent reachability without changing world legality.\boxed{ \text{Technology} \text{ changes agent reachability without changing world legality}. }

20. 古代與現代的能力差

某狀態：

XX

對古代文明：

X∉AgentReachableancient,X \notin AgentReachable_{ancient},

但對現代文明：

X∈AgentReachablemodern.X \in AgentReachable_{modern}.

世界合法性沒變。

改變的是：

AgentCapability.\boxed{ \text{AgentCapability}. }

這將直接接到 CWRCE-07 的魔法感與能力距離。

21. 現代與未來的同一關係

同理，今天：

X∉RA2026,X \notin R_A^{2026},

不推出：

X∉RA2126.X \notin R_A^{2126}.

因此：

CurrentInaccessibility⇏PermanentImpossibility.\boxed{ \text{CurrentInaccessibility} \not\Rightarrow \text{PermanentImpossibility}. }

22. 但也不能反向樂觀化

不能從：

CurrentInaccessibility\text{CurrentInaccessibility}

推出：

FutureReachability.\text{FutureReachability}.

因此：

NotReachableNow⇏ReachableLater.\boxed{ \text{NotReachableNow} \not\Rightarrow \text{ReachableLater}. }

未來可能仍不可達。

CWRCE 保持雙向保守。

23. 機率可達性

不是所有世界都適合 binary reachability。

若：

P(X∣s0)>0,P(X\mid s_0)>0,

但極小：

P(X∣s0)≪1,P(X\mid s_0)\ll1,

則可定義：

ProbabilisticReachability.\boxed{ \text{ProbabilisticReachability}. }

例如：

Rp(X;s0)=P(s0⇝X).R_p(X;s_0) = P(s_0\leadsto X).

24. 幾乎不可能與不可能

若：

P(X)=10−100,P(X)=10^{-100},

則：

P(X)>0P(X)>0

但實務上可能：

AgentReachable(X)=0.AgentReachable(X)=0.

因此：

NonZeroProbability≠PracticalReachability.\boxed{ \text{NonZeroProbability} \neq \text{PracticalReachability}. }

25. 成本可達性

定義：

Cost(π).Cost(\pi).

若：

Cost(π)>BudgetA,Cost(\pi)>Budget_A,

則即使：

π\pi

世界合法，

對 agent 仍：

RA=0.R_A=0.

因此：

WorldReachable⇏EconomicallyReachable.\boxed{ \text{WorldReachable} \not\Rightarrow \text{EconomicallyReachable}. }

26. 計算可達性

某路徑存在：

π\pi

但尋找：

π\pi

需要：

2n2^{n}

或更高資源。

則：

ExistenceOfPath≠ComputableDiscoveryOfPath.\boxed{ \text{ExistenceOfPath} \neq \text{ComputableDiscoveryOfPath}. }

這是 Agent-Reachable 的另一重要限制。

27. 可證明可達與真可達

若 agent 能證明：

Reachable(X)=1,Reachable(X)=1,

則它擁有：

ProvablyReachable.\text{ProvablyReachable}.

但可能存在：

Reachable(X)=1Reachable(X)=1

卻：

ProvablyReachableA(X)=0.ProvablyReachable_A(X)=0.

因此：

Reachability≠ProvableReachability.\boxed{ \text{Reachability} \neq \text{ProvableReachability}. }

28. 可達性證書

本文提出：

ReachabilityCertificate.\boxed{ \text{ReachabilityCertificate}. }

其至少包含：

  1. initial state；
  2. transition rules；
  3. path；
  4. resource bounds；
  5. constraint checks；
  6. terminal condition。

形式上：

CertR=(s0,T,π,B,C,sn).\text{Cert}_R = \left( s_0, T, \pi, B, C, s_n \right).

29. 不可達性證書

同理，若要強主張：

Unreachable(X),Unreachable(X),

最好提供：

UnreachabilityCertificate.\boxed{ \text{UnreachabilityCertificate}. }

例如：

  • invariant violation；
  • disconnected component；
  • conservation law；
  • resource lower bound；
  • forbidden transition；
  • impossibility theorem。

30. 「沒找到路」不等於不可達

若搜尋：

Search(π)Search(\pi)

失敗，

不能推出：

∄π.\nexists\pi.

因此：

SearchFailure≠Unreachability.\boxed{ \text{SearchFailure} \neq \text{Unreachability}. }

這與 UBGUL 的 local closure / terminal closure 分離高度相容。

31. 「找到一條路」也不等於全部理解

即使：

∃π,\exists\pi,

也不表示：

CompleteMechanisticUnderstanding.\boxed{ \text{CompleteMechanisticUnderstanding}. }

可能只是找到可行路徑。

因此：

Reachability≠Explanation.\boxed{ \text{Reachability} \neq \text{Explanation}. }

32. 反事實世界的特殊問題

如果討論：

W′W'

而非實際世界：

W,W,

則：

WorldLegalW′WorldLegal_{W'}

只表示在反事實世界規則下合法。

不能倒推：

WorldLegalW.WorldLegal_W.

因此：

CounterfactualLegality≠ActualWorldLegality.\boxed{ \text{CounterfactualLegality} \neq \text{ActualWorldLegality}. }

33. 玄學思想實驗的合法位置

CWRCE-04 將假設：

W′W'

存在某些額外 phenomena。

那時要問：

WorldLegalW′(X)?WorldLegal_{W'}(X)?

而不是偷偷寫：

WorldLegalW(X)=1.WorldLegal_W(X)=1.

所以 Paper 04 必須保持：

CounterfactualWorldIndex.\boxed{ \text{CounterfactualWorldIndex}. }

34. 模型中的超自然

若遊戲、小說或模擬世界：

MM

允許魔法，

那麼：

Magic∈ModelLegal(M).\text{Magic} \in ModelLegal(M).

這不表示：

Magic∈WorldLegal(W).\text{Magic} \in WorldLegal(W).

因此：

FictionalReachability≠PhysicalReachability.\boxed{ \text{FictionalReachability} \neq \text{PhysicalReachability}. }

35. 模型也可以比世界更嚴格

模型可能錯誤地禁止：

X,X,

但世界實際允許。

因此：

ModelIllegal⇏WorldIllegal.\boxed{ \text{ModelIllegal} \not\Rightarrow \text{WorldIllegal}. }

這就是科學革命與技術突破有時會發生的原因之一。

36. Reachability Graph

將世界表示為：

GW=(V,E),G_W = (V,E),

其中：

  • VV：world states；
  • EE：legal transitions。

則：

Reachable(s0)={v∈V∣s0⇝v}.Reachable(s_0) = \{v\in V\mid s_0\leadsto v\}.

Agent AA 只有子圖：

GA⊆GW.G_A \subseteq G_W.

因此：

ReachableA(s0)=ReachableGA(s0).\boxed{ Reachable_A(s_0) = Reachable_{G_A}(s_0). }

37. 技術作為邊生成器

新工具：

TnewT_{new}

可能新增 action edges：

EA→EA′.E_A \rightarrow E_A'.

因此：

Technology=ReachabilityEdgeGenerator.\boxed{ \text{Technology} = \text{ReachabilityEdgeGenerator}. }

這提供 CWRCE-07 的能力距離形式化接口。

38. 知識作為路徑搜尋器

新理論：

KnewK_{new}

可能不改變世界圖，

但提高找到合法路徑的能力：

SearchEfficiency↑.\text{SearchEfficiency} \uparrow.

因此：

Knowledge=ReachabilitySearchAmplifier.\boxed{ \text{Knowledge} = \text{ReachabilitySearchAmplifier}. }

39. 權限作為邊封鎖器

某些 action 在物理上可能，但 agent 無權使用。

因此：

EA=EW−Eforbidden.E_A = E_W - E_{\mathrm{forbidden}}.

所以：

Authority modifies agent-level reachability.\boxed{ \text{Authority} \text{ modifies agent-level reachability}. }

40. 身體作為可達性結構

Agent 的 embodiment 決定：

  • 感知；
  • 速度；
  • 力量；
  • 空間；
  • action set。

因此：

Embodiment→ReachabilityGeometry.\boxed{ \text{Embodiment} \rightarrow \text{ReachabilityGeometry}. }

不同載體會擁有不同 GAG_A。

41. 認知載體也改變可達性

AI 與人類可能共享世界，

但：

ΓAI≠Γhuman.\Gamma_{AI} \neq \Gamma_{human}.

因此：

RAAI≠RAhuman.R_A^{AI} \neq R_A^{human}.

不同認知架構會改變：

  • 問題表示；
  • 搜尋；
  • 計算；
  • 記憶；
  • 規劃。

42. World-Legal 不一定可認識

可能存在：

X∈WorldLegal,X \in \text{WorldLegal},

但：

X∉ObservableA.X \notin Observable_A.

因此：

WorldExistence≠EpistemicAccessibility.\boxed{ \text{WorldExistence} \neq \text{EpistemicAccessibility}. }

這與 SOBTA 主體—客體—邊界分離一致。

43. 可觀察不等於可操控

某現象：

XX

可以被觀察，

但 agent 無法控制。

因此：

Observable⇏Controllable.\boxed{ \text{Observable} \not\Rightarrow \text{Controllable}. }

44. 可操控不等於可理解

反過來，也可能：

Controllable(X)=1Controllable(X)=1

但：

MechanisticUnderstanding(X)=0.MechanisticUnderstanding(X)=0.

工程上常見。

因此：

Control≠Understanding.\boxed{ \text{Control} \neq \text{Understanding}. }

45. 理解不等於可重現

Agent 可能理解機制，

但沒有資源重建。

因此：

Understanding⇏Reproduction.\boxed{ \text{Understanding} \not\Rightarrow \text{Reproduction}. }

這將直接接到 CWRCE-06 的 trivialization chain。

46. 重現不等於整合

某技術可以被重現，

但尚未變成文明底層能力。

因此：

Reproduction⇏Integration.\boxed{ \text{Reproduction} \not\Rightarrow \text{Integration}. }

所以：

Nontrivial→Understanding→Reproduction→Integration\text{Nontrivial} \rightarrow \text{Understanding} \rightarrow \text{Reproduction} \rightarrow \text{Integration}

每一箭頭都不是自動的。

47. 可達性與特殊性

一個現象對 agent 很特殊，

可能只是因為：

DistanceRA(X)≫0.Distance_{R_A}(X) \gg 0.

也就是在 agent reachability graph 上非常遠。

因此：

Specialness may correlate with reachability distance.\boxed{ \text{Specialness} \text{ may correlate with reachability distance}. }

但不能直接等同。

48. 能力距離

可定義：

Dcap(A,B;X)=d(RA(X),RB(X)).\boxed{ D_{cap}(A,B;X) = d \left( R_A(X), R_B(X) \right). }

若：

DcapD_{cap}

極大，

則 BB 的普通能力可能對 AA 顯得不可思議。

CWRCE-07 將專門處理。

49. 世界合法性可以是局部的

一個規則可能只在：

U⊆WU\subseteq W

成立。

因此應寫：

WorldLegal(X∣U).WorldLegal(X\mid U).

不能把局部規則外推全球。

50. 尺度合法性

同理：

LegalmicroLegal_{\text{micro}}

不一定等於：

Legalmacro.Legal_{\text{macro}}.

因此：

WorldLegality can be scale-indexed.\boxed{ \text{WorldLegality} \text{ can be scale-indexed}. }

51. 時間合法性

如果世界規則漂移：

Tt≠Tt+1,T_t \neq T_{t+1},

則：

WorldLegalt(X)WorldLegal_t(X)

可能不同於：

WorldLegalt+1(X).WorldLegal_{t+1}(X).

這將接到 CWRCE-08。

52. Type-Legal

不只是狀態是否合法，

還要問操作是否型別合法。

若：

f:X→Yf:X\rightarrow Y

在當前 type system 中合法，

則：

TypeLegal(f)=1.TypeLegal(f)=1.

若世界 type drift，

則原本合法操作可能失效。

53. Operator-Legal

CWRCE-02 的算子也必須經過本篇世界約束。

例如：

Intervene\text{Intervene}

只有在世界允許 agent 作用時才合法。

因此：

OperatorConceivable⇏OperatorWorldLegal.\boxed{ \text{OperatorConceivable} \not\Rightarrow \text{OperatorWorldLegal}. }

54. 認識論合法性階梯

綜合後可得到：

Representable→ModelLegal→WorldLegal→CausallyFeasible→Reachable→AgentReachable→OperationallyExecutable.\boxed{ \text{Representable} \rightarrow \text{ModelLegal} \rightarrow \text{WorldLegal} \rightarrow \text{CausallyFeasible} \rightarrow \text{Reachable} \rightarrow \text{AgentReachable} \rightarrow \text{OperationallyExecutable}. }

這不是保證每一層都嚴格包含，

而是分析順序。

55. Operationally Executable

即使 Agent-Reachable，

當下 runtime 可能仍失敗。

例如：

  • 工具斷線；
  • API 無權限；
  • 記憶不足；
  • 臨時故障。

因此：

AgentReachable⇏ExecutionSuccess.\boxed{ \text{AgentReachable} \not\Rightarrow \text{ExecutionSuccess}. }

56. Execution Success 也不等於穩定重現

一次成功：

Success1=1Success_1=1

不推出：

RepeatableSuccess=1.RepeatableSuccess=1.

因此：

OneShotSuccess≠StableReachability.\boxed{ \text{OneShotSuccess} \neq \text{StableReachability}. }

57. Reachability Stability

若：

P(A⇝X∣Conditions)P(A\leadsto X\mid Conditions)

在合理變動下保持，

可稱：

StableAgentReachability.\boxed{ \text{StableAgentReachability}. }

這比單次成功更強。

58. Epistemic Legality Principle

本文提出：

Epistemic Legality Principle\boxed{ \textbf{Epistemic Legality Principle} }

任何從：

Conceivable\text{Conceivable}

推進到：

Realizable\text{Realizable}

的論證，都必須標明跨越哪一層。

禁止：

UnmarkedPossibilityCollapse.\boxed{ \text{UnmarkedPossibilityCollapse}. }

也就是把所有層壓成一個「可能」。

59. Path Burden Principle

若主張：

X is reachable,X \text{ is reachable},

則論證責任應逐步增加。

弱主張只需：

WorldLegal.\text{WorldLegal}.

強主張至少需：

Path+InitialState+TransitionLegality+ResourceBounds.\boxed{ \text{Path} + \text{InitialState} + \text{TransitionLegality} + \text{ResourceBounds}. }

60. Impossibility Burden Principle

若主張：

X is impossible,X \text{ is impossible},

也不能只因：

NoKnownPath.\text{NoKnownPath}.

而應盡量提供：

Invariant or Barrier or NoGoCertificate.\boxed{ \text{Invariant} \text{ or } \text{Barrier} \text{ or } \text{NoGoCertificate}. }

61. 這對科學方法的重要性

科學常常不是直接回答：

IsXPossible?IsXPossible?

而是把問題改成：

UnderWhatConditionsIsXReachable?UnderWhatConditionsIsXReachable?

因此本文將成熟認識的一個特徵寫為：

PossibilityQuestion→ReachabilityQuestion.\boxed{ \text{PossibilityQuestion} \rightarrow \text{ReachabilityQuestion}. }

62. 這對 AI 規劃的重要性

AI planner 若只在模型中找到：

πM,\pi_M,

仍需驗證：

πM→πW?\pi_M \rightarrow \pi_W?

因此 AI 原生規劃至少需要：

ModelPathValidation.\boxed{ \text{ModelPathValidation}. }

63. 這對世界模型的重要性

世界模型的核心價值不是：

ModelLooksReal.\text{ModelLooksReal}.

而是：

ModelPreservesRelevantReachability.\boxed{ \text{ModelPreservesRelevantReachability}. }

如果模型高視覺擬真，

但錯誤保留 action consequences，

則其 epistemic value 可能有限。

64. Reachability-Preserving Model

若映射：

Ψ:W→M\Psi: W \rightarrow M

能在指定任務域中保持：

s⇝Wx⇒Ψ(s)⇝MΨ(x),s\leadsto_W x \Rightarrow \Psi(s)\leadsto_M\Psi(x),

且反向誤差受控，

則可稱：

ReachabilityPreservingApproximation.\boxed{ \text{ReachabilityPreservingApproximation}. }

65. 不要求全世界同構

模型只需在任務域：

D\mathcal D

保持 relevant reachability。

因此：

TaskAdequateModel≠WorldCompleteModel.\boxed{ \text{TaskAdequateModel} \neq \text{WorldCompleteModel}. }

66. 世界模型的實在耦合驗證

可以用：

Prediction+Intervention+OutcomeComparison\text{Prediction} + \text{Intervention} + \text{OutcomeComparison}

檢查：

DoesModelReachabilityMatchWorldReachability?\boxed{ \text{DoesModelReachabilityMatchWorldReachability}? }

這直接連接 CWRCE-02 的 operator loop。

67. 反事實模型的角色

Counterfactual model 可以探索：

IfcwereDifferent,\text{If} \quad c \quad \text{wereDifferent},

則：

Reachability′Reachability'

如何改變。

但要保留：

CounterfactualReachability≠ActualReachability.\boxed{ \text{CounterfactualReachability} \neq \text{ActualReachability}. }

68. 可達性與自由度

新自由度：

dnewd_{new}

可能開啟新路徑。

因此：

Bt⊊Bt+1\mathcal B_t \subsetneq \mathcal B_{t+1}

時，

Agent-Reachable 也可能擴張：

RAt⊊RAt+1.R_A^t \subsetneq R_A^{t+1}.

這是 CWRCE-06 的重要前置。

69. 平凡化與可達性

當某非平凡能力：

XX

被理解、重現並整合，

它可能由：

Frontier\text{Frontier}

轉為：

PrimitiveAction.\text{PrimitiveAction}.

此時原本需要長路徑：

π\pi

的操作，

可能壓縮成：

aX.a_X.

因此：

Trivialization can shorten reachability distance.\boxed{ \text{Trivialization} \text{ can shorten reachability distance}. }

70. 認知底空間與路徑壓縮

若：

dt(s,X)d_t(s,X)

是時間 tt 的 agent reachability distance，

技術平凡化後：

dt+1(s,X)<dt(s,X).d_{t+1}(s,X) < d_t(s,X).

極端情況：

dt+1=1.d_{t+1}=1.

這正是「昨天的魔法成為今天的按鈕」。

71. 但按鈕不等於理解

如果某文明只能按：

BlackBox(X),BlackBox(X),

則 reachability 已提高，

但 mechanistic understanding 可能仍低。

因此：

PathCompression≠EpistemicExhaustion.\boxed{ \text{PathCompression} \neq \text{EpistemicExhaustion}. }

72. Reachability Horizon

定義 agent 在時間 tt 的可達前沿：

HA(t)=∂RA(t).\boxed{ \mathcal H_A(t) = \partial R_A(t). }

技術與知識進步可能使：

HA(t)→HA(t+1).\mathcal H_A(t) \rightarrow \mathcal H_A(t+1).

這與 Nontrivial Frontier 不同，但高度相關。

73. Nontrivial Frontier 與 Reachability Horizon

可能有：

X∈FtNTX \in \mathcal F_t^{NT}

但：

X∈RA.X \in R_A.

即：

已可達，但仍不理解。

也可能：

X∉RAX \notin R_A

但機制已理解。

因此：

EpistemicFrontier≠ReachabilityFrontier.\boxed{ \text{EpistemicFrontier} \neq \text{ReachabilityFrontier}. }

74. 四種前沿

至少可區分：

  1. Observable Frontier；
  2. Understandable Frontier；
  3. Reachability Frontier；
  4. Reproducibility Frontier。

這些前沿可以錯位。

75. 世界的「可能空間」不是 agent 的「選項空間」

世界可能存在：

1010010^{100}

種合法狀態，

但 agent 可操作 action 只有：

103.10^3.

因此：

WorldPossibilitySpace≫AgentOptionSpace.\boxed{ \text{WorldPossibilitySpace} \gg \text{AgentOptionSpace}. }

76. 這解釋有限智能的基本困境

有限智能不是只缺「答案」。

它通常還缺：

  • 可觀察變數；
  • 合法表示；
  • 路徑知識；
  • action；
  • 資源；
  • 時間。

因此：

EpistemicLimitation+ReachabilityLimitation\boxed{ \text{EpistemicLimitation} + \text{ReachabilityLimitation} }

必須分開處理。

77. 「世界允許」與「文明允許」

某技術：

XX

世界合法，

但文明可能禁止。

因此：

WorldLegal≠CivilizationallyPermitted.\boxed{ \text{WorldLegal} \neq \text{CivilizationallyPermitted}. }

CWRCE 這裡不處理倫理判斷，只做結構分離。

78. 安全限制作為 Agent-Reachability Constraint

若 agent 主動限制：

A→Asafe,\mathcal A \rightarrow \mathcal A_{\mathrm{safe}},

則：

RAR_A

縮小。

因此：

SafetyPolicy changes effective reachability.\boxed{ \text{SafetyPolicy} \text{ changes effective reachability}. }

79. Reachability 不等於 Desirability

即使：

X∈RA,X \in R_A,

也不表示：

X∈DesiredA.X \in \text{Desired}_A.

因此：

Can≠Should.\boxed{ \text{Can} \neq \text{Should}. }

CWRCE-03 只處理 can 的結構。

80. 可達性與自由意志問題分離

Agent-Reachable 描述：

AvailablePaths.\text{AvailablePaths}.

它不直接回答：

WhichPathWillBeChosen.\text{WhichPathWillBeChosen}.

因此：

Reachability≠Choice.\boxed{ \text{Reachability} \neq \text{Choice}. }

81. 可達性與機率預測分離

知道：

X∈RAX \in R_A

不表示：

P(A chooses X)P(A\ \text{chooses}\ X)

很高。

因此：

Reachability≠Likelihood.\boxed{ \text{Reachability} \neq \text{Likelihood}. }

82. Reachability 與最短路徑分離

存在：

π\pi

只表示可達。

不表示：

π=π∗.\pi = \pi^*.

因此：

Reachable≠OptimallyReachable.\boxed{ \text{Reachable} \neq \text{OptimallyReachable}. }

83. 最短路徑也可能主體相對

不同 agent cost function：

JA(π)J_A(\pi)

不同。

因此：

πA∗≠πB∗.\pi_A^* \neq \pi_B^*.

所以：

OptimalPath is often agent-relative.\boxed{ \text{OptimalPath} \text{ is often agent-relative}. }

84. 世界真路徑與認知路徑

Agent 實際探索：

SearchGraphΓ\text{SearchGraph}_{\Gamma}

而世界存在：

WorldGraph.\text{WorldGraph}.

因此：

SearchSpace≠StateSpace.\boxed{ \text{SearchSpace} \neq \text{StateSpace}. }

這也是主體相對問題空間的重要接口。

85. Frame Lift

若 agent 改變：

Γ→Γ′,\Gamma \rightarrow \Gamma',

可能出現新：

  • variables；
  • actions；
  • constraints；
  • goals。

因此：

FrameLift→ReachabilityReconstruction.\boxed{ \text{FrameLift} \rightarrow \text{ReachabilityReconstruction}. }

86. Representation Change 與 Frame Lift

若只改：

r1→r2r_1 \rightarrow r_2

但：

Γ\Gamma

不變，

可能只是：

PathSearchImprovement.\boxed{ \text{PathSearchImprovement}. }

若：

Γ→Γ′,\Gamma \rightarrow \Gamma',

則可能改變：

TheReachabilityGraphItself.\boxed{ \text{TheReachabilityGraphItself}. }

87. 科學革命可以是 Frame Lift

某些範式轉換不是：

BetterEquation\text{BetterEquation}

而是新增：

  • 新變數；
  • 新因果；
  • 新對象；
  • 新尺度。

因此：

ScientificRevolution may alter known reachability geometry.\boxed{ \text{ScientificRevolution} \text{ may alter known reachability geometry}. }

88. 世界規則可能比模型更豐富

若：

ΛM⊊ΛW,\Lambda_M \subsetneq \Lambda_W,

則模型可能低估可達性。

若：

ΛM⊋ΛW,\Lambda_M \supsetneq \Lambda_W,

則模型可能高估可達性。

因此模型評估需要：

ConstraintCalibration.\boxed{ \text{ConstraintCalibration}. }

89. Path Equivalence

不同路徑：

π1,π2\pi_1,\pi_2

可能到達同一：

X.X.

但：

  • 成本不同；
  • 風險不同；
  • 資源不同；
  • 可逆性不同。

因此：

SameDestination≠SameReachabilityQuality.\boxed{ \text{SameDestination} \neq \text{SameReachabilityQuality}. }

90. Robust Reachability

若多條路徑存在：

{π1,…,πk},\{\pi_1,\dots,\pi_k\},

則對故障更穩健。

可定義：

RobustReachability(X)∝PathDiversity(X).\boxed{ \text{RobustReachability}(X) \propto \text{PathDiversity}(X). }

91. Single-Path Fragility

若只有：

∣ΠX∣=1,|\Pi_X|=1,

則：

XX

雖可達，

但非常脆弱。

因此：

Reachability≠RobustReachability.\boxed{ \text{Reachability} \neq \text{RobustReachability}. }

92. 可逆性

若：

s0⇝Xs_0\leadsto X

但：

X\nleadstos0,X\nleadsto s_0,

則路徑不可逆。

因此：

Reachable≠ReversiblyReachable.\boxed{ \text{Reachable} \neq \text{ReversiblyReachable}. }

93. 不可逆性與介入風險

某些世界轉移：

II

一旦執行即改變可達圖。

因此 agent 不只是走圖，

也可能：

RewriteTheGraphByActing.\boxed{ \text{RewriteTheGraphByActing}. }

這對長時程智能極重要。

94. 動態可達圖

世界不是固定圖：

GW(t).G_W(t).

Agent 行動後：

GW(t+1)≠GW(t).G_W(t+1) \neq G_W(t).

因此：

Reachability can be path-dependent.\boxed{ \text{Reachability} \text{ can be path-dependent}. }

95. 路徑依賴

選擇：

π1\pi_1

可能關閉：

X2.X_2.

選擇：

π2\pi_2

可能開啟：

X3.X_3.

因此：

CurrentAction→FutureOptionSpace.\boxed{ \text{CurrentAction} \rightarrow \text{FutureOptionSpace}. }

96. Reachability Debt

某些短期路徑雖快，

卻縮小未來選項。

可定義：

ReachabilityDebt=LostFutureOptionSpace.\boxed{ \text{ReachabilityDebt} = \text{LostFutureOptionSpace}. }

本文只提出概念，不展開決策理論。

97. 世界模型應該保存未來選項

對 agent 而言，好的 model 不只預測單一結果，

還應描述：

FutureReachabilitySet.\boxed{ \text{FutureReachabilitySet}. }

這比單點 forecast 更接近 agentic world model。

98. CWRCE 的世界—主體雙層圖

可將系統寫成：

GW⊇GAΓ.\boxed{ G_W \supseteq G_A^{\Gamma}. }

其中：

  • GWG_W：世界真可達圖；
  • GAΓG_A^{\Gamma}：主體 frame 下可操作圖。

認識進步與技術進步都可能改變第二者。

99. 真正的「可能性」問題

成熟形式不再問：

X 可能嗎？

而問：

AtWhichLayerIsXPossible?\boxed{ \text{AtWhichLayerIsXPossible?} }

即：

  • Conceivable？
  • Model-Legal？
  • World-Legal？
  • Causally Feasible？
  • Reachable？
  • Agent-Reachable？
  • Executable？
  • Robustly Reachable？

100. 主定義

本文將「具索引可能性」定義為：

P(X;W,M,s0,A,Γ,R,A,t).\boxed{ \mathfrak P \left( X; W, M, s_0, A, \Gamma, \mathcal R, \mathcal A, t \right). }

任何省略索引的「possible」都應被視為縮寫，而不是完整命題。

101. CWRCE-03 Constitution Addendum

在 CWRCE-00 Constitution 基礎上，新增以下條款。

R1. Model-World Separation

ModelLegal≠WorldLegal.\boxed{ \text{ModelLegal} \neq \text{WorldLegal}. }

R2. Path Requirement

強可達主張必須包含可檢驗路徑。

R3. Initial-State Index

Reachable\text{Reachable}

必須帶起點。

R4. Agent Index

AgentReachable\text{AgentReachable}

必須帶有限智能索引。

R5. No Search-Failure Collapse

SearchFailure≠Unreachability.\text{SearchFailure} \neq \text{Unreachability}.

R6. No Simulation Collapse

SimulationSuccess≠WorldRealizability.\text{SimulationSuccess} \neq \text{WorldRealizability}.

R7. Reachability Is Dynamic

知識、工具、frame、資源與世界規則改變，都可能改變可達集合。

102. 可證偽性

102.1 若 Conceivable 必然 World-Legal

若某世界證明：

Conceivable=WorldLegal,\text{Conceivable} = \text{WorldLegal},

則第一層分離在該世界退化。

102.2 若 World-Legal 必然 Reachable

若：

WorldLegal=Reachable\text{WorldLegal} = \text{Reachable}

對某世界成立，

則中間層級可合併。

102.3 若 Agent-Reachable 永遠等於 Reachable

若 agent 無任何資源、知識或 action 限制，

則：

RA=R.R_A=R.

但那將不再是本文主要研究的有限智能情境。

102.4 若 ModelReachable 完全等價 WorldReachable

若模型對指定域為完美 reachability isomorphism，

則兩者可在該域合併。

本文不否認局部等價可能。

103. 與 CWRCE-02 的關係

CWRCE-02 問：

Whatepistemicoperatorsrecur?\boxed{ What epistemic operators recur? }

本文再問：

When are those operators legal and effective in a given world?\boxed{ \text{When are those operators legal and effective in a given world?} }

因此：

Operator→WorldLegality→Reachability.\text{Operator} \rightarrow \text{WorldLegality} \rightarrow \text{Reachability}.

104. 與 CWRCE-04 的關係

下一篇將建立反事實世界：

WcfW_{cf}

並假設某些今日稱為：

SupernaturalPhenomena\text{SupernaturalPhenomena}

的現象在該世界真實存在。

那時本文的分層將防止：

Conceivablecf⇒WorldLegalactual.\text{Conceivable}_{cf} \Rightarrow \text{WorldLegal}_{actual}.

因此 CWRCE-04 必須始終帶：

CounterfactualWorldIndex.\boxed{ \text{CounterfactualWorldIndex}. }

105. 與 CWRCE-05 至 07 的關係

特殊性、魔法感與能力距離都與：

AgentReachability\text{AgentReachability}

密切相關。

某現象對：

AA

很遠，

對：

BB

很近。

因此：

SpecialnessA(X)≠SpecialnessB(X).\text{Specialness}_A(X) \neq \text{Specialness}_B(X).

而 CWRCE-06 的平凡化也可能透過技術整合縮短：

dA(s,X).d_A(s,X).

106. 與 CWRCE-08 的關係

若世界規則漂移：

Tt≠Tt+1,T_t \neq T_{t+1},

則可達圖：

GW(t)G_W(t)

本身也漂移。

若 type drift 發生，

甚至：

EtE_t

中的邊型別都可能失效。

因此 CWRCE-08 將處理：

ReachabilityUnderOperatorCollapse.\boxed{ \text{ReachabilityUnderOperatorCollapse}. }

107. 結論

本文建立 CWRCE 的第三個核心分離：

Conceivable⊇WorldLegal⊇CausallyFeasible⊇Reachable⊇AgentReachable.\boxed{ \text{Conceivable} \supseteq \text{WorldLegal} \supseteq \text{CausallyFeasible} \supseteq \text{Reachable} \supseteq \text{AgentReachable}. }

並插入另一個必要層級：

ModelLegal.\boxed{ \text{ModelLegal}. }

由此固定：

ModelLegal⇏WorldLegal,\boxed{ \text{ModelLegal} \not\Rightarrow \text{WorldLegal}, } ModelReachable⇏WorldReachable.\boxed{ \text{ModelReachable} \not\Rightarrow \text{WorldReachable}. }

本文的核心不是增加術語，而是要求「可能」承擔更多結構責任。

對任意候選 XX，成熟問題不應只是：

它可能嗎？

而應是：

它在哪一層可能？

更完整地：

IsX{Conceivable?ModelLegal?WorldLegal?CausallyFeasible?ReachableFrom(s0)?AgentReachableFor(A)?ExecutableNow?RobustlyReachable?\boxed{ \text{IsX} \begin{cases} \text{Conceivable?}\\ \text{ModelLegal?}\\ \text{WorldLegal?}\\ \text{CausallyFeasible?}\\ \text{ReachableFrom}(s_0)?\\ \text{AgentReachableFor}(A)?\\ \text{ExecutableNow?}\\ \text{RobustlyReachable?} \end{cases} }

這個分層同時保護兩個方向。

第一，它阻止過度樂觀：

CanImagine⇏CanRealize.\boxed{ \text{CanImagine} \not\Rightarrow \text{CanRealize}. }

第二，它也阻止過度悲觀：

NoKnownPath⇏NoPathExists.\boxed{ \text{NoKnownPath} \not\Rightarrow \text{NoPathExists}. }

有限智能面對世界時，真正困難的不只是知道「什麼存在」，而是知道：

What paths are legal, which paths exist, which paths begin here, and which paths are available to me.\boxed{ \text{What paths are legal, which paths exist, which paths begin here, and which paths are available to me.} }

因此，CWRCE 的實在耦合認識鏈在本文之後可以被寫得更精確：

Reality→Observation→Representation→Model→Legality→Feasibility→Reachability→Intervention→WorldResponse→Correction.\boxed{ \text{Reality} \rightarrow \text{Observation} \rightarrow \text{Representation} \rightarrow \text{Model} \rightarrow \text{Legality} \rightarrow \text{Feasibility} \rightarrow \text{Reachability} \rightarrow \text{Intervention} \rightarrow \text{WorldResponse} \rightarrow \text{Correction}. }

而這也為下一篇做好準備。

CWRCE-04 將故意把世界規則換掉，建立一個反事實壓力測試：

如果某些今日被稱為玄學、靈性或超自然的現象在另一個世界中真的形成穩定、可重複、可介入的效果，CWRCE 會如何處理？

答案必須從本篇開始：

First index the world. Then ask legality. Then ask path. Then ask evidence.\boxed{ \text{First index the world. Then ask legality. Then ask path. Then ask evidence.} }

附錄 A：五層階梯

層級 符號 核心問題
Conceivable CC 能否被表示？
World-Legal LWL_W 世界規則是否允許？
Causally Feasible FCF_C 是否存在合法因果路徑？
Reachable RR 從指定起點能否到達？
Agent-Reachable RAR_A 指定有限智能能否到達？

附錄 B：Agent-Reachable 索引

RA=RA(X;W,s0,Γ,A,R,T,K,τ).\boxed{ R_A = R_A \left( X; W, s_0, \Gamma, \mathcal A, \mathcal R, \mathcal T, K, \tau \right). }

其中：

  • Γ\Gamma：認知 frame；
  • A\mathcal A：action set；
  • R\mathcal R：resources；
  • T\mathcal T：tools；
  • KK：knowledge；
  • τ\tau：time budget。

附錄 C：Reachability Certificate

CertR=(s0,T,π,Constraints,Resources,sn).\boxed{ \text{Cert}_R = \left( s_0, T, \pi, \text{Constraints}, \text{Resources}, s_n \right). }

附錄 D：本文核心不可混淆關係

Description≠Permission\boxed{ \text{Description} \neq \text{Permission} } Permission≠Path\boxed{ \text{Permission} \neq \text{Path} } Path≠ReachabilityFromHere\boxed{ \text{Path} \neq \text{ReachabilityFromHere} } ReachableFromHere≠ReachableByMe\boxed{ \text{ReachableFromHere} \neq \text{ReachableByMe} } ModelPath≠WorldPath\boxed{ \text{ModelPath} \neq \text{WorldPath} }

參考與上游理論接口

EveMissLab 既有理論文件

  1. Neo.K，《CWRCE-00：跨世界實在耦合認識論：從科學去名稱化到非平凡前沿》，2026。
  2. Neo.K，《CWRCE-01：科學去名稱化：可靠認識是否比「科學」更基本？》，2026。
  3. Neo.K，《CWRCE-02：跨世界認識算子不變量猜想：有限智能如何面對不同實在》，2026。
  4. Neo.K，《因果律的因果律：宇宙因果歸納、虛擬因果對照與普世平凡律》，2026。
  5. Neo.K，《主體相對問題空間：從客觀實在到主體投影》，2026。
  6. Neo.K，《CODT-08：認知－世界邊界：從意圖、請求到世界轉移》，2026。
  7. Neo.K，《CODT-09：受控預測域：以作用後的未來世界反應定義認知－世界域》，2026。
  8. Neo.K，FDCS / Fractal Dynamic Causal System 系列。
  9. Neo.K，UBGUL / Unbounded Closure, Generalized Gödel Problems, and Ultimate Limits 系列。
  10. Neo.K，SOBTA / Subject–Object–Boundary Tri-Domain Algebra 系列。

概念性外部參考

  1. Pearl, J. Causality: Models, Reasoning, and Inference.
  2. Lewis, D. Counterfactuals.
  3. Kripke, S. Naming and Necessity.
  4. Putnam, H. “Models and Reality.”
  5. Ashby, W. R. An Introduction to Cybernetics.
  6. Conant, R. C., & Ashby, W. R. “Every Good Regulator of a System Must Be a Model of That System.”

CWRCE-03 v0.1 完。