Skip to main content

recursive_reduce

Function recursive_reduce 

Source
pub fn recursive_reduce(bytes: &[u8]) -> RecursiveReduction
Expand description

Recursively symmetry-break an object until nothing reduces it further. Each level applies the compression lens (the MDL description menu) and recurses on the DESCRIPTION — each compression is a symmetry break, and its output becomes the next object. The recursion terminates at the FIXED POINT: the point where no lens shrinks it, the incompressible core.

The terminus is no lens fires — which is “irreducible by this arsenal”, and is NOT, and can never be, “structureless.” Proving no structure exists would be certifying a Kolmogorov lower bound K(x) > c, which the kernel-certified Chaitin theorem in this module says a bounded system can do for no object past its budget. So this function computes the fixed point; the thing it can never output is a proof that the fixed point has no structure.