A pending capture is not complete and cannot justify workload continuation.
The runtime returns it at a safe boundary; the owning run policy must drain
and retry or report its declared pause/failure, never turn it into success.
450def captureCanContinue =
451 (lambda unrestricted required : Nat .
452 (lambda unrestricted decision : Nat .
453 (naturalAnd
454 (naturalLessOrEqual required 1)
455 (naturalOr
456 (naturalLessOrEqual decision 1)
457 (naturalAnd (naturalEqual required 0) (naturalEqual decision 2))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.