Struct WitnessDefinition 

pub struct WitnessDefinition {
    pub name: String,
    pub claim: String,
    pub baseline: String,
    pub metric: String,
    pub threshold: f64,
    pub data: String,
    pub loc: Loc,
    pub leading_trivia: Vec<Trivia>,
    pub trailing_trivia: Vec<Trivia>,
}

§Fase 69.a — witness <Name> { claim: <ref> against: <baseline> metric: <metric> threshold: <ε> data: <source> }. The Advantage-Witness proof obligation. The compiler proves it WELL-FORMED (§69.a, axon-E0790); the advantage VALUE is computed on real data at deploy/runtime and carried as a verdict (§69.b+). Fields are order-free key: value pairs.

Fields

name: String

claim: String

The primitive instance whose advantage is claimed (e.g. an observable / corpus name, or a quant kernel reference).

baseline: String

The cheaper alternative the claim must beat (a closed-catalog baseline like cosine / flat_retrieval / single_shot, or a reference).

metric: String

How advantage is measured — a closed-catalog metric (geometric_difference, kernel_target_alignment, ranking_lift, outcome_lift).

threshold: f64

The minimum advantage that justifies the cost (ε ≥ 0).

data: String

The real-data source the witness is evaluated on (a ref to an axonstore / corpus / labelled set). Required — advantage cannot be claimed in the abstract.

loc: Loc

leading_trivia: Vec<Trivia>

trailing_trivia: Vec<Trivia>

Trait Implementations

impl Debug for WitnessDefinition

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

Formats the value using the given formatter.