Enum VerificationTarget 

#[non_exhaustive]
pub enum VerificationTarget {
    Motivation,
    Distinct(HypothesisSelector),
    KnowledgeOnly,
}

What a conclusive outcome may transition, kept distinct from the confidence hypothesis that motivated planning the action.

The default, Self::Motivation, preserves the historical behavior where a Success confirms the same hypothesis the planner used for confidence. The other variants let an action’s justification for running differ from the claim its result verifies — the core of claim discipline.

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.

Motivation

Confirm the confidence (motivation) hypothesis. Historical default.

Distinct(HypothesisSelector)

Confirm a distinct, already-supported result hypothesis instead of the motivation hypothesis.

KnowledgeOnly

Record the outcome (which may be Success) without transitioning any hypothesis state. “The action’s objective was achieved” is not “the motivating hypothesis was conclusively verified”.

Trait Implementations

impl Clone for VerificationTarget

fn clone(&self) -> VerificationTarget

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerificationTarget

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

Formats the value using the given formatter.

impl Default for VerificationTarget

fn default() -> VerificationTarget

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for VerificationTarget

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for VerificationTarget

impl PartialEq for VerificationTarget

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for VerificationTarget

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 VerificationTarget