  Floquet codes are a novel class of quantum error-correcting codes with
dynamically generated logical qubits arising from a periodic schedule of
non-commuting measurements. We utilize the interpretation of measurements in
terms of condensation of topological excitations and the rewinding of
measurement sequences to engineer new examples of Floquet codes. In particular,
rewinding is advantageous for obtaining a desired set of instantaneous
stabilizer groups on both toric and planar layouts. Our first example is a
Floquet code with instantaneous stabilizer codes that have the same topological
order as 3D toric code(s). This Floquet code also exhibits a splitting of the
topological order of the 3D toric code under the associated sequence of
measurements, i.e., an instantaneous stabilizer group of a single copy of 3D
toric code in one round transforms into an instantaneous stabilizer group of
two copies of 3D toric codes up to nonlocal stabilizers in the following round.
We further construct boundaries for this 3D code and argue that stacking it
with two copies of 3D subsystem toric code allows for a transversal
implementation of the logical non-Clifford $CCZ$ gate. We also show that the
coupled-layer construction of the X-cube Floquet code can be modified by a
rewinding schedule such that each of the instantaneous stabilizer codes is
finite-depth-equivalent to the X-cube model up to toric codes; the X-cube
Floquet code exhibits a splitting of the X-cube model into a copy of the X-cube
model and toric codes under the measurement sequence. Our final 3D example is a
generalization of the 2D Floquet toric code on the honeycomb lattice to 3D,
which has instantaneous stabilizer codes with the same topological order as the
3D fermionic toric code.
