维护中的设计合同

这些合同和当前计划说明机制、不变量与退出条件。历史文档不进入当前站点和搜索。