Source-owned compiler and memory binding for the Windows environment foreign-item family. Names remain part of each ABI request because the compiler catalog is keyed by the exact imported shim symbol.

def Miri.Input.EvalWindowsEnvironmentDispatchConstruction.fromSource {Os R P H D O Aff B Host C Error : Type} [DecidableEq Memory.MiriMemoryKind] [DecidableEq Os] (p : CompilerProviders.Prepared) (host : EvalHostRuntimeConstruction.OsHostEffects Os) (hostEffects : EvalHostRuntimeConstruction.EnvironmentHostEffects (EvalWindowsEnvironmentConstruction.InnerControl Os R P H D O Aff B Host)) (memory : EvalWindowsEnvironmentConstruction.Memory Os R P H D O Aff B Host C) (place : Interpreter.PlaceHooks Memory.Provenance (EvalWindowsEnvironmentConstruction.State Os R P H D O Aff B Host) C Interpreter.MachineHooks.FrameExtra) (choice : C) (compatibilityBudget : Nat) (errors : Interpreter.IoError.Hooks (EvalWindowsEnvironmentConstruction.State Os R P H D O Aff B Host) Error) (hostConfig : EvalWindowsEnvironmentConstruction.HostEffects (EvalWindowsEnvironmentConstruction.State Os R P H D O Aff B Host) Os Error) : Except Interpreter.StepError (Interpreter.WindowsEnvironmentDispatch.Hooks (EvalWindowsEnvironmentConstruction.State Os R P H D O Aff B Host) Os Error Interpreter.EnvVars.Kind)

Construct the complete source-owned Windows environment dispatch component from raw OS/environment leaves and the canonical initialized memory bundle. No caller-supplied environment Hooks or independent process/environment store is accepted.

Equations

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