操作性分元：地址、指針、工具調用與外部展開語義

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. 分元何時不再只是內容

考慮以下三句：

「搜尋這個概念的前置文件。」
「我正在描述一個搜尋指令。」
「已經搜尋完成。」

它們都包含「搜尋」，但語義完全不同。

第一句可能是操作提案；第二句只是描述；第三句是關於執行狀態的斷言。若系統只依關鍵詞判斷，就可能：

把描述誤執行；
把提案誤認為已完成；
把工具回覆誤認為真實；
把模型想像誤認為權威狀態。

因此，必須區分：

\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 需包含：

自然語言—操作中介表示解析器；
地址與命名空間解析器；
型別檢查器；
效果分析器；
能力與權限管理器；
治理閘門；
工具調度器；
交易與回退管理器；
驗證器；
工作場整合器；
來源、版本、時間與成本帳本；
審計與人類確認介面。

最小流程：

接收語義分元
判定其是否包含操作意圖
編譯為操作性中介表示

解析地址與能力
檢查型別、版本、時間、權限與效果
計算成本與風險

若不合格：
    拒絕、澄清或降級為描述

若合格：
    建立操作提案
    通過治理閘門
    執行工具或外部操作
    觀測結果
    驗證前置／後置條件
    決定整合、提交、回退或補償
    更新工作場與執行帳本

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. 理論邊界

本文不主張所有自然語言都應轉為操作。
操作性分元不等於底層 CPU 指令；它是智慧體 Runtime 的高階中介表示。
型別與權限不能證明工具本身無缺陷。
可回退不代表零成本，也不代表所有副作用可恢復。
工具描述、模型自述與實際世界效果必須分離。
地址解析依賴外部命名空間，不能假設永久穩定。
高風險操作仍可能需要人類授權。
更嚴格的操作語義會增加成本，因此應依效果與風險分級。

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{語言要成為行動，必須先通過型別、能力、效果與提交邊界。} }

下一篇將把操作性分元放入持續變動的解空間，建立「邊推理、邊顯影、邊建路」的展開式動態幾何。

系列內部定位

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

第一篇建立總命題；第二篇建立內部雙生動力學；第三篇建立外部雙生動力學；第四篇建立雙重交互閉環；本文建立操作性分元的地址、型別、效果、工具、交易與提交語義。

下一篇為：

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

前置文件

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