Very nice writeup, i find it always a pleasure to read stories from people explaining their journey towards designing an algo.

TLDR: This is basically "wave function collapse" that was posted here as well some days ago, only it does local probability updates instead of global during tile resolving steps. This makes it run faster without sacrificing ability to halt, apparently. Very nice.