正确性目标：安全性、活性、线性化与进度

本专题已纳入学习路线，正文将在路线架构审查通过后补充。