Faithfulness of the scalar q-Toeplitz Fock representation

We prove faithfulness of the Fock representation of the universal scalar q-CCR algebra for finite d and real |q| < 1. Normalized iterated annihilators intertwine a balanced Wick polynomial with its finite Fock blocks up to errors involving strictly higher annihilator columns. The errors decay geometrically in the column index, whereas the columns grow at most exponentially. A repeated estimate therefore rules out spectral values absent from the Fock representation. GitHub repository