展開式解空間：邊推理、邊顯影、邊建路的動態幾何

Expansive Solution Spaces: Dynamic Geometry for Simultaneous Reasoning, Revealing, and Path Construction

系列名稱：內外雙生展開計算論（Dual Internal–External Expansion Computation, DIEEC）
系列編號：EML-DIEEC-2026-06
作者：Neo.K（許筌崴）with Aletheia（GPT）
機構：EveMissLab／一言諾科技有限公司
版本：v0.1 動態幾何初稿
日期：2026 年 7 月 29 日
文件定位：展開式解空間、動態幾何、線上規劃、外部顯影、幾何快速通道、部分可觀測世界、智慧體 Runtime

摘要

傳統搜尋、規劃與演算法分析通常假設：問題空間、狀態集合、轉移關係與目標條件，在求解開始前已經給定。智慧體的任務是在固定圖、固定狀態機或固定約束系統中尋找一條可行路徑。然而，具有外部工具、動態工作場、長期記憶、多代理協作與世界操作能力的智慧體，實際面對的並不是一張完整且靜止的地圖。部分節點尚未被顯影，部分邊只有透過工具或概念橋接才能建立，部分型別需要轉換，部分目標會隨任務契約、世界狀態與新證據更新；而某些行動甚至會改變權威世界，使原本的解空間本身發生變化。

本文提出「展開式解空間」框架。對任務 $x$ ，時間 $t$ 的解空間表示為：

\boxed{ \mathfrak P_x(t) = \left( V_t, E_t, \Theta_t, \Lambda_t, \mathcal T_t, \boldsymbol{\tau}_t, \mu_t, \mathcal B_t, \mathcal O_t, \sim_x^{(t)}, \prec_t, \mathbb W_t \right) }

其中節點、邊、型別、尺度、時間、成本、系統邊界、可用算子、任務等價關係、因果偏序與活動工作場都可能隨循環更新。解題因而不再只是：

\mathsf{Traverse},

而是三個同步過程：

\boxed{ \mathsf{Traverse} + \mathsf{Reveal} + \mathsf{Construct}. }

智慧體一邊穿越既有路徑，一邊顯影外部未知區域，一邊建立橋接、投影、宏、工具接口與任務等價終態。動態更新可寫為：

\mathfrak P_x(t+1) = \mathcal U_P \left( \mathfrak P_x(t), z_t^{\mathrm{op}}, r_t, \Delta\mathbb W_t, o_t \right).

本文區分三種幾何變化。第一是認識幾何變化：外部世界未改變，但智慧體知道了新的節點、邊與證據。第二是操作幾何變化：新增索引、工具、宏與橋接，使後續路徑真正縮短。第三是權威世界幾何變化：經提交的世界操作改變實際狀態與未來可達域。三者必須分離：

\mathsf{EpistemicRewrite} \neq \mathsf{OperationalRewrite} \neq \mathsf{OnticCommit}.

本文建立三種前沿：認知前沿、行動前沿與驗證前沿。智慧體不只選擇下一個節點，也選擇下一個應被顯影、建立或驗證的幾何增量。其線上決策可表示為：

(\phi_t^\star,a_t^\star) = \arg\min_{\phi,a} \mathbb E \left[ C_{\mathrm{now}} + C_{\mathrm{future}} + R_{\mathrm{risk}} + D_{\mathrm{distortion}} \right],

其中 $\phi_t$ 是幾何改寫， $a_t$ 是穿越或操作行動。

本文進一步提出「路徑—空間共同生成」原則：路徑不先於空間存在，空間也不必在路徑開始前完整存在。實際求解紀錄應同時保存：

\mathsf{Trace}_x = \left( \gamma_{0:T}, \Phi_{0:T}, \mathcal C_{0:T}, \mathcal V_{0:T}, \mathcal L_{0:T} \right),

其中 $\gamma$ 是穿越軌跡， $\Phi$ 是空間改寫序列， $\mathcal C$ 是任務契約， $\mathcal V$ 是驗證證書， $\mathcal L$ 是成本、來源與版本帳本。

本文不主張所有問題都必須採用動態空間，也不否定固定圖演算法的價值。當問題空間已完整、穩定且建圖成本高於收益時，固定求解器可能更優。展開式解空間適用於部分可觀測、外部可擴張、跨工具、跨表示、跨時間或會被行動改變的問題。其核心命題是：高階智慧體不是先取得完整世界模型，再於其中求解；它更可能在求解過程中，逐輪取得、生成並驗證足以支撐下一步的局部幾何。

