OptionalbudgetOptionalchunkMost proofs checked between yields to the event loop. Default 32; the time budget usually yields earlier.
OptionalonCalled after each chunk with proofs checked so far and the total.
OptionalrequireWhen true, a proof without a DLEQ is invalid. The NUT-12 default accepts it ("verify if present").
OptionalsignalChecked between chunks; the call rejects with CallerAbortError.
Milliseconds of work between yields. Default 50, a few frames.