A certified lower bound C_71 >= 6.4901128435233943 for the Fourier Entropy-Influence constant

This record is a self-contained certificate archive for the Mosaic Intelligence lower-bound contribution C_71 >= 6.4901128435233943, merged into teorth/optimizationproblems on 2026-06-21. The archive includes an explicit balanced logic-monotone seed function on 14 variables, a pure-Python checker, and an appendix for superseded secondary exhibits. The construction uses O'Donnell-Tan self-composition, with exact-rational spectrum calculations and interval-arithmetic entropy enclosures; the same certificate also gives the bound restricted to monotone functions. Contact and updates: Mosaic Intelligence — https://x.com/111111 · https://github.com/463464q435q43