關鍵詞：展開式解空間、動態幾何、邊推理邊建路、外部顯影、線上規劃、幾何快速通道、部分可觀測、世界改寫、智慧體、解空間

1. 固定地圖假設的適用邊界

許多經典演算法可表示為：

G=(V,E),

給定起點：

s\in V,

與目標集合：

G_x\subseteq V,

尋找路徑：

\gamma: s \rightsquigarrow G_x.

這個模型在下列條件下十分有效：

節點已知；
邊已知；
轉移規則穩定；
目標固定；
型別封閉；
外部工具不改變問題；
世界不因求解行動而改變；
驗證規則在開始前已確定。

但高階智慧體常面對：

文件尚未讀取；
工具尚未選擇；
相關概念尚未連接；
目標仍需澄清；
世界狀態持續更新；
新行動會創造新狀態；
多代理回傳不同版本；
只有部分外部場可被定址。

此時，固定圖只是當前工作場的一個投影，而不是完整問題本體。

2. 展開式解空間的定義

2.1 動態結構

對任務 $x$ ，定義：

\mathfrak P_x(t) = \left( V_t, E_t, \Theta_t, \Lambda_t, \mathcal T_t, \boldsymbol{\tau}_t, \mu_t, \mathcal B_t, \mathcal O_t, \sim_x^{(t)}, \prec_t, \mathbb W_t \right).

其中：

$V_t$ ：當前已顯影與已生成節點；
$E_t$ ：已知關係、操作與因果邊；
$\Theta_t$ ：節點、邊與操作型別；
$\Lambda_t$ ：尺度、層級與表示域；
$\mathcal T_t$ ：局部時間域；
$\boldsymbol{\tau}_t$ ：共同時間映射；
$\mu_t$ ：成本、距離與風險度量；
$\mathcal B_t$ ：系統與權限邊界；
$\mathcal O_t$ ：可用算子；
$\sim_x^{(t)}$ ：任務等價關係；
$\prec_t$ ：因果偏序；
$\mathbb W_t$ ：活動工作場。

2.2 動態更新

\mathfrak P_x(t+1) = \mathcal U_P \left( \mathfrak P_x(t), z_t^{\mathrm{op}}, r_t, \Delta\mathbb W_t, o_t \right).

可有：

\Delta V_t\neq0, \qquad \Delta E_t\neq0, \qquad \Delta\Theta_t\neq0,

\Delta\Lambda_t\neq0, \qquad \Delta\mu_t\neq0, \qquad \Delta\sim_x^{(t)}\neq0.

2.3 展開不只增加內容

空間更新也可能：

刪除錯誤邊；
抑制低價值分支；
合併重複節點；
過期舊版本；
恢復先前分支；
改變權限；
重新定義目標；
回退世界狀態。

因此：

\mathcal U_P = \mathcal U_P^+ + \mathcal U_P^- + \mathcal U_P^{\mathrm{merge}} + \mathcal U_P^{\mathrm{rollback}}.

3. 三重同步過程

展開式求解由三個過程組成。

3.1 路徑穿越

\mathsf{Traverse} : v_t \longrightarrow v_{t+1}.

智慧體使用已存在的邊進行推理、計算、操作或決策。

3.2 場顯影

\mathsf{Reveal} : \partial\mathbb W_t \longrightarrow \Delta\mathbb W_t.

智慧體取得新資料、新證據、新工具結果、新代理觀測或新世界狀態。

3.3 空間建構

\mathsf{Construct} : \mathfrak P_t \longrightarrow \widetilde{\mathfrak P}_{t+1}.

智慧體建立：

橋接；
宏；
索引；
型別轉換；
表示投影；
驗證器；
等價終態；
工具接口；
新的世界狀態。

因此：

\boxed{ \mathsf{Solve} = \mathsf{Traverse} \oplus \mathsf{Reveal} \oplus \mathsf{Construct}. }

4. 三種幾何改寫

4.1 認識幾何改寫

外部世界本身未改變，但智慧體知道了更多結構。

