判断「连接」这层通没通，看的是【0】。
贯穿本节的全链路模型（判题机不联网、镜像没 dig/tcpdump，这是它的确定模型，见 spine.py）：一次访问要依次走通四步——解析(DNS) → 连接(TCP) → 加密(TLS) → 请求(HTTP)；证据 ev 是 {步名: 是否 OK}。
ev
{步名: 是否 OK}
采证据：resolve(域名, 解析表)=A 记录 IP（没有交空串）、tcp_ok(端口, 监听表)=端口在听、http_status(路由表, 路径)=状态码（没有交 404）。
resolve(域名, 解析表)
tcp_ok(端口, 监听表)
http_status(路由表, 路径)
全部评论