Vehir：面向AI代理的平臺——編譯器、微核心與內容定址儲存

Vehir平臺是一個實驗性的AI原生計算環境，其設計圍繞代理與計算機的互動展開。與傳統系統採用人機互動原理不同，Vehir將整個軟體環境的設計聚焦於AI代理的需求。其介面和工具採用結構化、可發現的輸入輸出機制，使AI代理能夠直接使用。Vehir探索如何讓軟體環境本身更便於機器推理，而非僅僅在現有工作流之上新增代理支援。

當前實現提供了該環境的基礎元件，包括結構化代理工具、IPM包管理器、原生編譯與載入、內容定址生成、協調機制以及受監督服務。平臺仍在積極開發中。

系統要求為Linux x86-64架構，推薦4GB以上記憶體。安裝過程需透過AI代理完成，使用者需按照完整的安裝指南操作。Vehir的設計理念是機器對機器互動：結構化輸入輸出減少自由文本解析依賴，工具自發現使系統告知代理其能力，機器可讀錯誤附帶修復提示。源語言IPM專為機器編寫與驗證設計，非人工編輯。宣告式構建允許代理宣告期望狀態，系統進行協調。

核心系統方面，Vehir整合了多個層次：使用者空間微核心與工作程序執行時，核心使用區域、共享記憶體和門鈴協調來管理工作程序；自託管原生編譯器，IPM包直接編譯為x86-64原生程式碼，編譯器自舉並透過生成間的固定點驗證；原生載入器直接解析物件閉包並應用重定位；內容定址儲存透過摘要定址源和編譯物件，去重並記錄在不可變生成中；宣告式協調將構建狀態和包圖轉換為驗證後的生成，隨後原子切換當前版本；程式碼派生代理工具，MCP操作、請求契約、幫助和驗證均從工具實現中衍生；全宇宙強制執行透過跨包分析檢查結構和策略不變數。

原始碼可用性方面，GitHub倉庫僅含文件，釋出存檔包含完整IPM原始碼樹及啟動所需原生工件。專案狀態為實驗性，介面和格式可能變化。解除安裝步驟詳細說明了如何停止服務並移除安裝目錄。