Zero

Description

Zero is an experimental graph-first programming language designed for agent-first workflows. Agents interact with semantic program structure rather than raw source text, enabling precise edits and outcome verification. The language uses symbols, calls, types, effects, node IDs, and graph hashes as the primary program representation. A compiler validates patches for shape, type, stale-state, and repository metadata before applying changes. Human-readable projections remain available for review and rare manual edits. The workflow follows a conversational model where agents submit checked edits and prove results. The system emphasizes tighter agent loops by putting the compiler in the loop, treating edits as validated graph changes rather than text modifications. Expect breaking changes as the language is experimental and should be run in safe environments.