On Enumeration and Distance Bounds of Double-Circulant Codes Over a Semi-Local Ring | Synapse