// SPDX-License-Identifier: CC-BY-SA-4.0
= State of A2ML (v0.1.0)

A2ML (Attested Markup Language) is a lightweight markup format that compiles
into a typed, verifiable core. v0.1.0 publishes the initial spec drafts,
modular syntax design, and early prototypes.

== What exists now

* Surface grammar draft + formal appendix
* Typed core outline (Idris2) and attestation invariants
* Conformance guide + test vectors
* Module 0 quickstart + FAQ
* ReScript web prototype and ReScript + WASM sketch

== What A2ML is

* Lightweight surface syntax with progressive strictness
* Attested document structure and references
* Opaque payloads preserved byte-for-byte

== What A2ML is not

* Not a semantic-web ontology
* Not a runtime execution format

== Next steps

* Module 0 reference parser + HTML renderer
* Idris2 typed core implementation
* Web demo and renderer conformance tests
