31.5. Incomplete results🔗

Construction, enumeration, actions, search, normal structure, and products have bounded entry points. A limit is checked before the corresponding work. An exhausted search can retain a proved subgroup lower bound, and a term-capped derived series can retain a checked prefix. Neither result supplies a negative answer. Producer meters and replay limits are separate so certificate checking never consumes or inherits a producer's unused allowance.