A family of zeta functions with provable critical-line zeros from four-element partition combinatorics | Synapse