Odd cyclic Boolean inversion and the sign-matrix trace
Abstract
The odd cyclic Boolean sign-trace theorem is organized as a canonical facade over four capacity-admissible source modules.
The facade retains the complete model statement and points to the foundational definitions, exact trace bridge, Boolean coefficient extraction, and rank assembly in their owning Lean modules.
The source modules are D5/S3/Combinatorics/CyclicBoolean/CyclicSignTrace/Prelude, D5/S3/Combinatorics/CyclicBoolean/CyclicSignTrace/Trace, D5/S3/Combinatorics/CyclicBoolean/CyclicSignTrace/BooleanCoefficients, and D5/S3/Combinatorics/CyclicBoolean/CyclicSignTrace/RankAssembly. Their imports form one canonical dependency chain and preserve the exact full theorem.
The literal source matrix, ordered integer trace, all positive odd lengths, every nonzero mask, and the affine-dimension lower bound remain the specified mathematical content. The split changes source ownership and generated narrative placement only.