Part I — Foundations

2 chapters of Foundations. Lines are cross-references between them, heavier where the text leans harder. Click a chapter to see its logical chain.

declared and complete
partly declared
a check failed
not graded
declared in the source
inferred from structure

Open the whole graph · What is checked, and what is still owed