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はシンボル、ノードID、呼び出し、型、エフェクト、所有権、ケイパビリティ、インポート、対象環境を`zero.graph`へ格納します。`.0`ソースは、人間のレビューとまれな手動編集のための投影です。
| 従来のエージェント | ソースを編集し、整形、コンパイル、失敗確認を経て、次のテキスト編集を試します。 |
|---|---|
| Zerolang | 意味ノードを照会し、検査付きグラフパッチを提出し、タスクを検証して投影を出します。 |
| 正本 | 投影ソースではなく、コンパイラ所有の`zero.graph`です。 |
| 人間の役割 | 成果を依頼し、投影をレビューし、動作を承認します。グラフはレビューを不要にしません。 |
検査付き編集パッチは取引に近い
パッチは意味ノードとフィールドを指定し、期待するグラフハッシュと旧値を持てます。古いハッシュ、異なる値、不正な形、型エラーはストア変更前に失敗できます。行番号のずれや誤った検索置換を減らす仕組みです。
適切なたとえは検査付きデータベース取引です。エージェントが意味変更を提案し、コンパイラが現在状態に照らして受理または拒否します。
要求理解や生成動作の正しさまで証明するものではありません。危険なロジックや不十分なテストは残り得ます。グラフ検査は編集面を改善しますが、隔離、レビュー、依存関係管理、セキュリティテストの代わりにはなりません。
実装状況概念だけではない
公式リポジトリは`zero query`、`zero patch`、`zero check`、`zero test`、`zero run`を説明し、グラフとテキスト投影を行き来する明示的な入出力も備えます。コンパイラ版に合ったエージェントスキルも同梱されています。
重要な理由コンパイラ意味論がAI向けAPIになる
Zerolang自体が主流にならなくても、安定した意味オブジェクト、事前条件、構造化された失敗をツールが公開すれば、エージェントは自然言語エラーと行差分から意味を何度も再構成せずに済みます。
実務判断本番移行よりインターフェース研究
- エージェント・コンパイラ開発者：使い捨てリポジトリで、古いパッチ処理、投影品質、タスク成功率を測ります。
- アプリケーションチーム：本番は成熟したツールチェーンを維持しつつ、コンパイラや解析器が機械可読の意味操作を公開できるか検討します。
- セキュリティチーム：権限、サンドボックス、依存関係の信頼、レビューを別々の制御として扱います。グラフ優先でもリスクは消えません。
注目点は`.0`を書く人が増えるかではなく、検査付き意味編集がコンパイラとコーディングエージェントの標準インターフェースになるかです。