性能诊断

分析 contract.md 中的任务，定位最大耗时瓶颈并给出量化修复建议。首次发现即停止，区别于持续优化的 optimize。