Windows-specific source call assembly. It constructs Common and Windows environment/error state from compiler facts and the live machine providers; Unix host configuration and Unix callback records are deliberately absent. Windows operation components can then be attached against this exact Main state by connectComponents.

@[reducible, inline]

abbrev Miri.Input.EvalWindowsCallDispatchConstruction.Other (Raw Listener TcpStream Error : Type) : Type

Equations

• Miri.Input.EvalWindowsCallDispatchConstruction.Other Raw Listener TcpStream Error = Miri.Input.EvalSocketStorage.Other Raw Listener TcpStream Error

@[reducible, inline]

abbrev Miri.Input.EvalWindowsCallDispatchConstruction.Host (Poll Instant System H D Raw Listener TcpStream Error Native Profiler : Type) : Type

Equations

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

@[reducible, inline]

abbrev Miri.Input.EvalWindowsCallDispatchConstruction.Payload : Type

Equations

• Miri.Input.EvalWindowsCallDispatchConstruction.Payload = Miri.Input.EvalSyncPayload.Payload

@[reducible, inline]

abbrev Miri.Input.EvalWindowsCallDispatchConstruction.State (Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error : Type) : Type

Equations

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

@[reducible, inline]

abbrev Miri.Input.EvalWindowsCallDispatchConstruction.CoreState (Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error : Type) : Type

Equations

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

structure Miri.Input.EvalWindowsCallDispatchConstruction.SourceSeed (Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error C : Type) : Type

• osHost : EvalHostRuntimeConstruction.OsHostEffects Os
• environmentHost : EvalHostRuntimeConstruction.EnvironmentHostEffects (EvalWindowsEnvironmentConstruction.InnerControl Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler))
• environmentHostConfig : EvalWindowsEnvironmentConstruction.HostEffects (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) Os Error
• ioHost : EvalUnixConstruction.IoHostEffects (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) Error
• memory : EvalWindowsEnvironmentConstruction.Memory Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler) C
• place : Interpreter.PlaceHooks Memory.Provenance (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) C Interpreter.MachineHooks.FrameExtra
• choice : C
• compatibilityBudget : Nat
• userRelevantCrates : Array Nat

structure Miri.Input.EvalWindowsCallDispatchConstruction.Assembly (Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error C Meta Path Zone Timestamp : Type) : Type

• common : EvalForeignConstruction.Common (CoreState Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error)
• foreign : Interpreter.ForeignItems.Core Memory.Provenance (CoreState Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) (Interpreter.RuntimePlace Memory.Provenance) (Interpreter.RuntimePlace Memory.Provenance) (Memory.Pointer (Option Memory.Provenance)) Interpreter.LoadedBody Interpreter.CallInstance
• environment : Interpreter.WindowsEnvironmentDispatch.Hooks (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) Os Error Interpreter.EnvVars.Kind
• errors : Interpreter.IoError.Hooks (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) Error
• osHost : EvalHostRuntimeConstruction.OsHostEffects Os
• environmentHost : EvalHostRuntimeConstruction.EnvironmentHostEffects (EvalWindowsEnvironmentConstruction.InnerControl Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler))
• environmentHostConfig : EvalWindowsEnvironmentConstruction.HostEffects (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) Os Error
• place : Interpreter.PlaceHooks Memory.Provenance (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) C Interpreter.MachineHooks.FrameExtra
• choice : C
• compatibilityBudget : Nat
• userRelevantCrates : Array Nat
• sourceSeed : SourceSeed Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error C
• memory : EvalWindowsEnvironmentConstruction.Memory Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler) C
• components : Option (EvalWindowsSourceConstruction.Components Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler) C Error Meta Path System)
• time : Option (Interpreter.TimeShimDispatch.Hooks (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) Instant System Zone Timestamp)
• sync : Option (Interpreter.WindowsSyncDispatch.Hooks (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) Concurrency.TypedSyncRuntime.Ref)
• platform : Option (Interpreter.WindowsPlatformDispatch.Hooks (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) Os Error Interpreter.EnvVars.Kind (EvalWindowsFileConstruction.Ref H D (Other Raw Listener TcpStream Error)))

