does Jepsen's test software auto-generate the cool diagrams (like 3.22) or do you have to do it yourself? do you prefer any software to do that?

Reading the first line I thought it was about https://github.com/eclipse-capella/capella, the Foss solution for Model-Based Systems Engineering. Confusing. But now there is also a Capela with a single ‘l’ -) Great writeup Kyle, thank you!

If it's partly a marketing move to get it jepsened before release, then it worked on me.

"Like Smalltalk and other image-based languages, Capela persists program state directly, and allows programs to be modified over time. Indeed, Capela feels somewhat like an object-oriented database with stored procedures."

This seems exciting.

Aside from obvious Smalltalk influence, this also brings to mind Darklang (that switched to an open-source model recently [1]).

I wonder how this will pan out... very interesting to see new approaches being explored.

[1]: https://news.ycombinator.com/item?id=44290653