A second-order AI that doesn't generate: it chooses.

Logical containment for generative AI. Deterministic —conditioned on the system's state—, not probabilistic. Same input = same output. And when it can't be sure, it admits it, stops, and alerts an expert human.