Enum ResolvedVerificationTarget 

#[non_exhaustive]
pub enum ResolvedVerificationTarget {
    Hypothesis(String),
    KnowledgeOnly,
}

Plan-time resolution of the claim an action outcome may transition.

The planner resolves both VerificationTarget::Motivation and VerificationTarget::Distinct to an existing hypothesis identity. Self::KnowledgeOnly deliberately resolves to no transition target; the motivating hypothesis remains available separately on PlanStep for utility provenance and audit correlation.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Hypothesis(String)

A conclusive outcome may transition this pre-existing hypothesis.

KnowledgeOnly

The action outcome is auditable but cannot transition a hypothesis.

Implementations

impl ResolvedVerificationTarget

pub fn hypothesis_id(&self) -> Option<&str>

Returns the hypothesis a conclusive outcome may transition, if any.

pub fn applies_hypothesis_transition(&self) -> bool

Returns whether this target authorizes a hypothesis-state transition.

Trait Implementations

impl Clone for ResolvedVerificationTarget

fn clone(&self) -> ResolvedVerificationTarget

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResolvedVerificationTarget

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

Formats the value using the given formatter.

impl Eq for ResolvedVerificationTarget

impl PartialEq for ResolvedVerificationTarget

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ResolvedVerificationTarget

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 ResolvedVerificationTarget