#!/usr/bin/env bash

set -euo pipefail

ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
readonly ROOT
readonly RESULTS="${ROOT}/results"
readonly IMAGE="serein-cmd-01-refusal"

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
  local finished
  local 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 '%-48s exit %s as expected\n' "${name}" "${actual_exit}"
}

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

evidence_test() {
  local evidence_path="$1"
  local filter="$2"

  docker run --rm \
    --volume "${RESULTS}/${evidence_path}:/artifacts" \
    --env "ARTIFACT_DIR=/artifacts" \
    "${IMAGE}" \
    php vendor/bin/phpunit --filter "${filter}"
}

mutant_test() {
  local mutation="$1"
  local filter="$2"

  docker run --rm "${IMAGE}" sh -lc \
    "php mutate.php ${mutation} && php vendor/bin/phpunit --filter ${filter}"
}

negative_test() {
  docker run --rm "${IMAGE}" \
    php vendor/bin/phpunit tests/Negative/TrustedPrecheckTest.php
}

source_diff() {
  in_container diff -u "$1" "$2"
}

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

capture setup/build 0 docker build --tag "${IMAGE}" .
capture environment/php 0 in_container php --version
capture environment/composer-version 0 in_container composer --version
capture environment/packages 0 in_container composer show --locked --direct --no-ansi
capture environment/composer-audit 0 \
  in_container composer audit --locked --no-ansi --no-interaction

capture behavior/malformed 0 \
  evidence_test behavior/malformed \
  malformed_input_stops_at_the_http_validation_boundary
capture behavior/accepted 0 \
  evidence_test behavior/accepted \
  recognized_input_cancels_a_placed_order
capture behavior/refused 0 \
  evidence_test behavior/refused \
  recognized_input_is_refused_by_a_shipped_order

capture integration/stale-precheck 0 \
  evidence_test integration/stale-precheck \
  one_command_can_become_refused_after_a_state_change
capture integration/rollback 0 \
  evidence_test integration/rollback \
  a_failure_after_repository_save_rolls_back_the_row

capture negative/missing-validation 1 \
  mutant_test missing-validation \
  malformed_input_stops_at_the_http_validation_boundary
capture negative/missing-domain-guard 1 \
  mutant_test missing-domain-guard \
  recognized_input_is_refused_by_a_shipped_order
capture negative/missing-transaction 1 \
  mutant_test missing-transaction \
  a_failure_after_repository_save_rolls_back_the_row
capture negative/trusted-precheck 1 negative_test

capture analysis/responsibilities 0 in_container php analyze.php
capture analysis/cached-command-defect 1 \
  in_container php analyze.php tests/fixtures/CachedStateCommand.php
capture analysis/domain-http-defect 1 \
  in_container php analyze.php tests/fixtures/DomainHttpDefect.php
capture analysis/controller-write-defect 1 \
  in_container php analyze.php tests/fixtures/DirectUpdateController.php
capture analysis/domain-validation-defect 1 \
  in_container php analyze.php tests/fixtures/AggregateValidationDefect.php

capture diffs/request-vs-domain 1 source_diff \
  app/Http/CancelOrderRequest.php app/Domain/Order.php
capture diffs/command-vs-cached-state 1 source_diff \
  app/Application/CancelOrder.php tests/fixtures/CachedStateCommand.php

capture comparison 0 in_container php compare.php

echo "Evidence retained in ${RESULTS}"