Function exhaustive_coverage 

pub fn exhaustive_coverage(len: usize) -> CoverageCensus

Exhaustively census EVERY length-len bit sequence (2^len of them): what fraction of the WHOLE space does the lens arsenal cover? The answer is a small sliver — most sequences are incompressible, the residue — which is the concrete, countable face of the Chaitin ceiling. The structured families our lenses catch are real and important, but they are a vanishing fraction of the space; you cannot arrange lenses to cover it all (counting forbids it), and you cannot even certify which points are uncovered (Chaitin forbids that). len ≤ ~18 to stay tractable.