formal-guard
定义期第 4 步，形式化守护：碰到状态与操作就做偏函数定义与全化表；设计里出现较高性能要求、数据生命周期或状态机、并发与池化、跨领域边界要守的性质时，代理提出模型检查与证明的建议，人确认后数理建模、定理与证明，实施时转契约测试。四类触发之一出现，或人说「这块靠测试守不住」「证明一下」时加载。纯文档、纯界面、无状态无并发的改动不加载。
Pinned to revision 95def4043198, so it is the text this page describes rather than whatever the author pushed since.
Files
Every link opens the file at its source, pinned to the revision this page describes.