#!/usr/bin/env bash

set -euo pipefail

ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
readonly ROOT
readonly RESULTS="${ROOT}/results"
readonly IMAGE="serein-evt-04-process-state-tests"

if [[ "${RESULTS}" != "${ROOT}/results" ]]; then
  echo "refusing to clear an unexpected results directory" >&2
  exit 65
fi

cd "${ROOT}"

milliseconds() {
  perl -MTime::HiRes=time -e 'printf "%.0f\n", time * 1000'
}

capture() {
  local name="$1"
  local expected_exit="$2"
  shift 2
  local directory="${RESULTS}/${name}"
  local started finished actual_exit

  mkdir -p "${directory}"
  {
    printf '%q' "$1"
    for argument in "${@:2}"; do
      printf ' %q' "${argument}"
    done
    printf '\n'
  } >"${directory}/command.txt"

  started="$(milliseconds)"
  set +e
  "$@" >"${directory}/output.txt.tmp" 2>&1
  actual_exit=$?
  set -e
  finished="$(milliseconds)"
  sed -E -e 's/[[:space:]]+$//' -e '${/^$/d;}' \
    "${directory}/output.txt.tmp" >"${directory}/output.txt"
  rm "${directory}/output.txt.tmp"
  {
    printf 'expected_exit_code=%s\n' "${expected_exit}"
    printf 'exit_code=%s\n' "${actual_exit}"
    printf 'duration_ms=%s\n' "$((finished - started))"
  } >"${directory}/metadata.txt"

  if [[ ${actual_exit} -ne ${expected_exit} ]]; then
    echo "FAILED: ${name} exited ${actual_exit}; expected ${expected_exit}" >&2
    return 1
  fi

  printf '%-52s exit %s as expected\n' "${name}" "${actual_exit}"
}

in_container() {
  docker run --rm --volume "${RESULTS}:/experiment/results" "${IMAGE}" "$@"
}

evidence_case() {
  local evidence_path="$1"
  local case_name="$2"
  docker run --rm \
    --volume "${RESULTS}/${evidence_path}:/artifacts" \
    --env "ARTIFACT_DIR=/artifacts" \
    "${IMAGE}" php tests/run.php "${case_name}"
}

mutant_case() {
  local mutation="$1"
  local case_name="$2"
  docker run --rm "${IMAGE}" sh -lc \
    "php mutate.php ${mutation} && php tests/run.php ${case_name}"
}

mutation_diff() {
  local mutation="$1"
  local path="$2"
  docker run --rm "${IMAGE}" sh -lc \
    "cp ${path} /tmp/original.php && php mutate.php ${mutation} >/dev/null && diff -u /tmp/original.php ${path}"
}

rm -rf \
  "${RESULTS}/analysis" \
  "${RESULTS}/behavior" \
  "${RESULTS}/diffs" \
  "${RESULTS}/environment" \
  "${RESULTS}/negative" \
  "${RESULTS}/setup" \
  "${RESULTS}/sources" \
  "${RESULTS}/verification"
mkdir -p "${RESULTS}"

capture setup/build 0 docker build --tag "${IMAGE}" .
capture environment/php 0 in_container php --version
capture environment/extensions 0 in_container php -m
capture sources/primary 0 in_container php source-evidence.php
capture analysis/inventory 0 in_container php analyze.php
capture behavior/full-suite 0 in_container php tests/run.php --all

for case_name in \
  transition-table payment-captured exact-redelivery semantic-duplicate \
  stale-timeout active-timeout refund-failure late-shipment \
  transaction-rollback stale-version accepted-repair stale-repair \
  mock-blind-spot harmless-reorder
do
  capture "behavior/${case_name}" 0 \
    evidence_case "behavior/${case_name}" "${case_name}"
done

capture negative/persist-old-state 1 \
  mutant_case persist-old-state payment-captured
capture negative/inbox-outside-transaction 1 \
  mutant_case inbox-outside-transaction transaction-rollback
capture negative/outbox-outside-transaction 1 \
  mutant_case outbox-outside-transaction transaction-rollback
capture negative/remove-version-guard 1 \
  mutant_case remove-version-guard stale-version
capture negative/handle-exact-redelivery 1 \
  mutant_case handle-exact-redelivery exact-redelivery
capture negative/semantic-duplicate-is-fresh 1 \
  mutant_case semantic-duplicate-is-fresh semantic-duplicate
capture negative/accept-stale-timeout 1 \
  mutant_case accept-stale-timeout stale-timeout
capture negative/lose-refund-failure 1 \
  mutant_case lose-refund-failure refund-failure
capture negative/repair-without-expected-state 1 \
  mutant_case repair-without-expected-state stale-repair
capture negative/call-order-is-behavior 1 \
  mutant_case call-order-is-behavior harmless-reorder

capture diffs/persist-old-state 1 \
  mutation_diff persist-old-state src/ProcessHandler.php
capture diffs/inbox-outside-transaction 1 \
  mutation_diff inbox-outside-transaction src/ProcessHandler.php
capture diffs/outbox-outside-transaction 1 \
  mutation_diff outbox-outside-transaction src/ProcessHandler.php
capture diffs/remove-version-guard 1 \
  mutation_diff remove-version-guard src/ProcessHandler.php
capture diffs/handle-exact-redelivery 1 \
  mutation_diff handle-exact-redelivery src/ProcessHandler.php
capture diffs/semantic-duplicate-is-fresh 1 \
  mutation_diff semantic-duplicate-is-fresh src/FulfilmentTransitions.php
capture diffs/accept-stale-timeout 1 \
  mutation_diff accept-stale-timeout src/FulfilmentTransitions.php
capture diffs/lose-refund-failure 1 \
  mutation_diff lose-refund-failure src/FulfilmentTransitions.php
capture diffs/repair-without-expected-state 1 \
  mutation_diff repair-without-expected-state src/FulfilmentTransitions.php
capture diffs/call-order-is-behavior 1 \
  mutation_diff call-order-is-behavior src/MockComparison.php

capture verification/results 0 in_container php verify-results.php

echo "Evidence retained in ${RESULTS}"