  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.
