# Verification report

Date: 2026-09-01

## Mathematical result

`PASS`: the proof exhausts every rational prime. An unconditional eclib full
2-descent and automatic saturation give the full rank-one Mordell--Weil basis;
torsion is independently eliminated. The rational 3-isogeny handles every
prime outside `{2,3,79}`, and each remaining prime has a separate exact local
obstruction.

## Independent reproduction

- The dependency-free exact checker verifies the point, curve, isogeny image,
  discriminant, finite-field counts, formal parameters, reductions, and Hensel
  congruences.
- eclib/mwrank 20250627 and PARI/GP 2.17.4 gave concordant rank, generator,
  saturation, torsion, minimal-model, and local data.
- Exact inputs, outputs, versions, and source hashes are preserved in the
  canonical dossier.

## Build and PDF QA

`PASS`: Tectonic 0.17.0 and BibTeX produced a five-page letter-size PDF with
zero LaTeX errors, undefined references/citations, overfull boxes, or
underfull boxes. All five pages were rendered at 144 DPI and directly
inspected; no clipping, margin, formula, bibliography, or legibility defect
was found. The dependency-free exact checker also passed afresh.

## Public release and license

The author approved public release on 2026-09-02. This paper, its source files, and this verification report are licensed under the Creative Commons Attribution 4.0 International License (CC BY 4.0): https://creativecommons.org/licenses/by/4.0/