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
-
Stable specification, v1.1.0 (era v1). See VERSIONS.adoc for the lineage; prior drafts (v0) and the frozen v1.0.0 release are under archive/.
-
v1.1.0 is additive over v1.0.0: profile mechanism, base record vocabulary, citation primitives, and canonical hashing — all inert under the base modes.
-
Prototype parser + CLI + demo page available.
-
Typed core + core tests passing (prototype).
PMPL-1.0-or-later. See LICENSE.