Struct JointRankCertificate 

pub struct JointRankCertificate {
    pub spectrum: Vec<f64>,
    pub tol: f64,
    pub gap: f64,
}

The joint-rank decision an audit took, kept with the margin that makes it transportable (#2337 §8 Thm 8.3).

An identifiability audit ranks the design at ONE operating point, but the fit then moves that point. A bare rank cannot say whether it still holds after the move; a rank plus its certified gap can, because the gap converts into a radius (gam_linalg::decision::rank_transport_radius) inside which no operator perturbation can change the decision. Recorded here so a later audit can price its own excursion against the earlier one’s margin instead of comparing two bare integers. Held as the raw ingredients of the decision rather than a decision object, so this stays plain data per the module contract AND so there is one source of truth: a consumer re-derives the verdict with gam_linalg::decision::certified_rank(&spectrum, tol, gap) instead of trusting a stored copy that could drift from the spectrum beside it.

Fields

spectrum: Vec<f64>

The equilibrated penalty-augmented joint spectrum, descending. Two spectra of the same operator family give a Weyl LOWER bound on the operator excursion between their operating points (gam_linalg::decision::spectral_excursion_lower_bound) — enough to prove an earlier certificate VOID, never enough to prove it carries.

tol: f64

Tolerance the decision was posed at.

gap: f64

Multiplicative half-gap the decision was posed with.

Trait Implementations

impl Clone for JointRankCertificate

fn clone(&self) -> JointRankCertificate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for JointRankCertificate

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

Formats the value using the given formatter.