Calibration Gate (6x3)
The 6x3 system was evaluated on the 8-variable H x S2 quotient. Groebner basis completed in 0.44s and returned [1], confirming the no-complex-witness verdict.
8x3 System
The variables were confirmed to be 252 (28 edges x 9 colorings). The 57 H x S2 pair orbits were evaluated in the working quotient.
- Generator count: 57
- Distinct monomial count (in quotient): 8
- Degree profile: all 12
Pricing
- Solver: sympy.groebner
- Configuration: reduced ideal (8 edge-color-orbit variables)
- Wall clock: 4.37s
- Peak memory: 80.50 MB
- Stopped at: Completed
- Result: [1]