Struct RunOutcomeRecord 

pub struct RunOutcomeRecord { /* private fields */ }

A verifier outcome or unresolved observation projected into a run report.

Non-unknown records can only be created from an already validated Outcome. The flattened fields make reports convenient to consume while the embedded outcome preserves the verifier rule, case, hypothesis, stage, and evidence provenance needed to revalidate a serialized record.

Implementations

impl RunOutcomeRecord

pub fn unresolved( subject: EntityId, action_id: impl Into<String>, rationale: impl Into<String>, redacted_summary: impl Into<String>, ) -> Result<RunOutcomeRecord, RunReportError>

Creates the canonical projection for an unresolved observation that did not pass through a verifier case.

pub fn from_outcome( outcome: Outcome, redacted_summary: impl Into<String>, ) -> Result<RunOutcomeRecord, RunReportError>

Projects an existing verifier-owned outcome without weakening its case, rule, confidence, or immutable evidence requirements.

Projection remains informational because verifier success does not by itself establish security impact or finding severity. Outcome also does not carry the orchestration-level VerificationCase transition permission: a knowledge-only Success is therefore not promoted into a finding or confirmed claim here. A future impact policy may add a narrower constructor without weakening this boundary.

pub const fn verification_outcome(&self) -> Option<&Outcome>

Returns the verifier-owned outcome when this is a verification projection. Unresolved compatibility observations return None.

pub fn fingerprint(&self) -> &str

Returns the stable deterministic fingerprint.

pub const fn subject(&self) -> &EntityId

Returns the target subject.

pub fn action_id(&self) -> &str

Returns the producer action or module identity.

pub const fn severity(&self) -> SecuritySeverity

Returns typed severity.

pub const fn disposition(&self) -> OutcomeStatus

Returns the existing verifier disposition vocabulary.

pub const fn confidence(&self) -> Probability

Returns confidence in the projected record.

pub const fn evidence_ids(&self) -> &BTreeSet<EvidenceId>

Returns correlated immutable evidence identifiers.

pub fn rationale(&self) -> &str

Returns the bounded rationale.

pub fn redacted_summary(&self) -> &str

Returns the bounded, redacted evidence summary.

Trait Implementations

impl Clone for RunOutcomeRecord

fn clone(&self) -> RunOutcomeRecord

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RunOutcomeRecord

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RunOutcomeRecord

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for RunOutcomeRecord

impl PartialEq for RunOutcomeRecord

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for RunOutcomeRecord

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 RunOutcomeRecord

impl TryFrom<RunOutcomeRecordWire> for RunOutcomeRecord

type Error = RunReportError

The type returned in the event of a conversion error.

fn try_from( value: RunOutcomeRecordWire, ) -> Result<RunOutcomeRecord, <RunOutcomeRecord as TryFrom<RunOutcomeRecordWire>>::Error>

Performs the conversion.