This is a minimal, non-exhaustive ReScript prototype that demonstrates:
-
Parsing a tiny Module 0 subset
-
Rendering to HTML
-
Basic checked-mode validation (ID/ref resolution)
It is intentionally small and not a full implementation.
A production implementation should follow the formal grammar in docs/GRAMMAR.adoc
and conformance rules in docs/CONFORMANCE.adoc.