Struct Budget 

pub struct Budget {
    pub max_gaussian_dim: usize,
}

The prover’s own description budget — the operational Chaitin ceiling. Kolmogorov complexity lower bounds are only certifiable up to what the prover can itself re-check; beyond a resource bound we decline rather than over-claim. Every lower-bound (incompressibility) path is gated by a Budget and returns a documented Refusal instead of a certificate when a bound is exceeded. (Upper bounds — DescriptionBound — are always safe to compute: you can only be pleasantly surprised by a shorter description.)

Fields

max_gaussian_dim: usize

The largest GF(2) system (in variables) whose kernel basis we will materialize and re-check.

Implementations

impl Budget

pub fn standard() -> Budget

The standard budget: caps the GF(2) kernel-basis materialization at [RIGIDITY_MAX_VARS].

Trait Implementations

impl Clone for Budget

fn clone(&self) -> Budget

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Budget

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

Formats the value using the given formatter.

impl Copy for Budget