\Phi_t^{\mathrm{epi}} : \mathfrak P_t^{\mathrm{known}} \longrightarrow \mathfrak P_{t+1}^{\mathrm{known}}.

例子：

讀取文件；
發現既有 API；
找到一條已存在的路；
得知一個反例；
解析版本依賴。

4.2 操作幾何改寫

智慧體建立可重用結構，使後續路徑改變。

\Phi_t^{\mathrm{op}} : \mathfrak P_t \longrightarrow \widetilde{\mathfrak P}_{t+1}.

例子：

建立索引；
建立概念橋接；
封裝程序宏；
建立翻譯器；
新增驗證器；
建立工作流。

4.3 權威世界改寫

經授權與提交的操作改變實際世界：

\Phi_t^{\mathrm{ontic}} : \mathbb A_t \longrightarrow \mathbb A_{t+1}.

例子：

建立檔案；
修改資料庫；
發送訊息；
建立行事曆事件；
控制機器；
部署程式。

4.4 不可偷換

\boxed{ \Phi_t^{\mathrm{epi}} \neq \Phi_t^{\mathrm{op}} \neq \Phi_t^{\mathrm{ontic}}. }

「知道一條橋存在」不等於「已建立橋」；「模型說已修改」不等於權威世界已提交。

5. 三種前沿

5.1 認知前沿

尚未顯影，但可由當前工作場合法定址的外部區域：

\partial_{\mathrm{know}}\mathfrak P_t.

5.2 行動前沿

當前可被工具、代理或世界操作改變的狀態集合：

\partial_{\mathrm{act}}\mathfrak P_t.

5.3 驗證前沿

目前已有候選，但尚缺乏足夠證據或證書的區域：

\partial_{\mathrm{verify}}\mathfrak P_t.

5.4 前沿交疊

某節點可能同時位於多個前沿：

v \in \partial_{\mathrm{know}}\mathfrak P_t \cap \partial_{\mathrm{verify}}\mathfrak P_t.

5.5 前沿選擇

智慧體不只選擇下一個狀態，也選擇下一種前沿操作：

f_t \in \left\{ \mathsf{Know}, \mathsf{Act}, \mathsf{Verify} \right\}.

6. 路徑—空間共同生成

6.1 傳統順序

傳統上：

\mathfrak P \longrightarrow \gamma.

先有空間，再有路徑。

6.2 展開式順序

在展開式解空間中：

\gamma_{0:t} \longrightarrow \Phi_t \longrightarrow \mathfrak P_{t+1} \longrightarrow \gamma_{t+1}.

過去路徑暴露新的缺口，新的改寫又生成後續路徑。

6.3 共同生成方程

\gamma_{t+1} = \mathcal G_\gamma \left( \gamma_{0:t}, \mathfrak P_t, \Phi_t \right),

\Phi_{t+1} = \mathcal G_\Phi \left( \gamma_{0:t+1}, \mathfrak P_t, \mathbb W_{t+1} \right).

6.4 路徑依賴

相同問題由不同歷史進入，可能產生不同可用幾何：

\mathfrak P_x(t\mid H_1) \neq \mathfrak P_x(t\mid H_2).

這稱為解空間路徑依賴性。

7. 動態可達性

固定圖中的可達性：

\operatorname{Reach}_{G}(s).

展開式可達性需依時間與策略定義：

\operatorname{Reach} \left( s,\pi,[t_0,t_1] \right).

某狀態現在不可達，不代表永遠不可達：

g \notin \operatorname{Reach}_t(s)

但可能：

g \in \operatorname{Reach}_{t+k}(s)

因為中間建立了橋接、工具或世界狀態。

因此：

\boxed{ \text{不可達} \neq \text{不存在} \neq \text{永久不可達}. }

8. 動態距離

定義多成本距離：

d_t(u,v) = \inf_{\gamma:u\rightsquigarrow v} \mathbf w^\top \mathbf C_t(\gamma).

其中：

\mathbf C_t = \left( C_{\mathrm{time}}, C_{\mathrm{compute}}, C_{\mathrm{memory}}, C_{\mathrm{tool}}, C_{\mathrm{verify}}, C_{\mathrm{risk}}, C_{\mathrm{governance}} \right).

幾何改寫會改變距離：

d_{t+1}(u,v) \neq d_t(u,v).

可能原因：

