补时革命:从人工举牌到纳秒级精度——20