Evidence for Duverney (1995)

../

verify/: Links the independent review of the Lemme and Théorème reconstructions, verdict refutation-failed relative to the two identified external premises, the distinct grade that passed it, and the earlier focused statement-fidelity record of the campaign's extraction pages.

---

The verification records hold the fresh-context review of the two complete rewritten proofs of this card, relative to Euler's pentagonal number theorem and Théorème 2 of Duverney 1993, and the distinct grade that passed it, and the earlier focused statement-fidelity review of the campaign's extraction pages with its frozen subjects. Byte-identical copies of the three pages as reviewed (assets/reviewed_pages/) are not held in the repository. No executable evidence belongs to this argument.

Extracts reproducing the paper's text are not held, since no license on record permits redistribution.