Sonar将“写代码变快但效率提升未出现”的现象称为“验证瓶颈”。