# StatifierDatamodel v0.7.1 - Table of Contents

> The datamodel document and what can be decided from it: the typed three-scope declaration, its named record and shape types, the path/type index, the read check, compatibility and coverage - pure functions, no dependency on the block editor, the compiler or the UI

## Pages

- [StatifierDatamodel](readme.md)
- [Changelog](changelog.md)

- How-to guides
  - [Check the paths a chart's conditions read](check-chart-reads.md)

- Explanation
  - [Why the family shares one type registry](why-one-type-registry.md)

- Upgrading
  - [Upgrading a host from 0.4 to 0.7](upgrading.md)

## Modules

- [StatifierDatamodel](StatifierDatamodel.md): The datamodel document and what can be decided from it, with no dependency
on the block editor, the compiler, or the UI.
- [StatifierDatamodel.Events](StatifierDatamodel.Events.md): The index over a datamodel document's `events` and `sends` keys
(ADR-0004 decisions 1-5): per event name, the type of its payload.
- [StatifierDatamodel.Reads](StatifierDatamodel.Reads.md): ADR-0004 decision 6: the read check over reads handed in as data.

- Document and index
  - [StatifierDatamodel.Document](StatifierDatamodel.Document.md): The document-level reads: the three questions a consumer asks of a raw,
decoded datamodel document rather than of an index it already holds.
  - [StatifierDatamodel.Index](StatifierDatamodel.Index.md): The path/type index over a datamodel document (ADR-0001), and the
projections that record promises.
  - [StatifierDatamodel.Schema](StatifierDatamodel.Schema.md): Where the datamodel document's JSON Schema is, and what it says (ADR-0002).

- Declared types
  - [StatifierDatamodel.Declarations](StatifierDatamodel.Declarations.md): The index over a datamodel document's `types` key (ADR-0001 decision 5):
the named record and shape declarations, by name.
  - [StatifierDatamodel.Types](StatifierDatamodel.Types.md): Type expressions over a datamodel document, and ADR-0001 decision 8's read
check.

- Compatibility and coverage
  - [StatifierDatamodel.Compatibility](StatifierDatamodel.Compatibility.md): ADR-0001 decision 9: what a redefined declaration takes away from the one
it replaces.
  - [StatifierDatamodel.Conformance](StatifierDatamodel.Conformance.md): ADR-0004 decision 7: whether a value conforms to a type expression.
  - [StatifierDatamodel.Coverage](StatifierDatamodel.Coverage.md): ADR-0001 decision 10: which required fields of a shape a map does not fill.