pub fn sampled_boolean_census(
n: usize,
samples: usize,
seed: u64,
) -> Option<SampledCensus>Expand description
Estimate the coverage map at n variables (where 2^{2ⁿ} is unenumerable) from a uniform random sample
of samples functions, classified by the deep finder’s winning axis. None for n = 0 or n > 12.
The residue fraction climbs toward 1 as n grows — the asymptotic form of the exhaustive census, and
the whole thesis: structured functions vanish and almost every function is incompressible.