Learn how T-gate quantum computing relies on certifying magic-state T-count lower bounds in the measurement-assisted model: stabilizer nullity, meet-in-the-middle (MITM) search, and exhaustive rule-out in the all-measurements-at-end family. Walk through a controlled-S witness as a Clifford+T circuit, then push a laptop-scale CCZ bound past nullity.