ROADMAP.adoc

A2ML Roadmap

Current Status

Design phase complete. v0.6.0 draft includes hardened Module 0 parsing, aligned vectors, refreshed docs, demo build, and core tests passing.

Milestones

v0.1.0 - Spec Freeze (Draft)

• ✓ Surface grammar draft

• ✓ Typed core outline

• ✓ Module 0 quickstart

• ✓ Formal grammar appendix (EBNF + tokens)

• ✓ Conformance and test vectors

• ✓ Release notes + announcement draft

v0.2.0 - Reference Parser (Prototype)

• ✓ Module 0 parser (surface → AST) (prototype in prototype/rescript/)

• ✓ HTML renderer (basic) (prototype in prototype/rescript/)

• ✓ Lax/checked mode validation (basic)

• ✓ Publish web demo page

• Target: 2026-03

v0.3.0 - Attestation Core

• ❏ Idris2 typed core encoding

• ❏ Proof obligations for invariants

• ❏ Opaque payload round-trip tests

• Target: 2026-05

v0.6.0 - Prototype Hardening

• ✓ Directive parsing tightened (@refs, @opaque, attrs)

• ✓ Vector suite aligned and passing

• ✓ CLI docs and help updated

• ✓ Web demo published

• ✓ Core tests runnable via just core-tests

• Target: 2026-02

v0.4.0 - Web Rendering

• ❏ JS/Rescript parser/renderer

• ❏ Web component for client-side rendering

• ❏ WASM demo page (rescript-wasm-runtime)

• Target: 2026-07

v1.0.0 - Stable

• ❏ Spec stabilization and IANA submission

• ❏ Compatibility tests across renderers

• ❏ Formal conformance suite

• Target: 2026-10

Future Directions

• Additional surface syntax variants (Djot-compatible, strict mode)

• PDF/LaTeX renderers

• Policy bundles for domain-specific invariants

• Signed attestation metadata and canonical hash format

v1.0.0 Criteria

See V1-CRITERIA for the acceptance checklist.