GSS edition identity and source qualification
Version 1 contains 69 exact Declaration Card references and one contextual overview. Native Card revisions are 1 for 68 Cards and 3 for the shared R09 UID. Exposition revisions are separate from the website edition.
GSS declarations retain MathlibAnnex v0.5.0; the reused R09 definition retains its fixed v0.4.0 binding. Source qualification is checkpoint-assisted. An independent clean single-runner qualification is not recorded. Exact selected Card/source correspondence does not assert coverage of the whole arXiv manuscript.
Exact Card-revision set · Project JSON · Graph and witnesses · Full declaration graph · Edition record