← Bivariate bicycle codeEntry facetDerivations & guidesSelf-contained Level-2 arguments and worked explanations.Bivariate bicycle code — Level-2 mapGross-code parameter and provenance ledgerLogical operations and their certificatesFrom torus polynomials to a CSS chain complexRealization ledgerRepresentation dictionarySyndrome circuits and decodingVariant and boundary map