Why build it? In daily agent coding, we kept seeing the same problems: - A small edit can accidentally break syntax (missing bracket, misplaced comma), so the next step fails for reasons unrelated to the task. - Many compiler/tool errors are written for humans, not for automation. The agent can see "something is wrong" but not "make this exact fix at this exact spot." X07 is an attempt to reduce those failure modes by making edits, diagnostics, and execution modes more predictable for agents.
No reviews yetBe the first to leave a review for X07, a language for autonomous coding
Maker
📌
What is different in practice
- Source format: canonical x07AST JSON (`*.x07.json`), not hand-authored text syntax.
- Edits: RFC 6902 JSON Patch for structural changes.
- Diagnostics: machine-readable `x07diag` with stable codes and optional quickfix patches.
- Repair loop: `x07 run` / `x07 build` / `x07 bundle` run format -> lint -> quickfix automatically by default (bounded iterations).
- Worlds model: end-user execution worlds are `run-os` and `run-os-sandboxed`; deterministic `solve-*` worlds (`solve-pure`, `solve-fs`, `solve-rr`, etc.) are for reproducible fixture/testing loops.
Language/runtime model highlights
- C backend compiler pipeline (X07 -> C -> native binary)
- ownership model around `bytes` (owning) and `bytes_view` (borrowed)
- move checking (use-after-move is a compile error)
- branded bytes (`bytes@brand`, `bytes_view@brand`) for validated boundary encodings
- deterministic cooperative async in fixture worlds, plus policy-gated OS threads/processes in OS worlds