Struct VerificationEntropy 

pub struct VerificationEntropy {
    pub shannon: f64,
    pub renyi: BTreeMap<OrderedFloat, f64>,
    pub tsallis: f64,
}

Core entropy measurement for a verification system.

Combines three entropy families:

• Shannon — the canonical H = -Σ pᵢ log pᵢ
• Rényi — generalised entropy H_α = (1/(1-α)) log Σ pᵢ^α
• Tsallis — S_q = (1/(q-1)) (1 - Σ pᵢ^q)

Fields

shannon: f64

Shannon entropy H = -Σ pᵢ log₂ pᵢ

renyi: BTreeMap<OrderedFloat, f64>

Rényi entropy keyed by order α

tsallis: f64

Tsallis entropy (q = 2 by default, can be recomputed)

Implementations

impl VerificationEntropy

pub fn from_probabilities(probs: &[f64]) -> Result<Self, EntropyError>

Compute verification entropy from a probability distribution.

probs need not be normalised — we normalise internally. Uses base-2 logarithm (bits).

pub fn from_counts(counts: &[u64]) -> Result<Self, EntropyError>

Convenience: compute from raw hit counts (e.g. per-path execution counts).

pub fn max_shannon(n: usize) -> f64

Maximum possible Shannon entropy for n equiprobable paths.

pub fn normalised(&self) -> f64

Normalised Shannon entropy ∈ [0, 1].

Trait Implementations

impl Clone for VerificationEntropy

fn clone(&self) -> VerificationEntropy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerificationEntropy

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VerificationEntropy

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for VerificationEntropy

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.