Certificates for short extending words in a finite automaton

Let $\mathcal{A}$ be a complete deterministic finite automaton on a state set $Q$ of size $n$ with $k$ letters, and for a proper nonempty subset $S$ of $Q$ let $minext(S)$ be the length of a shortest word $u$ with $|S{u}^{-1}|>|S|$, where $S{u}^{-1}=\{q:q\cdot u\in S\}$. To each state $q$ attach the integer ${\beta }_q^{\ast }={\sum }_{t=1}^{n-1}{k}^{n-1-t}(inde{g}_t(q)-k^t)$, where $inde{g}_t(q)$ counts the pairs $(p,u)$ with $|u|=t$ and $p\cdot u=q$, and let $B(S)={\sum }_{q\in S}{\beta }_q^{\ast }$. On every synchronizing automaton, $B(S)\ge 0$ implies $minext(S)\le n-1$, so, as $B(Q)=0$, one of $S$ and $Q\setminus S$ extends within $n-1$; when $B(S)>0$ no hypothesis is needed. Kari's Eulerian extension lemma is the case ${\beta }^{\ast }=0$, and ${\beta }^{\ast }$, like every member of the family ${\sum }_{t=1}^{n-1}{c}_t{\sigma }_t$, $c_t>0$, vanishes identically if and only if the automaton is Eulerian, where ${\sigma }_t(S)={\sum }_{q\in S}(inde{g}_t(q)-k^t)$. On strongly connected automata ${\sigma }_t(S)/k^t$ has Ces\`aro limit $ne(S)/e(Q)-|S|$ for Friedman's weight $e$; that limit certifies singletons but no larger subset in general. The hypothesis $B(S)\ge 0$ cannot be relaxed by one integer unit, nor can the constant $n-1$ be improved. A second-moment test on the sizes $|S{u}^{-1}|$ certifies 60 to 95 percent of the subsets with $B(S)<0$ at $n\le 7$. Along non-Eulerian automata whose words of length $n-1$ merge a fraction of the state pairs bounded below, with ${\max }_{q}inde{g}_{n-1}(q)=o(n{k}^{n-1})$, it certifies all but a vanishing share of them. The functional $B$ certifies half of the subsets outside $\{B=0\}$. At each subset size coprime to $n$ ($n\ge 4$) some synchronizing Eulerian binary automaton attains the constant $n-1$; whether only there is open. No reset bound follows: \v{C}ern\'y's automata have subsets not extending within $n-1$.