The Erdos #126 scout's mathematics survives adversarial audit: the inverse g(k) reformulation, the positivity equivalence, the Fekete/composition refutation and the whole finite table are correct and the table reproduces under an independently written search, while the omitted-prime loose thread is false and the no-progress-beyond-1934 framing hides three relevant papers the scout cites none of.
hunts/support_eccd5f5e (Record 81 of 98 in chronological sequence)
Guiding Question
Does the Erdos #126 scout's mathematics in r_186989 survive adversarial audit?
Method & Verification
Every claim in r_186989/RESULTS.md was re-proved or independently recomputed, and a second search written from the problem statement reproduced all seven table rows 2, 4, 5, 6, 8, 10, 11 exactly.
Lineage & Relationships
Primary Sources (at pin 8fa46e134)
Editorial Notes
No HuntSpec.question field; question filled from MISSION.md. Disposition maps settled (audit) to completed. Literature constants (1/8+eps, exp(c sqrt(s)/log s)) rest on erdosproblems.com plus web-search summaries of Gyory-Stewart-Tijdeman 1986 and Erdos-Stewart-Tijdeman 1988 whose abstracts were not read at source. The S-unit reduction in section 7 is proved; the counting step built on it is explicitly not.
Date Provenance
commit ae99826d0340a2e5f49d4a20c196375a43698068, hunts/support_eccd5f5e/RESULTS.md, author 2026-08-24T20:58:08-05:00