C-D22-PILOT

D22 certified pilot VALIDATED-BOUNDED: all mandatory cases run (p=197 cover matches; e1=0 stratum; repeated roots; inapplicable branch; padding-required 13-multiset; four D20-hard primes terminate; a candidate failing square-splitting yields RECONSTRUCTION-FALSE-POSITIVE; timeout injection yields OPEN). Two verifiers ACCEPT, 179 of 179 corruption rejected

In plain language

On a bounded pilot the implicit engine behaves correctly on every required case and stays honest about timeouts.

Exact statement

D22 certified pilot VALIDATED-BOUNDED: all mandatory cases run (p=197 cover matches; e1=0 stratum; repeated roots; inapplicable branch; padding-required 13-multiset; four D20-hard primes terminate; a candidate failing square-splitting yields RECONSTRUCTION-FALSE-POSITIVE; timeout injection yields OPEN). Two verifiers ACCEPT, 179 of 179 corruption rejected