NEXA / OPEN PROGRAMS 目标可写，结果有据。¶ 写下目标与验收合同，在隔离运行时中构建实现，核对证据，再让程序持续修订。 开始使用 → 了解 Open Programs Nexa 3.0.0 · 目标 · 证据 · 修订 answer.nx 01 / SOURCE language "3.0" program Answer { goal answer() -> Int { intent "Return 42" implementation value 42 } } .nx → check → build → evidence → replay THE DEVELOPMENT PATH 写下目标，也保留完成的依据。¶ 01 / DEFINE 定义目标合同¶ 在源码中保留类型、意图、能力与冻结检查。 编写第一个程序 → 02 / EXECUTE 构建并检查证据¶ 在预算内求解，在 OCI 中执行候选，逐项核对验收记录。 理解验收证据 → 03 / INSPECT 修订并恢复任务¶ 分别跟踪草稿与活动版本，取消准确活动，核对未知副作用。 恢复任务 → FROM 2.4 TO 3.0 保留已有路径，逐步迁移合同。¶ 已有 2.4 源码继续走兼容入口；源码合同与历史状态分别迁移。 阅读迁移指南 → 从语言到工具。¶ Nexa Code · 在终端执行编程任务 ↗ VS Code · 编写与检查 Nexa 源码 ↗ 可验证示例 · 从完整程序继续学习 →