So basically, our protocols work in the following way:
We use the small RP^2 code to hold information and transform it to SRP code (a self-dual code) to double-check the logical state and then back. After preparing a high fidelity T state on the RP^2 code, we grow it to a large rotated surface code.
