pub fn boolean_function_census(n: usize) -> Option<BooleanCensus>Expand description
Exhaustively classify every Boolean function on n variables by the deep finder’s winning axis.
None for n = 0 or n > 4 (beyond 2^{2⁴} = 65536 functions the space is astronomically large).
The residue count is the concrete, countable face of the Chaitin ceiling: it is a growing fraction of
the space as n rises — structured functions are 2^{poly}, the space is 2^{2ⁿ}.