Hard CNF Instances for Ideal Proof Systems (ArXiv cs.CC Recent Papers, 2026)