Evidence for the Wang–Crapis route

../

verify/: Links the 2026-09-07 conditional symbolic pass of the nine result pages and the scoped exact delta pass of the locator correction it required; no tier and no certificate credit.

---

The symbolic route on the nine result pages of this source passed an independent review on 2026-09-07, conditional on forty-two pending finite certificates, four uncompiled external premise classes and the accepted Cambie reuse; a second review on the same day passed the exact locator correction that the first required. Both are retained under verify/. No distinct grader is recorded, no tier is awarded, and no finite certificate is certified.

There is no main.py here. The finite certificates the route needs are stated on the result pages and remain pending; a checker run under the evidence contract is a separate decision, and this folder records only what has been reviewed.

Exact reviewed subjects

The bodies of the nine result pages (every byte after the first *** separator) are the bodies the reviews examined, unchanged at filing, except that the end-of-file fixer removed a second trailing newline from theorem_1_1.md; no other byte differs. The reviewed card and the reviewed problem-page overlay were replaced at filing by a rewritten card and a narrower problem-page edit, so their text is kept here, exact apart from the PDF's SHA-256 value removed from the reviewed card's copy on 2026-10-02:

Relative links inside the snapshots refer to their intended page locations. The snapshots keep their frontmatter and "Needs review" standing text as reviewed; current standing is recorded on the source card and in the review records. The single canonical PDF is identified on the source card.