Source unix/fd.rs::read_from_fd and write_to_fd each draw a fresh rng.random() only after the global short-I/O flag, descriptor opt-in, and minimum-length guards. UnixFd.transfer owns those guards and calls this hook at that exact point. This adapter consumes one Boolean from the persistent choice tape per reached source draw; it does not select random payload bytes.

def Miri.Interpreter.UnixFdChoices.randomShort {S : Type} (choices : ExecutionChoices.Access S) : EStateM StepError S Bool

Equations

• Miri.Interpreter.UnixFdChoices.randomShort choices = Miri.Interpreter.ExecutionChoices.boolean choices Miri.Interpreter.ExecutionChoices.BoolSite.shortFdOperation

def Miri.Interpreter.UnixFdChoices.bind {S H D O E Metadata : Type} (choices : ExecutionChoices.Access S) (base : UnixFd.Hooks S H D O E Metadata) : UnixFd.Hooks S H D O E Metadata

Equations

• One or more equations did not get rendered due to their size.