Yes, as I noted in the issue. dqlite is the kind of "load bearing" project that would benefit from formal verification: https://ubuntu.com/blog/hunting-a-16-year-old-sqlite-bug-wit...
Are you still going to use dqlite after this experience, or has it shaken your confidence in it? Also what’s been your experience with microk8s itself - I hadn’t heard of it before