Enum InterventionKind 

pub enum InterventionKind {
    InjectMessage {
        text: String,
        priority: InjectPriority,
    },
    Cancel {
        reason: String,
    },
    PauseResume {
        paused: bool,
    },
    UpdateBudget {
        max_tokens: Option<u64>,
        max_turns: Option<u32>,
    },
    RespondToApproval {
        call_id: String,
        decision: ApprovalDecision,
        note: Option<String>,
    },
}

The complete set of harness-neutral mid-run control primitives.

Exactly five primitives — the whole universal agent-control surface. Each is gated by the harness’s advertised InterventionCapabilities. None is specific to any one harness: Self::InjectMessage and Self::Cancel are universal; Self::PauseResume is the standard suspend/resume any stepped agent loop can expose; Self::UpdateBudget maps onto any harness with token/turn limits; Self::RespondToApproval maps onto any harness with a tool-use / permission gate.

Variants

InjectMessage

Inject an out-of-band user turn into the running agent (steer / redirect / add context).

SUBSUMES “steer”: steering is just an InjectPriority::Interrupt injection. There is no separate Steer/Update variant in the neutral enum.

Fields

text: String

The message text to inject.

priority: InjectPriority

Whether to act now (Interrupt) or queue the turn (Normal).

Cancel

Stop the agent run (this run’s current execution).

This is an observability/control act and is DISTINCT from a workflow-visible cancel/signal, which stays on the engine’s replay-log paths and is NOT an intervention.

Fields

reason: String

Human-readable reason for the cancellation.

PauseResume

Suspend or resume the agent between steps.

Capability-gated: harnesses that cannot suspend mid-step advertise no support for it.

Fields

paused: bool

true to suspend, false to resume.

UpdateBudget

Adjust the run’s resource limits mid-flight.

Fields

max_tokens: Option<u64>

New maximum token budget, when the operator sets one.

max_turns: Option<u32>

New maximum turn budget, when the operator sets one.

RespondToApproval

Answer a pending tool-use / permission gate — human-in-the-loop approval of the agent’s next action.

Fields

call_id: String

Correlation id of the pending approval being answered.

decision: ApprovalDecision

The approve/deny decision.

note: Option<String>

An optional note recorded alongside the decision.

Implementations

impl InterventionKind

pub const fn primitive(&self) -> InterventionPrimitive

The neutral primitive this command belongs to.

Trait Implementations

impl Clone for InterventionKind

fn clone(&self) -> InterventionKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InterventionKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for InterventionKind

fn deserialize<__D>( __deserializer: __D, ) -> Result<InterventionKind, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for InterventionKind

impl PartialEq for InterventionKind

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for InterventionKind

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for InterventionKind

impl TS for InterventionKind

type WithoutGenerics = InterventionKind

If this type does not have generic parameters, then WithoutGenerics should just be Self. If the type does have generic parameters, then all generic parameters must be replaced with a dummy type, e.g ts_rs::Dummy or ().
The only requirement for these dummy types is that EXPORT_TO must be None.

type OptionInnerType = InterventionKind

If the implementing type is std::option::Option<T>, then this associated type is set to T. All other implementations of TS should set this type to Self instead.

fn ident(cfg: &Config) -> String

Identifier of this type, excluding generic parameters.

fn docs() -> Option<String>

JSDoc comment to describe this type in TypeScript - when TS is derived, docs are automatically read from your doc comments or #[doc = ".."] attributes

fn name(cfg: &Config) -> String

Name of this type in TypeScript, including generic parameters

fn decl_concrete(cfg: &Config) -> String

Declaration of this type using the supplied generic arguments. The resulting TypeScript definition will not be generic. For that, see TS::decl(). If this type is not generic, then this function is equivalent to TS::decl().

fn decl(cfg: &Config) -> String

Declaration of this type, e.g. type User = { user_id: number, ... }. This function will panic if the type has no declaration.

fn inline(cfg: &Config) -> String

Formats this types definition in TypeScript, e.g { user_id: number }. This function will panic if the type cannot be inlined.

fn inline_flattened(cfg: &Config) -> String

Flatten a type declaration. This function will panic if the type cannot be flattened.

fn visit_generics(v: &mut impl TypeVisitor)

where InterventionKind: 'static,

Iterates over all type parameters of this type.

fn output_path() -> Option<PathBuf>

Returns the output path to where T should be exported, relative to the output directory. The returned path does not include any base directory.

fn visit_dependencies(v: &mut impl TypeVisitor)

where InterventionKind: 'static,

Iterates over all dependency of this type.

fn dependencies(cfg: &Config) -> Vec<Dependency>

where Self: 'static,

Resolves all dependencies of this type recursively.

fn export(cfg: &Config) -> Result<(), ExportError>

where Self: 'static,

Manually export this type to the filesystem. To export this type together with all of its dependencies, use TS::export_all.

fn export_all(cfg: &Config) -> Result<(), ExportError>

where Self: 'static,

Manually export this type to the filesystem, together with all of its dependencies. To export only this type, without its dependencies, use TS::export.

fn export_to_string(cfg: &Config) -> Result<String, ExportError>

where Self: 'static,

Manually generate bindings for this type, returning a String. This function does not format the output, even if the format feature is enabled.