Scope of exclusion

of exclusion{ Detector vanishing is not admission. It does not establish the trisolution cone criterion. The Einstein subshell is a smaller restriction space and remains undecided. A full-shell obstruction does not by itself obstruct restriction to that smaller shell.

For unadmitted $Y$, the status of $Y+C$ is undecided: cancellation requires its own theorem. The ordering map is not applied to the excluded kernel $u$. No Hadamard line is contracted against ${\mathcal{C}}_3$, and no enlargement is opened.}