I’m drawn to regions because they seem to intuitively match how I write my high performance systems software. In those sorts of SW, I really need precise and cheap ownership rules, but without any restrictions in topology.

It’d be super if regions were a mathematically robust way of describing that engineering solution.