Zero让AI直接改程序图
Vercel Labs 的实验性语言让智能体查询并修改语义程序结构，同时保留可供人类审阅的源码投影。
60 秒版本
Zerolang 让语义程序图成为编译器的事实来源，并让 AI 智能体通过受检的查询与补丁操作修改它。
要点
- 人类仍可审阅 `.0` 投影，但智能体通常通过编译器命令操作 `zero.graph`。
- 图哈希、预期值、结构检查和类型检查可在写入程序存储前拒绝陈旧或非法修改。
- 项目采用 Apache 2.0 许可证，核验时最新公开版本为 v0.3.4。
- 官方明确标注实验性质，只应在隔离且无敏感数据的工作区评估。
结论. Zero 还不适合生产采用，但把程序图变成智能体 API 的思路，是降低编码智能体修改歧义的一条可信路线。
Zero 改变的是 AI 修改程序的基本单位。 Vercel Labs 的实验性 Zerolang 不把源码行当作程序本体，而是让编译器维护的语义图成为事实来源。智能体查询图并提交受检补丁，人类则审阅可读的 `.0` 投影。
核心变化程序本体是一张图
传统编码智能体修改文本、运行工具，再从诊断信息里推断含义。Zerolang 把符号、节点编号、调用、类型、效果、所有权事实、能力、导入关系和目标平台信息存入 `zero.graph`。`.0` 源码仍然可读，但主要是供人审阅和偶尔手工修改的投影。
| 传统智能体循环 | 修改源码文本、格式化、编译、检查错误，再尝试下一次文本修改。 |
|---|---|
| Zerolang 循环 | 查询语义节点、提交受检图补丁、验证任务，再生成可读投影。 |
| 事实来源 | 由编译器维护的 `zero.graph`，而不是投影出来的源码文件。 |
| 人的角色 | 提出结果要求、审阅投影并确认行为；图模型不会取代人工审查。 |
受检修改补丁更像一次事务
补丁可以定位语义节点与字段，并携带预期图哈希和旧值。哈希过期、值不符、结构非法或类型错误时，修改可在写入程序存储之前失败。这能减少行号漂移和盲目搜索替换带来的错误。
最合适的类比是受检数据库事务：智能体提出语义修改，编译器依据当前程序状态接受或拒绝。
这并不能证明需求理解和生成行为一定正确。智能体仍可能引入不安全逻辑或写出无效测试。图检查改善的是修改接口，不能替代运行时隔离、代码审查、依赖治理和安全测试。
已经落地不只是一个概念
官方仓库记录了 `zero query`、`zero patch`、`zero check`、`zero test` 和 `zero run`，也提供显式导入导出命令来管理图与文本投影的边界。编译器还附带版本匹配的智能体技能，减少文档与工具版本错位。
真正意义编译器语义可能成为智能体接口
即使 Zerolang 最终没有成为主流系统语言，它的接口仍释放出一个重要信号：工具若能暴露稳定的语义对象、前置条件和结构化失败，编码智能体就不必反复从自然语言错误和行级差异里重建程序含义。
实用结论现在研究接口，不迁移生产
- 智能体与编译器开发者：在一次性仓库测试陈旧补丁处理、投影质量和任务成功率。
- 应用团队：生产代码继续使用成熟工具链，但应检查编译器、静态分析和重构工具能否提供机器可读的语义操作。
- 安全团队：把智能体权限、沙箱、依赖信任和审查作为独立控制；图优先语言不会自动消除这些风险。
值得观察的不是大家会不会开始写 `.0` 文件，而是“受检语义修改”会不会成为编译器与编码智能体之间的标准接口。