Mixed-state topological order and error-correction thresholds in non-Abelian codes: rigorous results | Startup Networx | Startup Networx