  Stationary 1D Schr\"odinger equations with polynomial potentials are reduced
to explicit countable closed systems of exact quantization conditions, which
are selfconsistent constraints upon the zeros of zeta-regularized spectral
determinants, complementing the usual asymptotic (Bohr--Sommerfeld)
constraints. (This reduction is currently completed under a certain vanishing
condition.) In particular, the symmetric quartic oscillators are admissible
systems, and the formalism is tested upon them. Enforcing the exact and
asymptotic constraints by suitable iterative schemes, we numerically observe
geometric convergence to the correct eigenvalues/functions in some test cases,
suggesting that the output of the reduction should define a contractive
fixed-point problem (at least in some vicinity of the pure $q^4$ case).
