Verification is about ergodicity that reflects very promising approach to error-correction. The concept of ergodicity is quite elegant and used in different physics domains. See recent paper regarding this, might be helpful to community to understand ergodicity.

Ergodicity detection algorithms: Scaling of ergodicity in random symbolic dynamics https://arxiv.org/abs/2508.08319