Module lifted_product 

Structs

LiftedProductBinaryChecks

Binary CSS checks after applying regular group lifts.

LiftedProductRingChecks

Ring-level lifted-product checks over the group algebra.

LiftedProductRingShape

Ring-level lifted-product matrix shape before regular binary lifting.

Constants

MAX_LIFTED_PRODUCT_BINARY_CELLS

Maximum dense binary cells in either lifted CSS check matrix.

MAX_LIFTED_PRODUCT_ORTHOGONALITY_ROW_PAIRS

Maximum row pairs considered by the common CSS orthogonality check.

MAX_LIFTED_PRODUCT_RING_CELLS

Maximum number of group-algebra cells in either ring-level lifted-product check matrix. This bounds CLI input amplification before dense ring rows are materialized.

Functions

checked_lifted_product_binary_shape

Return the ring-level shape and also preflight the post-lift binary shape.

checked_lifted_product_ring_shape

Return the ring-level shape, rejecting overflow and oversized dense ring materializations.

lifted_product_binary_checks

Build binary CSS checks using commuting left/right regular actions.

lifted_product_ring_checks

Build ring-level lifted-product checks.