Quantum Correlation Efficiency: Tsirelson's Bound from Čencov's Uniqueness Theorem via the Explaining-Away Penalty | Synapse