COMPLEMENTARY f=2 SPLIT (2,0): EXACT CERTIFICATE SUMMARY

Quadratic-gate placements: 8.
Potential tied-minimum cancellation families: 10.

Base complete periods (states; mod 7; mod 73; joint):
1. V=1, W=2+3^y, b=y<g: 18; 2; 0; 0.
2. V=1, W=2+3^y, b=g<y: 18; 2; 1; 0.
3. V=1, W=1+2*3^y, b=y<g: 18; 4; 0; 0.
4. V=1, W=1+4*3^y, b=y=g: 3; 1; 0; 0.
5. V=7, type I x odd, b=y<g: 162; 30; 1; 0.
6. V=7, type I x odd, y=g<b: 162; 30; 2; 0.
7. V=13, type I x odd, b=y<g: 162; 18; 1; 1.
8. V=13, type I x odd, y=g<b: 162; 18; 4; 0.
9. V=13, type I x even, b=y=g: 27; 3; 0; 0.
10. V=13, W=1+2*3^y, y=g<b: 18; 4; 0; 0.

The sole joint state is b=5 mod24, x=13 mod18, g=1 mod12, y=b.
Modulo 487: periods (1944,486,972), states 177147, survivors 343,
sha256 dba060130ccd61ce95ea29c325a9cee3e83c5028d4f5b8d0d3b54cfbeb05eb49.
Modulo 2593: periods (648,162,648), states 13122, survivors 4,
sha256 d4c8d83bd39927f053bbf15f976d8583b27d08da560224d48bdc76865cd48563.
CRT-compatible survivor pairs: 0.

Minimum-one boundary: 27 states; mod-7 survivors 6;
mod-73-compatible survivors 0; joint 0.

Bounded control (not used for completeness):
limit=39; tested=870168; presentations=6; valuation failures=0;
minimum displayed excess over 2N=11.

Independent C++ result:
all ten cancellation families and the minimum-one boundary are empty.
