How to Read the Corpus
A reader's guide to corpus objects, dependencies, status labels, and public projections.
Reading order
The corpus is not meant to be read like a book. It is meant to be inspected as a graph.
Start with an object ID, follow its dependencies, then check where it appears in Results, Publications, or Verify. When possible, compare the human-readable statement with the corresponding TauLib formalization.
Practical route
- Find a registry object or result that interests you.
- Check its type and status.
- Follow its dependencies backward.
- Follow its uses forward.
- Inspect related publications and verification surfaces.
Four entry routes
Start from the construction spine
Follow the ten-step build narrative — kernel through ontic closure — organized as three manuscript-grounded arcs.
Start from a result
Use a public result page, then follow its registry anchors backward into the corpus.
Start from an object
Browse by book, type, dependency count, or formalization status.
Start from a book
Read the narrative release, then use registry links to locate the formal spine.
Reading an item page
On a registry item page, read the page in this order:
- ID and type: what kind of object is this?
- Summary: what does it claim or introduce?
- Book location: where does it sit in the canonical release?
- Dependencies: what must already be accepted?
- Depended on by: where does it later carry weight?
- Lean formalization: is there a corresponding formal artifact?
Save or share this page for inspection
Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.