Struct Intervention 

pub struct Intervention {
    pub trigger: Trigger,
    pub context: String,
    pub text: String,
    pub aftermath: String,
    pub at: usize,
    pub tools_before: Vec<String>,
    pub tools_after: Vec<String>,
}

One moment in a transcript where the user stepped in.

Fields

trigger: Trigger

context: String

What mecha was doing at that point, compact.

text: String

What the user said, or what was denied.

aftermath: String

How the assistant responded after the intervention. Without this a reflector cannot tell a correction from a test the model passed — the first false lesson in this store was exactly that, caught by mecha validate probing it.

at: usize

Index of the message the intervention rides in. What lets provenance classification look up the taint covering this exact moment rather than guessing from the whole session.

tools_before: Vec<String>

Names of the tools the assistant was calling around the intervention — names only, never arguments. A tool name comes from the registry’s closed set, so it survives into Intervention::user_evidence_only where every model-authored byte is withheld.

tools_after: Vec<String>

Tool names called after the intervention, same rule.

Implementations

impl Intervention

pub fn user_evidence_only(&self) -> Intervention

The clean-evidence view: the user’s own typed words and registry-owned tool names, with every assistant-authored excerpt withheld.

This is what the reflector sees when the conversation’s taint cannot prove the excerpts clean — see evidence_for. The markers say the withholding happened, so the reflector reasons from absence rather than mistaking it for the start of a task; its frame tells it to prefer skip when the user’s words alone carry no lesson.

Trait Implementations

impl Clone for Intervention

fn clone(&self) -> Intervention

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Intervention

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

Formats the value using the given formatter.