Levinson's method in short intervals and simple zeros of the zeta function

For each fixed 1/2 < theta < 1, a uniformly shifted mollified second-moment formula is derived on windows of length T^theta with 0 < nu < min(1/2, 2theta-1, (5theta-2)/6). An exact shifted composite divisor transformation gives a common Mellin multiplier and the rational frequencies log(pq/n). Grouping repeated frequencies with their full collision multiplicities permits elementary mean-square bounds, independently derived by Gaussian Schur and direct interval-Gram arguments. Weighted Cauchy-Schwarz gives the relative errors TM/H^2 and TM^3/H^(5/2). Both transformed residues, complex shifts, arbitrary fixed operator polynomials, unbalanced blocks, gcd sums, infinite dual tails and narrower compact-window smoothing are retained. The complementary attributed Bettin-Chandee trilinear range nu < min(1/2, (17/33)(2theta-1)) remains available. Localized counting, the unchanged certified degree-201 detector and Wang's recent pair-correlation preprint give a positive asymptotic proportion of simple critical-line zeros in (T,T+T^theta] for every fixed theta in [0.527,1). At theta=0.527 the independently certified lower density exceeds 0.0005947542001. The proof has undergone internal review, uses attributed inputs and supplies no effective starting height, external peer-review claim, worldwide-priority assertion or proof of the Riemann hypothesis. Supporting certificates, code and research artifacts are published separately at 10.5281/zenodo.23135354. This manuscript record contains only the unchanged manuscript PDF.