Enum Op 

pub enum Op {
    SubmitUserMessage {
        op_id: String,
        session_id: String,
        text: String,
    },
    InterruptRun {
        op_id: String,
        session_id: String,
    },
    RequestCompaction {
        op_id: String,
        session_id: String,
    },
    InjectSteeringMessage {
        op_id: String,
        session_id: String,
        content: String,
        injected_at: String,
        injected_by: String,
    },
    ResolveToolApproval {
        op_id: String,
        session_id: String,
        tool_call_id: String,
        approved: bool,
        reason: Option<String>,
    },
}

An input command from a thin driver (CLI or UI) into the runtime.

Drivers NEVER call the engine directly — they only submit Ops through SessionConduit. Discriminated union; forward-compatible — later gates add more Op kinds without changing this contract.

Variants

SubmitUserMessage

Send a new user turn into a session.

Fields

op_id: String

session_id: String

text: String

InterruptRun

Interrupt the active run for a session (cancel the in-flight model/tool loop).

Fields

op_id: String

session_id: String

RequestCompaction

Manually compact the session’s context now — summarize older turns behind a boundary.

Fields

op_id: String

session_id: String

InjectSteeringMessage

Inject a human steering instruction to be applied at the next turn boundary.

Fields

op_id: String

session_id: String

content: String

injected_at: String

injected_by: String

ResolveToolApproval

Resolve a pending tool-call approval (the P0.5 runtime pause).

Fields

op_id: String

session_id: String

tool_call_id: String

approved: bool

reason: Option<String>

Trait Implementations

impl Clone for Op

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Op

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Op

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Op

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

where __S: Serializer,

Serialize this value into the given Serde serializer.