C-D24-CLOSURE

Full compatible-state closure OPEN: whether the reachable-state campaign closes within the frozen caps is not reached. The fixed-level cuts prune materially but only by a constant factor, so certified OPEN branches remain. A super-constant-in-modulus separation is needed

In plain language

Closing the whole search within the limits is still open; the fixed cuts are not enough, something that scales with the modulus is needed.

Exact statement

Full compatible-state closure OPEN: whether the reachable-state campaign closes within the frozen caps is not reached. The fixed-level cuts prune materially but only by a constant factor, so certified OPEN branches remain. A super-constant-in-modulus separation is needed