On $NP cap coNP$ proof complexity generators (Logical Methods in Computer Science, 2026)