补全:首个出错的请求
补全 first_bad：第一条 ERROR 是哪个请求（req）引发的。
贯穿本节的运维模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：服务上线后靠日志/指标/健康/告警盯住它。
从日志定位：每行 {"level":..,"req":..,"ts":..}；root_line=首个 ERROR 行号、first_bad=首个出错的请求、failed_reqs=出过错的请求、in_window(lines,lo,hi)=时间窗内几行。
全部评论