def Miri.Input.EvalWindowsCallDispatchConstruction.fromSource {Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error C Meta Path Zone Timestamp : Type} [DecidableEq Memory.MiriMemoryKind] [DecidableEq Os] (p : CompilerProviders.Prepared) (nativeLibraryPaths : CoreState Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error → Array String) (callNative : String → Interpreter.MPlaceTy Memory.Provenance → Array (Interpreter.OpTy Memory.Provenance) → EStateM Interpreter.StepError (CoreState Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) Bool) (access : Interpreter.ValidityMachine.Access Memory.MiriMemoryKind (EvalForeignConstruction.Stored Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (HostRuntime.Storage Poll Instant System H D (Other Raw Listener TcpStream Error) Native Profiler))) (allocation : Interpreter.PlaceMachine.AllocationConfig Memory.MiriMemoryKind (EvalForeignConstruction.User Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (HostRuntime.Storage Poll Instant System H D (Other Raw Listener TcpStream Error) Native Profiler))) (extras : Interpreter.MemoryExtras.Hooks Memory.MiriMemoryKind (EvalForeignConstruction.User Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (HostRuntime.Storage Poll Instant System H D (Other Raw Listener TcpStream Error) Native Profiler)) EvalSyncPayload.Payload) (deallocationDiagnostic : Memory.AllocId → Interpreter.PlaceMachine.MachineM Memory.MiriMemoryKind (EvalForeignConstruction.User Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (HostRuntime.Storage Poll Instant System H D (Other Raw Listener TcpStream Error) Native Profiler)) Unit) (nativeDrop : Option (Memory.Allocation Memory.Provenance TreeBorrows.BorrowTree → Interpreter.MachineHooks.M Memory.MiriMemoryKind (EvalForeignConstruction.User Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (HostRuntime.Storage Poll Instant System H D (Other Raw Listener TcpStream Error) Native Profiler)) Unit)) (pointer : Interpreter.PointerMachine.Hooks Memory.MiriMemoryKind (Interpreter.ValidityMachine.Control (EvalForeignConstruction.Stored Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (HostRuntime.Storage Poll Instant System H D (Other Raw Listener TcpStream Error) Native Profiler)))) (spans : Interpreter.AllocationDriver.SpanHooks) (corePlace : Interpreter.PlaceHooks Memory.Provenance (CoreState Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) C Interpreter.MachineHooks.FrameExtra) (place : Interpreter.PlaceHooks Memory.Provenance (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) C Interpreter.MachineHooks.FrameExtra) (callFunction : C → Interpreter.CallInstance → Array (Interpreter.RvalueImmTy Memory.Provenance) → Interpreter.ReturnContinuation → EStateM Interpreter.StepError (CoreState Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) Unit) (choice : C) (osHost : EvalHostRuntimeConstruction.OsHostEffects Os) (environmentHost : EvalHostRuntimeConstruction.EnvironmentHostEffects (EvalWindowsEnvironmentConstruction.InnerControl Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler))) (memory : EvalWindowsEnvironmentConstruction.Memory Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler) C) (environmentHostConfig : EvalWindowsEnvironmentConstruction.HostEffects (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) Os Error) (ioHost : EvalUnixConstruction.IoHostEffects (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) Error) (compatibilityBudget : Nat) (debugAssertions : Bool) (userRelevantCrates : Array Nat) : EStateM Interpreter.StepError (CoreState Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) (Assembly Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error C Meta Path Zone Timestamp)

Build the Windows Core and canonical environment from source-owned compiler, memory, ABI, and host leaves. components starts empty because the remaining Windows file/thread callbacks require the live Main hooks; callers attach them with connectComponents, which checks that same prepared target.

Equations

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

def Miri.Input.EvalWindowsCallDispatchConstruction.connectComponents {Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error C Meta Path Zone Timestamp : Type} [DecidableEq Memory.MiriMemoryKind] [DecidableEq Os] (p : CompilerProviders.Prepared) (assembly : Assembly Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error C Meta Path Zone Timestamp) (main : Interpreter.MainMachine.Hooks (EvalWindowsFileConstruction.Payload Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler)) C (Other Raw Listener TcpStream Error) ABI.ExternAbi (ABI.FnAbi MIR.TyId) (ABI.ArgAbi MIR.TyId) Aff Interpreter.ProgramExitPoll) (fileRegistry : Interpreter.Files.Hooks (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) H D (Other Raw Listener TcpStream Error) Error Meta) (readiness : Interpreter.ReadinessMachine.Hooks Memory.MiriMemoryKind (Interpreter.ThreadStacks.Storage (EvalWindowsFileConstruction.Payload Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler))) H D (Other Raw Listener TcpStream Error)) (sharedOpen : Interpreter.UnixOpen.Hooks (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) H D (Other Raw Listener TcpStream Error) Error Meta Path) (prepareDirectory : D → Path → EStateM Interpreter.StepError (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) D) (otherMetadata : Other Raw Listener TcpStream Error → EStateM Interpreter.StepError (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) (Except (Interpreter.IoError.HostError Error) Meta ⊕ String)) (timeHooks : Interpreter.TimeShims.Hooks (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) Instant System Zone Timestamp) (hostFiles : EvalWindowsFileConstruction.HostEffects Os (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) Path H D (Other Raw Listener TcpStream Error) Meta System Error) (checkPointerAccess : Memory.Pointer (Option Memory.Provenance) → ABI.Size → EStateM Interpreter.StepError (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) Unit) (projection : Interpreter.PlaceProjectionHooks Memory.Provenance (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) C Interpreter.MachineHooks.FrameExtra) (threadError : Concurrency.ThreadError → Interpreter.StepError) : Except Interpreter.StepError (Assembly Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error C Meta Path Zone Timestamp)

