pub fn find_structure(truth: &[bool]) -> Option<StructureReport>Expand description
Walk the hypercube of a Boolean function (its 2ⁿ truth table) and return the tightest structural
class that describes it, with the achieved description size and a re-checkable witness. Every lens is a
traversal of the cube along one axis of structure (coordinate edges, Walsh butterfly, weight shells,
Möbius butterfly); the finder reports whichever yields the shortest description, or the residue
(CubeStructure::ResistedArsenal) when none beats storing the table raw. None if truth.len() is
not a power of two.