新橋接；
工具失效；
權限撤回；
新宏；
版本過期；
世界狀態改變；
風險權重上升。

9. 動態目標與任務契約

任務目標不是永遠固定的單點。

G_x(t) = \left[ g \right]_{x,t}.

新證據可能：

排除某些終態；
新增等價終態；
改變誤差界；
改變期限；
改變風險容忍；
改變使用者真正意圖。

因此：

\sim_x^{(t+1)} \neq \sim_x^{(t)}.

但目標更新必須受任務契約約束，不能因為某條路太難就偷偷改題。

10. 分層幾何算子

展開式解空間包含三層算子。

10.1 注意力與工作場算子

\mathfrak A = \left\{ \mathsf{Reveal}, \mathsf{Suppress}, \mathsf{Constrain}, \mathsf{Route}, \mathsf{Verify}, \mathsf{Integrate} \right\}.

10.2 幾何改寫算子

\mathfrak F = \left\{ \mathsf{Fold}, \mathsf{Bridge}, \mathsf{Project}, \mathsf{Lift}, \mathsf{Compress}, \mathsf{Reparam}, \mathsf{ClassJump}, \mathsf{Tunnel} \right\}.

10.3 權威世界算子

\mathfrak W = \left\{ \mathsf{Write}, \mathsf{Communicate}, \mathsf{Actuate}, \mathsf{Commit}, \mathsf{Rollback} \right\}.

10.4 複合改寫

\Phi_t = \omega_n \circ \cdots \circ \omega_1, \qquad \omega_i \in \mathfrak A \cup \mathfrak F \cup \mathfrak W.

11. 算子非交換性

通常：

\omega_i\circ\omega_j \neq \omega_j\circ\omega_i.

例如：

11.1 先投影再顯影

可能使被刪除維度中的證據永遠不可見。

11.2 先橋接再驗證

可能快速抵達錯誤區域。

11.3 先驗證再壓縮

可建立可靠宏。

11.4 先壓縮再驗證

可能把錯誤程序封裝成高階通道。

11.5 先提交再回退

可能比先模擬再提交昂貴得多。

因此，算子順序本身是規劃的一部分。

12. 線上幾何規劃

每輪需要共同選擇：

下一個穿越行動 $a_t$ ；
下一個幾何改寫 $\phi_t$ ；
下一個展開前沿 $f_t$ 。

定義：

\boxed{ (a_t^\star,\phi_t^\star,f_t^\star) = \arg\min_{a,\phi,f} \mathbb E \left[ C_{\mathrm{now}} + C_{\mathrm{future}} + R_{\mathrm{risk}} + D_{\mathrm{distortion}} \right] }

並要求：

\mathsf{TypeSafe}=1,

\mathsf{CausalValid}=1,

\mathsf{TaskValid}=1.

12.1 即時收益

穿越一步、查一份資料、調一個工具的直接收益。

12.2 建造收益

建立索引、橋接與宏對未來多輪的收益。

12.3 資訊收益

顯影或驗證對不確定性的降低。

12.4 期權價值

某些操作不直接解題，但打開未來選項。

13. 部分可觀測與信念解空間

當智慧體不知道完整外部世界，可維持信念分布：

b_t(\mathfrak P).

顯影與觀測更新信念：

b_{t+1} = \mathcal B \left( b_t,\mathcal O_t \right).

13.1 工作場不是完整世界

\mathbb W_t \subset \mathfrak E_\infty.

13.2 模型認知也不是工作場

\mathbb M_t \neq \mathbb W_t.

13.3 信念幾何

智慧體可能在多個候選解空間間規劃：

\left\{ \mathfrak P_t^{(1)}, \ldots, \mathfrak P_t^{(k)} \right\}.

13.4 主動觀測

選擇觀測的目標是改善後續幾何決策，而非單純收集資訊。

14. 概念積分與長期空間生長

每次任務完成後：

\mathcal K_{t+1} = \mathcal I \left( \mathcal K_t, \mathfrak P_x(t), \gamma_t, \Phi_t, \mathcal V_t \right).

概念積分可新增：

高階節點；
穩定橋接；
型別映射；
宏算子；
驗證證書；
失敗模式；
成本模型；
任務等價類。

也可刪除：

過時通道；
偽橋接；
重複節點；
無價值分支。

因此，展開式解空間同時具有短期任務更新與長期知識生長。

