#!/usr/bin/env bash # compaction_probe.sh — 압축을 이벤트로 잡아 세션이 쥐고 있던 것을 **압축 전에 디스크로 봉인**하고, # 압축 후 첫 프롬프트에서 **포인터만** 되주입한다. # # ── 왜 (진단) ── # 압축은 "질의를 알기 전에, 되돌릴 방법 없이 버린다"(rate-distortion 서베이). FH 는 여기서 # 구조적으로 유리하다 — **원본이 디스크에 있다. 잃은 건 컨텍스트가 아니라 포인터다.** # 그래서 이 스크립트가 복원하는 것은 내용이 아니라 **어디를 열면 되는가**다. # # ── 이 스크립트가 하는 것과 안 하는 것 (경계를 흐리지 마라) ── # seal PreCompact — 세션이 쥔 것의 typed 원장을 디스크에 봉인. 압축을 **차단하지 않는다** # digest UserPromptSubmit — 봉인분을 1회 되주입하고 소비 표시 # score advisory — 🟥 **UNCALIBRATED**. 아래 §계기 타당성 참조 # # ── §계기 타당성 — `score` 는 UNCALIBRATED 가 아니라 **반증됐다** (2026-08-08 실측) ── # 채점하려면 *압축 후 transcript 파일이 무엇을 담는지* 를 알아야 했고, 두 가능성이 있었다: # ⓐ 파일이 히스토리를 그대로 보존하고 모델 컨텍스트만 압축된다 # ⓑ 파일에 압축 요약 레코드가 남고 그 이후가 실컨텍스트다 # # **첫 실압축 관측(2026-08-08 15:51:28, 이 훅이 스스로 남긴 seal 이 증거)에서 ⓐ로 확정됐다**: # 압축 직후 전사본은 user 109 · assistant 238 레코드를 전부 보존하고 있었고 압축 구조 필드는 # 0건이었다. 즉 **전사본을 grep 하는 채점기는 손실 0 을 영원히 보고한다 — fail-open 계기다.** # 설계 정본의 "압축 후 프로브 채점"은 이 경로로는 성립하지 않는다. 캘리브레이션이 덜 된 게 # 아니라 **가정이 틀렸다.** 채점을 하려면 전사본이 아니라 *모델이 여전히 답할 수 있는가*를 # 물어야 하고, 그건 훅이 못 한다(격리 채점자 필요 — 미건축). # `score` 는 그 사실을 인쇄하는 자리로만 남긴다. 아무 판정도 여기에 의존하지 않는다. # # 추가로, 설령 ⓑ 라도 grep 이 재는 것은 **축자 생존**이지 의미 보존이 아니다. 요약되어 살아남은 # 항목은 미생존으로 잡힌다 — **과보고 방향**이라 안전하지만(fail-open 아님), 그 숫자를 # "압축이 N 건을 잃었다"로 읽으면 그것이 바로 `[[feedback_metric_measures_presence_not_relation]]` 이다. # # ── 배선 (설계 정본에서 한 군데 정정됨) ── # 설계는 *"불합격은 PostCompact 에서 원본 포인터로 재주입"* 이라 적었다. **불가능하다** — # `PostCompact` 는 `additionalContext` 를 지원하지 않는다(공식 훅 문서, 2026-08-08 확인). # 되주입은 `UserPromptSubmit`(지원함) 으로 넘긴다. 산문대로 짰으면 배선해놓고 안 도는 걸 몰랐다. # PreCompact → seal # UserPromptSubmit → digest (봉인분이 있으면 1회 주입, 없으면 무출력) # # ⚠️ 훅은 **항상 exit 0** 이다. 비영 종료는 stdout 을 통째로 폐기한다 # (`[[feedback_hook_nonzero_exit_is_silent]]`). 압축은 절대 차단하지 않는다 — 가역 표면이고, # 과차단은 override 를 습관화시킨다. # # ── 사용 ── # echo "$HOOK_JSON" | bash scripts/compaction_probe.sh seal # echo "$HOOK_JSON" | bash scripts/compaction_probe.sh digest # bash scripts/compaction_probe.sh seal --transcript --dir # 테스트용 # bash scripts/compaction_probe.sh --self-test set -uo pipefail REPO_ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)" SEAL_DIR_DEFAULT="$REPO_ROOT/tracks/_meta/compaction" # ───────────────────────────────────────────────────────────────────────────── # seal — 압축 전에 세션이 쥔 것을 디스크로 # ───────────────────────────────────────────────────────────────────────────── do_seal() { local transcript="$1" outdir="$2" session="$3" mkdir -p "$outdir" 2>/dev/null || { echo "seal: outdir 생성 실패: $outdir"; return 0; } local stamp; stamp="$(date +%Y%m%d-%H%M%S)" local out="$outdir/seal_${session}_${stamp}.md" { echo "# 압축 전 봉인 — session=${session} at ${stamp}" echo echo "> **포인터 원장이다. 내용 사본이 아니다.** 필요하면 아래 경로를 열어라." echo "> 압축이 잃는 것은 컨텍스트가 아니라 포인터라는 진단에 대한 직접 대응." echo echo "## 운영자 발화 (이 세션)" if [ -f "$transcript" ]; then # 🟥 추출 로직은 `scripts/transcript_utterances.py` 가 **단일 소스**다 (2026-09-05). # 인라인 heredoc 이었을 때 두 번째 소비처(`utterance_intake.sh` — 발화 착지 검사)를 # 붙이려면 사본이 생겼고, 전처리 두 벌은 «한쪽만 통과하는 입력이 다른 쪽에서 무음 # 드롭» 이다(`[[feedback_divergent_leniency_duplicate_normalizers]]`). # 출력은 **바이트 동일**해야 한다 — `scripts/test_utterance_intake_lanes.sh` L10 이 # 골든으로 고정하고, L12/L12b 가 되돌림으로 «정말 이 파일을 통해 도는가» 를 잰다. # 추출기가 없거나 죽으면 비영 종료 → 아래 폴백 문구가 그대로 뜬다(무음 아님). python3 "$REPO_ROOT/scripts/transcript_utterances.py" "$transcript" --format seal 2>/dev/null \ || echo "- (전사본 파싱 실패 — 원본: $transcript)" else echo "- 🟥 전사본 경로 없음: $transcript" fi echo echo "## 이 세션이 건드린 파일" if git -C "$REPO_ROOT" rev-parse --git-dir >/dev/null 2>&1; then local changed; changed="$(git -C "$REPO_ROOT" status --porcelain 2>/dev/null | sed 's/^/ /')" [ -n "$changed" ] && echo "$changed" || echo " (working tree clean)" echo echo " 브랜치: $(git -C "$REPO_ROOT" rev-parse --abbrev-ref HEAD 2>/dev/null)" # upstream 이 없으면 `@{u}` 는 fatal 이고 2>/dev/null 이 그걸 삼켜 **0건**으로 렌더된다. # `git switch -c` 후 첫 푸시 전 = 이 레포의 정상 경로다. 미상과 0 을 갈라야 한다. if git -C "$REPO_ROOT" rev-parse --abbrev-ref '@{u}' >/dev/null 2>&1; then echo " 미푸시: $(git -C "$REPO_ROOT" log --oneline '@{u}..HEAD' 2>/dev/null | wc -l | tr -d ' ')건" else echo " 미푸시: unknown (upstream 미설정 — 0건이 아니다)" fi else echo " (git 레포 아님)" fi echo echo "## 열어야 할 정본 (존재하는 것만)" local today; today="$(date +%Y-%m-%d)" local p for p in "tracks/_meta/fh_completed_${today}.md" \ "tracks/_meta/reference_next_session_starter.md"; do [ -f "$REPO_ROOT/$p" ] && echo " - $p" done echo echo "---" echo "payload: ${PAYLOAD_STATUS:-unknown} (parsed=훅 JSON · fallback-cwd=cwd로 자력 탐색 · unresolved=전사본 못 찾음)" echo "생성: scripts/compaction_probe.sh seal" } > "$out" 2>/dev/null # 되주입 대기 표시 — digest 가 소비한다 # .pending 에 **세션 id 와 시각**을 같이 쓴다. 초판은 경로만 써서, 세션 A 가 봉인하고 그냥 나가면 # 며칠 뒤 세션 B 의 첫 프롬프트가 A 의 발화·브랜치·더티파일을 **"직전 압축"이라고 주장하며** 주입했다. # **세션별 마커.** 하나를 공유하면 다음 프롬프트를 낸 아무 세션이나 그걸 소비하고, 정작 압축당한 # 세션은 0바이트를 받는다 — 재주입이 존재하는 유일한 대상이 못 받는 것이다(high 재리뷰 #4). # 라벨링(#4 1차 수리)은 오배달을 *말해줬을 뿐* 라우팅하지 않았다. printf '%s\t%s\t%s\n' "$out" "$session" "$(date +%s)" > "$outdir/.pending_${session}" 2>/dev/null echo "sealed: $out" return 0 } # ───────────────────────────────────────────────────────────────────────────── # digest — UserPromptSubmit 에서 1회 되주입 (없으면 무출력) # ───────────────────────────────────────────────────────────────────────────── do_digest() { local outdir="$1" DIGEST_SESSION="${2:-unknown}" # 내 세션 마커를 먼저 본다. 없으면 (세션 미상 등) 주인 없는 것만 관용으로 집는다 — # 남의 세션 마커를 **소비하지 않는다**. 소비하면 그 세션이 자기 원장을 영영 못 받는다. local pending="$outdir/.pending_${DIGEST_SESSION}" if [ ! -f "$pending" ]; then if [ "$DIGEST_SESSION" = "unknown" ]; then pending="$(ls -t "$outdir"/.pending_* 2>/dev/null | head -1)" else pending="$outdir/.pending" # 구형식(단일 마커) 관용 fi fi [ -n "${pending:-}" ] && [ -f "$pending" ] || return 0 local sealfile sealsess sealts IFS=$'\t' read -r sealfile sealsess sealts < "$pending" 2>/dev/null [ -z "${sealfile:-}" ] && sealfile="$(head -1 "$pending" 2>/dev/null)" # 구형식 관용 # ⚠️ 인쇄 **전에** 소비한다. 소비를 뒤에 두면, 소비자가 파이프를 먼저 닫는 순간(SIGPIPE) # 마커가 안 지워지고 **매 프롬프트마다 무한 재주입**된다 — 실측 2026-08-08, `| head -12` 로 재현. # 트레이드오프는 의도적이다: 최악이 "한 번 못 보여줌"(복구 가능, 파일은 디스크에 남아 있다) 대 # "영원히 소음"(사용자가 훅을 꺼버린다). 과차단이 override 를 습관화시키는 것과 같은 방향 판단. rm -f "$pending" 2>/dev/null if [ ! -f "$sealfile" ]; then return 0; fi # 신선도·세션 정합을 **주장에 반영**한다. 안 맞으면 주입은 하되 "직전 압축"이라고 말하지 않는다. # ⚠️ 두 가드 모두 초판에서 **조용히 꺼지는 경로**를 갖고 있었다(실측 2026-08-13, 4-arm 재현). # 공통 축은 하나다 — **미측정을 「정상」으로 렌더**했다(`not found ≠ 0`). # ⚠️ `_age` 초기화 = **2중 방어**. 산술이 실패하면 대입이 안 되고, 다음 줄의 `$_age` 가 `set -u` # 아래 unbound 로 셸을 그 자리에서 죽인다 — 훅은 `exit 0` 에 도달 못 하고 **stdout 이 # 통째로 폐기**된다(비영 종료 = 무음). 이 파일이 스스로 못 박은 불변식이 거기서 깨진다. # 🔍 **정직한 표시**: 아래 `case` 가 숫자만 통과시키고 `10#` 이 진법을 고정하는 한, 이 줄은 # **도달 불가능하고 레인도 없다**(되돌림 arm D 실측: 이 줄만 지우면 47쌍 전부 초록). # 앵커가 걸린 것은 `10#` 쪽(arm A)이다. 이 줄은 그게 지워졌을 때를 위한 두 번째 층이지, # 회귀 앵커가 아니다 — 있는 척하지 않으려고 여기 적는다. local _now _age=0 _stale="" _note="" _xsess="" _sessmatch=no _now=$(date +%s) # ⓑ 를 **먼저** 계산한다 — 나이 문구가 세션 일치 여부에 의존하기 때문이다(아래 ⓐ-3). # 세션 대조는 **양쪽을 다 알 때만** 성립한다. 한쪽이라도 unknown 이면 결과는 「일치」가 아니라 # **「대조 불가」**다. 초판은 그 경우 경고를 껐는데, 소비자가 unknown 인 경로가 바로 # 주인 없는 남의 마커를 집는 경로(line 165)여서 **가장 필요한 자리에서 꺼져 있었다**. if [ -n "${sealsess:-}" ] && [ "${sealsess}" != "unknown" ] \ && [ -n "$DIGEST_SESSION" ] && [ "$DIGEST_SESSION" != "unknown" ]; then if [ "${sealsess}" = "$DIGEST_SESSION" ]; then _sessmatch=yes else _xsess=" ⚠️ 다른 세션(${sealsess})의 봉인이다" fi else _xsess=" ⚠️ 세션 대조 불가(봉인=${sealsess:-미상} · 소비=${DIGEST_SESSION:-미상}) — 남의 원장일 수 있다" fi # ⓐ 봉인 시각이 없거나 숫자가 아니면 나이는 **미상**이다. 초판은 `${sealts:-$_now}` 로 「지금」을 # 기본값으로 써서 _age=0 을 만들었고, 구형식 pending(경로 한 줄)에서 신선도 가드가 통째로 # 무음 소실했다 — 실측: 5일 묵은 봉인이 "직전 압축"이라고 주장하며 나갔다. case "${sealts:-}" in ''|*[!0-9]*) _stale=" ⚠️ 봉인 시각 미상 — 이 세션의 직전 압축인지 확인 불가" ;; # `10#` 으로 진법을 고정한다. 선행 0(`08…`)은 8진수로 읽혀 `value too great for base` 를 # 내고, 위에서 적은 무음 사망 경로가 정확히 그 입력으로 열린다(실측: 산술 다음 줄에 도달 못 함). *) _age=$(( _now - 10#$sealts )) # 미래 시각이면 _age 가 음수라 `-gt 43200` 이 거짓이 되고 가드가 **또 조용히 꺼진다** — # 이 파일이 이번에 두 번 밟은 그 축의 세 번째 얼굴이다(cross-family codex/gpt-5.5 지목, # 자력 적발 0). 시계 어긋남이거나 마커가 손대진 것이고, 둘 다 「방금 봉인」이 아니다. if [ "$_age" -lt 0 ]; then _stale=" ⚠️ 봉인 시각이 미래($(( - _age ))초 뒤) — 시계 어긋남 또는 손댄 마커, 신선도 판정 불가" elif [ "$_age" -gt 43200 ]; then # ⓐ-3 **세션이 일치하면 이 경고는 반증 가능하게 틀렸다.** 마커는 봉인마다 세션별로 # 덮어써지므로(line 150), 일치하는 마커가 가리키는 것은 정의상 그 세션의 **가장 # 최근** 봉인이다. 그때 나이는 주장을 낮출 근거가 아니라 부가 정보다 — 주장 정확도를 # 위해 만든 가드가 스스로 틀린 말을 하던 자리(Axis 2 M-4 지목). if [ "$_sessmatch" = yes ]; then _note=" (${_age}초 전 봉인 — 같은 세션의 가장 최근 봉인이다)" else _stale=" ⚠️ ${_age}초 전 봉인 — 이 세션의 직전 압축이 아닐 수 있다" fi fi ;; esac # `_note` 는 **주장을 낮추지 않는다** — 분기 조건에서 뺀 이유가 그것이다. 나이를 알려주되 # 「직전 압축」이 참인 경우(세션 일치)에는 그 주장을 유지한다. if [ -n "$_stale$_xsess" ]; then echo "🧭 [FH 압축 복구] 봉인된 포인터 원장이 있다 — 내용이 아니라 경로다.$_stale$_xsess$_note" else echo "🧭 [FH 압축 복구] 직전 압축 전에 봉인된 포인터 원장이 있다 — 내용이 아니라 경로다.$_note" fi echo " 정본: $sealfile" echo # ⚠️ 초판은 `sed -n '1,80p'` 였다. 봉인 앞부분은 **발화 덤프**라, 긴 세션에서는 80줄이 발화 # 목록 중간에서 끊기고 **정작 포인터(git 상태·정본 경로·payload 상태)는 한 줄도 안 들어갔다** — # 계약("포인터 원장이다")의 정반대. 이제 포인터 절을 먼저 주입하고 발화는 뒤에서 잘라 붙인다. # ⚠️ **절마다 개별 상한**을 준다. 범위 하나에 head 를 걸면 앞 절(더티파일 목록)이 길 때 뒤 절 # (정본 포인터·payload 상태)이 통째로 잘린다 — 1차 수리는 자르는 위치만 옮겼지 포인터가 그 안에 # 든다는 보장을 안 만들었다(high 재리뷰 #8, 더티파일 35개로 재현). # 포인터가 이 원장의 존재 이유이므로 **포인터 절을 먼저, 그리고 절대 안 자른다.** echo "── 열어야 할 정본 ──" awk '/^## 열어야 할 정본/{f=1;next} /^## /{f=0} f' "$sealfile" 2>/dev/null | grep -v '^$' grep -E '^payload: ' "$sealfile" 2>/dev/null echo # 🟥 2026-08-23: 이 블록은 절 전체를 뽑아 `head -20` 했다. seal 은 «파일 목록 → 브랜치 → # 미푸시» 순으로 쓰므로, 파일이 캡을 채우면 **브랜치·미푸시가 조용히 사라진다** — 트리가 # 가장 바쁠 때, 즉 압축 복구에 git 상태가 가장 필요할 때다. 실측: status 20줄에서 digest 의 # `브랜치:` 히트 0, 그래서 --self-test #3 이 «git 레포가 아니다»로 읽혔다. # 캡을 올리는 것은 임계를 옮길 뿐이다. git 상태 두 줄을 캡 **밖으로** 빼고, 잘린 줄 수를 # 말하게 한다 — 잘림과 부재를 가르지 않으면 0 으로 렌더된다. _cp_sec="$(awk '/^## 이 세션이 건드린 파일/{f=1;next} /^## /{f=0} f' "$sealfile" 2>/dev/null | grep -v '^$')" _cp_git="$(printf '%s\n' "$_cp_sec" | grep -E '^[[:space:]]*(브랜치|미푸시|\(git 레포 아님\))')" _cp_files="$(printf '%s\n' "$_cp_sec" | grep -vE '^[[:space:]]*(브랜치|미푸시|\(git 레포 아님\))')" _cp_n="$(printf '%s\n' "$_cp_files" | grep -c . )" if [ "$_cp_n" -gt 20 ]; then echo "── 이 세션이 건드린 파일 (앞 20줄 / 전체 ${_cp_n}줄 — $((_cp_n - 20))줄 잘림) ──" else echo "── 이 세션이 건드린 파일 (${_cp_n}줄) ──" fi printf '%s\n' "$_cp_files" | head -20 [ -n "$_cp_git" ] && printf '%s\n' "$_cp_git" echo echo "── 운영자 발화 (앞 25건) ──" awk '/^## 운영자 발화/{f=1;next} /^## /{f=0} f' "$sealfile" 2>/dev/null | grep -E '^[0-9]+\.|^제외:|^합계:' | head -25 echo echo " ⚠️ 이 원장은 **축자 기록**이다. 여기 있는 발화가 기록에 착지했는지는 별도 검증이다" echo " (scripts/utterance_landing_check.sh)." rm -f "$pending" 2>/dev/null # 1회성 — 매 프롬프트 재주입은 소음이다 return 0 } # ───────────────────────────────────────────────────────────────────────────── # score — 🟥 UNCALIBRATED advisory (§계기 타당성 참조) # ───────────────────────────────────────────────────────────────────────────── do_score() { local transcript="$1" outdir="$2" local latest; latest="$(ls -t "$outdir"/seal_*.md 2>/dev/null | head -1)" echo "🟥 REFUTED — 전사본 grep 채점은 성립하지 않는다. 아무 판정도 여기에 의존하지 않는다." echo " 실측(2026-08-08 첫 실압축): 압축 후에도 전사본이 전 레코드를 보존한다(ⓐ)." echo " → grep 은 손실 0 을 영원히 보고한다 = fail-open 계기. 캘리브레이션 부족이 아니라 가정 오류." echo " 채점하려면 '모델이 여전히 답하는가'를 물어야 하고 훅은 못 한다 — 격리 채점자 필요(미건축)." [ -n "$latest" ] && echo " 최근 봉인: $latest" || echo " 봉인 없음." [ -f "$transcript" ] && echo " 대상 전사본: $transcript ($(wc -c < "$transcript" | tr -d ' ') bytes)" return 0 } # ───────────────────────────────────────────────────────────────────────────── self_test() { local T f=0 n=0 rc T=$(mktemp -d); trap 'rm -rf "$T"' RETURN t() { n=$((n+1)); if [ "$2" = "$3" ]; then echo "✅ $1 → $3"; else echo "❌ $1 → $3 (기대 $2)"; f=1; fi; } # 합성 전사본: 실발화 2건(str) + 툴결과 1건(list) + 슬래시커맨드 1건 { printf '%s\n' '{"type":"user","message":{"content":"엔진 넷을 RC 까지 올린다"}}' printf '%s\n' '{"type":"user","message":{"content":[{"type":"tool_result","content":"툴 출력 본문"}]}}' printf '%s\n' '{"type":"user","message":{"content":"/clear"}}' printf '%s\n' '{"type":"assistant","message":{"content":"응답"}}' printf '%s\n' '{"type":"user","message":{"content":"곁가지는 병렬 세션에서"}}' # ★ 이미지 첨부 실발화 — **list 인데 진짜 발화다.** 초판 픽스처엔 이 모양이 없었고, # 그래서 "list=툴결과" 가정이 self-test 를 통과했다. 픽스처가 결함을 보증한 자리. printf '%s\n' '{"type":"user","message":{"content":[{"type":"text","text":"일정이 조정됐어 리더리뷰는 다음주"},{"type":"image","source":{"type":"base64"}}]}}' # 이미지만 있는 발화 — 텍스트가 없으니 못 싣지만 **세어야** 한다 printf '%s\n' '{"type":"user","message":{"content":[{"type":"image","source":{"type":"base64"}}]}}' } > "$T/tr.jsonl" do_seal "$T/tr.jsonl" "$T/out" "sess1" >/dev/null 2>&1; rc=$? t "seal 정상 종료" 0 "$rc" local sf; sf="$(ls "$T/out"/seal_*.md 2>/dev/null | head -1)" [ -n "$sf" ] && r=YES || r=NO t "봉인 파일 생성" YES "$r" # known-positive: 실발화 2건이 원장에 들어간다 grep -q "엔진 넷을 RC 까지 올린다" "$sf" 2>/dev/null && r=YES || r=NO t "실발화 착지 (known-positive)" YES "$r" grep -q "곁가지는 병렬 세션에서" "$sf" 2>/dev/null && r=YES || r=NO t "실발화 2건째 착지 (known-positive)" YES "$r" # known-negative: 툴 결과와 슬래시 커맨드는 발화가 아니다 — 들어가면 안 된다 grep -q "툴 출력 본문" "$sf" 2>/dev/null && r=YES || r=NO t "툴 결과 제외 (known-negative)" NO "$r" grep -q '^3\. /clear' "$sf" 2>/dev/null && r=YES || r=NO t "슬래시 커맨드 제외 (known-negative)" NO "$r" grep -q "합계: 3건" "$sf" 2>/dev/null && r=YES || r=NO t "발화 카운트 정확 (3건 — 이미지 첨부 발화 포함)" YES "$r" # digest: 1회만 나오고 두 번째는 무출력 — 매 프롬프트 재주입은 소음이다 local d1 d2 d1="$(do_digest "$T/out" 2>/dev/null | wc -c | tr -d ' ')" d2="$(do_digest "$T/out" 2>/dev/null | wc -c | tr -d ' ')" [ "$d1" -gt 100 ] && r=YES || r=NO t "digest 1회차 주입됨" YES "$r" t "digest 2회차 무출력 (소비됨)" 0 "$d2" # 봉인 없는 상태에서 digest 는 조용해야 한다 (신규 세션 오염 금지) d2="$(do_digest "$T/empty" 2>/dev/null | wc -c | tr -d ' ')" t "봉인 없으면 무출력" 0 "$d2" # ── 회귀 레인: SIGPIPE 소비 누락 (2026-08-08 실측 재현) ── # 소비자가 파이프를 먼저 닫아도 마커는 소비돼야 한다. 인쇄 뒤에 rm 을 두면 여기서 되돌아온다. do_seal "$T/tr.jsonl" "$T/out3" "sess3" >/dev/null 2>&1 do_digest "$T/out3" 2>/dev/null | head -1 >/dev/null 2>&1 d2="$(do_digest "$T/out3" 2>/dev/null | wc -c | tr -d ' ')" t "파이프 조기 종료 후에도 소비됨 (무한 재주입 방지)" 0 "$d2" # 전사본이 없어도 훅은 절대 죽지 않는다 do_seal "$T/NOPE.jsonl" "$T/out2" "sess2" >/dev/null 2>&1; rc=$? t "전사본 부재에도 exit 0 (훅 안전)" 0 "$rc" # ── 회귀 레인: 빈/불량 페이로드 (2026-08-08 첫 실발화 실측) ── # 실발화가 session=unknown · transcript 빈 값으로 돌아 **빈 봉인**을 남겼다. # 훅 페이로드 모양은 런타임 버전에 딸린 외부 의존이라, 거기에 기능 전체를 걸면 안 된다. local out_empty out_empty="$(printf '%s' '{}' | bash "$0" seal --dir "$T/pl" 2>&1)" case "$out_empty" in *sealed:*) rc=YES ;; *) rc=NO ;; esac t "빈 페이로드에도 봉인은 생성된다" YES "$rc" [ -f "$T/pl/.last_payload" ] && rc=YES || rc=NO t "원본 페이로드가 기록된다 (원인 추적 가능)" YES "$rc" local sf2; sf2="$(ls -t "$T/pl"/seal_*.md 2>/dev/null | head -1)" grep -qE 'payload: (fallback-session|fallback-mtime-UNVERIFIED|unresolved)' "$sf2" 2>/dev/null && rc=YES || rc=NO t "payload 상태가 typed 로 남는다 (무음 아님)" YES "$rc" # ── 회귀 레인: high 리뷰 CONFIRMED (2026-08-08) ── # #2 list-shaped 실발화 — 픽스처에 이 모양이 없어서 초록이 결함을 보증했다 grep -q "일정이 조정됐어" "$sf" 2>/dev/null && r=YES || r=NO t "#2 이미지 첨부 실발화(list)가 원장에 실린다" YES "$r" grep -q "툴 출력 본문" "$sf" 2>/dev/null && r=YES || r=NO t "#2 tool_result 는 여전히 제외" NO "$r" grep -qE "^제외: tool_result [0-9]+ · 메타/커맨드 [0-9]+ · 텍스트없음 [0-9]+" "$sf" 2>/dev/null && r=YES || r=NO t "#2 제외분이 명시 카운트된다 (합계만 찍지 않는다)" YES "$r" grep -q "텍스트없음 1" "$sf" 2>/dev/null && r=YES || r=NO t "#2 이미지-only 발화가 침묵 드롭되지 않고 계수된다" YES "$r" # #3 digest 는 발화 덤프가 아니라 **포인터**를 주입해야 한다 # (앞 레인들이 .pending 을 소비했으므로 새로 봉인하고 잰다) do_seal "$T/tr.jsonl" "$T/out3b" "sess3b" >/dev/null 2>&1 local dg; dg="$(do_digest "$T/out3b" 2>/dev/null)" case "$dg" in *"열어야 할 정본"*) r=YES ;; *) r=NO ;; esac t "#3 digest 가 정본 포인터를 주입한다" YES "$r" # ⚠️ 이 레인은 한때 "브랜치:" 등장을 무조건 YES 로 기대했다. **REPO_ROOT 가 git 저장소인지는 # self-test 가 통제하지 않는 환경 조건**이다(스크립트 위치로 계산되는 값이지 $T 픽스처가 아니다) — # 그래서 non-git 트리(예: 소비자가 tarball 을 git 밖 스크래치 디렉터리에 풀어 실행)에서는 항상 # FAIL 했다. known-pair 로 확인: 레포 rc=0 · non-git tmp rc=1 · **같은 tmp 에 `git init` 만 해도 # rc=0**(2026-08-12, 재출하 축). do_seal 자신은 두 경우 다 올바르게 렌더한다("브랜치: …" 또는 # "(git 레포 아님)") — 결함은 self-test 가 그 중 한쪽만 정답으로 하드코딩한 것이었다. 지금 실제 # 상태를 물어 그 상태에 맞는 렌더를 기대한다 — 두 분기 다 계측한다(브랜치 있음일 때만 잰 것이 # 아니라 없음일 때도 "(git 레포 아님)" 이 실제로 나오는지 검증). if git -C "$REPO_ROOT" rev-parse --git-dir >/dev/null 2>&1; then case "$dg" in *"브랜치:"*) r=YES ;; *) r=NO ;; esac t "#3 digest 가 git 상태를 주입한다 (REPO_ROOT=git repo)" YES "$r" else case "$dg" in *"(git 레포 아님)"*) r=YES ;; *) r=NO ;; esac t "#3 digest 가 git 상태를 주입한다 (REPO_ROOT=non-git, graceful render)" YES "$r" fi # #4 세션 교차 주입 — 다른 세션의 봉인을 "직전 압축"이라고 주장하면 안 된다 # ⚠️ 이 레인은 1차 수리 때 "라벨하면 된다"는 전제로 썼다가 **갱신됐다**. 라벨은 오배달을 # 말해줄 뿐 라우팅하지 않았고, 그 사이 압축당한 세션이 0바이트를 받았다(high 재리뷰 #4). # 지금의 정답은 **다른 세션은 아무것도 안 받고, 주인 마커는 남아 있는 것**이다. do_seal "$T/tr.jsonl" "$T/out4" "SESSA" >/dev/null 2>&1 local d4; d4="$(do_digest "$T/out4" "SESSB" 2>/dev/null | wc -c | tr -d ' ')" t "#4 다른 세션은 남의 봉인을 안 받는다" 0 "$d4" local d4o; d4o="$(do_digest "$T/out4" "SESSA" 2>/dev/null | wc -c | tr -d ' ')" [ "$d4o" -gt 100 ] && rc=YES || rc=NO t "#4 ★ 주인 세션은 자기 원장을 받는다 (소비당하지 않았다)" YES "$rc" do_seal "$T/tr.jsonl" "$T/out4b" "SESSA" >/dev/null 2>&1 local d4b; d4b="$(do_digest "$T/out4b" "SESSA" 2>/dev/null)" case "$d4b" in *"직전 압축 전에"*) rc=YES ;; *) rc=NO ;; esac t "#4 같은 세션이면 직전-압축 주장 유지 (과경고 아님)" YES "$rc" case "$d4b" in *"다른 세션"*) rc=YES ;; *) rc=NO ;; esac t "#4 같은 세션에 교차 경고 안 뜬다" NO "$rc" # #11 신선도 가드가 **구형식 pending(경로 한 줄)** 에서 무음으로 꺼지지 않는다. # 실측 2026-08-13: 이 경로로 5일 묵은 봉인이 "직전 압축"이라고 주장하며 실제 세션에 주입됐다. do_seal "$T/tr.jsonl" "$T/out11" "SESSA" >/dev/null 2>&1 local p11; p11="$(ls "$T/out11"/.pending_* 2>/dev/null | head -1)" cut -f1 "$p11" > "$p11.t" 2>/dev/null && mv "$p11.t" "$p11" # 구형식으로 강등 = 봉인 시각 소실 local d11; d11="$(do_digest "$T/out11" "SESSA" 2>/dev/null)" case "$d11" in *"직전 압축 전에"*) rc=YES ;; *) rc=NO ;; esac t "#11 시각 미상 봉인을 '직전 압축'이라 주장하지 않는다" NO "$rc" case "$d11" in *"봉인 시각 미상"*) rc=YES ;; *) rc=NO ;; esac t "#11 ★ 시각 미상이 타입으로 남는다 (0 으로 렌더 금지)" YES "$rc" # #11 known-negative — 정상 형식엔 과경고가 붙으면 안 된다. 이게 없으면 "항상 경고"로도 통과한다. do_seal "$T/tr.jsonl" "$T/out11b" "SESSA" >/dev/null 2>&1 local d11b; d11b="$(do_digest "$T/out11b" "SESSA" 2>/dev/null)" case "$d11b" in *"봉인 시각 미상"*) rc=YES ;; *) rc=NO ;; esac t "#11 known-negative: 정상 봉인엔 미상 라벨 안 붙는다" NO "$rc" case "$d11b" in *"직전 압축 전에"*) rc=YES ;; *) rc=NO ;; esac t "#11 known-negative: 정상 봉인은 직전-압축 주장 유지" YES "$rc" # #11c **미래 시각**도 신선도 판정 불가다 — 음수 _age 는 `-gt 43200` 을 통과 못 해서 # 가드가 또 조용히 꺼진다. cross-family(codex/gpt-5.5)가 이번 수리 안에서 지목한 세 번째 얼굴. do_seal "$T/tr.jsonl" "$T/out11c" "SESSA" >/dev/null 2>&1 local p11c; p11c="$(ls "$T/out11c"/.pending_* 2>/dev/null | head -1)" awk -v ts="$(( $(date +%s) + 86400 ))" 'BEGIN{FS=OFS="\t"}{$3=ts;print}' "$p11c" > "$p11c.t" \ && mv "$p11c.t" "$p11c" local d11c; d11c="$(do_digest "$T/out11c" "SESSA" 2>/dev/null)" case "$d11c" in *"직전 압축 전에"*) rc=YES ;; *) rc=NO ;; esac t "#11c 미래 시각 봉인을 '직전 압축'이라 주장하지 않는다" NO "$rc" case "$d11c" in *"미래"*) rc=YES ;; *) rc=NO ;; esac t "#11c ★ 미래 시각이 타입으로 남는다 (음수 나이 무음 금지)" YES "$rc" case "$d11b" in *"미래"*) rc=YES ;; *) rc=NO ;; esac t "#11c known-negative: 정상 시각엔 미래 라벨 안 붙는다" NO "$rc" # #11d **묵은-봉인 가지(>43200)에 앵커가 0개였다** — 실측 발현(5일 묵은 봉인)의 정상-형식 # 판본인데, 레인이 수리의 어휘(미상 라벨)만 따라가고 결함의 어휘(나이)를 안 따라갔다. # 검증: 이 레인 없이 `elif [ "$_age" -gt 43200 ]` 가지를 통째로 지워도 39쌍 전부 초록이었다. # (Axis 2 M-3 지목. 세션 일치 케이스라 주장은 유지되고 나이는 부가정보로 붙는다 — M-4) do_seal "$T/tr.jsonl" "$T/out11d" "SESSA" >/dev/null 2>&1 local p11d; p11d="$(ls "$T/out11d"/.pending_* 2>/dev/null | head -1)" awk -v ts="$(( $(date +%s) - 432000 ))" 'BEGIN{FS=OFS="\t"}{$3=ts;print}' "$p11d" > "$p11d.t" \ && mv "$p11d.t" "$p11d" local d11d; d11d="$(do_digest "$T/out11d" "SESSA" 2>/dev/null)" case "$d11d" in *"초 전 봉인"*) rc=YES ;; *) rc=NO ;; esac t "#11d ★ 묵은 봉인의 나이가 실제로 인쇄된다 (가지 삭제를 잡는 유일한 앵커)" YES "$rc" case "$d11d" in *"직전 압축이 아닐 수 있다"*) rc=YES ;; *) rc=NO ;; esac t "#11d 세션 일치면 '아닐 수 있다'는 거짓 주장을 안 한다" NO "$rc" case "$d11b" in *"초 전 봉인"*) rc=YES ;; *) rc=NO ;; esac t "#11d known-negative: 신선한 봉인엔 나이 문구 없음" NO "$rc" # #11e 선행 0 타임스탬프가 **훅을 죽이지 않는다**. set -u 아래 산술 실패 → 다음 줄 unbound → # 셸 즉시 종료 → exit 0 미도달 → stdout 통째 폐기. 이 파일의 「훅은 절대 비영 종료 안 한다」 # 불변식이 입력 하나로 깨지던 자리다(Axis 2 M-1, 실측 재현). do_seal "$T/tr.jsonl" "$T/out11e" "SESSA" >/dev/null 2>&1 local p11e; p11e="$(ls "$T/out11e"/.pending_* 2>/dev/null | head -1)" awk 'BEGIN{FS=OFS="\t"}{$3="08123456";print}' "$p11e" > "$p11e.t" && mv "$p11e.t" "$p11e" local d11e d11e_rc d11e="$(do_digest "$T/out11e" "SESSA" 2>&1)"; d11e_rc=$? t "#11e ★ 선행 0 타임스탬프에도 digest 가 정상 종료한다" 0 "$d11e_rc" case "$d11e" in *"정본:"*) rc=YES ;; *) rc=NO ;; esac t "#11e 선행 0 에도 포인터가 실제로 인쇄된다 (무음 아님)" YES "$rc" # #13 「다른 세션의 봉인이다」 분기는 **살아있는데 앵커가 0개**였다 — #4 는 라우팅(0바이트)만 # 재서 이 문자열에 도달할 수 없다. 프로덕션 도달 경로 = 구형식 단일 `.pending` 관용(line 167). do_seal "$T/tr.jsonl" "$T/out13" "SESSX" >/dev/null 2>&1 local sf13; sf13="$(ls -t "$T/out13"/seal_*.md 2>/dev/null | head -1)" printf '%s\t%s\t%s\n' "$sf13" "SESSX" "$(( $(date +%s) - 432000 ))" > "$T/out13/.pending" local d13; d13="$(do_digest "$T/out13" "SESSA" 2>/dev/null)" case "$d13" in *"다른 세션(SESSX)"*) rc=YES ;; *) rc=NO ;; esac t "#13 ★ 교차세션 경고가 실제로 인쇄된다 (분기 무앵커 폐쇄)" YES "$rc" case "$d13" in *"세션 대조 불가"*) rc=YES ;; *) rc=NO ;; esac t "#13 양쪽을 아는 불일치는 '대조 불가'가 아니다" NO "$rc" case "$d13" in *"초 전 봉인"*) rc=YES ;; *) rc=NO ;; esac t "#13 세션 불일치 + 묵음이면 나이 경고가 붙는다" YES "$rc" # #12 소비자 세션이 미상이면 결과는 「일치」가 아니라 **「대조 불가」**다. # 그 경로(line 165)가 바로 주인 없는 남의 마커를 집는 경로여서, 초판은 가장 필요한 자리에서 꺼졌다. do_seal "$T/tr.jsonl" "$T/out12" "SESSA" >/dev/null 2>&1 local d12; d12="$(do_digest "$T/out12" "unknown" 2>/dev/null)" case "$d12" in *"세션 대조 불가"*) rc=YES ;; *) rc=NO ;; esac t "#12 소비자 미상이면 대조 불가로 라벨된다" YES "$rc" case "$d12" in *"직전 압축 전에"*) rc=YES ;; *) rc=NO ;; esac t "#12 대조 불가면 '직전 압축' 주장 안 한다" NO "$rc" case "$d11b" in *"세션 대조 불가"*) rc=YES ;; *) rc=NO ;; esac t "#12 known-negative: 양쪽 아는 경로엔 대조불가 라벨 없음" NO "$rc" # #8 포인터 절은 **절대 안 잘린다** — 더티파일 목록이 길어도 do_seal "$T/tr.jsonl" "$T/out8" "SESS8" >/dev/null 2>&1 local d8; d8="$(do_digest "$T/out8" "SESS8" 2>/dev/null)" case "$d8" in *"열어야 할 정본"*) rc=YES ;; *) rc=NO ;; esac t "#8 정본 포인터 절이 항상 들어간다" YES "$rc" case "$d8" in *"payload:"*) rc=YES ;; *) rc=NO ;; esac t "#8 payload typed 상태가 항상 들어간다" YES "$rc" # #5 세션 미상 폴백은 **미검증으로 라벨**돼야 한다 (침묵 추정 금지) local sf5 printf '%s' '{}' | bash "$0" seal --dir "$T/out5" >/dev/null 2>&1 sf5="$(ls -t "$T/out5"/seal_*.md 2>/dev/null | head -1)" # ⚠️ 성질은 "세션 미상 폴백이 **타입으로 남는다**" 이지 특정 값 하나가 아니다. 특정 값으로 # 과대명세했더니 **저자 머신의 전사본이 있어야만 통과**하는 레인이 됐고, selfcheck 에 배선하자 # CI 가 82db426 부터 빨개졌다(로컬 초록 ≠ CI 초록, 실측). 전사본이 없는 러너에서는 `unresolved` # 가 정답이고 그것도 **무음이 아니다** — 둘 다 통과여야 한다. grep -qE "payload: (fallback-mtime-UNVERIFIED|unresolved)" "$sf5" 2>/dev/null && rc=YES || rc=NO t "#5 세션 미상 폴백이 타입으로 남는다 (환경 무관)" YES "$rc" # known-negative: 무음(빈 값)이면 실패해야 한다 — 레인이 공허하지 않다는 증명 grep -qE "payload: *$" "$sf5" 2>/dev/null && rc=YES || rc=NO t "#5 payload 가 빈 값이면 통과 아님" NO "$rc" echo [ "$f" -eq 0 ] && echo "✅ 캘리브레이션 통과 ($n 쌍) — seal/digest 레그 한정. score 는 실측으로 **반증**됐다(§계기 타당성)." \ || echo "❌ 캘리브레이션 실패 ($n 쌍)" return "$f" } # ───────────────────────────────────────────────────────────────────────────── [ "${1:-}" = "--self-test" ] && { self_test; exit $?; } MODE="${1:-}"; shift || true TRANSCRIPT=""; OUTDIR="$SEAL_DIR_DEFAULT"; SESSION="unknown" while [ "$#" -gt 0 ]; do case "$1" in # 값 없는 마지막 옵션에서 `shift 2` 는 실패하고, -e 가 없어 루프가 안 돌아 **무한루프**가 된다 # — cross-family 지적 (c-2), 2026-08-08. 인자 수를 세고 shift 한다. --transcript) TRANSCRIPT="${2:-}"; [ "$#" -ge 2 ] && shift 2 || shift ;; --dir) OUTDIR="${2:-$OUTDIR}"; [ "$#" -ge 2 ] && shift 2 || shift ;; --session) SESSION="${2:-$SESSION}"; [ "$#" -ge 2 ] && shift 2 || shift ;; *) shift ;; esac done # 훅 경로: stdin 의 JSON 에서 읽는다. 인자로 준 값이 있으면 그쪽이 이긴다(테스트용). PAYLOAD_STATUS="args" # ⚠️ 캡처는 **seal 에서만**. 전 모드에서 돌리면 매 `UserPromptSubmit`(digest)가 PreCompact 페이로드를 # 덮어써서, 빈 봉인을 진단하라고 만든 증거를 **다음 프롬프트가 파괴**한다. 게다가 사용자 프롬프트 # 원문이 매 턴 디스크에 남는다. (high 리뷰 실측 재현: seal 직후엔 PreCompact 페이로드, digest 한 번에 교체.) # 훅 모드에서만 stdin 을 읽는다. 모드 화이트리스트가 없으면, 오타나 디스패처 소실 시 # 스크립트가 **stdin 을 기다리며 멈춘다** — 훅에선 페이로드가 오니 안 보이지만 CI 에선 정지다(실측). case "$MODE" in seal|digest|score) _READS_STDIN=1 ;; *) _READS_STDIN=0 ;; esac if [ "$_READS_STDIN" = "1" ] && [ -z "$TRANSCRIPT" ] && [ ! -t 0 ]; then HOOK_JSON="$(cat 2>/dev/null)" # 원본 페이로드를 항상 남긴다. 2026-08-08 첫 실발화가 session=unknown · transcript 빈 값으로 # 돌았는데, 원본을 안 남겨서 **왜 그런지 알 방법이 없었다.** 미측정을 빈 값으로 렌더하지 않는다. # 쓰기는 seal 에서만 — digest 가 쓰면 진단 증거를 다음 프롬프트가 파괴한다(#10). 파싱은 전 모드. [ "$MODE" = "seal" ] && mkdir -p "$OUTDIR" 2>/dev/null && printf '%s' "$HOOK_JSON" > "$OUTDIR/.last_payload" 2>/dev/null if [ -n "$HOOK_JSON" ]; then eval "$(printf '%s' "$HOOK_JSON" | python3 -c ' import json,sys,shlex try: d=json.load(sys.stdin) except Exception: d={} tp=d.get("transcript_path") or "" sid=(d.get("session_id") or "unknown")[:12] print(f"TRANSCRIPT={shlex.quote(tp)}; SESSION={shlex.quote(sid)}") ' 2>/dev/null)" fi fi # 페이로드에서 전사본을 못 얻었으면 **cwd 로 스스로 찾는다.** 빈 봉인은 봉인이 아니다 — # 훅 페이로드 모양은 런타임 버전에 딸린 외부 의존이고, 거기에 기능 전체를 걸면 안 된다. if [ -z "$TRANSCRIPT" ] || [ ! -f "$TRANSCRIPT" ]; then _slug="$(printf '%s' "$REPO_ROOT" | sed 's|/|-|g')" _dir="$HOME/.claude/projects/$_slug" _cand="" # 세션 id 를 알면 **그 세션의 전사본**을 고른다. mtime 최신을 고르면 같은 레포에 세션이 둘 열려 # 있을 때 **남의 발화를 이 세션 것으로 봉인**한다(high 리뷰 #5, 이 디렉토리에 전사본 125개). if [ "$SESSION" != "unknown" ] && [ -n "$SESSION" ]; then _cand="$(ls "$_dir"/"$SESSION"*.jsonl 2>/dev/null | head -1)" [ -n "$_cand" ] && PAYLOAD_STATUS="fallback-session" fi if [ -z "$_cand" ]; then _cand="$(ls -t "$_dir"/*.jsonl 2>/dev/null | head -1)" # 세션 미상 → 최신을 쓰되 **검증 불가임을 타입으로 남긴다.** 침묵 추정 금지. [ -n "$_cand" ] && PAYLOAD_STATUS="fallback-mtime-UNVERIFIED" fi if [ -n "$_cand" ] && [ -f "$_cand" ]; then TRANSCRIPT="$_cand" [ "$SESSION" = "unknown" ] && SESSION="$(basename "$_cand" .jsonl | cut -c1-12)" else PAYLOAD_STATUS="unresolved" fi elif [ "$PAYLOAD_STATUS" = "args" ]; then PAYLOAD_STATUS="parsed" fi case "$MODE" in seal) do_seal "$TRANSCRIPT" "$OUTDIR" "$SESSION" ;; digest) do_digest "$OUTDIR" "$SESSION" ;; score) do_score "$TRANSCRIPT" "$OUTDIR" ;; *) echo "usage: $0 {seal|digest|score} [--transcript P] [--dir D] [--session S]" echo " $0 --self-test" ;; esac exit 0 # 훅은 절대 비영 종료하지 않는다 — stdout 이 통째로 폐기된다