Struct EmptyCommitment 

pub struct EmptyCommitment;

Wiki ADR-048: the no-commitment baseline. bandwidth_bits = 0, accept_prob = 1, evaluate = true, predicate_count = 0. Direct correspondence to type:Conjunction’s empty case. The foundation-default for PrismModel’s 5th substrate parameter.

Trait Implementations

impl Clone for EmptyCommitment

fn clone(&self) -> EmptyCommitment

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EmptyCommitment

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

Formats the value using the given formatter.

impl Default for EmptyCommitment

fn default() -> EmptyCommitment

Returns the “default value” for a type.

impl PartialEq for EmptyCommitment

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

fn bandwidth_bits(&self) -> f64

Bandwidth in bits the commitment encodes per κ-label. Equal to -log2(accept_prob()) by U6 per ADR-047. The architectural interpretation: each declared predicate is one bit of structural commitment in the κ-label at proportional PRF cost.

fn accept_prob(&self) -> f64

PRF acceptance probability under the random-oracle baseline. Equal to the product of per-predicate acceptances; tight per the Hardening Principle’s U1 + U2 axioms (ADR-047).

fn evaluate(&self, _kappa_label: &[u8]) -> bool

Evaluate the commitment on the κ-label byte sequence. Returns true iff every underlying predicate accepts. Monomorphized per concrete C: TypedCommitment at compile time.

fn predicate_count(&self) -> usize

Number of typed predicates conjuncted in this commitment.

fn predicate_iris(&self) -> &'static [&'static str]

Names the observable:Observable IRIs this commitment evaluates, in AndCommitment-derived left-associative order. Used by the CommitmentEvaluated trace event per ADR-008 + ADR-048.

impl Copy for EmptyCommitment

impl Eq for EmptyCommitment

impl StructuralPartialEq for EmptyCommitment