The published verifier computes A = max(f*f)/(int f)^2 while the November 2025 statement defined B = max|f*f|/(int f)^2, so the n=400 witness reaches 1.4557 only under A (exact A = 1.45564279537..., B = 4.33404652438...); the mix-up was corrected in arXiv:2511.02864 v2, and the improvement survives against each functional.
hunts/r_8539dc (Record 66 of 98 in chronological sequence)
Guiding Question
Is the published bound 1.4557 attached to the functional the published verifier computes, and does the claimed improvement survive the inequality as written?
Method & Verification
Both functionals were evaluated in exact rational arithmetic on the published ten-place heights, the n=150 construction was used as the coinciding-functional check, and the v1/v2/v3 LaTeX sources plus the 2025-12-19 colab commit were read for the correction chronology.
Lineage & Relationships
Primary Sources (at pin 8fa46e134)
Editorial Notes
The brief's premise that no correction had appeared is wrong. What remains broken is opposite labelling of the two problems across the two corrected artifacts, and problems/4.html was never given a sibling page. No new bound is claimed. The assignment of prior 1.45810 to the A-functional rests on the corrected paper's changed citation, not on reading Vinuesa's thesis.
Date Provenance
commit 1e646f926c5b176396769289d22d22b62b247cd3, hunts/r_8539dc/RESULTS.md, author 2026-08-23T22:53:04-05:00