Maintained design contracts

These maintained contracts and active plans describe mechanisms, invariants and exit conditions. Historical documents are excluded from the current site and search.