15. 幾何通道生命週期

通道 $\Gamma$ 可經歷：

\mathsf{Candidate} \rightarrow \mathsf{Tested} \rightarrow \mathsf{Verified} \rightarrow \mathsf{Reusable} \rightarrow \mathsf{Deprecated} \rightarrow \mathsf{Removed}.

15.1 候選

由一次局部成功提出。

15.2 測試

在相似問題上重用。

15.3 驗證

確認型別、任務、版本與風險。

15.4 可重用

封裝成宏或通道庫。

15.5 過時

因工具、版本、世界或任務變化失效。

15.6 移除

不再進入候選幾何。

16. 動態通道證書

定義：

\mathsf{CorridorCert}_t = \left( \Theta_{\mathrm{in}}, \Theta_{\mathrm{out}}, \mathcal C_x, I_{\mathrm{valid}}, \nu, \pi, \mathbf C, R, \mathcal V, \mathcal R_{\mathrm{rollback}} \right).

其中包括：

輸入／輸出型別；
任務契約；
有效區間；
版本；
來源；
成本；
風險；
驗證；
回退。

通道若缺乏有效證書，只能作為候選捷徑，不能作為權威解法。

17. 動態因果一致性

外部結果、工具與世界操作具有偏序：

e_i \prec e_j.

幾何改寫必須保留必要因果：

e_i\prec e_j \Rightarrow \Phi_t(e_i) \prec' \Phi_t(e_j).

17.1 晚到結果

不能把基於舊世界的邊直接加入新世界。

17.2 回放

回放歷史能重建當時解空間：

\mathfrak P_x(t) = \mathsf{Replay} \left( \mathcal L_{0:t} \right).

17.3 分支

衝突結果可建立不同世界線，而非強行覆寫。

18. 權威提交與幾何改變

世界操作流程：

\mathsf{Propose} \rightarrow \mathsf{Authorize} \rightarrow \mathsf{Execute} \rightarrow \mathsf{Observe} \rightarrow \mathsf{Verify} \rightarrow \mathsf{Commit}.

提交後：

\mathbb A_t \rightarrow \mathbb A_{t+1},

進而：

\mathfrak P_x(t) \rightarrow \mathfrak P_x(t+1).

例如建立新文件後，未來任務多了一個可引用節點；寄出訊息後，社會互動空間改變；部署服務後，新的工具邊成為可用。

因此，智慧體的行動不只穿越世界，也會改變未來問題的幾何。

19. 回退幾何

若某次改寫錯誤：

\Phi_t: \mathfrak P_t \rightarrow \mathfrak P_{t+1},

可定義回退：

\Phi_t^{-1} : \mathfrak P_{t+1} \rightarrow \mathfrak P_t.

但並非所有 $\Phi_t$ 都可逆。

19.1 可逆改寫

暫存顯影；
工作場排序；
沙箱模擬；
未提交橋接。

19.2 部分可逆

記憶寫入；
資料庫修改；
工作流建立。

19.3 不可逆

已發送公開訊息；
物理致動；
不可撤回交易；
已被他者觀測的事件。

不可逆幾何需要更高的執行門檻。

20. 假通道

以下情況不構成真正快速通道。

20.1 顯影偷換

只顯示支持答案的區域，隱藏困難與反例。

20.2 成本轉移

把搜尋成本轉移給外部工具或人類，但不記帳。

20.3 任務偷換

放寬目標而未標記失真。

20.4 預計算隱藏

使用昂貴歷史建造卻只報告線上成本。

20.5 不可驗證橋接

橋接節省步數，但無法證明合法。

20.6 權限越界

透過非法操作改變世界，使問題看似容易。

21. 展開式成本帳本

每輪成本：

C_t = C_{\mathrm{traverse}} + C_{\mathrm{reveal}} + C_{\mathrm{construct}} + C_{\mathrm{verify}} + C_{\mathrm{sync}} + C_{\mathrm{maintain}} + C_{\mathrm{rollback}} + C_{\mathrm{governance}}.

生命週期成本：

C_{\mathrm{life}} = C_{\mathrm{build}} + \sum_t C_t + C_{\mathrm{deprecate}} + C_{\mathrm{failure}}.

動態幾何只有在：

C_{\mathrm{life}}^{\mathrm{dynamic}} < C_{\mathrm{life}}^{\mathrm{baseline}}

