Request for a writeup on how resolvers work and how consistency on that layer is guaranteed

[hypothere]

Website is mute on this, would love to see a detailed writeup on the design and implementation. To me, this is the biggest differentiator, please invest into documenting it as well