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.
Human mathematical review
Which statements and proofs a person has examined, in which version, and with what outcome. This is distinct from journal peer review.
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, paper, code, or reading material is actually available. Permission to publish an unreviewed result does not turn it into a reviewed result.
Two complementary paths—not a forced sequence.
Human review and conventional papers may come before or after formalization. Each is tracked independently, and any claim of completion must refer to matching versions.
A report, its formal source, and their correspondence are separate records. Check the project page for the version, date, and scope of each review. An AI-assisted review of a written argument does not establish human verification.