了解 / GLVM
GLVM
全域邏輯虛擬機
一個邏輯執行層，跨多台機器協調執行
GLVM 是 ALUX 正在基於併發執行階段建構、面向開發者的執行抽象。每台參與機器上的 TVM 提供具體執行引擎；GLVM 模型則將執行狀態、處理程序、重播、複製與共識納入同一邏輯層。
核心定義
每台機器執行一台 TVM，多台 TVM 協同組成一個邏輯執行層
TVM 是執行在單台機器上的位元碼執行引擎；GLVM 定義跨多台 TVM 的系統級執行抽象。它不是另一種位元碼虛擬機。開發者面向統一的邏輯執行模型，確定性重播、執行連續性、複製、最終確認與共識則在這一抽象之下協調。
元組空間虛擬機（Tuple-space Virtual Machine）
ALUX 的具體執行引擎。它執行 Tolang 位元碼，讓獨立處理程序透過通道與 COMM 事件協作，並記錄確定性重播所需的非確定性選擇。
單台機器內的一套具體引擎全域邏輯虛擬機
GLVM 為參與執行的多台 TVM 定義一套面向開發者的邏輯執行模型。它以統一邊界承載執行狀態與處理程序，重播、複製、最終確認與共識則由下層執行階段協調。
位於多台機器之上的一個邏輯系統三層架構
三層架構，面向開發者呈現為一套執行模型
物理機器執行 TVM；這些 TVM 共同參與一套邏輯執行模型。未來，World OS 將進一步把這一層組織為可發現、可編排且受顯式能力約束的服務。
選擇任一層級，詳細資訊面板將同步更新。
執行與原子性
一筆交易可以跨區塊等待，隨後作為一個整體結算
執行模型從順序、平行工作，演進為能夠通訊、等待與恢復的併發處理程序。組合式執行進一步擴充此模型，讓多筆併發交易共享更高層的結算邊界；跨區塊連續性則為這個方向提供縱向基礎。
順序
一次狀態轉換完成後，再進行下一次。
平行
相互獨立的狀態轉換同時推進。
併發
處理程序透過通道通訊、等待並恢復。
組合式
多筆併發交易共享一個更高層的原子目標。
-
01 · 開始
只開始一次
以一筆交易和一組範圍明確的能力開始。
-
02 · 掛起
等待，但不局部結算
如果尚無答案或通道匹配，便保留延續，而不是提前完成最終確認。
-
03 · 記錄
記錄選擇
ReplayTrie 會記錄非確定性選擇或經過認證的回應，以便重播該執行路徑。
-
04 · 恢復
繼續同一筆交易
匹配的 COMM 事件或已記錄的回應，會在後續區塊中喚醒此前保留的延續。
-
05 · 最終確認
提交或丟棄
在最終確認邊界，符合條件的狀態會被提交；被拒絕的暫定狀態會被丟棄。
TVM 併發執行 · COMM 等待與恢復 · ReplayTrie · 跨區塊延續與最終確認
暫定狀態在最終確認前不會成為已確認狀態；失敗路徑會被直接丟棄，而不是事後透過補償交易修復。
經過認證的 HTTPS GET 可以掛起執行、記錄回應、重播並恢復。資料的真實性仍由資料源決定；不可逆的鏈下副作用仍不在回滾範圍內。
跨分片原子執行與獨立外部系統的組合，定義了這套模型下一步的擴充方向。
物件能力安全
只把一把鑰匙交給任務，而不是使用者的工牌
基於身份的存取會把 CEO 工牌所代表的環境權限一並帶入任務。物件能力則只交給任務一把指向 Bob 記錄的鑰匙，邊界由 TVM 在執行階段檢查。沒有相應能力引用，任務便無法命名或存取其他既有物件。
工牌會帶入無關權限
即使任務只涉及 Bob，CEO 工牌所代表的環境權限仍可能覆蓋財務檔案，以及 Alice、Carol 和 Bob 的人員記錄。
只把指向 Bob 記錄的鑰匙交給任務
這把鑰匙代表一個不可偽造的名字：它只指向 Bob 的記錄。沒有指向其他既有物件的鑰匙，任務便無法命名或存取那些未被顯式授予的物件。TVM 會在執行階段檢查這一邊界。
這裡用“鑰匙”呈現 OCAP 中不可偽造的名字，也就是物件能力引用；它不是密碼學金鑰。該保證適用於 TVM 原生、以能力為中介的互動；託管型 EVM 權限和外部服務仍需各自的控制機制。
工作流程探索器
執行載體取決於信任要求、回應速度與資料本地性
以跨公司設備維修為例：託管資金需要獨立驗證，診斷需要彈性算力，設備擁有者需要批准本地存取。GLVM 會為每項任務選擇符合其信任要求、時延與資料邊界的執行載體，同時保持權限明確。
公鏈 TVM + EVM 宿主
託管質保金並記錄批准路徑，讓獨立驗證者能夠驗證這次狀態轉換。
已就緒。啟動模擬，查看目標邏輯流程。
限定能力
維修AI Agent只獲得完成這項任務所需的權限。
規劃分派
工作流程將邊界明確的子任務分別映射到鏈上、私有或雲端，以及客戶端設備 TVM。
等待 / 掛起
在鏈上執行階段中，若回覆尚未到達，系統會保留延續，而不是提前完成交易的最終確認。
COMM 匹配
結果與通道中等待的延續完成匹配，工作流程隨即從原處恢復。
重播證據
ReplayTrie 記錄必要的選擇，使其他驗證者能夠重播這次執行。
最終確認邊界
BlockGit 與 Block Merge 讓可驗證的鏈上結果收斂。將同一次原子提交擴展至每個執行載體，是 GLVM 的未來目標。
執行階段剖面
九個關鍵能力，支撐同一邏輯執行模型
GLVM 不是另一種位元碼虛擬機。以下九個架構切面從 TVM 執行、物件能力與重播，一路延伸到 BlockGit、客戶虛擬機（Guest VM）和開發者工具，共同呈現這一邏輯執行模型的能力體系。
-
01
位元碼虛擬機核心執行階段
TVM · 元組空間 · COMM
具體的併發引擎負責執行位元碼，並讓獨立處理程序透過通道交換資料與延續。
-
02
安全核心執行階段
原生物件能力
不可偽造的引用讓可達權限顯式化，並使執行階段能夠執行最小權限邊界。
-
03
原子性核心執行階段
跨區塊原子執行
執行上下文可以跨區塊掛起，從保留的延續中恢復，並抵達延後的最終確認邊界。
-
04
最終性核心執行階段
BlockGit · Fringe · 合併
區塊 DAG、確定性領導者輪換與合併規則，使鏈側併發工作得以收斂，而不依賴永久領導者。
-
05
重播核心執行階段
ReplayTrie · 執行軌跡
已記錄的非確定性選擇與執行軌跡，使驗證者能夠重播被接受的路徑。
-
06
網路核心執行階段
對等節點與驗證者網路
節點層在執行抽象之下傳遞提案、區塊、狀態證據，並協調驗證者。
-
07
語言核心執行階段
Tolang → tolangc → .tox
Tolang 描述併發處理程序；編譯器將源碼轉換為 TVM 可執行位元碼。
-
08
客戶虛擬機EVM 核心 · WASM 路線圖
EVM 宿主 · WASM 路線圖
EVM 透過 TSAC 式協調，作為有狀態客戶虛擬機執行；WASM 則把這套架構延伸到異構虛擬機。
-
09
工具鏈開發者工具
編譯器 · LSP · 試驗環境
編譯器、LSP、試驗環境、測試套件與診斷工具，讓這套執行模型進入開發者的工作流程。
擴充藍圖
GLVM 跨環境擴展，核心執行階段逐漸成形
GLVM 正從 ALUX 的鏈上併發執行階段向外擴展。私有雲是下一步整合方向；客戶端設備與跨分片執行仍在路線圖中。下圖區分核心執行階段、目前正在擴展的執行載體，以及下一步架構目標。
核心執行階段
- TVM 併發執行與 COMM
- ReplayTrie 與執行軌跡
- 跨區塊掛起 / 恢復路徑
- 原生 OCAP 基礎
- EVM 宿主路徑
- BlockGit DAG、Fringe 與合併
系統擴充
- 私有或雲端引擎部署
- 跨部署載體的 GLVM 抽象
- 生產規模加固
- 更豐富的策略與受控通道機制
- 執行階段可觀測性與運維工具
路線圖
- 跨分片橫向原子性
- WASM 客戶虛擬機
- 客戶端設備 TVM 部署
- 帳戶抽象與能力註冊表
- 節點故障重同步與驗證者集合動態變更
- 可編程 World OS 層