// SPDX-License-Identifier: CC-BY-SA-4.0
= v1 Implementation Plan
:toc:
:toclevels: 2

== CLI

* `bin/a2ml` wrapper (done)
* Stable command surface: render / validate / ast
* JSON report: `just vectors-report`

== Parser

* Inline AST
* Directive attrs
* Checked-mode validation

== Core

* TypedCore with executable checks
* Surface AST + translator

== Next

* Idris proofs for core invariants
* Strict parsing for refs/tables
* Release artifacts (CLI)
