Enum AuditStatus 

pub enum AuditStatus {
    Pedagogical,
    PendingExternalReview,
    ProductionReviewed,
}

The audit/review status carried by each entry in default_registry.

This is a minimal accessor, not a verification mechanism: it exists so tests (and future callers) can ask “does a production-reviewed backend exist yet?” without hardcoding backend ids. Today every registered backend is either AuditStatus::Pedagogical or AuditStatus::PendingExternalReview — no AuditStatus::ProductionReviewed entry exists yet. Registering one is itself the claim that external cryptographic review has happened; see tests/refusal.rs’s standing red and tests/riscz_verifier_scaffold.rs’s anti-overclaim regression locks, both of which must keep failing/holding until that review actually lands.

Variants

Pedagogical

Structural/pedagogical stand-in only — not a production trust claim. Gated behind the unaudited-pedagogical-proofs feature at verification time (see [crate::guard_unaudited]).

PendingExternalReview

Integration wired but not yet cryptographically reviewed; not a production trust claim. Used for backends (e.g. BackendId::RiscZero) whose envelope shape and verifier seam exist in-tree, but whose actual verify path has not undergone external cryptographic review. ProofEnvelope::verify always fails closed for backends in this status — the seam exists so that wiring in the audited verifier later is a small, localized change, not a claim that it is safe to trust today.

ProductionReviewed

A production backend that has undergone cryptographic review and carries its own audit evidence. Exempt from the pedagogical unaudited-refusal gate. No backend holds this status yet — it is introduced here only so the registry has somewhere to record one once external review of a production backend actually lands.

Trait Implementations

impl Clone for AuditStatus

fn clone(&self) -> AuditStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for AuditStatus

impl Debug for AuditStatus

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

Formats the value using the given formatter.

impl Eq for AuditStatus

impl PartialEq for AuditStatus

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AuditStatus