正确性：功能正确、边界、不变量与副作用

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