時，才構成整體加速。

22. 進展函數

定義：

\Delta P_t = \alpha\Delta K_t + \beta\Delta V_t + \gamma\Delta D_t + \delta\Delta A_t - \eta C_t - \zeta R_t - \xi D_t^{\mathrm{distort}}.

其中：

$\Delta K_t$ ：任務閉合提升；
$\Delta V_t$ ：驗證能力提升；
$\Delta D_t$ ：距離下降；
$\Delta A_t$ ：可達性提升；
$C_t$ ：成本；
$R_t$ ：風險；
$D_t^{\mathrm{distort}}$ ：失真。

若多輪：

\Delta P_t\leq0,

系統應：

切換算子；
回退；
重新顯影；
更換表示；
承認未知；
停止。

23. 展開式解空間的不變量

儘管空間持續變動，仍需保持若干不變量。

23.1 任務契約不變量

任何改寫不得無標記地偷換原任務。

23.2 型別安全不變量

跨空間邊必須具有合法轉換。

23.3 因果一致不變量

不能讓結果先於其依賴成立。

23.4 來源追蹤不變量

新增節點與邊必須可追溯。

23.5 成本帳本不變量

外部、人類、歷史與維護成本不得消失。

23.6 權威提交不變量

模型認知與工作場表示不得被偷換成世界已修改。

24. 最小動態幾何 Runtime

最小實作需要：

動態圖或超圖儲存；
工作場編譯器；
展開前沿管理器；
幾何算子庫；
操作性分元解析器；
線上規劃器；
驗證器；
共同時間與版本層；
通道證書；
成本帳本；
權威提交層；
回退與世界線管理器。

最小循環：

讀取內部狀態、活動工作場與當前解空間
判斷下一步需要穿越、顯影、建構或驗證

生成候選：
    路徑行動
    展開前沿
    幾何改寫

估計即時成本、未來成本、風險與失真
選擇候選組合

執行操作性分元
驗證外部結果
重編譯工作場
更新解空間與通道證書

若改變權威世界：
    經授權、執行、觀測、驗證與提交

更新路徑、記憶、成本與任務閉合度
判斷繼續、回退、分支或停止

25. 可觀測指標

25.1 動態距離下降

\Delta D_t = D_t-D_{t+1}.

25.2 展開效率

E_{\mathrm{reveal}} = \frac{ \Delta K+\Delta V+\Delta A }{ C_{\mathrm{reveal}} }.

25.3 建構效率

E_{\mathrm{construct}} = \frac{ \text{未來節省成本} }{ C_{\mathrm{construct}} }.

25.4 空間膨脹率

R_{\mathrm{growth}} = \frac{ |V_{t+1}|+|E_{t+1}| }{ |V_t|+|E_t| }.

25.5 有效結構比例

R_{\mathrm{useful}} = \frac{ N_{\mathrm{reused\ nodes/edges}} }{ N_{\mathrm{added\ nodes/edges}} }.

25.6 假通道率

R_{\mathrm{false}} = \frac{ N_{\mathrm{invalid\ corridors}} }{ N_{\mathrm{candidate\ corridors}} }.

25.7 回退率

R_{\mathrm{rollback}}.

26. 主要命題

命題一：非固定空間命題

對部分可觀測、跨工具與會被行動改變的任務，解空間在求解過程中不是固定的。

命題二：三重同步命題

高階求解可同時包含路徑穿越、外部顯影與空間建構。

命題三：共同生成命題

路徑與空間互相生成；求解歷史會影響後續可用幾何。

命題四：三改寫分離命題

認識幾何、操作幾何與權威世界改寫必須分離。

命題五：多前沿命題

智慧體需同時管理認知、行動與驗證前沿，而不是只選擇下一個搜尋節點。

命題六：線上幾何規劃命題

下一步決策應共同選擇穿越行動、空間改寫與展開前沿。

命題七：不變量命題

即使解空間動態變化，任務契約、型別、因果、來源、成本與權威提交邊界仍需保持。

命題八：世界塑形命題

智慧體的權威操作會改變未來問題的可達性與成本，因此智慧不只解題，也會塑造後續解題環境。

27. 可反駁條件

27.1 動態空間沒有增益

若固定圖加上成熟搜尋器長期優於動態顯影與建構，則展開式模型在該問題族上沒有必要。

