Modules
The datamodel document and what can be decided from it, with no dependency on the block editor, the compiler, or the UI.
ADR-0001 decision 9: what a redefined declaration takes away from the one it replaces.
ADR-0001 decision 10: which required fields of a shape a map does not fill.
The index over a datamodel document's types key (ADR-0001 decision 5):
the named record and shape declarations, by name.
The document-level reads: the three questions a consumer asks of a raw, decoded datamodel document rather than of an index it already holds.
The path/type index over a datamodel document (ADR-0001), and the projections that record promises.
Type expressions over a datamodel document, and ADR-0001 decision 8's read check.