Current Manifesto is more of a Guide

The current manifesto document is more of a guide for how we're actually doing VDD, ie. explaining the template. This is critical, but I'd expect a manifesto to be more about justifications for why we're going about it all this particular way. So this would include things like why TLA+, how we're going to improve model checking, why these different layers, why state machines, when to use additional tools, how to go about testing, etc.

This isn't priority right now, but as the document grows and expands, we should consider the high level structure and how we want to include this background justification.