机械性上限（参数上限、圈复杂度上限、函数长度上限）是一道地板而非天花板，能强制一致性地守住可计数的简单性，但管不住'有没有必要'这个判断问题。