Struct LocalSendRequest 

pub struct LocalSendRequest<'a> {
    pub target_pid: u64,
    pub sender_pid: u64,
    pub message: Term,
    pub sender_clock: u64,
    pub replay_driver: Option<&'a Arc<Mutex<ReplayDriver>>>,
}

Synchronous request to deliver one message to a local target process.

The message term references the sender’s heap. The call is synchronous, performed inside the sender’s slice while the sender body is alive, so the facility may read/encode the term during the call. The facility MUST NOT store the raw term past the call: the Present branch copies it into the receiver heap immediately; the Executing branch ETF-encodes it to bytes immediately.

Fields

target_pid: u64

PID of the local target process.

sender_pid: u64

PID of the sending process (recorded for replay determinism).

message: Term

The message term, referencing the sender’s heap.

sender_clock: u64

The sender’s logical clock value, already ticked by the caller.

replay_driver: Option<&'a Arc<Mutex<ReplayDriver>>>

Replay driver used to validate recorded delivery determinism.