2 Sources and verification
The source repository includes the literal specification, the full proof, release notes, attribution, and instructions for rebuilding and checking the public theorems. Verification combines a source build, literal-statement and axiom checks, and independent replay; the graph provides source navigation.