Secrecy function conjecture for formally unimodular packings

Let $\Gamma$ be a formally unimodular packing, and let $\Xi_{\Gamma}(\tau)$ denote its secrecy function and $\xi_{\Gamma}$ its maximum value. Formally unimodular packing secrecy function conjecture. The secrecy function achieves its maximum at $\tau=1$, i.e.,

$$\xi_{\Gamma}=\Xi_{\Gamma}(1).$$

This is the generalized packing version of the formally unimodular lattice conjecture. The source presents it as the basis for studying secrecy-optimal Construction A packings.