Struct Evidence 

pub struct Evidence {

    pub id: Uuid,
    pub kind: EvidenceKind,
    pub producer: String,
    pub summary: String,
    pub input_hash: Option<String>,
    pub output_hash: Option<String>,
    pub exit_code: Option<i32>,
    pub success: bool,
    pub started_at: DateTime<Utc>,
    pub completed_at: DateTime<Utc>,
    pub artifacts: Vec<ArtifactRef>,
    pub redacted: bool,
    pub metadata: Value,
    pub assurance_level: AssuranceLevel,
    pub attempt_id: Option<Uuid>,
    pub attempt_sequence: Option<u32>,
    pub action_id: Option<String>,
    pub workspace_generation: Option<u64>,
    pub state_binding: Option<String>,
    pub supersedes: Vec<Uuid>,
}

Runtime evidence that can support one or more criteria.

Fields

id: Uuid

Stable evidence identifier.

kind: EvidenceKind

Evidence category.

producer: String

Tool or runtime producer.

summary: String

Short, reviewable statement of what was observed.

input_hash: Option<String>

Hash of normalized inputs, when applicable.

output_hash: Option<String>

Hash of the complete output.

exit_code: Option<i32>

Process-style exit code, when applicable.

success: bool

Runtime determination, never model prose.

started_at: DateTime<Utc>

Start timestamp.

completed_at: DateTime<Utc>

Completion timestamp.

artifacts: Vec<ArtifactRef>

Content-addressed artifacts.

redacted: bool

Whether sensitive content was removed before persistence.

metadata: Value

Producer-specific, public metadata.

assurance_level: AssuranceLevel

Assurance boundary in which the observation was made.

attempt_id: Option<Uuid>

Stable identifier shared by evidence from one logical attempt.

attempt_sequence: Option<u32>

Monotonically increasing attempt sequence used to prove supersession order.

action_id: Option<String>

Runtime-owned action identifier that caused this observation.

workspace_generation: Option<u64>

Workspace generation observed by this evidence.

state_binding: Option<String>

Digest or other canonical binding for the observed workspace state.

supersedes: Vec<Uuid>

Earlier evidence explicitly replaced by this later attempt.

Implementations

impl Evidence

pub fn observed( kind: EvidenceKind, producer: impl Into<String>, summary: impl Into<String>, input: Option<&Value>, output: Option<&[u8]>, exit_code: Option<i32>, success: bool, ) -> Self

Creates runtime evidence and hashes its JSON input/output values.

pub fn with_attempt(self, attempt_id: Uuid, sequence: u32) -> Self

Associates this observation with a logical, ordered attempt.

pub fn with_action(self, action_id: impl Into<String>) -> Self

Associates this observation with a runtime-owned action identifier.

pub fn bound_to_workspace( self, generation: u64, state_binding: Option<String>, ) -> Self

Binds this observation to a workspace generation and optional state digest.

pub fn with_assurance(self, assurance_level: AssuranceLevel) -> Self

Records the observation’s execution assurance.

pub fn superseding(self, evidence_ids: impl IntoIterator<Item = Uuid>) -> Self

Explicitly replaces evidence from one or more earlier attempts.

Trait Implementations

impl Clone for Evidence

fn clone(&self) -> Evidence

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Evidence

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Evidence

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Evidence

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Evidence

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 Evidence