This is probably more of a guide than a manifesto, so perhaps at some point we should rename it, or extend it to include more "manifesto" style things, which I would expect to be more about justification for this approach (eg. why TLA+, how we're going to improve model checking, when to use additional tools, how to go about testing, etc.). I'll open issues for some of that. Also will probably have more to say as I start looking at examples. Awesome work!
My first full read through. Looks great.
This is probably more of a guide than a manifesto, so perhaps at some point we should rename it, or extend it to include more "manifesto" style things, which I would expect to be more about justification for this approach (eg. why TLA+, how we're going to improve model checking, when to use additional tools, how to go about testing, etc.). I'll open issues for some of that. Also will probably have more to say as I start looking at examples. Awesome work!