Section 4: un-stacking lemma (degree-3 removal preserves Phi, proved),
ear-peeling base case (k=0 => 2^(n-2)), reduction to the irreducible
case, and the irreducible lemma as the sole open conjecture (|Phi| >=
5/4 * 2^(n-2), tight at the degree-4/5 patch; wheel = floor(2^n/3) is not
extremal). Records the two dead ends (monotonicity false, universal
toggles insufficient) and ties each claim to its experiment.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
didericis
411ff7f465