Erdos similarity: growing logarithmic gaps

Abstract

We prove positive-measure affine non-universality for a class of decreasing null sequences whose consecutive logarithmic gaps are o(log log z), together with an intermittent late-annulus extension. The full Erdos similarity conjecture remains open. The record contains a frozen PDF, complete canonical source package, exact finite diagnostics, and a partial Lean replay. No external peer review or worldwide priority claim is made.