Struct CertificateLedger 

pub struct CertificateLedger { /* private fields */ }

The fit’s certificate ledger: every certificate the fit produced, keyed by claim id, in stable order. This is the single inspectable artifact that replaces the scattered per-feature payload keys.

The ledger never fabricates a verdict: a claim that was not evaluated simply is absent (queried as Verdict::Unavailable via Self::verdict_of).

Implementations

impl CertificateLedger

pub fn new() -> Self

pub fn record<C: Certificate>(&mut self, certificate: &C)

Record one certificate. If two certificates share a claim id, they are combined conservatively: the retained verdict is the WEAKER of the two (so duplicate evidence can never upgrade a claim past its weakest witness), and the evidence of the weaker verdict is kept.

pub fn record_entry(&mut self, entry: LedgerEntry)

Record a pre-built entry (for certificates whose owning type lives behind a boundary that only hands back the folded record).

pub fn verdict_of(&self, claim_id: &str) -> Verdict

The verdict for a claim id, or Verdict::Unavailable if the fit never recorded it — the absence of a certificate is “no claim”, never a pass.

pub fn entries(&self) -> impl Iterator<Item = &LedgerEntry>

All recorded entries in stable (claim-id) order.

pub fn is_empty(&self) -> bool

pub fn len(&self) -> usize

pub fn overall(&self) -> Verdict

The conservative roll-up across the whole ledger: the WEAKEST verdict of any recorded claim (the meet over the soundness lattice). An empty ledger rolls up to Verdict::Unavailable. This is the single number that answers “did everything this fit could certify, certify?” — and it cannot be stronger than its weakest member.

Trait Implementations

impl Clone for CertificateLedger

fn clone(&self) -> CertificateLedger

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CertificateLedger

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

Formats the value using the given formatter.

impl Default for CertificateLedger

fn default() -> CertificateLedger

Returns the “default value” for a type.

impl PartialEq for CertificateLedger

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