Enum EvalSummary 

pub enum EvalSummary {
    Validated {
        accuracy: f64,
    },
    NotValidated,
}

Whether a built site’s lessons carry eval validation, and at what accuracy.

A represented state (§1.2), never a missing-file inference: the effectful shell decides whether a report is present and hands the pure assembly an explicit value, so the eval-results page can always distinguish “validated at N%” from “not validated”. A missing report can never masquerade as a real 0%.

Variants

Validated

Evals were run; accuracy is the figure the Slice-13 report recorded, carried through as-is (§3.2) and only formatted — never recomputed here.

Fields

accuracy: f64

The suite’s accuracy as recorded, a fraction in [0.0, 1.0].

NotValidated

No eval report accompanied the course — the page says so explicitly.

Implementations

impl EvalSummary

pub const VALIDATED_MARKER: &'static str = r#"data-eval-status="validated""#

The data-eval-status body attribute the validated page carries. The single source for the marker, so the page and any probe asserting it cannot drift; mutually exclusive — as a substring — with Self::NOT_VALIDATED_MARKER, so asserting one present and the other absent pins the state unambiguously.

pub const NOT_VALIDATED_MARKER: &'static str = r#"data-eval-status="not-validated""#

The data-eval-status body attribute the not-validated page carries — the observable form of the EvalSummary::NotValidated state (§1.2).

Trait Implementations

impl Clone for EvalSummary

fn clone(&self) -> EvalSummary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EvalSummary

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

Formats the value using the given formatter.

impl PartialEq for EvalSummary

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