Struct CoresetCertificate 

pub struct CoresetCertificate {
    pub eps_spectral: f64,
    pub eps_likelihood: f64,
    pub dim_effective: usize,
    pub n_selected: usize,
}

Certified coreset error budget carried to race consumers.

Fields

eps_spectral: f64

Spectral approximation radius for the log-determinant term: (1 - eps_spectral)H <= H_C <= (1 + eps_spectral)H on the effective eigenspace.

eps_likelihood: f64

Additive likelihood error radius supplied by the sensitivity coreset on its documented chart ball.

dim_effective: usize

Rank of the factored border plus active-coordinate subspace actually certified. Null directions of the summed row sketch are excluded.

n_selected: usize

Number of distinct rows retained by the coreset.

Implementations

impl CoresetCertificate

pub fn new( eps_spectral: f64, eps_likelihood: f64, dim_effective: usize, n_selected: usize, ) -> Result<Self, String>

pub fn logdet_error_bound(&self) -> f64

Worst-case log-determinant transfer error implied by the spectral certificate.

pub fn race_transfer_margin(&self) -> f64

Race-transfer margin: consumers must require a coreset decision margin strictly above this value before inheriting the full-corpus verdict.

pub fn certify_margin(&self, decision_margin: f64) -> CoresetMarginVerdict

Explicit verdict for a proposed coreset race margin. Consumers should propagate CoresetMarginVerdict::InsufficientMargin instead of making a silent decision below the certificate margin.

Trait Implementations

impl Certificate for CoresetCertificate

fn claim(&self) -> Claim

What this certificate certifies — stable id + human sentence.

fn evidence(&self) -> Evidence

The named evidence quantities behind the claim.

fn verdict(&self) -> Verdict

The conservative verdict. MUST be derived from the certificate’s own (unchanged) decision rule, and MUST return Verdict::Unavailable / Verdict::Insufficient rather than a silent pass when the evidence is missing or below margin.

fn ledger_entry(&self) -> LedgerEntry

Fold claim + evidence + verdict into one ledger record.

impl Clone for CoresetCertificate

fn clone(&self) -> CoresetCertificate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CoresetCertificate

impl Debug for CoresetCertificate

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

Formats the value using the given formatter.

impl PartialEq for CoresetCertificate

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