For
the vectors and have
The K-matrix formula therefore gives bosonic self-exchange for and mutual full-braiding phase
Fusion adds vectors. Because
both double fusions lie in and braid trivially with every vector; hence they represent the vacuum in the anyon lattice of an Abelian Chern--Simons theory. Finally has , so its exchange phase is . These are exactly the fusion and braiding data of the surface-code anyon model.
The block matrix is
If both and condense, choose their boundary excursions so that the two string operators cross once. Their commutator is their mutual full-braiding phase:
Both operators act as the identity on every ground state, so consistency requires
Writing , this says
Set and choose . Then , and
Therefore every additionally condensable anyon has the form
The term is a local particle in the anyon lattice of an Abelian Chern--Simons theory, so the condensate is maximal modulo local excitations, as required for a Lagrangian subgroup of Abelian anyons.