Novelty assessment (honest scoping): the classification of φ-fibers of 2^k is classical (AMM Problem E3361, 1991; Guy's UPNT B36/B39 territory; OEIS A002181 comment by T. D. Noe), and the record POSITIONS were published in OEIS A393265 (J. McCranie, Feb 2026, terms to 3.9×10^8 with an uncertified scan to 1.2×10^11). Apparently new: the unconditional infinitude of exact-ratio-2 totient values and the resulting limsup≥2 stated for Erdős #51; the boxed inequality f(a)/a≤2√(2v₂(a)+1); the certified (provably complete) table and ratio≥2 census with reproducible code. None of these appear on the erdosproblems.com page/thread, in OEIS, or in web/arXiv searches (log: novelty.md).