Portable machine.rs::new initialization on canonical shared storage. Compiler-imported memory, and runtime type identities are supplied explicitly; host poll/native/profiler/clock initialization is not silently replaced by this pure constructor.

structure Miri.Input.InitialMachine.Geometry : Type

• pageSize : UInt64
• stackAddress : UInt64
• stackSize : UInt64

def Miri.Input.InitialMachine.geometry (pointerBits : Nat) (arch : String) (darwin : Bool) (overridePage : Option UInt64) : Except Interpreter.StepError Geometry

Equations

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

structure Miri.Input.InitialMachine.Configuration (Aff B : Type) : Type

• geometry : Geometry
• dummySpan : MIR.SpanRef

  Canonical compiler DUMMY_SP identity; table index zero is not reserved.

• provenance : Memory.AllocAddresses.ProvenanceMode
• addressMode : Memory.AllocAddresses.AddressSpaceMode
• addressStop : UInt64
• addressReuse : Memory.AllocAddresses.AddressReuseConfig
• fixedScheduling : Bool
• trackOutdatedLoads : Bool
• weakMemory : Bool
• backend : Interpreter.RaceMode.Selection B
• trackedTags : Option (Array Memory.BorTag)
• trackedAllocations : Array Memory.AllocId

  Explicit allocation identities selected for source tracking diagnostics. Runtime allocation identities must already have been resolved by the caller.

• validation : Interpreter.ValidityMachine.ValidationMode
• alignment : Interpreter.ValidityMachine.AlignmentCheck
• affinity : Option Aff
• muteOutput : Bool
• hostUsizeBits : Nat

def Miri.Input.InitialMachine.create {Aff B Host Os R P H D O : Type} (config : Configuration Aff B) (memory : Memory.MemoryState Memory.Provenance TreeBorrows.BorrowTree Memory.MiriMemoryKind) (types : RuntimeArrayTypes.World) (choices : Interpreter.ExecutionChoices.Tape) (host : Host) : Except Interpreter.StepError (EvalWorld.State Os R P H D O Aff B Host)

Source-owned empty caches/arenas are constructed here, not supplied as arbitrary MIR operation hooks. Imported memory is retained exactly, and caller must install imported function/vtable salt-zero reservations before execution.

Equations

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