#!/usr/bin/env bash
# WEIGHT=3
# CHECK: Inbound TimeoutPacket handler reaches EngineV2.TimeoutHandler (W-2)
set -e
handler="$PATIENT/eth/handler_eth.go"
[[ -f "$handler" ]] || exit 1
awk '/case \*?eth\.TimeoutPacket/,/case |^[[:space:]]*default:|^}/' "$handler" | \
  grep -qE '(TimeoutHandler|bft.*Timeout|Timeout\(.*\))'