Building scalable quantum systems that demonstrate genuine performance enhancement based on entanglement is a major scientific goal for fields including computing, networking, simulations, and metrology. The tremendous challenge arises from the fragility of entanglement in increasingly larger sized quantum systems. Optical atomic clocks utilizing a large number of atoms have pushed the frontier of measurement science, building on precise engineering of quantum states and control of atomic interactions. However, today's state-of-the-art optical atomic clocks are limited by the quantum projection noise (QPN) defined by many uncorrelated atoms. Pioneering work on producing spin squeezed states of atoms has shown a path towards integrating entanglement into the best performing clocks. However, to directly demonstrate advantage of quantum entanglement in a working clock we must prevent backaction effects that degrade quantum coherence and introduce uncontrolled perturbations, as well as minimize the influence of technical noise arising from the interrogating clock laser. Here we present a new optical clock platform integrated with collective strong-coupling cavity QED for quantum non-demolition (QND) measurement. Optimizing the competition between spin measurement precision and loss of coherence, we measure a Wineland parameter of -1.8(7) dB for 1.9x10
4 atoms, thus verifying the presence of entanglement. Furthermore, a moving lattice allows the cavity to individually address two independent sub-ensembles, enabling us to spin squeeze two clock ensembles successively and compare their performance. This differential comparison between the two squeezed clocks directly verifies enhanced clock stability of 2.0(3) dB below QPN, and 0.6(3) dB above the standard quantum limit (SQL), at the measurement precision level of 10
−17, without subtracting any technical noise contributions.