Source entropy shim signatures are rustc-built named queries. Physical machine binding is RandomDispatchMachine; host entropy remains an explicit external effect, whose absence cannot be interpreted as success.

def Miri.Input.CompilerRandomDispatch.unix {S D B I : Type} (abis : CompilerNamedShimAbi.Prepared) (base : Interpreter.UnixRandomDispatch.Hooks S D B I) : Interpreter.UnixRandomDispatch.Hooks S D B I

Equations

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

def Miri.Input.CompilerRandomDispatch.windows {S D B I : Type} (abis : CompilerNamedShimAbi.Prepared) (base : Interpreter.WindowsRandomDispatch.Hooks S D B I) : Interpreter.WindowsRandomDispatch.Hooks S D B I

Equations

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