Enum TerminalEvent 

pub enum TerminalEvent {
    AssistantText {
        text: String,
    },
    ToolRequested {
        name: String,
        detail: Option<String>,
    },
    ToolCompleted {
        name: String,
        summary: String,
    },
    ToolDenied {
        name: String,
        reason: String,
    },
    KnowledgeSupplied {
        outcome: KnowledgeOutcome,
        contracts: Vec<SuppliedContractDto>,
        dropped_by_bounds: usize,
    },
    KnowledgeLearned {
        claim: ProposedClaimDto,
    },
    KnowledgeOverridden {
        findings: Vec<OverrideFindingDto>,
    },
    KnowledgeLearningSkipped {
        reason: LearningSkipReason,
    },
    Complete,
    Result {
        message: String,
    },
    QueryResult {
        result: QueryResult,
    },
    Schema {
        schema: SchemaTree,
    },
    NotImplemented {
        feature: String,
    },
    Diagnostic {
        message: String,
    },
    Error {
        message: String,
    },
    ContractList {
        contracts: Vec<ContractView>,
    },
    ContractShow {
        contract: ContractView,
    },
    ContractChanged {
        claim_id: String,
        action: String,
        status: String,
    },
    ContractRemembered {
        claim_id: String,
        object: String,
        kind: String,
        value: String,
        column: Option<String>,
        previous: Option<String>,
        action: String,
        status: String,
    },
    ContractQueue {
        items: Vec<ContractQueueItemView>,
    },
    ContractImport {
        report: ContractImportView,
    },
    ContractExport {
        report: ContractExportView,
    },
}

Variants

AssistantText

Fields

text: String

ToolRequested

Fields

name: String

detail: Option<String>

ToolCompleted

Fields

name: String

summary: String

ToolDenied

Fields

name: String

reason: String

KnowledgeSupplied

What memory supplied to the turn, emitted once before the provider call (spec P1c). Carries the outcome, the supplied contracts (claim DTOs, no opaque identity), and the count the bounds dropped. Text is shaped in [render_memory]; JSON/NDJSON fall out of the serde derive.

Fields

outcome: KnowledgeOutcome

contracts: Vec<SuppliedContractDto>

dropped_by_bounds: usize

KnowledgeLearned

One fact SAYA came away from the turn knowing (AgentEvent::KnowledgeProposed). Emitted once per learned claim, after the answer. Text is shaped in [render_learned] and carries no claim id — learning is not something the user asked for, so it must not hand them a hash to manage. JSON/NDJSON keep the DTO whole, id included, for machine consumers.

Fields

claim: ProposedClaimDto

KnowledgeOverridden

A confirmed claim the turn’s SQL contradicted (spec A1). Emitted at most once per turn, after the loop, carrying every finding the detector raised. The finding says the SQL referenced columns, never that it used them — the extractor cannot prove role. Text is shaped in [render_memory]; JSON/NDJSON fall out of the serde derive.

Fields

findings: Vec<OverrideFindingDto>

KnowledgeLearningSkipped

Post-turn extraction was skipped after the turn succeeded — no memory was recorded, and the line says so (spec packet-54). Trails the answer. Text is shaped in [render_memory]; JSON/NDJSON fall out of the serde derive.

Fields

reason: LearningSkipReason

Complete

Result

Fields

message: String

QueryResult

Fields

result: QueryResult

Schema

Fields

schema: SchemaTree

NotImplemented

Fields

feature: String

Diagnostic

Fields

message: String

Error

Fields

message: String

ContractList

Fields

contracts: Vec<ContractView>

ContractShow

Fields

contract: ContractView

ContractChanged

Fields

claim_id: String

action: String

status: String

ContractRemembered

Fields

claim_id: String

Carried for machine consumers only. The text renderer never prints it: a 64-character hash is the system’s business, and a script that remembers then forgets still needs a handle without a second call.

object: String

kind: String

value: String

column: Option<String>

previous: Option<String>

action: String

status: String

ContractQueue

Fields

items: Vec<ContractQueueItemView>

ContractImport

Fields

report: ContractImportView

ContractExport

Fields

report: ContractExportView

Trait Implementations

impl Clone for TerminalEvent

fn clone(&self) -> TerminalEvent

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TerminalEvent

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

Formats the value using the given formatter.

impl PartialEq for TerminalEvent

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for TerminalEvent

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 TerminalEvent