设计背景¶

模型调用之外，Agent 应用还需要组织工具权限、上下文、失败恢复、预算和结果验证。Nexa 将这些边界放到语言声明和运行状态中，使代码生成与人工编程共享同一执行入口。

Open Programs 3.0¶

OpenCompiler 将合同绑定 environment，在预算内求解实现，并在 OCI 中执行候选。ProgramSession 分别记录源码草稿、活动版本、runtime 活动、提案和授权。接纳与复用前按当前依赖核验 evidence。

统一编译器处理 include、AST、诊断和 Python 生成物。AgentRunner 处理 provider、工具和状态转换。SQLite checkpoint 保留运行进度和工具 journal，原生 provider items 保留协议连续性。

Python 保留与现有 AI 工具生态的集成能力；Rust AVM 通过共享 fixture 逐步扩展。可恢复执行要求保存足够的历史和结果，未知副作用需要操作者核实；外部系统的幂等机制可增强业务保证。

用语言基础理解程序结构，再用运行时契约理解执行边界。

来源与验证 · compilation / execution / providers