pub fn check_empty_forwarding_cut() -> Result<(), ForwardingCutError>Expand description
Inspect an empty forwarding boundary without consuming or resetting it.
The caller must first complete an authenticated counted request through the existing completeness protocol. This inspection establishes only the local empty interval; it is not evidence of coordinator receipt or authorization to replace an image. A native handover must exclude concurrent producers and repeat this check immediately before its physical exec. No syscall, allocation, counter-slot claim, logging, or loss acknowledgment occurs here. Old slots are inspected too: a stale owner cannot make a retained record disappear at the boundary.