这批日志有几条 INFO
按模型，三行日志里 count_level(lines, "INFO") 交回几？（两条 INFO、一条 ERROR） 贯穿本节的运维模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：服务上线
补全:取日志级别
补全 level_of：取这行日志的 level 字段。 贯穿本节的运维模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：服务上线后靠日志/指标/健康/告警盯住它。 结构化日志每行是一条 JSON：{"
补全:数某级别
补全 count_level：数一批日志里某个级别有几行。 贯穿本节的运维模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：服务上线后靠日志/指标/健康/告警盯住它。 结构化日志每行是一条 JSON：{"
补全:有没有 ERROR
补全 has_error：这批日志里有没有 ERROR。 贯穿本节的运维模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：服务上线后靠日志/指标/健康/告警盯住它。 结构化日志每行是一条 JSON：{"
健康检查端点是做什么的
三个依赖凑一个总状态 一个依赖垮了，总状态跟着翻 服务的健康检查端点（如 /healthz）是用来【0】。 贯穿本节的运维模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：服务上线后靠日志/指标/健康/告警盯住它
健康检查该看什么
三个依赖凑一个总状态 一个依赖垮了，总状态跟着翻 一个像样的健康检查，应该【0】。 贯穿本节的运维模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：服务上线后靠日志/指标/健康/告警盯住它。 健康检查：一批依赖检
有个依赖挂了该回什么
健康检查发现某个关键依赖连不上，端点应当【0】。 贯穿本节的运维模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：服务上线后靠日志/指标/健康/告警盯住它。 健康检查：一批依赖检查 {"name&quo
两项检查一坏时的状态码
按模型，一项过一项坏时 http_code(checks) 交回几？ 贯穿本节的运维模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：服务上线后靠日志/指标/健康/告警盯住它。 健康检查：一批依赖检查 {&quo
补全:全过才健康
补全 all_ok：所有依赖检查都通过才算全过。 贯穿本节的运维模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：服务上线后靠日志/指标/健康/告警盯住它。 健康检查：一批依赖检查 {"name&quo
补全:报健康状态
补全 status：全过报 healthy，否则 unhealthy。 贯穿本节的运维模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：服务上线后靠日志/指标/健康/告警盯住它。 健康检查：一批依赖检查 {&qu