Struct RuntimeInputSemantics 

pub struct RuntimeInputSemantics {
    pub boundary: RunApplyBoundary,
    pub execution_kind: RuntimeExecutionKind,
    pub peer_response_terminal_apply_intent: Option<PeerResponseTerminalApplyIntent>,
}

Machine-owned runtime-loop semantics captured at admission.

The runtime loop must not re-read peer conventions, continuation payloads, or handling-mode hints to decide how a dequeued input runs. Admission has already resolved the typed policy/kind tuple; this record is the canonical carrier from that decision point to RunPrimitive construction.

Fields

boundary: RunApplyBoundary

execution_kind: RuntimeExecutionKind

peer_response_terminal_apply_intent: Option<PeerResponseTerminalApplyIntent>

Implementations

impl RuntimeInputSemantics

pub fn from_policy_and_execution_kind( policy: &PolicyDecision, execution_kind: RuntimeExecutionKind, peer_response_terminal_apply_intent: Option<PeerResponseTerminalApplyIntent>, ) -> Self

pub fn from_policy_and_kind(policy: &PolicyDecision, kind: InputKind) -> Self

Trait Implementations

impl Clone for RuntimeInputSemantics

fn clone(&self) -> RuntimeInputSemantics

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RuntimeInputSemantics

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RuntimeInputSemantics

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for RuntimeInputSemantics

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for RuntimeInputSemantics

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for RuntimeInputSemantics

impl Eq for RuntimeInputSemantics

impl StructuralPartialEq for RuntimeInputSemantics