In the following program, squin.s(reg[0]) should apply a logical $$S$$ gate, which in the Steane code corresponds to $$S^{\dagger \otimes 7}$$ instead of $$S^{\otimes 7}$$. The same issue happens if one tries to apply a logical $$S^{\dagger}$$.
@logical.kernel(aggressive_unroll=True, verify=True)
def s_dagger():
reg = qubit.qalloc(1)
squin.s(reg[0])
return logical.terminal_measure(reg)
task = GeminiLogicalSimulator().task(s_dagger)
task.noiseless_tsim_circuit.diagram()
In the following program,$$S$$ gate, which in the Steane code corresponds to $$S^{\dagger \otimes 7}$$ instead of $$S^{\otimes 7}$$ . The same issue happens if one tries to apply a logical $$S^{\dagger}$$ .
squin.s(reg[0])should apply a logical