Struct InducedRuleProvenance 

pub struct InducedRuleProvenance {
    pub rule_id: String,
    pub rule_fragment: String,
    pub source_kind: RuleSourceKind,
    pub generation_trace_hash: String,
    pub search_space_size: u64,
    pub predicate_inventory: Vec<String>,
    pub support_rows: Vec<InductionSupportRow>,
    pub rejected_alternatives: Vec<InductionAlternative>,
    pub falsification_count: u64,
}

Provenance bundle for a generated or induced rule candidate.

Fields

rule_id: String

Stable generated-rule id.

rule_fragment: String

Rule source fragment.

source_kind: RuleSourceKind

Origin class for this rule.

generation_trace_hash: String

Deterministic hash over rule text and search metadata.

search_space_size: u64

Size of the searched candidate space.

predicate_inventory: Vec<String>

Predicate inventory available to the search.

support_rows: Vec<InductionSupportRow>

Rows supporting the accepted candidate.

rejected_alternatives: Vec<InductionAlternative>

Rejected alternatives retained for diagnostics.

falsification_count: u64

Number of falsifying rows for the accepted candidate.

Implementations

impl InducedRuleProvenance

pub fn new( rule_fragment: impl Into<String>, search_space_size: u64, predicate_inventory: Vec<String>, ) -> Self

Create provenance for a generated rule candidate.

pub fn with_support_rows(self, support_rows: Vec<InductionSupportRow>) -> Self

Attach support rows.

pub fn with_rejected_alternatives( self, rejected_alternatives: Vec<InductionAlternative>, ) -> Self

Attach rejected alternatives.

pub fn with_falsification_count(self, falsification_count: u64) -> Self

Attach the accepted candidate’s falsification count.

Trait Implementations

impl Clone for InducedRuleProvenance

fn clone(&self) -> InducedRuleProvenance

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InducedRuleProvenance

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

Formats the value using the given formatter.

impl Eq for InducedRuleProvenance

impl PartialEq for InducedRuleProvenance

fn eq(&self, other: &InducedRuleProvenance) -> 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 StructuralPartialEq for InducedRuleProvenance