Attach the actual Windows environment, file, and thread constructors to the live Main callbacks and canonical registries. All inputs are raw source capabilities or existing world components; no caller supplies completed Windows guest hooks.

Equations

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

def Miri.Input.EvalWindowsCallDispatchConstruction.connectWithTimeSync {Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error C Meta Path Zone Timestamp : Type} [DecidableEq Memory.MiriMemoryKind] [DecidableEq Os] (p : CompilerProviders.Prepared) (assembly : Assembly Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error C Meta Path Zone Timestamp) (main : Interpreter.MainMachine.Hooks (EvalWindowsFileConstruction.Payload Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler)) C (Other Raw Listener TcpStream Error) ABI.ExternAbi (ABI.FnAbi MIR.TyId) (ABI.ArgAbi MIR.TyId) Aff Interpreter.ProgramExitPoll) (objects : Interpreter.ForeignSyncMachine.Objects (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error)) (atomic : Interpreter.AtomicAccessHooks Memory.Provenance (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) C (Interpreter.RuntimePlace Memory.Provenance)) (projection : Interpreter.PlaceProjectionHooks Memory.Provenance (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) C Interpreter.MachineHooks.FrameExtra) (deadline : Interpreter.DeadlineMachine.Hooks Memory.MiriMemoryKind (Interpreter.ExecutionStateTransport.Inner (EvalWorld.World Os R EvalSyncPayload.Payload H D (Other Raw Listener TcpStream Error) Aff B (HostRuntime.Storage Poll Instant System H D (Other Raw Listener TcpStream Error) Native Profiler))) Instant System) (functions : Interpreter.FunctionPointers.Hooks Memory.MiriMemoryKind (Interpreter.ValidityMachine.UserState (Interpreter.ThreadStacks.Storage (EvalWorld.World Os R EvalSyncPayload.Payload H D (Other Raw Listener TcpStream Error) Aff B (HostRuntime.Storage Poll Instant System H D (Other Raw Listener TcpStream Error) Native Profiler)))) (Other Raw Listener TcpStream Error)) (syncEffects : Interpreter.TypedSyncMachine.Effects (EvalTypedSyncMachine.State Os R Payload H D (Other Raw Listener TcpStream Error) Aff B Poll Instant System Native Profiler)) (clock : Interpreter.Clock.HostHooks Instant System (EvalTimeConstruction.State Os R Payload H D (Other Raw Listener TcpStream Error) Aff B Poll Instant System Native Profiler)) (systemDurationSince : System → System → EStateM Interpreter.StepError (EvalTimeConstruction.State Os R Payload H D (Other Raw Listener TcpStream Error) Aff B Poll Instant System Native Profiler) (Option Interpreter.Clock.Duration)) (timezoneString : Os → Except Unit String) (communicate : Bool) (timeHost : EvalTimeConstruction.HostEffects (EvalTimeConstruction.State Os R Payload H D (Other Raw Listener TcpStream Error) Aff B Poll Instant System Native Profiler) Zone Timestamp) (fileRegistry : Interpreter.Files.Hooks (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) H D (Other Raw Listener TcpStream Error) Error Meta) (readiness : Interpreter.ReadinessMachine.Hooks Memory.MiriMemoryKind (Interpreter.ThreadStacks.Storage (EvalWindowsFileConstruction.Payload Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler))) H D (Other Raw Listener TcpStream Error)) (sharedOpen : Interpreter.UnixOpen.Hooks (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) H D (Other Raw Listener TcpStream Error) Error Meta Path) (prepareDirectory : D → Path → EStateM Interpreter.StepError (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) D) (otherMetadata : Other Raw Listener TcpStream Error → EStateM Interpreter.StepError (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) (Except (Interpreter.IoError.HostError Error) Meta ⊕ String)) (hostFiles : EvalWindowsFileConstruction.HostEffects Os (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) Path H D (Other Raw Listener TcpStream Error) Meta System Error) (checkPointerAccess : Memory.Pointer (Option Memory.Provenance) → ABI.Size → EStateM Interpreter.StepError (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) Unit) (threadError : Concurrency.ThreadError → Interpreter.StepError) : Except Interpreter.StepError (Assembly Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error C Meta Path Zone Timestamp)

