C-D23-CAMPAIGN

Full compatible-state campaign OPEN: whether the sound, materially-effective early cuts drive the surviving-state count (realizable AND base-improper at all primes AND improper at levels 14/28/42) low enough to certify emptiness within the frozen caps is not yet measured. D23-PASS establishes an effective pruning mechanism, not a campaign result

In plain language

The early cuts prune strongly, but whether that is enough to check the whole search within the limits is the next open measurement.

Exact statement

Full compatible-state campaign OPEN: whether the sound, materially-effective early cuts drive the surviving-state count (realizable AND base-improper at all primes AND improper at levels 14/28/42) low enough to certify emptiness within the frozen caps is not yet measured. D23-PASS establishes an effective pruning mechanism, not a campaign result