C-D20-PRIME-PRODUCT-LIFT

Simultaneous prime-product lift OPEN: rule out one common bounded 13-speed multiset inducing compatible local covers across a certified prime family whose product exceeds B13. The full machinery was built (reduction replay, applicability, QR normalization, CRT reconstruction, projective atlas, 3-valued oracle, complete generator) but the D20 enumerate-first campaign is BLOCKED at scale (cost); D21 reopens it via signature-narrowing

In plain language

Whether one single global speed set can pass the cover test at many primes at once. The direct-enumeration route hit a cost wall; the narrowed route is the current attempt.

Exact statement

Simultaneous prime-product lift OPEN: rule out one common bounded 13-speed multiset inducing compatible local covers across a certified prime family whose product exceeds B13. The full machinery was built (reduction replay, applicability, QR normalization, CRT reconstruction, projective atlas, 3-valued oracle, complete generator) but the D20 enumerate-first campaign is BLOCKED at scale (cost); D21 reopens it via signature-narrowing