substrate theory

A checkable family of judgments the whole family relies on across implementations (thesmos gives authorized; horos gives v : T). Distinct from a primitive, a vocabulary, and a profile. Required + irreducible are the two tests for theory-hood; the inquiry into which theories must exist lives in atlas/theory/.