I am having trouble understanding some requirements for surface code magic states in FTQC, especially in the algorithmic fault-tolerance framework. It is stated in some papers that magic states as an input require +1 stabilizer eigenvalues. An example is Low-Overhead Transversal Fault Tolerance for Universal Quantum Computation . Indeed, from my understanding of the latter, a requirement for T-states to be teleported in logical circuits is to have +1 stabilizers. This is in contrast to the |0>L