What is and is not excluded

Gate 1 ends at Proved obstructed: the cubic kernel leaves XI-E's interface. The evaluation of ${\mathcal{C}}_3$ on smooth configurations, already in XI-E, is not promoted to a quantum element.