Enum Fidelity 

pub enum Fidelity {
    BitIdentical,
    Composed,
    Envelope,
}

The certified fidelity a kernel meets against the oracle.

Every implementer is a shortcut over the reference implementation, and its fidelity states how faithful the shortcut is proven to be — and by what argument. Admission is one comparison — a kernel serves a run when its fidelity meets the fidelity the run’s Numerics posture demands — so Exact excluding reordering kernels is a consequence, not a special case. A demand is always BitIdentical or Envelope, the two postures; Composed appears only as a cell’s answer, never as a demand.

Variants

BitIdentical

Certified to answer the reference implementation’s exact bits in every build, under either posture, proven by differential test.

Composed

Certified to answer the bits the formula’s composed form answers under the run’s posture: every interior shortcut consults the same chain the composition would, so a bit-identity demand is honored by composing on the reference paths, and under the envelope demand the implementation is exactly as faithful as the composition. The cell inherits the chain’s fidelity rather than certifying an absolute one.

Envelope

Certified to answer within the documented error envelope; the kernel may reorder floating-point math.

Implementations

impl Fidelity

pub fn meets(self, required: Fidelity) -> bool

Whether a kernel certified at self may serve where required is demanded: bit identity and composition serve everywhere — a composed implementation honors a bit-identity demand because its interior chain declines along with everything else — while an envelope serves only envelope demands.

Trait Implementations

impl Clone for Fidelity

fn clone(&self) -> Fidelity

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Fidelity

impl Debug for Fidelity

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

Formats the value using the given formatter.

impl Eq for Fidelity

impl PartialEq for Fidelity

fn eq(&self, other: &Fidelity) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Fidelity