Private arithmetic of the physical constructor

Abstract

Exact masks for the minimum-two physical constructor

The private constructor specifies thirty rows: seven axes, five rows with a=2, five with b=2, and thirteen with c=2. Its masks select physical U,V,W labels by set bits. Capacities are t/2,s/2,r/2; P and T are disjoint within each chain, and Q is the physical complement. The dyadic rows use exact shifted bit-disjointness and retain every small-coordinate exception. These certificates are consumed by the one complete minimum-two joint-lift theorem.

References

• Dependency: D5/S3/Combinatorics/Circle/ThreeBitSource