27.2 空間膨脹無效

若：

|V_t|+|E_t|\uparrow

但：

D_t\not\downarrow, \qquad K_t\not\uparrow,

則系統只是在堆積結構。

27.3 幾何規劃成本過高

若選擇改寫的元成本高於直接求解，則自適應建路沒有經濟價值。

27.4 假通道率過高

若新增橋接、宏與等價類多數無法驗證，動態幾何會放大錯誤。

27.5 世界提交無法追蹤

若實際世界變化無法被版本、來源與證書重建，則系統不可治理。

27.6 不變量持續破壞

若動態改寫經常偷換任務、破壞因果或隱藏成本，則理論不能被視為合法求解框架。

28. 理論邊界

不是所有問題都需要展開式解空間。
動態空間不保證比固定空間更快。
顯影更多資訊可能增加噪音與驗證成本。
新增邊不代表縮短合法距離。
可達性依權限、版本、時間與風險而變。
認知前沿不等於真實世界邊界。
世界操作會改變後續幾何，但不代表智慧體有權任意塑造世界。
動態幾何仍受可計算性、不可判定性與資源限制。

29. 結論

本文建立「展開式解空間」的動態幾何。

對高階智慧體而言，求解不一定發生在一個開始前就完整給定的固定圖中。它更可能發生在一個隨分元、工具、外部觀測、概念積分與世界操作持續更新的空間中：

\mathfrak P_x(t+1) = \mathcal U_P \left( \mathfrak P_x(t), z_t^{\mathrm{op}}, r_t, \Delta\mathbb W_t, o_t \right).

求解因此同時包含：

\boxed{ \mathsf{Traverse} + \mathsf{Reveal} + \mathsf{Construct}. }

智慧體一邊走在已知路徑上，一邊顯影未知地形，一邊建立新的橋接、宏、型別轉換與工具通道。

但本文也嚴格區分：

\mathsf{EpistemicRewrite},

\mathsf{OperationalRewrite},

\mathsf{OnticCommit}.

知道世界、建立操作結構與真正改變世界，不是同一件事。

路徑與空間具有共同生成關係：

\gamma_{0:t} \longrightarrow \Phi_t \longrightarrow \mathfrak P_{t+1} \longrightarrow \gamma_{t+1}.

因此，解法不再只是一條最終路徑，而是一份同時記錄穿越與建圖的完整歷史：

\mathsf{Trace}_x = \left( \gamma_{0:T}, \Phi_{0:T}, \mathcal C_{0:T}, \mathcal V_{0:T}, \mathcal L_{0:T} \right).

本文的核心結論是：

\boxed{ \text{高階智慧體不是先取得完整地圖再尋路，而是在尋路過程中，逐輪顯影、驗證並建造足以支撐下一步的局部地圖。} }

更進一步：

\boxed{ \text{智慧不只是在世界中找到道路，也在不違反任務、因果、權限與成本邊界的前提下，持續改變道路存在的方式。} }

下一篇將在此動態幾何之上建立內外總作用量原理，將分元生成、外部顯影、幾何建構、工具、驗證、風險與回退納入同一變分成本框架。

系列內部定位

本文為《內外雙生展開計算論》第六篇。

第一篇建立總命題；第二篇建立內部雙生動力學；第三篇建立外部雙生動力學；第四篇建立雙重交互閉環；第五篇建立操作性分元語義；本文建立邊推理、邊顯影、邊建路的展開式動態幾何。

下一篇為：

《內外總作用量原理：從 TOKEN 機率到世界展開成本》。

前置文件

Neo.K with Aletheia，《有限分元與無限外場：內外雙生展開計算論的總命題》。
Neo.K with Aletheia，《內部雙生動力學：意圖、語言與操作性分元的生成》。
Neo.K with Aletheia，《外部雙生動力學：潛在無限環境與有限活動工作場》。
Neo.K with Aletheia，《雙重交互閉環：分元如何展開世界，世界如何改寫分元》。
Neo.K with Aletheia，《操作性分元：地址、指針、工具調用與外部展開語義》。
Neo.K with Aletheia，《解空間幾何計算論》系列。
Neo.K with Aletheia，《外部注意力場工程》系列。

展開式解空間_邊推理邊顯影邊建路的動態幾何_v0.1