Signed Liouville energies and the limits of maximal correlation bounds

Research revision of the Liouville-correlation preprint. It proves a deterministic obstruction for maximal correlation energies, quantitative Mellin pole bounds, and an exact exponent identity for smoothed Liouville sums across Dirichlet conductors. A large-sieve estimate controls the contribution from primitive conductors at least X^(1/3). The companion Lean file checks the finite Gram inequality. RH and Dirichlet GRH remain unproved.