Enum TypedAssertion 

pub enum TypedAssertion {
    OutputContains {
        turn: usize,
        values: Vec<String>,
        any: bool,
    },
    WorkspaceFile {
        path: String,
        contains: Vec<String>,
        max_bytes: Option<usize>,
    },
    CommandExit {
        name: String,
        command_ref: String,
        expected_exit_code: i32,
    },
    TraceEvent {
        event_type: String,
        minimum_count: usize,
    },
    ArtifactExists {
        artifact_kind: String,
    },
    AgentEvaluator {
        evaluator_ref: String,
        config: Value,
    },
    Plugin {
        plugin_ref: String,
        config: Value,
    },
}

Versioned typed assertion schema used by immutable Case versions.

Variants

OutputContains

Fields

turn: usize

values: Vec<String>

any: bool

WorkspaceFile

Fields

path: String

contains: Vec<String>

max_bytes: Option<usize>

CommandExit

Fields

name: String

command_ref: String

expected_exit_code: i32

TraceEvent

Fields

event_type: String

minimum_count: usize

ArtifactExists

Fields

artifact_kind: String

AgentEvaluator

Repository-owned evaluator executed by the Agent Runtime against the concrete trace and Workspace produced for this Case.

Fields

evaluator_ref: String

config: Value

Plugin

A custom evaluator that is executed by the isolated executor. The control plane accepts only an attested result for the exact immutable plugin reference; it never loads plugin code into the service process.

Fields

plugin_ref: String

config: Value

Trait Implementations

impl Clone for TypedAssertion

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 TypedAssertion

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TypedAssertion

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for TypedAssertion

impl PartialEq for TypedAssertion

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for TypedAssertion

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 TypedAssertion