Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for Eberhard's divisor-ratio theorem
verify/: Connects the independent review, distinct grade and attributed correction to their exact two-page subject, source version and premise boundaries.
The verification records concern the complete downstream divisor-ratio argument and its quoted external sieve interface as one unit. The exact original two-page subjects remain opaque assets; the full review and distinct grade retain their derivations and findings with the later density-commentary correction separately attributed.
The outcome is refutation-failed relative to the quoted GGPY statement. That statement was checked against Eberhard's published Theorem 1; the original sieve proof was not inspected or certified. These records do not review the arXiv variants, community Lean file or later extension, and do not supply a catalog-status change, native tier or formal verification.