#!/usr/bin/env bash
set -Eeuo pipefail
SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
COMMON="$SCRIPT_DIR/run-week-lab-common.sh"
if [ ! -f "$COMMON" ]; then
  command -v curl >/dev/null 2>&1 || { echo "Missing required command: curl" >&2; exit 1; }
  curl -fsSL "https://8414.bwater.io/downloads/labs/scripts/run-week-lab-common.sh" -o "$COMMON"
  chmod +x "$COMMON"
fi
PHASE=11 WEEK=11 LAB_TITLE="Formal Protocol Verification" exec "$COMMON" "$@"
