Fixed-case MathWise endpoint verifier for D={3,4,7}, k=1 showing 581 is not representable below the conductor boundary; combined with a separate tail certificate, this gives C=582. No general BEGL result claimed.
-
Updated
Sep 16, 2026 - Python