Struct DiscreteFullConformalSet 

pub struct DiscreteFullConformalSet {
    pub members: Vec<f64>,
    pub candidates: Vec<DiscreteCandidate>,
    pub alpha: f64,
    pub n_augmented: usize,
    pub lower_tail_unresolved: Option<f64>,
    pub upper_tail_unresolved: Option<f64>,
}

Exact full-conformal prediction set for a DISCRETE response family, computed by enumeration of candidate responses with one symmetric refit per candidate (#942 Layer 2, discrete arm).

There is no homotopy and no approximation anywhere in this object: for each candidate z the fitting map is run to its optimum, the n+1 scores are ranked, and the candidate is kept iff its conformal p-value exceeds α. Validity is the standard full-conformal argument — exchangeability of the n+1 rows plus symmetry of the map — and EXACTNESS is by construction (the support is finite or explicitly windowed; every retained candidate was actually refit).

Fields

members: Vec<f64>

Retained candidates, ascending.

candidates: Vec<DiscreteCandidate>

Every enumerated candidate with its p-value (diagnostics; the boundary-adjacent p-values are the discrete analogue of Layer 1’s boundary_margin).

alpha: f64

n_augmented: usize

n + 1.

lower_tail_unresolved: Option<f64>

Some(z_first) when the SMALLEST enumerated candidate was a member of a WINDOWED enumeration — the retained set may continue contiguously below the window. Always None for exhaustive supports (the Bernoulli arm). For a windowed support, None only says the retained set does not continue through the enumerated edge; absent a monotone-tail theorem for the fitting map, it says nothing about non-contiguous retained candidates farther outside the window.

upper_tail_unresolved: Option<f64>

Mirror of lower_tail_unresolved for the largest candidate.

Trait Implementations

impl Clone for DiscreteFullConformalSet

fn clone(&self) -> DiscreteFullConformalSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DiscreteFullConformalSet

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

Formats the value using the given formatter.