#!/usr/bin/env bash
# test_map_postprocess_lanes.sh — scripts/map_postprocess.py 의 두 계약을 고정한다.
#
# WHY: 이 후처리는 발행되는 지도 HTML 의 «폭 하한»을 바꾸고 SVG 를 다시 만든다. 둘 다 조용히
# 실패하면 사람이 못 본다 — 패치가 안 붙어도 페이지는 뜨고(옛 폭), SVG 가 어긋나도 열리기는 한다.
# 그래서 ⓐ 리터럴 부재 = 드리프트 = 하드 정지(3), ⓑ SVG 는 «커밋된 두 장 바이트 동일 재현»을
# known-pair 로 잡는다. 컨트롤: 패치 문자열이 실제로 상수와 다르고 뷰포트를 참조하는가.
#
# 종료코드: 0 pass · 1 레인 실패 · 2 대상 부재 · 10 setup 실패
set -uo pipefail
cd "$(dirname "$0")/.." || exit 10
S=scripts/map_postprocess.py
PASS=0; FAIL=0
ok() { echo "✅ $1"; PASS=$((PASS+1)); }
ng() { echo "❌ $1"; FAIL=$((FAIL+1)); }
[ -f "$S" ] || { echo "ⓘ $S absent — subject missing when we looked (NOT a pass)"; exit 2; }
command -v python3 >/dev/null 2>&1 || { echo "ⓘ python3 absent — setup broke (NOT a pass)"; exit 10; }
TMP=$(mktemp -d) || exit 10
trap 'rm -rf "$TMP"' EXIT
mkfix() { # $1=out path, $2=reader-width literal line (may be empty), $3=extra style blocks
{
printf ''
[ -n "${3:-}" ] && printf ''
printf ''
printf ''
printf '' "$2"
} > "$1"
}
# ── L1 known-positive: 상수가 있으면 패치되고 SVG 가 나온다
mkfix "$TMP/pos.html" 'var MIN_READER_WIDTH = 960;' ''
python3 "$S" "$TMP/pos.html" >"$TMP/o1" 2>&1; RC=$?
if [ $RC -eq 0 ] && /usr/bin/grep -q 'window.innerWidth' "$TMP/pos.html" && [ -f "$TMP/pos.svg" ]; then
ok "L1 known-positive: patched + svg written (rc=0)"
else
ng "L1 known-positive failed (rc=$RC): $(head -2 "$TMP/o1" | tr '\n' ' ')"
fi
# ── L2 멱등: 두 번째 실행은 SKIP 이고 여전히 rc=0
python3 "$S" "$TMP/pos.html" >"$TMP/o2" 2>&1; RC=$?
if [ $RC -eq 0 ] && /usr/bin/grep -q 'SKIP' "$TMP/o2"; then
ok "L2 idempotent re-run reports SKIP (rc=0)"
else
ng "L2 idempotency broken (rc=$RC): $(head -2 "$TMP/o2" | tr '\n' ' ')"
fi
# ── L3 known-negative(드리프트): 리터럴이 아예 없으면 rc=3 이고 파일을 안 건드린다
mkfix "$TMP/drift.html" 'var SOMETHING_ELSE = 1;' ''
BEFORE=$(shasum "$TMP/drift.html" | awk '{print $1}')
python3 "$S" "$TMP/drift.html" >"$TMP/o3" 2>&1; RC=$?
AFTER=$(shasum "$TMP/drift.html" | awk '{print $1}')
if [ $RC -eq 3 ] && [ "$BEFORE" = "$AFTER" ] && [ ! -f "$TMP/drift.svg" ]; then
ok "L3 drift → rc=3, file untouched, no svg (fail-closed)"
else
ng "L3 drift not fail-closed (rc=$RC, sha changed=$([ "$BEFORE" = "$AFTER" ] && echo no || echo yes))"
fi
# ── L4 컨트롤: 패치 문자열이 상수와 실제로 다르고 뷰포트를 참조하는가
# (같은 값으로 «치환»하면 L1 도 통과한다 — 그 자멸을 막는 자리)
OLDLIT=$(python3 -c "import re;s=open('$S',encoding='utf-8').read();print(re.search(r\"^OLD = '(.*)'\",s,re.M).group(1))")
NEWLIT=$(python3 -c "
import re
s=open('$S',encoding='utf-8').read()
m=re.search(r\"NEW = \((.*?)\)\n\", s, re.S)
print(''.join(re.findall(r\"'([^']*)'\", m.group(1))))")
if [ -n "$OLDLIT" ] && [ -n "$NEWLIT" ] && [ "$OLDLIT" != "$NEWLIT" ] && \
printf '%s' "$NEWLIT" | /usr/bin/grep -q 'innerWidth'; then
ok "L4 control: replacement differs from the constant and reads the viewport"
else
ng "L4 control: replacement is vacuous (old='$OLDLIT' new='$NEWLIT')"
fi
# ── L5 known-pair: 커밋된 지도 두 장을 HTML 에서 바이트 동일하게 재현하는가
# (SVG 는