C-D21-PILOT

Hard-prime pilot VALIDATED-BOUNDED: on the D20-hard primes up to 2267 every narrowed query terminates under 0.35s with a replayable certificate, and the mandatory padding-required case and timeout injection behave correctly (timeout to OPEN). This is measured bounded evidence that the per-query wall is removed, not a campaign conclusion

In plain language

On a bounded pilot of the hardest primes, the new fast query works and stays honest about timeouts.

Exact statement

Hard-prime pilot VALIDATED-BOUNDED: on the D20-hard primes up to 2267 every narrowed query terminates under 0.35s with a replayable certificate, and the mandatory padding-required case and timeout injection behave correctly (timeout to OPEN). This is measured bounded evidence that the per-query wall is removed, not a campaign conclusion