From Gödel incompleteness to the consistency of circuit lower bounds (ArXiv cs.CC Recent Papers, 2026)