pub fn read_completion(records_root: &WorkdirRoot) -> Option<DelegationOutcome>Expand description
The completion the child recorded, or None when it recorded none.
This is what stops one delegation being reported twice: the launcher’s watcher reads the file before reporting anything, and a child that already delivered is not reported again.
records_root is the child’s records directory, outside both sessions’ workdirs and read-only
to their commands wherever the kernel tiers hold. A link at the file is refused and latched on
records_root, and reads as no completion.