A2ML is a lightweight, Djot-like markup that compiles into a typed, attested core. It keeps authoring simple while allowing strong structural guarantees when you want them.
This repository is a satellite of the Hyperpolymath standards hub.
-
Author a readable surface format with strict, typed guarantees when needed.
-
Validate structure (IDs, refs, required sections) with progressive modes.
-
Preserve opaque payloads byte-for-byte for reliable embedding.
-
Broader tooling integration (CLI, LSP, renderers).
-
More profiles for domain-specific validation.
-
Stronger proof coverage and conformance automation.
-
Lightweight authoring with progressive strictness (lax → checked → attested)
-
Strong guarantees: required sections, resolved references, unique IDs
-
Opaque payloads preserved byte-for-byte for absolute fidelity
-
Renderer portability across HTML/Markdown/PDF pipelines
# A2ML Overview
@abstract:
A2ML is a typed, attested markup format. It verifies structure and references.
@end
## Claims
- Required sections must exist.
- References must resolve.
@refs:
[1] Attested Markup Language Spec (draft)
@end-
just package-cli
-
Draft specification, v0.6.0
-
Prototype parser + CLI + demo page available
-
Typed core stubs + core tests passing (prototype)
PMPL-1.0-or-later. See LICENSE.