Vehir：面向AI代理的平台——编译器、微内核与内容寻址存储

Vehir平台是一个实验性的AI原生计算环境，其设计围绕代理与计算机的交互展开。与传统系统采用人机交互原理不同，Vehir将整个软件环境的设计聚焦于AI代理的需求。其接口和工具采用结构化、可发现的输入输出机制，使AI代理能够直接使用。Vehir探索如何让软件环境本身更便于机器推理，而非仅仅在现有工作流之上添加代理支持。

当前实现提供了该环境的基础组件，包括结构化代理工具、IPM包管理器、原生编译与加载、内容寻址生成、协调机制以及受监督服务。平台仍在积极开发中。

系统要求为Linux x86-64架构，推荐4GB以上内存。安装过程需通过AI代理完成，用户需按照完整的安装指南操作。Vehir的设计理念是机器对机器交互：结构化输入输出减少自由文本解析依赖，工具自发现使系统告知代理其能力，机器可读错误附带修复提示。源语言IPM专为机器编写与验证设计，非人工编辑。声明式构建允许代理声明期望状态，系统进行协调。

核心系统方面，Vehir集成了多个层次：用户空间微内核与工作进程运行时，内核使用区域、共享内存和门铃协调来管理工作进程；自托管原生编译器，IPM包直接编译为x86-64原生代码，编译器自举并通过生成间的固定点验证；原生加载器直接解析对象闭包并应用重定位；内容寻址存储通过摘要寻址源和编译对象，去重并记录在不可变生成中；声明式协调将构建状态和包图转换为验证后的生成，随后原子切换当前版本；代码派生代理工具，MCP操作、请求契约、帮助和验证均从工具实现中衍生；全宇宙强制执行通过跨包分析检查结构和策略不变量。

源代码可用性方面，GitHub仓库仅含文档，发布存档包含完整IPM源码树及启动所需原生工件。项目状态为实验性，接口和格式可能变化。卸载步骤详细说明了如何停止服务并移除安装目录。