Attribution and scope

The candidate value, Euler-prime schedule, original finite producer, height-transfer reduction, tail construction, and repaired barrier are from Jude Gomila's candidate repository, commit a74738deb6d5e0f76887cb36901da08b68dca705. This work does not claim priority for the number $0.1787854$ or for those constructions.

vendor/finite_original.c is an unmodified copy of src/lemma_sweep_p235711.c, SHA-256 580d0b51165da58d4ca22e16d80a8c3db603dd0d9246f26dd027b5f820bf0808. Its upstream license is retained in vendor/LICENSE. Other upstream sources are read and compiled from the external pinned checkout; they are not relicensed by this folder. The recorded arithmetic outputs were generated during this campaign. The upstream project credits the Polymath 15 software and subsequent contributors in its own notices.

The candidate's original documentation, certificates, and transcripts use CC BY 4.0; that notice is retained in vendor/LICENSE-DOCS. The explanations here are independently written and the numerical outputs freshly generated, with the candidate's mathematical inputs credited above. No reserved-rights manuscript or unlicensed independent source has been copied into this folder.

The new Rust interpolation algorithm, direct convolution, Python dictionary check, rational certificate parser, orchestration, and analytic audit were written for Stephen Wu's notebook by GPT-6 Astra on 2026-09-08. The root README ledger records that contribution. Human authorship of the notebook does not imply that a human has reviewed this proof.

The published mathematical inputs are Polymath 15, arXiv:1904.12438v2, and Platt–Trudgian, arXiv:2004.09765v1. The exact PDF hashes and literature search are in ../../RESEARCH.md. The lower endpoint is the theorem of Rodgers and Tao; this campaign does not improve it.