Documentation

Know what
the record says.

A short guide to reading declarations and tracing them to their public sources.

Reading a specification

An authored contract and a verified outcome are different kinds of information.

Public sources, immutable revisions and a supported read interface.

Inspect a public specification corpus with the exact producer it requires.