Struct DescriptionBound 

pub struct DescriptionBound {
    pub object_hash: u64,
    pub bytes: usize,
    pub descriptor: Descriptor,
}

A computable upper bound K̄(x) on the Kolmogorov complexity of an object x, over the fixed description language, carrying a re-checkable decode witness.

bytes is the program length (the bound). object_hash is a stable content hash of x. DescriptionBound::verify decodes the descriptor and confirms it reproduces x — an upper bound is only trustworthy because decode(program) = x.

Fields

object_hash: u64

A stable content hash of the described object (order- and value-sensitive).

bytes: usize

The description length in bytes — the certified upper bound K̄(x).

descriptor: Descriptor

The program (in the description language) that reproduces the object.

Implementations

impl DescriptionBound

pub fn of_int_seq(v: &[i64]) -> DescriptionBound

Describe an integer sequence by its shortest generator-menu encoding (Layer 1). The result’s bytes is never larger than the plain-varint length of the sequence.

pub fn of_boolean(truth: &[bool]) -> Option<DescriptionBound>

Describe a Boolean function by its recursive symmetry decomposition (Layer 3), the same certified upper bound as kolmogorov_bound but inside the unified DescriptionBound framework. bytes is the tree’s total description size rounded up to bytes. None if truth.len() is not a power of two.

pub fn verify(&self) -> bool

Re-check the decode witness: decode the descriptor and confirm it reproduces the object whose hash we recorded. This is the whole point of an upper bound — it is trusted only because the program actually reconstructs x. A tampered/corrupt descriptor fails here.

Trait Implementations

impl Clone for DescriptionBound

fn clone(&self) -> DescriptionBound

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DescriptionBound

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

Formats the value using the given formatter.

impl PartialEq for DescriptionBound

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

impl StructuralPartialEq for DescriptionBound