A docs-first markup language for technical documentation. Normative EBNF, fail-closed parsing, typed extensibility. Not Markdown.