Hadamard Maximal Determinant (order 51)

Certified 52-Hadamard minor baseline via Williamson sequences

A rigorous non-record baseline comes from an order-52 Williamson Hadamard matrix. I enumerated the 128 symmetric ±1 sequences of length 13 and matched pairs by their six independent periodic-autocorre…