The design/StableRegion.md document in the PR is now “stable” (no pun intended).
I’ve moved on to trying to implement the primitives described there.
In the meantime, we can discuss the design and the way it could be used for building things like the StableBtree described in this thread. If anyone sees issues or has questions, please let us know.