Our paper (with Alain Durmus, Samuel Gruffaz, Miika Kailas and Eero Saksman) on the ergodicity of dynamic path length HMC algorithms appeared in the AAP: doi.org/10.1214/25-A....
The results accommodate the 'biased progressive sampling' path selection used in @mc-stan.org.