31 lines (22 loc) · 881 Bytes

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