# 展開式解空間：邊推理、邊顯影、邊建路的動態幾何 ## 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 最小實作需要： 1. 動態圖或超圖儲存； 2. 工作場編譯器； 3. 展開前沿管理器； 4. 幾何算子庫； 5. 操作性分元解析器； 6. 線上規劃器； 7. 驗證器； 8. 共同時間與版本層； 9. 通道證書； 10. 成本帳本； 11. 權威提交層； 12. 回退與世界線管理器。 最小循環： ```text 讀取內部狀態、活動工作場與當前解空間 判斷下一步需要穿越、顯影、建構或驗證 生成候選： 路徑行動 展開前沿 幾何改寫 估計即時成本、未來成本、風險與失真 選擇候選組合 執行操作性分元 驗證外部結果 重編譯工作場 更新解空間與通道證書 若改變權威世界： 經授權、執行、觀測、驗證與提交 更新路徑、記憶、成本與任務閉合度 判斷繼續、回退、分支或停止 ``` --- ## 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. 理論邊界 1. 不是所有問題都需要展開式解空間。 2. 動態空間不保證比固定空間更快。 3. 顯影更多資訊可能增加噪音與驗證成本。 4. 新增邊不代表縮短合法距離。 5. 可達性依權限、版本、時間與風險而變。 6. 認知前沿不等於真實世界邊界。 7. 世界操作會改變後續幾何，但不代表智慧體有權任意塑造世界。 8. 動態幾何仍受可計算性、不可判定性與資源限制。 --- ## 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 機率到世界展開成本》**。 --- ## 前置文件 1. Neo.K with Aletheia，《有限分元與無限外場：內外雙生展開計算論的總命題》。 2. Neo.K with Aletheia，《內部雙生動力學：意圖、語言與操作性分元的生成》。 3. Neo.K with Aletheia，《外部雙生動力學：潛在無限環境與有限活動工作場》。 4. Neo.K with Aletheia，《雙重交互閉環：分元如何展開世界，世界如何改寫分元》。 5. Neo.K with Aletheia，《操作性分元：地址、指針、工具調用與外部展開語義》。 6. Neo.K with Aletheia，《解空間幾何計算論》系列。 7. Neo.K with Aletheia，《外部注意力場工程》系列。