READING THE RESEARCH RECORD
What has actually been checked?
There is no single “verified” badge. Different questions need different evidence.
Literature and novelty
What was searched, when it was searched, and how the claim differs from the closest identified results. Not finding an equivalent result is not proof that none exists.
Formal checking
Which exact formal source and environment have a recorded successful build or proof check. An old build record is not a new check of a revised statement.
Statement and proof alignment
Whether the mathematical text and formal declarations express the intended same claim, including their assumptions and scope. This is separate from compilation.
Explanatory materials
Which definitions, proof steps, citations, and reading aids are available, and what review they have received. A readable explanation is not automatically a verified one.
Paper and public release
Which briefing, preprint, journal article, code, or reading material is available, with its version and publication links. Preprint availability and journal publication are distinct records; neither is represented here as a guarantee of mathematical correctness.
The current 64-Card Catalog records exact source and source-exposition correspondence. The Naimark project record links the arXiv preprint and the available formalization records; preprint availability is not journal peer review or an independent proof audit.
Two complementary paths—not a forced sequence.
Conventional papers and formalization may be developed in either order. Their versions and stated scope are recorded separately.
A report, its formal source, and their correspondence are separate records. Consult the linked documents and exact source records for their versions and scope. A formal check does not, by itself, establish correspondence with every step of a manuscript.