I haven’t examined the LR code, no. However, I’ve observed enough industrial-class databases to know that there’s no such thing as guaranteed consistency when an unexpected failure occurs during updates. Pretty much every update requires many individual records to to be written, which “two phase commits” protect against. Yet sometimes they don’t, and the recovery is painful.