Canonical source connection for Windows time and synchronization. This derives both guest hook dictionaries from the same environment/memory/Main, typed sync objects, selected atomic backend, deadline registry, compiler facts, and raw chrono leaves before attaching the base environment/file/thread components.

Equations

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

def Miri.Input.EvalWindowsCallDispatchConstruction.connectPlatformFromSource {Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error C Meta Path Zone Timestamp : Type} [DecidableEq Memory.MiriMemoryKind] [DecidableEq Os] (p : CompilerProviders.Prepared) (assembly : Assembly Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error C Meta Path Zone Timestamp) (main : Interpreter.MainMachine.Hooks (EvalWindowsFileConstruction.Payload Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler)) C (Other Raw Listener TcpStream Error) ABI.ExternAbi (ABI.FnAbi MIR.TyId) (ABI.ArgAbi MIR.TyId) Aff Interpreter.ProgramExitPoll) (extras : Interpreter.MemoryExtras.Hooks Memory.MiriMemoryKind (Interpreter.PointerMachine.User (EvalWindowsEnvironmentConstruction.InnerControl Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler))) Payload) (spans : Interpreter.AllocationDriver.SpanHooks) (embed : Interpreter.WindowsPlatform.DynamicSymbol → Other Raw Listener TcpStream Error) (projection : Interpreter.PlaceProjectionHooks Memory.Provenance (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) C Interpreter.MachineHooks.FrameExtra) (host : EvalWindowsPlatformConstruction.HostEffects (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) Os Error) (unwind : Interpreter.Unwind.Hooks Memory.MiriMemoryKind (Interpreter.ThreadStacks.Storage (EvalWindowsFileConstruction.Payload Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler))) C (Other Raw Listener TcpStream Error)) : Except Interpreter.StepError (Assembly Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error C Meta Path Zone Timestamp)

Attach the Main-bound Windows platform family from its raw host leaves and the same prepared Main/environment/memory. Heap and process operations are therefore constructed against the live Main state rather than supplied as a completed guest dispatcher.

Equations

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

def Miri.Input.EvalWindowsCallDispatchConstruction.callbackProductFromSource {Os R H D Raw Listener TcpStream Error Aff B Poll Instant System Native Profiler C : Type} [DecidableEq Os] (main : Interpreter.MainMachine.Hooks (EvalWindowsFileConstruction.Payload Os R Payload H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler)) C (Other Raw Listener TcpStream Error) ABI.ExternAbi (ABI.FnAbi MIR.TyId) (ABI.ArgAbi MIR.TyId) Aff Interpreter.ProgramExitPoll) (effects : Interpreter.TypedSyncMachine.Effects (EvalTypedSyncMachine.State Os R Payload H D (Other Raw Listener TcpStream Error) Aff B Poll Instant System Native Profiler)) : Except Interpreter.StepError (EvalWindowsCallbackSourceConstruction.Product Os R Payload H D (Other Raw Listener TcpStream Error) Aff B Poll Instant System Native Profiler C ABI.ExternAbi (ABI.FnAbi MIR.TyId) (ABI.ArgAbi MIR.TyId))

Equations

• Miri.Input.EvalWindowsCallDispatchConstruction.callbackProductFromSource main effects = Miri.Input.EvalWindowsCallbackSourceConstruction.fromSource main effects

def Miri.Input.EvalWindowsCallDispatchConstruction.foreignFromAssembly {Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error C Meta Path Zone Timestamp : Type} [DecidableEq Os] (p : CompilerProviders.Prepared) (assembly : Assembly Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error C Meta Path Zone Timestamp) (mathHooks : Interpreter.Math.Hooks Memory.Provenance (CoreState Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) C (Interpreter.RuntimePlace Memory.Provenance)) (configuration : HostRuntime.Configuration) (hostFill : Option (Nat → EStateM Interpreter.StepError (State Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) (Except String ByteArray))) : Except Interpreter.StepError (Interpreter.ForeignItems.Hooks Memory.Provenance (CoreState Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) (Interpreter.RuntimePlace Memory.Provenance) (Interpreter.RuntimePlace Memory.Provenance) (Memory.Pointer (Option Memory.Provenance)) Interpreter.LoadedBody Interpreter.CallInstance)

Produce the Windows foreign interpreter on CoreState from the prepared Common/Core and the source-built Windows components. The Core dictionary is transported losslessly to the Main/thread state so environment, file and TLS operations mutate the same world, then returned to the interpreter state. Calls for unfinished families remain demand-local Unsupported through the Windows source resolver.

Equations

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