Primary Python certificate
==========================
canonical placements: 40
possible tied-minimum cancellations: 20
triple-minimum strata: 2
family A mod 7 table: [(2, 1, 2), (2, 3, 0), (4, 3, 4)]
family A mod 73 table: [(0, 1, 16), (2, 5, 4), (6, 3, 10), (10, 5, 14)]
family A compatible CRT pairs: 0
family B unique solution (m,x,K,z): (1, 3, 7, 3)
family B presentation: (2+3)(1+8*3)+3 = 2^7
family B cost and excess: 18 4
certificate: PASS

Independent C++20 audit
=======================
placements=40 cancellations=20 triples=2
family_A_mod7=3 family_A_mod73=4 compatible=0
family_B_unique=(m=1,x=3,K=7) cost=18 excess=4
audit: PASS
