OPEN: the site's label, on a page last edited 19 October 2025, before the one claim. Eric Li's full claim, posted as an arXiv preprint on 2026-06-27 and submitted to the site's proof-claims tab on 2026-07-17, a resolution under Li's reading of "reasonable" as dyadic regularity, with a Lean development produced by Aristotle (Harmonic), is pending on the Li claim page (2026). The derived standing, claimed and disproved, departs from the label because that full claim is pending: it asserts that no dyadically regular $f$ has the least non-divisor asymptotic to $f(n)$ for almost all $n$, a negative answer under that reading.