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-0004 decision 7: whether a value conforms to a type expression.
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 index over a datamodel document's events and sends keys
(ADR-0004 decisions 1-5): per event name, the type of its payload.
The path/type index over a datamodel document (ADR-0001), and the projections that record promises.
ADR-0004 decision 6: the read check over reads handed in as data.
Where the datamodel document's JSON Schema is, and what it says (ADR-0002).
Type expressions over a datamodel document, and ADR-0001 decision 8's read check.