Actual pointer reads and typed memory writes for std-only source shims. Compiler layouts/named-field lookup, host paths, constants and platform ABI queries stay explicit; memory effects pass through canonical race/TB hooks.

def Miri.Interpreter.StdOnlyMachine.hooks {K User C D B I : Type} [DecidableEq K] (access : PlaceMachine.AccessConfig K User) (projection : PlaceProjectionHooks Memory.Provenance (MachineHooks.State K User) C MachineHooks.FrameExtra) (choice : C) (compiler : FrameMetadata.CompilerHooks K User) (misaligned : Memory.Pointer (Option Memory.Provenance) → ABI.Align → MachineHooks.M K User (Option Memory.Misalignment)) (namedField : MIR.TyId → String → MachineHooks.M K User Nat) (base : StdOnlyShims.Hooks Memory.Provenance (MachineHooks.State K User) D (MPlaceTy Memory.Provenance) B I) : StdOnlyShims.Hooks Memory.Provenance (MachineHooks.State K User) D (MPlaceTy Memory.Provenance) B I

Equations

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