#!/usr/bin/env bash
set -euo pipefail
session="$1"
output="$2"
side="$3"
device_command="${PROOF_DEVICE_COMMAND:-agent-device}"
run="$output/$(date -u +%Y%m%dT%H%M%SZ)-$side"
mkdir -p "$run"
"$device_command" screenshot "$run/top-1.png" --session "$session"
sleep 0.5
"$device_command" screenshot "$run/top-2.png" --session "$session"
cmp "$run/top-1.png" "$run/top-2.png"
"$device_command" record start "$run/flick.mp4" --fps 30 --session "$session"
sleep 1
"$device_command" gesture fling up 200 720 500 --session "$session"
sleep 6
"$device_command" screenshot "$run/settled-1.png" --session "$session"
sleep 0.5
"$device_command" screenshot "$run/settled-2.png" --session "$session"
cmp "$run/settled-1.png" "$run/settled-2.png"
"$device_command" record stop --session "$session"
printf '%s\n' "$run"