Finite-state counterexamples to Ross's second queueing conjecture

We construct finite-state Markov arrival-rate processes for which faster modulation increases the mean stationary workload of a stable single-server queue, disproving the universal ordering in Leskel\"a's formulation of Ross's second conjecture. A 64-state example has positive transition rates between every pair of states, independent service times uniform on $[0.99,1.01]$, and an explicit positive workload gap. A 128-state example additionally has strictly positive arrival-rate autocovariance at every lag. More generally, finite-state examples can exhibit any prescribed finite number of separated workload rises and falls. The proofs use a second-order expansion with a nonnegative, speed-uniform remainder under only a finite second service moment. We characterize the service distributions for which the second-order workload coefficient is nonincreasing for every bounded stationary environment: the function $s\mapsto \mathbb{E}(1-\cos (sB))/s^2$ must be nonincreasing. Mixtures of exponential service distributions satisfy this criterion. An exact Palm identity transfers the workload reversals to customer waiting times.