  Recently, a class of objects, known as $\Lambda$-polytopes, were introduced
for classically simulating universal quantum computation with magic states. In
$\Lambda$-simulation, the probabilistic update of $\Lambda$ vertices under
Pauli measurement yields dynamics consistent with quantum mechanics. Thus, an
important open problem in the study of $\Lambda$-polytopes is characterizing
its vertices and determining their update rules. In this paper, we obtain and
describe the update of all degenerate vertices of $\Lambda_{2}$, the $2$-qubit
$\Lambda$ polytope. Our approach exploits the fact that $\Lambda_{2}$ projects
to a well-understood polytope $\text{MP}$ consisting of distributions on the
Mermin square scenario. More precisely, we study the ``classical" polytope
$\overline{\text{MP}}$, which is $\text{MP}$ intersected by the polytope
defined by a set of Clauser-Horne-Shimony-Holt (CHSH) inequalities. Owing to a
duality between CHSH inequalities and vertices of $\text{MP}$ we utilize a
streamlined version of the double-description method for vertex enumeration to
obtain certain vertices of $\overline{\text{MP}}$.
