# 操作性分元：地址、指針、工具調用與外部展開語義 ## Operational Tokens: Addresses, Pointers, Tool Calls, and the Semantics of External Expansion **系列名稱**：內外雙生展開計算論（Dual Internal–External Expansion Computation, DIEEC） **系列編號**：EML-DIEEC-2026-05 **作者**：Neo.K（許筌崴）with Aletheia（GPT） **機構**：EveMissLab／一言諾科技有限公司 **版本**：v0.1 操作語義初稿 **日期**：2026 年 7 月 29 日 **文件定位**：操作性分元、工具調用、地址語義、能力系統、效果型別、外部展開、交易提交、智慧體 Runtime --- ## 摘要 在一般語言生成中，分元常被視為字、子詞、符號或程式碼片段；但在具有檢索、工具、記憶、代理、資料庫與世界操作能力的智慧體中，部分分元不只是「表達內容」，而是能夠指向外部對象、要求系統採取行動、展開新的工作場區域，甚至提出修改權威世界狀態的操作事件。若缺乏嚴格語義，同一句自然語言既可能被理解為描述，也可能被誤判為命令；同一地址可能因版本、權限與時間不同而解析成不同對象；同一工具調用也可能產生可逆讀取、不可逆寫入或高風險副作用。 本文建立「操作性分元」的型別化語義。定義一個操作性分元為： $$ \boxed{ z_t^{\mathrm{op}} = \left( \omega_t, \alpha_t, \mathbf a_t, \Theta_t^{\mathrm{in}}, \Theta_t^{\mathrm{out}}, \Gamma_t, \mathcal E_t, \nu_t, \tau_t, \mathbf C_t, \mathcal R_t, \kappa_t \right) } $$ 其中： - $\omega_t$ ：操作碼； - $\alpha_t$ ：目標地址或能力句柄； - $\mathbf a_t$ ：參數； - $\Theta_t^{\mathrm{in}}$ ：輸入型別； - $\Theta_t^{\mathrm{out}}$ ：輸出型別； - $\Gamma_t$ ：權限與前置條件； - $\mathcal E_t$ ：效果型別； - $\nu_t$ ：版本； - $\tau_t$ ：時間與有效區間； - $\mathbf C_t$ ：成本與資源預算； - $\mathcal R_t$ ：回退與補償契約； - $\kappa_t$ ：延續與後續控制。 本文區分地址、指針、句柄、能力與查詢。地址回答「外部對象在哪裡或如何被命名」；指針表示「當前工作場中哪個節點指向該對象」；句柄是執行期可用的暫時引用；能力則同時攜帶對象與被授予的操作權。由此可建立： $$ \mathsf{Address} \neq \mathsf{Pointer} \neq \mathsf{Handle} \neq \mathsf{Capability}. $$ 本文也將操作過程分為七個狀態： $$ \mathsf{Describe} \rightarrow \mathsf{Propose} \rightarrow \mathsf{Authorize} \rightarrow \mathsf{Execute} \rightarrow \mathsf{Observe} \rightarrow \mathsf{Verify} \rightarrow \mathsf{Commit}. $$ 任何狀態都不得被另一狀態偷換。描述一項操作不表示系統提出執行；提出不表示獲准；工具回傳成功不表示效果已被獨立驗證；驗證通過也不表示已提交至權威世界。 為控制副作用，本文提出操作效果型別： $$ \mathcal E \in \left\{ \mathsf{Pure}, \mathsf{Read}, \mathsf{Reveal}, \mathsf{Compute}, \mathsf{Write}, \mathsf{Communicate}, \mathsf{Actuate}, \mathsf{Commit}, \mathsf{Irreversible} \right\}. $$ 效果型別決定權限門檻、驗證強度、審計要求與回退策略。本文進一步建立工具調用的前置條件、後置條件、部分失敗、冪等性、重試、超時、交易、補償與因果排序語義，並將操作性分元與解空間幾何相連：地址分元啟動節點，橋接分元建立跨空間邊，投影分元改變表示，工具分元進入中介空間，提交分元則可能改變權威世界與後續可達域。 本文不主張自然語言本身應被直接當作低階執行碼。相反地，本文主張自然語言必須先被解析成具型別、權限、來源、效果、成本、版本與回退契約的操作性中介表示，再經治理閘門與執行 Runtime 處理。其核心命題是：可執行智慧的關鍵，不是讓語言「像命令」，而是建立一條從語義分元到可審計世界操作的明確型別通道。 **關鍵詞**：操作性分元、地址、指針、工具調用、能力系統、效果型別、外部展開、交易、回退、智慧體 Runtime --- ## 1. 分元何時不再只是內容 考慮以下三句： 1. 「搜尋這個概念的前置文件。」 2. 「我正在描述一個搜尋指令。」 3. 「已經搜尋完成。」 它們都包含「搜尋」，但語義完全不同。 第一句可能是操作提案；第二句只是描述；第三句是關於執行狀態的斷言。若系統只依關鍵詞判斷，就可能： - 把描述誤執行； - 把提案誤認為已完成； - 把工具回覆誤認為真實； - 把模型想像誤認為權威狀態。 因此，必須區分： $$ \mathsf{Meaning}(z) $$ 與： $$ \mathsf{Effect}(z). $$ 語義分元回答「這句話表示什麼」；操作性分元則回答「系統在何種條件下應採取什麼行動，並產生何種可觀察效果」。 --- ## 2. 操作性分元的本體 ### 2.1 基本定義 定義： $$ z_t^{\mathrm{op}} = \left( \omega_t, \alpha_t, \mathbf a_t, \Theta_t^{\mathrm{in}}, \Theta_t^{\mathrm{out}}, \Gamma_t, \mathcal E_t, \nu_t, \tau_t, \mathbf C_t, \mathcal R_t, \kappa_t, \pi_t \right), $$ 其中 $\pi_t$ 表示來源、意圖與證據。 ### 2.2 操作碼 $$ \omega_t \in \left\{ \mathsf{Reveal}, \mathsf{Search}, \mathsf{Read}, \mathsf{Ask}, \mathsf{Call}, \mathsf{Compute}, \mathsf{Compare}, \mathsf{Verify}, \mathsf{Construct}, \mathsf{Write}, \mathsf{Send}, \mathsf{Actuate}, \mathsf{Commit}, \mathsf{Rollback}, \mathsf{Stop} \right\}. $$ ### 2.3 不是每個欄位都可省略 對純讀取，回退契約可能很弱；對不可逆世界操作，則必須具有： - 明確目標； - 權限； - 版本； - 前置條件； - 後置條件； - 風險； - 人類確認； - 補償方案； - 審計軌跡。 ### 2.4 操作性分元是中介表示 自然語言： $$ z_t^{\mathrm{NL}} $$ 應先被編譯為： $$ z_t^{\mathrm{op}}, $$ 再進入執行層。 所以： $$ z_t^{\mathrm{NL}} \overset{\mathcal P_{\mathrm{op}}}{\longrightarrow} z_t^{\mathrm{op}} \overset{\mathcal G_{\mathrm{gate}}}{\longrightarrow} \hat z_t^{\mathrm{op}} \overset{\mathcal X}{\longrightarrow} \mathcal O_t. $$ --- ## 3. 地址、指針、句柄與能力 ### 3.1 地址 地址 $\alpha$ 是對外部對象的可解析名稱： $$ \alpha \in \mathsf{AddressSpace}. $$ 例如： - 文件識別碼； - URL； - 資料庫鍵； - 工具名稱； - 代理 ID； - 世界物件 ID； - 記憶節點； - 概念圖節點。 ### 3.2 指針 指針 $p$ 是工作場中指向某地址或節點的引用： $$ p: V_t^W \longrightarrow \alpha. $$ 指針可能失效： $$ \mathsf{Resolve}(p,t)=\mathsf{dangling}. $$ ### 3.3 句柄 句柄 $h$ 是執行期暫時資源引用： $$ h_t = \mathsf{Open}(\alpha). $$ 它可能具有生命週期： $$ I_h = [t_{\mathrm{open}},t_{\mathrm{close}}]. $$ ### 3.4 能力 能力 $c$ 不只指向對象，也明確指定可進行的操作： $$ c = \left( \alpha, \mathcal O_{\mathrm{allowed}}, I_c, \Gamma_c \right). $$ 持有地址不等於持有能力： $$ \mathsf{KnowAddress}(\alpha) \not\Rightarrow \mathsf{CanOperate}(\alpha). $$ ### 3.5 查詢 查詢 $q$ 不是地址，而是尋找地址或對象的條件： $$ q: \mathfrak E_\infty \longrightarrow \left\{ \alpha_1,\ldots,\alpha_k \right\}. $$ ### 3.6 四者分離 $$ \boxed{ \mathsf{Address} \neq \mathsf{Pointer} \neq \mathsf{Handle} \neq \mathsf{Capability}. } $$ --- ## 4. 地址解析語義 ### 4.1 解析函數 $$ \mathsf{Resolve} \left( \alpha, \mathbb W_t, \mathfrak E_\infty, \nu_t, \tau_t \right) \longrightarrow \left\{ v_1,\ldots,v_k \right\}. $$ ### 4.2 唯一解析 理想情況： $$ \left| \mathsf{Resolve}(\alpha) \right| =1. $$ ### 4.3 歧義解析 若： $$ \left| \mathsf{Resolve}(\alpha) \right| >1, $$ 則需： - 加入版本； - 指定命名空間； - 加入來源； - 加入時間； - 詢問澄清； - 禁止高風險執行。 ### 4.4 無法解析 若： $$ \mathsf{Resolve}(\alpha)=\varnothing, $$ 可能原因包括： - 地址錯誤； - 對象不存在； - 權限不足； - 版本撤銷； - 網路不可達； - 名稱空間不相容。 ### 4.5 地址不是身份 同一地址在不同時間可能指向不同版本： $$ \mathsf{Resolve}(\alpha,t_1) \neq \mathsf{Resolve}(\alpha,t_2). $$ 因此高風險操作應使用內容指紋、版本或不可變識別碼。 --- ## 5. 描述、提案與執行 本文建立七態模型： $$ \boxed{ \mathsf{Describe} \rightarrow \mathsf{Propose} \rightarrow \mathsf{Authorize} \rightarrow \mathsf{Execute} \rightarrow \mathsf{Observe} \rightarrow \mathsf{Verify} \rightarrow \mathsf{Commit}. } $$ ### 5.1 描述 系統只是談論某個操作。 ### 5.2 提案 形成具型別操作契約，但尚未批准。 ### 5.3 授權 治理層判定可執行，可能修改參數或範圍。 ### 5.4 執行 工具或代理實際運行。 ### 5.5 觀測 系統取得回傳、日誌或世界感測。 ### 5.6 驗證 檢查結果與效果是否符合契約。 ### 5.7 提交 把已驗證結果寫入長期記憶、正式資料或權威世界。 ### 5.8 不可偷換 $$ \mathsf{Describe} \neq \mathsf{Propose} \neq \mathsf{Authorize} \neq \mathsf{Execute} \neq \mathsf{Observe} \neq \mathsf{Verify} \neq \mathsf{Commit}. $$ --- ## 6. 操作狀態機 定義操作生命週期： $$ \mathsf{OpState} \in \left\{ \mathsf{draft}, \mathsf{typed}, \mathsf{pending}, \mathsf{approved}, \mathsf{running}, \mathsf{partial}, \mathsf{succeeded}, \mathsf{failed}, \mathsf{verified}, \mathsf{committed}, \mathsf{rolledback}, \mathsf{expired} \right\}. $$ ### 6.1 狀態轉換 例如： $$ \mathsf{pending} \overset{\mathsf{approve}}{\longrightarrow} \mathsf{approved}, $$ $$ \mathsf{running} \overset{\mathsf{timeout}}{\longrightarrow} \mathsf{failed}, $$ $$ \mathsf{succeeded} \overset{\mathsf{verify}}{\longrightarrow} \mathsf{verified}. $$ ### 6.2 非法轉換 例如，不應允許： $$ \mathsf{draft} \longrightarrow \mathsf{committed}. $$ ### 6.3 狀態證據 每次轉換需保存： $$ \left( \text{actor}, \text{time}, \text{version}, \text{evidence}, \text{cost} \right). $$ --- ## 7. 效果型別 ### 7.1 效果集合 $$ \boxed{ \mathcal E \in \left\{ \mathsf{Pure}, \mathsf{Read}, \mathsf{Reveal}, \mathsf{Compute}, \mathsf{Write}, \mathsf{Communicate}, \mathsf{Actuate}, \mathsf{Commit}, \mathsf{Irreversible} \right\}. } $$ ### 7.2 純操作 不讀取外部狀態，也不修改外部狀態： $$ \mathsf{Pure}. $$ ### 7.3 讀取 讀取資料但不改變權威狀態： $$ \mathsf{Read}. $$ ### 7.4 顯影 改變活動工作場可見性： $$ \mathsf{Reveal}. $$ ### 7.5 計算 消耗外部計算但不直接寫入權威狀態。 ### 7.6 寫入 修改非權威或可回退狀態。 ### 7.7 通訊 向人類、代理或外部服務傳送內容。 ### 7.8 致動 改變物理或模擬環境。 ### 7.9 提交 改變正式記錄或權威世界。 ### 7.10 不可逆 無法被完整回退或補償的操作。 ### 7.11 效果偏序 可建立風險偏序： $$ \mathsf{Pure} \prec \mathsf{Read} \prec \mathsf{Write} \prec \mathsf{Commit} \prec \mathsf{Irreversible}. $$ 不同效果需要不同治理門檻。 --- ## 8. 前置條件與後置條件 ### 8.1 前置條件 操作 $o$ 的前置條件： $$ \mathsf{Pre}(o). $$ 例如： - 目標存在； - 版本相符； - 權限有效； - 資源足夠； - 依賴已完成； - 使用者已確認。 ### 8.2 後置條件 $$ \mathsf{Post}(o). $$ 例如： - 文件建立； - 資料寫入； - 工具結果可讀； - 世界狀態改變； - 驗證證書生成。 ### 8.3 Hoare 型契約 $$ \left\{ \mathsf{Pre}(o) \right\} \ o\ \left\{ \mathsf{Post}(o) \right\}. $$ ### 8.4 失敗後置條件 也應定義： $$ \mathsf{Post}_{\mathrm{fail}}(o), $$ 說明失敗時哪些狀態可能已被部分修改。 --- ## 9. 工具調用語義 ### 9.1 工具描述 工具 $T$ 定義為： $$ T = \left( \mathsf{Name}, \Theta^{\mathrm{in}}, \Theta^{\mathrm{out}}, \mathcal E, \Gamma, C, L, V, R \right), $$ 其中 $L$ 是延遲模型， $V$ 是驗證器， $R$ 是回退契約。 ### 9.2 調用 $$ y = T(\mathbf a). $$ 更完整地： $$ \left( y, \sigma, \pi, \nu, \tau, c \right) = \mathsf{Invoke} \left( T,\mathbf a,\Gamma,B \right). $$ ### 9.3 工具成功不等於任務成功 $$ \mathsf{ToolSuccess} \not\Rightarrow \mathsf{TaskSuccess}. $$ 工具只保證其局部契約；最終任務仍需全局驗證。 ### 9.4 工具描述不可信 外部工具回傳的文字說明可能與實際效果不一致，需以狀態觀測或獨立檢查為準。 --- ## 10. 外部展開語義 ### 10.1 展開不是單純讀取 操作性分元可能要求： - 顯影新節點； - 建立新地址； - 啟動工具； - 生成模擬分支； - 取得新權限； - 建立跨空間橋接。 因此： $$ z_t^{\mathrm{op}} \longrightarrow \Delta\mathbb W_t. $$ ### 10.2 展開契約 定義： $$ \mathsf{ExpandContract} = \left( \mathsf{Frontier}, \mathsf{Scope}, \mathsf{Budget}, \mathsf{Stop}, \mathsf{Verify}, \mathsf{Integrate} \right). $$ ### 10.3 範圍 展開必須限制在： $$ \Delta\mathbb W_t \subseteq \partial\mathbb W_t^{\mathrm{allowed}}. $$ ### 10.4 停止 展開可在： - 找到目標； - 預算耗盡； - 資訊增益過低； - 風險過高； - 地址前沿耗盡； 時停止。 ### 10.5 整合 展開結果不應直接追加，而應經型別、來源、版本與衝突整合。 --- ## 11. 讀取、寫入與權威提交 ### 11.1 讀取 $$ \mathsf{Read}: \mathbb A_t \longrightarrow \mathcal O_t. $$ ### 11.2 暫存寫入 $$ \mathsf{Write}_{\mathrm{temp}}: \mathbb W_t \longrightarrow \mathbb W_{t+1}. $$ ### 11.3 長期記憶寫入 $$ \mathsf{Write}_{\mathrm{memory}}: M_t \longrightarrow M_{t+1}. $$ ### 11.4 權威提交 $$ \mathsf{Commit}: \mathbb A_t \longrightarrow \mathbb A_{t+1}. $$ ### 11.5 分層門檻 驗證閾值應滿足： $$ \theta_{\mathrm{commit}} > \theta_{\mathrm{memory}} > \theta_{\mathrm{workspace}}. $$ --- ## 12. 冪等性與重試 ### 12.1 冪等操作 若： $$ o(o(s))=o(s), $$ 則操作是冪等的。 ### 12.2 非冪等操作 例如重複付款、重複寄信、重複建立事件，可能產生多重效果。 ### 12.3 重試語義 若工具超時，系統必須知道操作是否已部分執行。 需要： - 操作 ID； - 去重鍵； - 狀態查詢； - 至少一次／至多一次語義； - 補償。 ### 12.4 不可盲目重試 $$ \mathsf{Timeout} \not\Rightarrow \mathsf{NotExecuted}. $$ --- ## 13. 交易與提交 ### 13.1 交易單元 一組操作可被封裝為： $$ \mathcal T = \left( o_1,\ldots,o_n \right). $$ ### 13.2 原子性 理想上： $$ \mathsf{CommitAll} \quad\text{或}\quad \mathsf{CommitNone}. $$ ### 13.3 分散式限制 跨工具與世界系統時，完整原子性可能不可得。 此時需要 saga 或補償模式： $$ o_1,o_2,\ldots,o_k \longrightarrow c_k,\ldots,c_2,c_1. $$ ### 13.4 準備與提交 可使用： $$ \mathsf{Prepare} \rightarrow \mathsf{Validate} \rightarrow \mathsf{Commit}. $$ ### 13.5 提交證書 $$ \mathsf{CommitCert} = \left( \text{operation}, \text{before}, \text{after}, \text{actor}, \text{time}, \text{verification} \right). $$ --- ## 14. 回退與補償 ### 14.1 完整回退 恢復至先前狀態： $$ s_{t+1} \overset{\mathsf{Rollback}}{\longrightarrow} s_t. $$ ### 14.2 補償 若無法恢復原狀，執行補償操作： $$ \mathsf{Compensate}(o). $$ ### 14.3 回退成本 $$ C_{\mathrm{rollback}} = C_{\mathrm{detect}} + C_{\mathrm{restore}} + C_{\mathrm{verify}} + C_{\mathrm{audit}}. $$ ### 14.4 不可逆操作 若： $$ \mathcal R_t=\varnothing, $$ 則必須提高授權門檻，並在執行前進行模擬或人類確認。 --- ## 15. 延續與控制分元 操作完成後，系統需要知道下一步。 定義延續： $$ \kappa_t = \left\{ \mathsf{Return}, \mathsf{Continue}, \mathsf{Branch}, \mathsf{Verify}, \mathsf{Rollback}, \mathsf{Stop} \right\}. $$ ### 15.1 回傳 將結果交回當前推理。 ### 15.2 繼續 在同一工具或工作流中進行下一步。 ### 15.3 分支 依結果進入不同路徑。 ### 15.4 驗證 先不整合，轉入驗證流程。 ### 15.5 停止 終止工作流但不必表示任務成功。 延續本身也可被表示為操作性分元。 --- ## 16. 組合操作 ### 16.1 串行 $$ o_2\circ o_1. $$ ### 16.2 並行 $$ o_1\parallel o_2. $$ ### 16.3 條件 $$ \mathsf{if}\ p\ \mathsf{then}\ o_1\ \mathsf{else}\ o_2. $$ ### 16.4 遞迴展開 $$ o^{(k+1)} = o\left( o^{(k)} \right). $$ ### 16.5 宏操作 $$ \Omega^\star = o_n\circ\cdots\circ o_1. $$ 宏操作必須保存： - 型別； - 效果； - 權限； - 成本； - 驗證； - 回退； - 展開能力。 --- ## 17. 小步操作語義 可用轉移關係表示： $$ \left\langle z^{\mathrm{op}}, \mathfrak C_t \right\rangle \longrightarrow \left\langle z'^{\mathrm{op}}, \mathfrak C_{t+1} \right\rangle. $$ ### 17.1 解析步 $$ \left\langle \mathsf{Resolve}(\alpha), \mathfrak C \right\rangle \rightarrow \left\langle v, \mathfrak C \right\rangle. $$ ### 17.2 授權步 $$ \left\langle \mathsf{Authorize}(o), \mathfrak C \right\rangle \rightarrow \left\langle \hat o, \mathfrak C \right\rangle. $$ ### 17.3 執行步 $$ \left\langle \mathsf{Execute}(\hat o), \mathfrak C \right\rangle \rightarrow \left\langle y, \mathfrak C' \right\rangle. $$ ### 17.4 驗證步 $$ \left\langle \mathsf{Verify}(y), \mathfrak C' \right\rangle \rightarrow \left\langle \mathsf{valid}, \mathfrak C' \right\rangle. $$ ### 17.5 提交步 $$ \left\langle \mathsf{Commit}(y), \mathfrak C' \right\rangle \rightarrow \left\langle \mathsf{done}, \mathfrak C'' \right\rangle. $$ --- ## 18. 大步語義 也可直接表示完整操作結果： $$ \left\langle z^{\mathrm{op}}, \mathfrak C_t \right\rangle \Downarrow \left\langle y, \mathfrak C_{t+1}, \mathcal L \right\rangle, $$ 其中 $\mathcal L$ 是完整執行帳本。 大步語義適合描述成功的完整流程；小步語義則適合除錯、部分失敗與安全審計。 --- ## 19. 型別判定 ### 19.1 基本判定 $$ \Gamma \vdash z^{\mathrm{op}} : \Theta^{\mathrm{in}} \rightarrow \Theta^{\mathrm{out}} \triangleright \mathcal E. $$ 表示在環境 $\Gamma$ 下，操作分元接受輸入型別 $\Theta^{\mathrm{in}}$ ，產生輸出型別 $\Theta^{\mathrm{out}}$ ，並具有效果 $\mathcal E$ 。 ### 19.2 權限判定 $$ \Gamma \vdash \mathsf{Allowed} \left( z^{\mathrm{op}} \right). $$ ### 19.3 時效判定 $$ \Gamma \vdash \tau_{\mathrm{now}} \in I_{\mathrm{valid}}. $$ ### 19.4 組合判定 若： $$ \Gamma \vdash o_1: A\rightarrow B $$ 且： $$ \Gamma \vdash o_2: B\rightarrow C, $$ 則： $$ \Gamma \vdash o_2\circ o_1: A\rightarrow C. $$ --- ## 20. 成本語義 定義操作成本向量： $$ \mathbf C(o) = \left( C_{\mathrm{parse}}, C_{\mathrm{resolve}}, C_{\mathrm{authorize}}, C_{\mathrm{execute}}, C_{\mathrm{wait}}, C_{\mathrm{verify}}, C_{\mathrm{commit}}, C_{\mathrm{rollback}}, C_{\mathrm{risk}} \right). $$ 組合操作成本不一定單純相加，因為： - 可並行； - 可快取； - 可共享； - 可失敗； - 可產生維護成本。 對串行操作： $$ C(o_2\circ o_1) = C(o_1)+C(o_2)+C_{\mathrm{interface}}. $$ 對並行操作，延遲取決於關鍵路徑，資源成本則可能為總和。 --- ## 21. 來源、版本與時間 每個操作與結果都應帶有： $$ \pi = \left( \mathsf{Source}, \mathsf{Actor}, \nu, \tau_{\mathrm{event}}, \tau_{\mathrm{observe}}, I_{\mathrm{valid}} \right). $$ ### 21.1 版本相容 $$ \mathsf{Compat} \left( \nu_{\mathrm{op}}, \nu_{\mathrm{target}} \right)=1. $$ ### 21.2 時間可用性 $$ \tau_{\mathrm{use}} \in I_{\mathrm{valid}}. $$ ### 21.3 未來洩漏 若資訊在決策時尚不可用： $$ \tau_{\mathrm{available}} > \tau_{\mathrm{decision}}, $$ 則不能被合法算作當時輸入。 ### 21.4 來源不能由模型自述取代 模型說「我已查證」不構成來源證據；必須保存實際工具、文件或觀測紀錄。 --- ## 22. 能力安全 ### 22.1 最小權限 操作只應取得完成任務所需的最低能力： $$ \mathsf{Capability}_{\min}. $$ ### 22.2 能力不可自我擴張 模型不能僅透過生成文字擴大自己的權限。 ### 22.3 能力委派 若代理 $A$ 委派給代理 $B$ ： $$ c_B \subseteq c_A. $$ 被委派能力不應超過原能力。 ### 22.4 能力撤銷 能力應具有撤銷與時效： $$ \mathsf{Revoke}(c,t). $$ --- ## 23. 注入與混淆代理 ### 23.1 指令注入 外部內容可能試圖把資料偽裝成高權限操作分元。 ### 23.2 資料—指令分離 任何外部資料預設型別應為： $$ \mathsf{Data}, $$ 而非： $$ \mathsf{Instruction}. $$ 只有經明確解析與授權後，才能升級為操作提案。 ### 23.3 混淆代理 一個低權限內容來源可能誘使高權限代理替它執行操作。 ### 23.4 防護 - 型別隔離； - 來源標記； - 能力最小化； - 高風險確認； - 工具參數白名單； - 不可信內容沙箱； - 審計。 --- ## 24. TOCTOU 與狀態漂移 檢查時間與使用時間之間，狀態可能改變： $$ \mathsf{Check}(s,t_1) $$ 不保證： $$ \mathsf{Use}(s,t_2) $$ 仍合法。 若： $$ t_2>t_1, $$ 需要重新確認版本、權限或資源狀態。 高風險操作可使用： - 鎖； - 版本條件； - compare-and-swap； - 交易； - 短效能力； - 提交前再驗證。 --- ## 25. 操作性分元與解空間幾何 ### 25.1 地址分元 啟動外部節點： $$ \alpha \longrightarrow v. $$ ### 25.2 橋接分元 建立跨空間邊： $$ E_{t+1} = E_t \cup \left\{ (v_i,v_j) \right\}. $$ ### 25.3 投影分元 把外部結果轉換為任務相關表示。 ### 25.4 工具分元 進入中介解空間： $$ \mathfrak P_i \rightarrow \mathfrak P_T \rightarrow \mathfrak P_i'. $$ ### 25.5 提交分元 修改權威世界後，後續解空間也改變： $$ \mathbb A_t \rightarrow \mathbb A_{t+1} \Rightarrow \mathfrak P_x(t) \neq \mathfrak P_x(t+1). $$ 因此，操作性分元是動態幾何算子的可執行載體。 --- ## 26. 操作性分元的最小 Runtime 一個最小 Runtime 需包含： 1. 自然語言—操作中介表示解析器； 2. 地址與命名空間解析器； 3. 型別檢查器； 4. 效果分析器； 5. 能力與權限管理器； 6. 治理閘門； 7. 工具調度器； 8. 交易與回退管理器； 9. 驗證器； 10. 工作場整合器； 11. 來源、版本、時間與成本帳本； 12. 審計與人類確認介面。 最小流程： ```text 接收語義分元 判定其是否包含操作意圖 編譯為操作性中介表示 解析地址與能力 檢查型別、版本、時間、權限與效果 計算成本與風險 若不合格： 拒絕、澄清或降級為描述 若合格： 建立操作提案 通過治理閘門 執行工具或外部操作 觀測結果 驗證前置／後置條件 決定整合、提交、回退或補償 更新工作場與執行帳本 ``` --- ## 27. 主要命題 ### 命題一：操作中介表示命題 自然語言不應直接作為高風險執行碼，而應先編譯成具型別、效果、權限、成本與回退契約的操作性中介表示。 ### 命題二：引用分離命題 地址、指針、句柄與能力是不同對象；知道位置不等於擁有操作權。 ### 命題三：狀態分離命題 描述、提案、授權、執行、觀測、驗證與提交必須分離。 ### 命題四：效果型別命題 操作的讀取、寫入、通訊、致動、提交與不可逆效果，應決定其治理與驗證門檻。 ### 命題五：工具局部性命題 工具成功只證明局部契約，不自動證明整體任務完成。 ### 命題六：交易與補償命題 多步與跨系統操作必須處理部分失敗、冪等性、重試、交易與補償。 ### 命題七：來源—版本命題 任何可寫回工作場、長期記憶或權威世界的結果，都必須具有來源、版本、時間與有效性標記。 ### 命題八：幾何載體命題 操作性分元是地址啟動、跨空間橋接、工具隧穿與世界提交等幾何算子的可執行載體。 --- ## 28. 可反駁條件 ### 28.1 類型化沒有提升 若操作性中介表示相較直接工具調用，無法降低錯誤、權限越界、回退成本或歧義，則其工程價值需重新評估。 ### 28.2 解析成本過高 若： $$ C_{\mathrm{parse}} + C_{\mathrm{typecheck}} + C_{\mathrm{gate}} \geq C_{\mathrm{baseline}}, $$ 則完整語義不適合低風險微型操作，需分級使用。 ### 28.3 效果分類不可靠 若系統無法分辨讀取、寫入與不可逆效果，高風險自動執行不應開放。 ### 28.4 地址解析持續歧義 若地址不能穩定指向版本化對象，則操作結果不可重現。 ### 28.5 回退契約虛假 若宣稱可回退但實際存在不可恢復副作用，則系統治理失敗。 ### 28.6 工具回傳無法驗證 若高風險工具結果無法獨立觀測或驗證，則不可直接提交權威狀態。 --- ## 29. 理論邊界 1. 本文不主張所有自然語言都應轉為操作。 2. 操作性分元不等於底層 CPU 指令；它是智慧體 Runtime 的高階中介表示。 3. 型別與權限不能證明工具本身無缺陷。 4. 可回退不代表零成本，也不代表所有副作用可恢復。 5. 工具描述、模型自述與實際世界效果必須分離。 6. 地址解析依賴外部命名空間，不能假設永久穩定。 7. 高風險操作仍可能需要人類授權。 8. 更嚴格的操作語義會增加成本，因此應依效果與風險分級。 --- ## 30. 結論 本文將操作性分元從直覺性的「可執行 TOKEN」提升為一套完整的型別化語義。 操作性分元為： $$ z_t^{\mathrm{op}} = \left( \omega_t, \alpha_t, \mathbf a_t, \Theta_t^{\mathrm{in}}, \Theta_t^{\mathrm{out}}, \Gamma_t, \mathcal E_t, \nu_t, \tau_t, \mathbf C_t, \mathcal R_t, \kappa_t, \pi_t \right). $$ 它不只表達「做什麼」，還必須說明： - 對哪個對象； - 以什麼型別； - 使用什麼權限； - 產生什麼副作用； - 在哪個版本與時間有效； - 需要多少成本； - 如何驗證； - 如何回退； - 執行後怎麼繼續。 本文嚴格區分： $$ \mathsf{Address}, \mathsf{Pointer}, \mathsf{Handle}, \mathsf{Capability}, $$ 以及： $$ \mathsf{Describe}, \mathsf{Propose}, \mathsf{Authorize}, \mathsf{Execute}, \mathsf{Observe}, \mathsf{Verify}, \mathsf{Commit}. $$ 這些區分共同防止語言、操作與權威世界之間的偷換。 操作性分元也是外部展開與解空間幾何的執行載體。它可以啟動地址、顯影節點、建立橋接、調用工具、驗證路徑、寫入記憶，或在更高門檻下修改權威世界。 本文的核心結論是： $$ \boxed{ \text{可執行智慧的關鍵，不是讓語言像命令，而是讓每一個可能改變世界的分元，都具有可解析、可授權、可驗證、可回退與可審計的操作語義。} } $$ 更簡潔地： $$ \boxed{ \text{語言要成為行動，必須先通過型別、能力、效果與提交邊界。} } $$ 下一篇將把操作性分元放入持續變動的解空間，建立「邊推理、邊顯影、邊建路」的展開式動態幾何。 --- ## 系列內部定位 本文為《內外雙生展開計算論》第五篇。 第一篇建立總命題；第二篇建立內部雙生動力學；第三篇建立外部雙生動力學；第四篇建立雙重交互閉環；本文建立操作性分元的地址、型別、效果、工具、交易與提交語義。 下一篇為： **《展開式解空間：邊推理、邊顯影、邊建路的動態幾何》**。 --- ## 前置文件 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，《外部注意力場工程》系列。