Prime geometry correction
The useful discovery from the prime work was not a global RH proof. It was the filter-first correction.
prime resonance → invalid unless composite lanes are filtered first
Proved sample
The lane C0(r)=(2r+1)² is a dead prime lane for r≥1.
Candidate target
Rank polynomial lanes by local obstruction factors and singular-series-style products, not by raw finite density alone.
Boundary
RH_GLOBAL_UNPROVED INFINITE_PRIME_LANE_CLAIMS_UNPROVED