Enum TargetKind 

pub enum TargetKind {
    FragileNode {
        node_id: String,
        belief_micros: u64,
    },
    ActiveSyndrome {
        signature: String,
    },
    ThinExport {
        marker: String,
    },
    UnverifiedClaimVersion {
        claim_version_id: ClaimVersionId,
    },
    RefutationGap {
        target_node_id: String,
        claim_version_id: Option<ClaimVersionId>,
    },
    SupersessionVerification {
        claim_version_id: ClaimVersionId,
        supersedes_claim_version_id: ClaimVersionId,
    },
    ComparabilityDrift {
        detail: String,
    },
    CalibrationCaveat {
        marker: String,
    },
    ScopeStale {
        last_import_at: Option<String>,
    },
}

A specific class of verification work identified during orientation.

Each variant carries the data the act phase needs to execute the corresponding oracle or advisory plan.

Variants

FragileNode

Fields

node_id: String

belief_micros: u64

ActiveSyndrome

Fields

signature: String

ThinExport

Fields

marker: String

UnverifiedClaimVersion

Fields

claim_version_id: ClaimVersionId

RefutationGap

Fields

target_node_id: String

claim_version_id: Option<ClaimVersionId>

SupersessionVerification

Fields

claim_version_id: ClaimVersionId

supersedes_claim_version_id: ClaimVersionId

ComparabilityDrift

Fields

detail: String

CalibrationCaveat

Fields

marker: String

ScopeStale

Fields

last_import_at: Option<String>

Implementations

impl TargetKind

pub fn canonical_case_class(&self) -> CanonicalCaseClass

Returns the canonical case class associated with this target kind.

pub fn case_class(&self) -> VerificationCaseClass

Returns the verification case class associated with this target kind.

pub fn primary_claim_version_id(&self) -> Option<ClaimVersionId>

Returns the primary claim version carried by this target, if any.

pub fn stable_key(&self) -> String

Returns the stable key used for history tracking and receipts.

pub fn priority(&self) -> TargetPriority

Returns the scheduling priority implied by this target.

pub fn budget_class(&self) -> BudgetClass

Returns the budget class implied by this target.

pub fn required_artifact_families(&self) -> Vec<String>

Returns the artifact families required to execute this target lawfully.

pub fn lawful_step_ladder(&self) -> Vec<LawfulStepKind>

Returns the lawful step ladder implied by this target.

Trait Implementations

impl Clone for TargetKind

fn clone(&self) -> TargetKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TargetKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TargetKind

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for TargetKind

impl PartialEq for TargetKind

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for TargetKind

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 TargetKind