Written to be verified.
Every document in the corpus cross-references the same invariants, the same real hashes, and the same honest status labels. Where a claim is checkable, the document says how to check it; where a component is not yet real, the document says so.