#!/usr/bin/env bash
# FIFA 17 squad HOST mutation battery.
#
# Each mutation injects a specific wrong behaviour into the committed source
# (host, or the adapter it composes), runs the ONE host test that defends the
# invariant, and requires that test to FAIL (mutant killed). Source is reverted
# via `git checkout` after every mutation. A SURVIVOR fails the battery.
#
# Run from the host crate root:  bash mutation-battery.sh
set -u
cd "$(dirname "$0")"

H=src/lib.rs
PROJ=../openfut-adapter-fifa17/src/fut/squad_projection.rs
EXT=../openfut-adapter-fifa17/src/fut/squad_ext.rs
ITEM=../openfut-adapter-fifa17/src/fut/item.rs

PASS=0
FAIL=0
declare -a SURVIVORS=()

mutate() {
  OLD="$2" NEW="$3" perl -0777 -pi -e \
    's/\Q$ENV{OLD}\E/$ENV{NEW}/g or die "PATTERN NOT FOUND in '"$1"'\n"' "$1"
}

kill_test() {
  local n="$1" label="$2" filter="$3" file="$4" old="$5" new="$6"
  git checkout -- "$file"
  if ! mutate "$file" "$old" "$new"; then
    echo "  [#$n] SETUP ERROR — $label"; FAIL=$((FAIL+1)); SURVIVORS+=("#$n $label (setup)"); git checkout -- "$file"; return
  fi
  if cargo test --quiet --test host_test "$filter" >/dev/null 2>&1; then
    echo "  [#$n] SURVIVED  — $label"; FAIL=$((FAIL+1)); SURVIVORS+=("#$n $label")
  else
    echo "  [#$n] killed    — $label"; PASS=$((PASS+1))
  fi
  git checkout -- "$file"
}

echo "== FIFA17 squad host mutation battery =="

kill_test 1 "resolvable wire id skips authorization" \
  put_rejects_wire_id_owned_by_another_profile_core_unchanged "$H" \
  'if !owned_set.contains(&slot.owned_card_id) {' 'if false {'

kill_test 2 "authorization loop never runs (wrong-profile accepted)" \
  put_rejects_wire_id_owned_by_another_profile_core_unchanged "$H" \
  'for slot in &build.canonical.slots {' 'for slot in build.canonical.slots.iter().take(0) {'

kill_test 3 "PUT/core failure masked as success (not failed loudly)" \
  put_core_failure_returns_error_never_python "$H" \
  '                error_response(502, "core_error"),' '                json_response(&save_ack(put.id)),'

kill_test 4 "PUT forwarded as a partial slot diff" \
  put_full_replacement_commits_canonical_and_extension_and_acks_id0 "$H" \
  '.iter()
            .map(|s| CoreSquadSlot {' '.iter()
            .take(1)
            .map(|s| CoreSquadSlot {'

kill_test 5 "extension dropped from the atomic write" \
  put_full_replacement_commits_canonical_and_extension_and_acks_id0 "$H" \
  'ext_payload: build.extension.to_payload(),' 'ext_payload: String::new(),'

kill_test 6 "stale extension accepted and projected" \
  stale_extension_is_not_applied_on_reads "$H" \
  '        CoreExtState::Stale { .. } => return HostProjection::Stale,' \
  '        CoreExtState::Stale { schema_version, payload } => match Fifa17SquadExtensionV1::from_payload(*schema_version, payload) { Ok(e) => e, Err(_) => return HostProjection::Missing },'

kill_test 7 "missing extension fabricates defaults" \
  missing_extension_is_explicit_on_reads "$H" \
  '        CoreExtState::Missing => return HostProjection::Missing,' \
  '        CoreExtState::Missing => Fifa17SquadExtensionV1::from_payload(1, "{}").unwrap(),'

kill_test 8 "overlay clobbers userInfo" \
  coupled_read_after_write_list_and_usermassinfo_agree "$H" \
  '    root["squad"] = squad_val;' '    root["squad"] = squad_val; root["userInfo"] = serde_json::json!({});'

kill_test 9 "overlay clobbers settings" \
  coupled_read_after_write_list_and_usermassinfo_agree "$H" \
  '    root["squad"] = squad_val;' '    root["squad"] = squad_val; root["settings"] = serde_json::json!({});'

kill_test 10 "overlay clobbers pileSizeClientData" \
  coupled_read_after_write_list_and_usermassinfo_agree "$H" \
  '    root["squad"] = squad_val;' '    root["squad"] = squad_val; root["pileSizeClientData"] = serde_json::json!({});'

kill_test 11 "/squad/list uses separate shaping logic" \
  coupled_read_after_write_list_and_usermassinfo_agree "$H" \
  'json_response(&squad_list(&v)),' 'json_response(&serde_json::json!({ "squad": [{ "formation": "WRONG" }] })),'

kill_test 12 "captain emitted using resourceId (adapter projector)" \
  coupled_read_after_write_list_and_usermassinfo_agree "$PROJ" \
  'captain_wire = id.item_id as i64;' 'captain_wire = id.asset_id as i64;'

kill_test 13 "kitNumber keyed by slot index (adapter extension)" \
  coupled_read_after_write_list_and_usermassinfo_agree "$EXT" \
  '(s.owned_card_id.clone(), s.kit_number)' '(s.index.to_string(), s.kit_number)'

kill_test 14 "client-reported evaluation dropped/mishandled" \
  put_full_replacement_commits_canonical_and_extension_and_acks_id0 "$H" \
  'chemistry: build.extension.client_reported.chemistry,' 'chemistry: None,'

kill_test 15 "host trusts/acts on the Core fingerprint" \
  put_full_replacement_commits_canonical_and_extension_and_acks_id0 "$H" \
  '        Ok(_) => (
            json_response(&save_ack(put.id)),' \
  '        Ok(r) => (
            if r.canonical_fingerprint.is_empty() { json_response(&save_ack(put.id)) } else { error_response(409, "host_trusts_fp") },'

kill_test 16 "per-slot Core lookup introduced (N+1)" \
  read_path_is_bounded_no_per_slot_lookup "$H" \
  '    let owned = match deps.core.all_owned() {' \
  '    for _ in 0..2 { let _ = deps.core.all_owned(); }
    let owned = match deps.core.all_owned() {'

kill_test 17 "/squad/active classified to Rust" \
  classify_squad_and_usermassinfo_routes "$H" \
  '        Some(id) => !id.is_empty() && id.bytes().all(|b| b.is_ascii_digit()),' \
  '        Some(id) => !id.is_empty(),'

kill_test 18 "duplicate definition collapses owned instances (adapter shaper)" \
  duplicate_definition_instances_stay_distinct_through_host "$ITEM" \
  '"id": id.item_id,' '"id": id.asset_id,'

kill_test 19 "Content-Length left stale after overlay" \
  coupled_read_after_write_list_and_usermassinfo_agree "$H" \
  'resp.headers.push(("Content-Length".to_string(), body.len().to_string()));' \
  'resp.headers.push(("Content-Length".to_string(), "0".to_string()));'

kill_test 20 "Python squad silently used after Rust projection failure" \
  usermassinfo_never_serves_python_squad_on_integrity_failure "$H" \
  'empty_squad_overlay(persona)' 'root["squad"].clone()'

echo "== mutants killed: $PASS / $((PASS+FAIL)) =="
if [ "$FAIL" -ne 0 ]; then
  printf 'SURVIVORS:\n'; printf '  - %s\n' "${SURVIVORS[@]}"
  exit 1
fi
echo "all mutants killed"