Struct WireEnvelope 

pub struct WireEnvelope {
    pub operation_id: OperationId,
    pub input_id: InputId,
    pub observed_at_ms: WireU64,
    pub input: KernelInput,
}

The one shape a host may hand the kernel (spec §7.1 calls it KernelEnvelope).

Everything the kernel needs about this delivery lives here and nowhere else:

• operation_id — bound by the first accepted input, immutable afterwards;
• input_id — the caller-suppliable idempotency key (DEC-2). Retrying an intent with the same key must reach the same durable record; hosts mint one only when the caller does not;
• observed_at_ms — the only host clock fact. No business input, effect outcome or external event may carry a second wall clock (§11.2);
• input — the five-class business payload, which never repeats any of the above.

Fields

operation_id: OperationId

input_id: InputId

observed_at_ms: WireU64

input: KernelInput

Implementations

impl WireEnvelope

pub fn new( operation_id: OperationId, input_id: InputId, observed_at_ms: WireU64, input: KernelInput, ) -> Self

Trait Implementations

impl Clone for WireEnvelope

fn clone(&self) -> WireEnvelope

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for WireEnvelope

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for WireEnvelope

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for WireEnvelope

fn eq(&self, other: &WireEnvelope) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for WireEnvelope

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for WireEnvelope