#!/usr/bin/env bash # digest_landing_check.sh — frontier digest 가 낸 **적용 후보가 실제로 착지했는지** 검증한다. # # ───────────────────────────────────────────────────────────────────────────── # 무엇을 푸는가 (identity ④: 프런티어→조직 전파) # ───────────────────────────────────────────────────────────────────────────── # `ship_readiness_gate.md` 의 ④ 는 이렇게 적혀 있었다: # # "frontier-digest launchd auto + AX submission docs both real, # but digest→org **never closed as ONE pipeline**" # # 두 조각은 실재한다 — digest 는 매일 자동 생성되고, 조직 산출물도 실재한다. # 없는 것은 **둘을 잇는 증거**다. 정확히 말하면 *"안 닫힌다"* 가 아니라 # **"닫히는데 증인이 없다"** 이다(identity ② 의 순서 증인과 같은 얼굴). # # 실측 근거 — 2026-08-08 digest 의 후보 `M2`(`allow_force_pushes` 잔여 재시도)는 같은 날 # 저녁 실측으로 다뤄졌고(그 잔여가 **거짓**임이 밝혀짐) 세션 카드에 최상단 항목으로 올라갔다. # 즉 **파이프라인은 그날 실제로 관통했다.** 그런데 어디에도 *"이건 그 digest 후보가 # 발원지다"* 라는 연결이 없다 — 사람 기억으로만 이어졌다. 이 스크립트가 그 연결을 잰다. # # ───────────────────────────────────────────────────────────────────────────── # no-reinvention — 검증 로직은 짓지 않는다 # ───────────────────────────────────────────────────────────────────────────── # 착지 검증기는 이미 있다: `utterance_landing_check.sh` (probes.tsv + **컨트롤 필수** + # rc 3분기). 이 스크립트가 새로 하는 일은 **추출뿐**이다 — digest 표를 probes.tsv 로 옮긴다. # 검증 로직을 여기에 다시 쓰면 **중복 정규화기**가 되고, 두 벌의 관대함이 갈리는 순간 # 한쪽만 통과하는 입력이 무음 드롭된다([[feedback_divergent_leniency_duplicate_normalizers]]). # # ───────────────────────────────────────────────────────────────────────────── # 판별자를 어떻게 고르나 — digest 자신이 답을 적어놨다 # ───────────────────────────────────────────────────────────────────────────── # 2026-08-08 digest §Warning Signals: *"히트 수만 보고 판정하면 안 되고 히트를 열어야 한다. # 판별자는 **사건 고유 토큰**(도메인·URL)으로 고르는 게 낫다."* # 그래서 후보 본문의 **백틱 코드 스팬**과 **`[[위키링크]]`** 만 판별자로 쓴다. 산문 문구를 # 정규식으로 걸면 문구가 바뀌는 순간 죽는다(착지 검증기 헤더의 명명된 잔여와 같은 함정). # # ⚠️ **판별 토큰을 못 뽑은 후보는 `UNCHECKABLE` 로 인쇄한다.** 조용히 빼면 착지율이 # 부풀려진다 — 미검증을 분모에서 지우는 것은 `not found ≠ 0` 위반이다. # # ───────────────────────────────────────────────────────────────────────────── # 스코프 (운영자 결정, 2026-08-09) # ───────────────────────────────────────────────────────────────────────────── # 착지 대상 = **공개 FH 자산 + `tracks/`**. 비공개 companion store 는 **보지 않는다** — # 스캔은 로컬에서 가능하지만 결과를 공개 파일에 쓰면 residency 위반이 된다. # 따라서 이 계기가 재는 것은 *"조직 전체 전파"* 가 아니라 **"허브 내부 착지"** 다. # 그 차이는 판정에 반드시 붙는다(아래 출력이 매번 스코프를 인쇄한다). # # ───────────────────────────────────────────────────────────────────────────── # 🟡 알려진 한계 — RC 다. 단 **선별기이지 판정기가 아니다** (2026-08-09) # ───────────────────────────────────────────────────────────────────────────── # **닫힌 것 — mtime 오염.** 초판은 선후를 mtime 하나로 재서, 브랜치 전환이 갱신한 mtime 때문에 # *내용은 digest 이전인* 파일이 필터를 통과했다(실측: `CLAUDE.md` mtime 21:45 vs 내용은 그 전 → # 원래 있던 토큰이 착지로 잡혀 미착지 2건이 초록으로 뒤집힘). 지금은 **두 축을 분리**한다: # git 추적 → `git log --since=@` (커밋 시각) # gitignored(`tracks/**`) → mtime (그 축엔 다른 증거가 없다) # dirty tracked → **UNMEASURED** 로 셈에 남긴다(커밋 안 된 수정엔 git 시각 증거가 없다) # 레인 2종이 그 분리를 고정한다 — mtime 만 새 tracked 는 **안 세고**(a), 커밋만 새 tracked 는 # mtime 이 옛것이어도 **잡는다**(b). (b)가 없으면 *"tracked 를 전부 버려 negative 만 통과하는 # 하네스"* 가 된다(cross-family/codex 지목). # # **안 닫힌 것 — `file-change ≠ token-introduction`.** 파일이 digest 이후 진짜 커밋됐어도 # 그 토큰은 원래 있던 것일 수 있다(실측: `CLAUDE.md` 는 챔버 실적 수정으로 커밋됐고 후보와 # 무관하다). 닫으려면 **토큰 수준 diff**(`git log -S`)가 필요한데 후보마다 타깃이 갈려 # 착지 검증기 인터페이스와 맞지 않는다 — 재설계 사안으로 남긴다. # # 📌 그래서 이 계기의 출력은 **선별기다.** 히트는 반드시 열어라. 실측 4회 중 4회 손검증이 # 무언가를 잡았다(자기참조 → 토큰 절단 → mtime 오염 → file-change≠token-introduction). # # ── 사용 ── # digest_landing_check.sh [target ...] # 미지정 시 기본 타깃 # digest_landing_check.sh --extract # probes.tsv 만 출력 # digest_landing_check.sh --self-test # # ── 종료 코드 (착지 검증기의 것을 그대로 물려받는다) ── # 0 전건 착지 · 1 미착지 있음 · 10 HARNESS-ERROR(컨트롤 사망/입력 불량) # ⚠️ UNCHECKABLE 이 있으면 **0 을 내지 않는다** — 재지 못한 것을 통과로 렌더하지 않는다. set -uo pipefail # ⚠️ `CLAUDE_PROJECT_DIR` 를 우선한다. 초판은 스크립트 위치로만 루트를 잡아서, # 격리 픽스처에서 **실제 레포를 봤다**(타깃 279건). 기존 레인은 타깃을 인자로 넘겼기 때문에 # **기본 타깃 선택 경로가 한 번도 테스트되지 않았다** — 자기 self-test 의 사각이었다. SELF_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" FH="${CLAUDE_PROJECT_DIR:-$(cd "$SELF_DIR/.." && pwd)}" # ⚠️ 검증기는 **도구**이고 FH 는 **대상**이다 — 두 축을 같은 변수로 묶으면 격리 픽스처에서 # 도구까지 임시 트리에서 찾다가 죽는다(실측). 도구는 언제나 이 스크립트 옆에 있다. CHECKER="$SELF_DIR/utterance_landing_check.sh" # ── 착지 스코프 (2026-08-18, R1) ──────────────────────────────────────────── # 기본 스코프는 **FH 자신의 문법**이다(`knowledge` · `CLAUDE.md` · gitignored `tracks/_meta`). # 위성이 겨눈 대상 하네스에는 그 셋이 없어서 타깃이 0건 → rc=10 이 매 런 찍힌다. 그건 정직한 # 값이지만(미측정≠0), 계기가 **구조적으로 죽은 채** 배선된 것과 같다. # 🟥 스코프를 «러너가 손으로 목록을 만들어 넘기는» 식으로 풀지 않는다 — 그러면 선후 필터가 # 두 벌이 되고 관대함이 갈리는 순간 한쪽만 통과하는 입력이 무음 드롭된다 # ([[feedback_divergent_leniency_duplicate_normalizers]]). 필터는 여기 한 곳에 두고 # **무엇을 볼지만** 밖에서 정한다. # 기본값은 종전 그대로 — FH 경로 무변경. # ⚠️ **명명된 잔여 (cross-family/codex F4)**: 이 값은 **공백 분리**된 다중 pathspec 이다. # 따라서 **경로에 공백이 있으면 갈린다** — `docs public` 은 «한 경로»가 아니라 두 경로가 된다. # 다중 경로 지원과의 트레이드오프라 오늘은 **문서화만** 했고 기계 검사는 없다. DLC_TRACKED_PATHS="${DLC_TRACKED_PATHS:-knowledge CLAUDE.md}" # git 추적축 (커밋시각) DLC_IGNORED_DIR="${DLC_IGNORED_DIR-tracks/_meta}" # gitignored 축 (mtime). 빈 값 = 그 축 없음 # digest 의 «입력» 파일들(레포 상대경로, 공백 구분). 이 파일들은 digest 생성 시 프롬프트에 # 주입됐으므로 어휘 겹침이 보장된다 ⇒ 착지를 가를 수 없다. 아래 자기참조 차단 2 참조. DLC_EXCLUDE_TARGETS="${DLC_EXCLUDE_TARGETS:-}" # 미설정 = 제외 없음 (종전 동작) # 🟥 2026-08-19 — 이 정규식은 **FH 자기 어휘**였고 오버라이드가 없었다. 위성 산출의 절 제목은 # 대상 프로필이 정한다(`## <대상> Application Candidates`) — 즉 계기가 **대상 레포에서는 구조적으로 # 후보를 못 찾는다.** 실측: forge-wiki·the-bible 둘 다 rc=10. R1(디렉터리를 타깃 파일로 넘김)과 # 같은 계열이다 — 「배선 완료」로 보고된 계기가 대상 축에서 죽어 있는 형태. # 기본값은 종전 그대로라 FH 자기 런은 무변경. SECTION_RE="${DLC_SECTION_RE:-^## .*Immediate Application Candidates}" # 후보 표에서 (id, 판별토큰 OR 정규식) 을 뽑는다. 토큰 없으면 id 만 내고 정규식은 빈 값. _extract() { # $1 = digest path awk -v sec="$SECTION_RE" ' # 판별자 추출 — 표/문단 **두 경로가 공유**한다(중복 정규화기 방지). function harvest(body, toks, tmp, w, t) { tmp=body while (match(tmp, /\[\[[^]]+\]\]/)) { w=substr(tmp, RSTART+2, RLENGTH-4); tmp=substr(tmp, RSTART+RLENGTH) if (length(w) >= 5) toks = (toks == "" ? w : toks "|" w) } tmp=body while (match(tmp, /`[^`]+`/)) { t=substr(tmp, RSTART+1, RLENGTH-2); tmp=substr(tmp, RSTART+RLENGTH) sub(/[: ].*$/, "", t) gsub(/^[[:space:]]+|[[:space:]]+$/, "", t) if (length(t) < 5) continue if (t ~ /[][(){}.*+?^$\\|]/) { if (t ~ /^[A-Za-z0-9_.-]+$/) { } else continue } gsub(/\./, "\\.", t) toks = (toks == "" ? t : toks "|" t) } return toks } $0 ~ sec { inblk=1; next } inblk && /^## / { if (pid != "") { print pid "\t" ptoks; pid="" } inblk=0; inpara=0 } # ── 문단 형식 (2026-08-18 신설) ─────────────────────────────────────── # 🟥 이 계기는 후보를 **표**로만 읽었다. 실측: 다이제스트 60건 중 표 형식은 **4건**, # 나머지는 `**① …**` `**[A] …**` `**1. …**` `**#1 …**` 같은 **문단 형식**이다. # 즉 계기가 실물의 6.7% 만 읽을 수 있었고, 그래서 첫 실측이 rc=10(«후보 절을 못 찾았다») # 을 냈다. 안 드러난 이유는 **프로덕션 호출부가 0** 이었기 때문 — 아무도 안 돌렸다. # ⚠️ 머리 표기는 여러 종이라 한 모양에 맞추지 않는다(실측: ① · [A] · 1. · #1 · 그 외). # **`**` 로 열리는 줄**을 항목 시작으로 보고, 다음 항목/절까지를 본문으로 모은다. # 🟥 판별자 추출은 **표 경로와 같은 코드**를 쓴다 — 두 벌로 갈리면 관대함이 어긋나 # 한쪽만 통과하는 입력이 무음 드롭된다(divergent leniency). # 항목 머리 **네** 형식을 다 받는다. 실측(60건 후보 절 전수, 하나씩 열어서 확인): # `**…**` 74 · 표 `|` 28 · `### [M] 1.` 22 · **번호 리스트 `1. **…**`**(초기 다이제스트의 주 형식) # 🟥 초판은 `**` 만 받았고, 표가 섞인 절에서 **표 앞의 `**` 줄을 먼저 삼켜** 표 행을 # UNCHECKABLE 로 떨어뜨렸다(회귀 실측). 그래서 **표 행은 항상 표 경로가 먼저 가져간다**. inblk && (/^###+ / || /^\*\*/ || /^[0-9]+\. / || /^- \*\*/) { if (pid != "") { print pid "\t" ptoks } pid=$0; ptoks="" sub(/^###+ /, "", pid); sub(/^[0-9]+\. /, "", pid); sub(/^- /, "", pid) sub(/^\*\*/, "", pid); sub(/\*\*.*$/, "", pid) gsub(/^[[:space:]]+|[[:space:]]+$/, "", pid) # 🟥 substr 로 자르지 않는다 — awk 는 로케일에 따라 **바이트** 단위라 한글/기호를 # 중간에서 쪼개고 그 출력이 UTF-8 로 안 읽힌다(실측: 집계 스크립트가 UnicodeDecodeError). # id 는 표시용이므로 자르지 말고 **공백 기준 앞 6낱말**만 쓴다. if (split(pid, _w, /[[:space:]]+/) > 6) { pid=""; for (_i=1; _i<=6; _i++) pid = pid (_i>1 ? " " : "") _w[_i] } ptoks=harvest($0, ptoks) inpara=1; next } # 표 행은 아래 표 경로가 처리한다 — 여기서 안 먹는다(우선순위 명시). inblk && inpara && !/^\|/ && !/^###+ / && !/^[0-9]+\. / && !/^- \*\*/ { ptoks=harvest($0, ptoks); next } inblk && /^\|/ { line=$0 # 헤더/구분선 제외 if (line ~ /^\|[[:space:]]*#/) next if (line ~ /^\|[-:| ]+\|$/) next # 1열 = id (볼드 제거) n=split(line, cell, "|") if (n < 4) next id=cell[2]; gsub(/[*[:space:]]/, "", id) if (id == "") next body="" for (i=4; i<=n; i++) body = body cell[i] "|" # 판별자 = 백틱 스팬 + [[위키링크]] toks="" # 백틱 스팬을 [[위키링크]] 와 **같은 형태로** 모아 한 번에 훑는다. # 초판은 헤더에 "백틱 + 위키링크" 라고 적고 **코드는 백틱만** 뽑았다 — # 주석이 말하는데 코드가 안 하는 것(cross-family 가 어제 F7 로 지목한 클래스). tmp=body while (match(tmp, /\[\[[^]]+\]\]/)) { w=substr(tmp, RSTART+2, RLENGTH-4) tmp=substr(tmp, RSTART+RLENGTH) if (length(w) >= 5) toks = (toks == "" ? w : toks "|" w) } tmp=body while (match(tmp, /`[^`]+`/)) { t=substr(tmp, RSTART+1, RLENGTH-2) tmp=substr(tmp, RSTART+RLENGTH) # ⚠️ 콜론/공백 뒤를 자른다. `allow_force_pushes: true` 를 통째로 걸면 실제 착지문 # (`allow_force_pushes` 만 쓴 카드)을 **놓친다** — 실측으로 확인된 오검출 방향. sub(/[: ].*$/, "", t) gsub(/^[[:space:]]+|[[:space:]]+$/, "", t) # 판별력 없는 짧은/일반 토큰은 버린다 if (length(t) < 5) continue # 정규식 메타는 통째로 버린다(escape 실패가 무음 오탐을 만든다) if (t ~ /[][(){}.*+?^$\\|]/) { # 점·언더스코어만 있는 파일명류는 살린다 (예: plugin.json) if (t ~ /^[A-Za-z0-9_.-]+$/) { } else continue } gsub(/\./, "\\.", t) toks = (toks == "" ? t : toks "|" t) } print id "\t" toks } END { if (pid != "") print pid "\t" ptoks } ' "$1" } do_extract() { # $1 = digest local d="$1" id toks n=0 unchk=0 [ -f "$d" ] || { echo "❌ digest 없음: $d" >&2; return 10; } # 컨트롤 — 이 계기가 살아 있는지 증명한다. 대상 트리에 확실히 존재하는 토큰. # 컨트롤이 죽으면 착지 검증기가 rc=10 을 내고 타깃 결과를 인쇄하지 않는다. # 🟥 R1-b (2026-08-18) — 컨트롤이 `forge-harness`/`session` 으로 **하드코딩**이었다. # 위성이 겨눈 레포에는 그 두 토큰이 없으므로 **컨트롤이 매번 죽고** 계기는 rc=10 만 낸다. # R1 의 인자 버그를 고쳐도 이게 남아 있으면 계기는 여전히 구조적으로 죽은 채다 — 그 사실을 # 이 레인이 잡았다(수리가 신규 결함의 출처인 것과 같은 얼굴: 반쪽 수리). # 기본값은 **자기 레포 이름**이라 FH 에서는 종전과 동일(`forge-harness`)하다. # 🟥 두 갈래를 갈라야 한다 (cross-family/codex F3 지목, 실측으로 **더 나쁜 형태** 확인): # 초판은 `for _ctl in ${DLC_CONTROLS:-$(basename "$FH") session}` 였는데, 비인용 명령치환은 # 단어분리 **와 글로빙**을 둘 다 탄다 — 레포명이 `.*` 인 디렉터리에서 실측하니 컨트롤이 # `.git` 등 **4개로 글로브 확장**됐다. 게다가 컨트롤은 ERE 로 쓰이므로 레포명에 정규식 # 메타문자가 있으면 «아무 내용에나 매치»해 **계기 생존이 오탐**이 된다. # ⇒ 유도 기본값은 **리터럴로 취급**(메타문자 이스케이프) · 사용자 지정값만 정규식으로 둔다. local _ctl _label=1 if [ -n "${DLC_CONTROLS:-}" ]; then for _ctl in $DLC_CONTROLS; do # 명시값은 «정규식» 계약 — 의도적 분리 printf 'CONTROL\t%s\t컨트롤%s: %s\n' "$_ctl" "$_label" "$_ctl" _label=$((_label+1)) done else local _repo; _repo="$(basename "$FH")" # ERE 메타문자 이스케이프 — 유도값은 «그 문자열이 실제로 있는가» 를 묻는 것이지 패턴이 아니다 _repo="$(printf '%s' "$_repo" | sed 's/[][\.^$*+?(){}|]/\\&/g')" printf 'CONTROL\t%s\t컨트롤1: %s\n' "$_repo" "$_repo" printf 'CONTROL\tsession\t컨트롤2: session\n' fi while IFS=$'\t' read -r id toks; do [ -n "${id:-}" ] || continue n=$((n+1)) if [ -z "${toks:-}" ]; then unchk=$((unchk+1)) printf '# UNCHECKABLE\t%s\t판별 토큰(백틱/위키링크) 없음 — 재지 못함\n' "$id" continue fi printf 'TARGET\t%s\t후보 %s\n' "$toks" "$id" done < <(_extract "$d") if [ "$n" -eq 0 ]; then echo "❌ 후보 절을 못 찾았다 (섹션 정규식 불일치?) — 0건과 미검출을 가르기 위해 실패로 낸다" >&2 return 10 fi return 0 } do_check() { local d="${1:-}"; shift || true [ -n "$d" ] && [ -f "$d" ] || { echo "❌ usage: digest_landing_check.sh [target ...]" >&2; return 10; } [ -x "$CHECKER" ] || [ -f "$CHECKER" ] || { echo "❌ 착지 검증기 부재: $CHECKER (이 스크립트는 검증을 자체 구현하지 않는다)" >&2; return 10; } # 🟥 R7 (2026-08-19, **첫 실사용 발견**) — `set -u` + bash 3.2 에서 **빈 배열의 `${a[@]}` 는 # unbound 에러**다. 대상 레포에 digest 이후 커밋이 없으면 targets 가 비고, 그러면 아래 # 필터 루프가 터진다. 그 순간 스크립트는 판정을 인쇄하지 못한 채 **rc=1 로 끝나고**, # 러너는 그 1 을 「SOME-UNLANDED」로 로그에 적는다 — 즉 **셸 에러가 착지율 시계열에 # 실측값으로 들어간다**([[feedback_not_found_is_not_zero_family]] 의 가장 조용한 얼굴). # 실측: forge-wiki 대상 첫 런이 정확히 그렇게 «SOME-UNLANDED (rc=1)» 을 남겼고 본문은 없었다. # 올바른 값은 rc=10(타깃 0건 = HARNESS-ERROR)이다. 빈 배열 확장을 전부 방어한다. local -a targets=() if [ "$#" -gt 0 ]; then targets=("$@") else # 기본 스코프 = 공개 FH 자산 + tracks. **비공개 store 제외**(운영자 결정). targets=() # ⚠️ CLAUDE.md 도 **선후 필터를 거친다.** 초판은 무조건 추가했고, 그래서 이 파일 하나가 # 필터를 우회해 오탐 원천이 됐다 — 손검증에서 "M1 착지 1파일" 의 그 1파일이 CLAUDE.md # 였고, 후보와 무관하게 원래 있던 토큰이었다. 예외 경로 하나가 필터 전체를 무력화한다. case " $DLC_TRACKED_PATHS " in *" CLAUDE.md "*) [ -f "$FH/CLAUDE.md" ] && [ "$FH/CLAUDE.md" -nt "$d" ] && targets+=("$FH/CLAUDE.md") ;; esac # ★ **digest 보다 나중에 수정된 파일만** 본다. grep 은 "토큰이 있다" 만 재고 # "이 후보 때문에 생겼다" 는 못 잰다 — 이미 있던 문서가 착지로 잡힌다(실측: 후보 하나가 # 21파일 히트, 전부 무관한 기존 문서였다). 선후 필터가 인과를 주지는 않지만 # **"그 뒤에 쓰였다"** 는 잡아서 판별력을 크게 올린다. # ⚠️ 명명된 잔여: mtime 기반이라 sync/checkout 으로 흔들린다. `tracks/**` 가 gitignored 라 # git 시각을 못 쓰는 것이 원인이고, 이건 챔버 순서 증인이 만난 것과 같은 제약이다. # ★ **두 축을 분리한다** (cross-family/codex 설계, 2026-08-09). # git 추적 파일 → **커밋 시각**(`git log --since=@epoch`). mtime 은 브랜치 전환·체크아웃으로 # 갱신되므로 tracked 에서는 신뢰할 수 없다 — 실측으로 확인된 오탐 원인. # gitignored → mtime 밖에 없다(`tracks/**`). 남는 취약면이고 아래에 명명한다. # ⚠️ **GNU-first, and then VALIDATE — 순서만으로는 부족하다.** 초판은 `stat -f %m || stat -c %Y` # (BSD-first)였고 **리눅스에서 조용히 fail-open 했다**: GNU 의 `-f` 는 `--file-system` 이라 # 일반 파일에 대해 **exit 0** 으로 파일시스템 리포트(`File: … Blocks: …`)를 뱉는다. 즉 `||` # 폴백이 영영 안 돌고 `_dts` 에 epoch 대신 여러 줄 blob 이 들어간다 → `git log --since="@"` # 이 파싱 실패 → tracked 대상 **0개** → 「착지 0건」으로 렌더된다. 이 계기가 막으려고 존재하는 # 바로 그 미측정-을-0으로 렌더가 계기 자신에게서 났다([[feedback_not_found_is_not_zero_family]]). # 아래 `[ -z ]` 가드는 blob 이 **비어 있지 않아서** 못 잡았다 — 존재검사는 진위를 못 본다. # 실측 2026-08-15: macOS 10/10 PASS · ubuntu:24.04 컨테이너 및 CI(ubuntu-latest) 1/10 FAIL # (positive arm `★N-git b` 만 죽는다 = negative 만 통과하는 하네스). 이 레인이 selfcheck 에 # 배선되기 전에는 아무도 안 돌려서 비용이 0이었다 — 배선이 가정을 표면화한 판본 # ([[feedback_wiring_surfaces_hidden_failures]], 같은 `stat -f` 원인의 재발). # 정수 검증까지 두는 이유: 순서는 플랫폼이 하나 더 늘면 다시 깨지지만, "정수가 아니면 에러"는 # 안 깨진다. sync-from-be.sh:116 · fh_session_load.sh:105 가 같은 함정을 이미 주석으로 남겼다. local _dts; _dts="$(stat -c %Y "$d" 2>/dev/null || true)" case "${_dts:-}" in ''|*[!0-9]*) _dts="$(stat -f %m "$d" 2>/dev/null || true)" ;; esac case "${_dts:-}" in ''|*[!0-9]*) echo "❌ digest mtime 을 못 읽었다(stat 출력이 epoch 정수가 아니다) — 선후 판정 불가" >&2 return 10 ;; esac while IFS= read -r f; do [ -n "$f" ] || continue case "$f" in *.md) ;; *) continue ;; esac [ -f "$FH/$f" ] && targets+=("$FH/$f") done < <(git -C "$FH" log --since="@$_dts" --name-only --pretty=format: -- $DLC_TRACKED_PATHS 2>/dev/null | sort -u) if [ -n "$DLC_IGNORED_DIR" ] && [ -d "$FH/$DLC_IGNORED_DIR" ]; then while IFS= read -r f; do targets+=("$f"); done < <( find "$FH/$DLC_IGNORED_DIR" -name '*.md' -type f -newer "$d" 2>/dev/null | head -400) fi # dirty tracked — 커밋 안 된 수정본엔 git 시각 증거가 없다. 초록으로 만들지 않고 셈에 남긴다. DIRTY_TRACKED="$(git -C "$FH" diff --name-only -- $DLC_TRACKED_PATHS 2>/dev/null | grep -c '[.]md$')" || true DIRTY_TRACKED="${DIRTY_TRACKED//[^0-9]/}"; DIRTY_TRACKED="${DIRTY_TRACKED:-0}" fi # ★ 자기참조 차단 — **이 계기의 첫 실물 실행에서 100% 오탐을 낸 원인**이다. # digest 자신(과 그 로그)이 타깃에 있으면 모든 후보 토큰이 거기서 발견되므로 # **전건이 자동으로 "착지"** 가 된다. 손검증 전까지 3/3 초록이었고 실제 착지는 0이었다. # ★ 자기참조 차단 2 — **digest 의 «입력»도 타깃이 될 수 없다** (2026-08-20, 실측 발견). # 위 필터는 digest 자신·그 로그·타 digest 를 뺀다. 그런데 위성 런은 `FD_PROFILE`(대상 하네스가 # 자기를 설명하는 파일)을 **프롬프트에 주입해서** digest 를 만든다 ⇒ 그 프로필과 digest 는 # 어휘를 공유하는 것이 **보장돼 있다.** 프로필이 타깃 집합에 들어오면 후보 토큰이 거기서 # 발견되고, 그건 «채택» 이 아니라 **«내가 준 것을 내가 되읽은 것»** 이다. # # 실측 2026-08-20 (forge-wiki, 무인 런) — 이 필터가 없어서 판정이 뒤집혔다: # digest mtime 이후 커밋된 .md = `wiki/.satellite-profile.md` **한 건**(= 그날의 타깃 전부) # ⇒ 5 후보 중 4 «착지» · 1 «미착지» → rc=1 SOME-UNLANDED 로 렌더됐다. # 손검증: 유일한 «미착지» 후보를 열었더니 레포 전체 0히트이고, `git log --since=` 도 # 공집합이었다. **실제 착지는 0이다.** 즉 계기는 0 을 4 로 보고했다. # 올바른 값은 rc=10(타깃 0건 = 못 쟀다)이고, 이 필터가 그 값을 되돌려준다. # # ⚠️ 명명된 잔여 — **프로필에 진짜로 착지한 건은 이제 구조적으로 안 보인다.** # (예: digest 가 "프로필에 egress sink 를 선언해라" 라고 했고 운영자가 그렇게 고친 경우.) # 위 `*frontier_digest_*` 제외가 「후보가 내일 digest 에 재등장하는 것」을 못 보는 것과 **같은 # 급의 트레이드오프**이고, 같은 이유로 받는다: 보장된 겹침을 착지로 렌더하는 쪽이 **거짓 # 양성**이라 더 나쁘다. 미측정은 0 으로 렌더되지 않고 rc=10 으로 나간다. # # 🟥 기본값 무변경: `DLC_EXCLUDE_TARGETS` 미설정이면 아래 루프는 한 건도 안 뺀다 — # FH 자체 런(프로필 없음)은 **바이트 동일**하게 돈다. local _dbase; _dbase="$(basename "$d")" local -a _filtered=() local _t _x local _n_input_excl=0 for _t in ${targets[@]+"${targets[@]}"}; do case "$_t" in *"$_dbase") continue ;; # digest 자신 */logs/*) continue ;; # 그 생성 로그 *frontier_digest_*) continue ;; # 다른 날짜 digest (후보가 이월되며 반복 등장한다) esac # digest 의 선언된 입력(프로필 등). 레포 상대경로로 받아 절대경로로 맞춘다. # 🟥 두 방어는 cross-family(codex/gpt-5.6-terra, 2026-08-20) 가 **fail-open** 으로 지목해서 붙었다. # ⓐ 비인용 확장이라 값이 **글로빙**된다 — `wiki/*.md` 가 CWD 기준으로 퍼져 진짜 착지를 과잉 # 제외할 수 있다. `set -f` 로 그 루프에서만 끈다(뒤에서 원복). # ⓑ 문자열 동등비교라 `./wiki/x.md` 가 git 경로 `wiki/x.md` 와 **안 맞는다.** `FD_PROFILE` 은 # 러너의 `-f` 게이트를 통과하므로(그건 실재만 본다) 제외만 조용히 실패한다 = 거짓 양성 재발. # ⇒ 양쪽에서 `./` 접두와 후행 `/` 를 벗겨 비교한다. # ⚠️ 남은 잔여(명명): **심볼릭 링크**는 여전히 안 맞는다. `profile.md -> source.md` 이고 git 이 # `source.md` 를 타깃으로 주면 제외가 빗나간다. 실경로 해석은 bash 3.2 에서 이식성 있게 # 하기 어렵고, 이 레포의 위성 둘 다 링크를 안 쓴다(실측) ⇒ 안 닫고 이름으로 남긴다. local _is_input=0 local _tn="${_t#./}"; _tn="${_tn%/}" set -f for _x in ${DLC_EXCLUDE_TARGETS:-}; do [ -n "$_x" ] || continue _x="${_x#./}"; _x="${_x%/}" if [ "$_tn" = "$FH/$_x" ] || [ "$_tn" = "$_x" ]; then _is_input=1; break; fi done set +f if [ "$_is_input" -eq 1 ]; then _n_input_excl=$((_n_input_excl+1)); continue; fi _filtered+=("$_t") done targets=(${_filtered[@]+"${_filtered[@]}"}) # 🟥 공백이 든 경로는 단어분리로 조각난다(codex HIGH #1). 조각은 실재 파일이 아니므로, 선언된 # 제외 항목 중 **레포에 실재하지 않는 것**을 크게 경고한다 — 조용한 fail-open 대신 시끄러운 오류. # (이 검사는 «제외가 걸렸나» 가 아니라 «지정이 말이 되나» 를 본다. 프로필이 그날 안 바뀐 정상 # 케이스에서는 실재하므로 안 뜬다.) set -f local _bad="" for _x in ${DLC_EXCLUDE_TARGETS:-}; do [ -n "$_x" ] || continue _x="${_x#./}"; _x="${_x%/}" [ -e "$FH/$_x" ] || [ -e "$_x" ] || _bad="$_bad $_x" done set +f [ -z "$_bad" ] || \ echo " ⚠️ DLC_EXCLUDE_TARGETS 에 실재하지 않는 항목:$_bad — 경로에 공백이 있으면 단어분리로 조각난다. 제외가 빗나가 입력이 타깃에 남을 수 있다(fail-open)" >&2 [ "$_n_input_excl" -eq 0 ] || \ echo " ⓘ digest 입력 ${_n_input_excl}건을 타깃에서 제외했다 (어휘 겹침이 보장돼 착지를 못 가른다): ${DLC_EXCLUDE_TARGETS}" >&2 # rc=10 은 둘 다 «못 쟀다» 지만 **원인이 다르고 처방도 다르다** — 하나로 뭉개면 운영자가 # 「아무도 안 고쳤다」와 「내가 겨냥을 잘못했다」를 구분 못 한다. if [ "${#targets[@]}" -eq 0 ]; then if [ "$_n_input_excl" -gt 0 ]; then echo "❌ 타깃 0건 — 변경분이 digest 입력뿐이었다(제외 ${_n_input_excl}건). 착지 0 이 아니라 **미측정**이다" >&2 else echo "❌ 타깃 0건 — digest 이후 커밋된 대상 파일이 없다. 착지 0 이 아니라 **미측정**이다" >&2 fi return 10 fi local probes; probes="$(mktemp -t dlc.XXXXXX)" || return 10 if ! do_extract "$d" > "$probes"; then rm -f "$probes"; return 10; fi # ⚠️ `grep -c … || echo 0` 은 **매치 0일 때 rc=1** 이라 폴백이 붙어 "0\n0" 을 만든다. # 그 두 줄짜리 값이 뒤의 `-gt` 비교를 bash 에러(=거짓)로 만들어 **가드를 무음 통과**시킨다 # ([[feedback_pipefail_fallback_disarms_guard]]). 파이프를 분해하고 정수로 소독한다. local unchk; unchk="$(grep -c '^# UNCHECKABLE' "$probes" 2>/dev/null)" || true unchk="${unchk//[^0-9]/}"; unchk="${unchk:-0}" echo "── digest 착지 검증: $(basename "$d") ──" echo " 스코프: git추적[${DLC_TRACKED_PATHS}] + ignored[${DLC_IGNORED_DIR:-없음}] (비공개 companion store 제외 — '조직 전파'가 아니라 '레포 내부 착지')" echo " 타깃 파일 ${#targets[@]}건 (digest 이후 수정분만) · 판별불가 후보 ${unchk}건" echo " 축: git추적=커밋시각 · gitignored=mtime · dirty tracked ${DIRTY_TRACKED:-0}건=UNMEASURED" echo " ⚠️ 이 계기는 **선후**를 잰다. 인과가 아니다 — 히트는 열어서 확인하라" echo bash "$CHECKER" "$probes" "${targets[@]}" local rc=$? rm -f "$probes" # ⚠️ 재지 못한 후보가 있으면 전건 착지라도 0 을 내지 않는다. if [ "$rc" -eq 0 ] && [ "${unchk:-0}" -gt 0 ]; then echo echo "🟡 착지한 것은 전부 착지했지만 **판별불가 후보 ${unchk}건은 재지 못했다.**" echo " 전건 통과로 렌더하지 않는다 (미측정 ≠ 0). rc=1" return 1 fi return "$rc" } do_self_test() { # 🟥 2026-08-20 — 아래 레인들은 컨트롤을 **픽스처가 실제로 담은 토큰으로 고정**한다. # 고정 전에는 컨트롤이 `basename "$FH"` 로 유도됐고, 픽스처 카드가 리터럴 # `forge-harness session card` 를 담고 있어서 **체크아웃 디렉터리 이름이 `forge-harness` # 일 때만** 컨트롤이 살았다. npm 소비자는 `node_modules/@chrono-meta/fh-gate` 에 깔리므로 # 거기서는 컨트롤이 전건 사망 → 착지 판정 레인 5개가 전부 rc=10 이 됐다. # known-pair 실측(같은 바이트, 디렉터리명만 교체): `forge-harness/` 15/15 PASS · # `some-consumer-app/` 5/15 FAIL. 즉 계기가 **저자의 폴더 이름에 결박**돼 있었다. # 🟥 «10 을 기대하는» 레인들도 같이 고정한다 — 그 레인들은 고정 전에도 10 을 냈지만 # 그건 **의도한 사유가 아니라 컨트롤 사망** 때문이었다(거짓 초록). # 🟥 N1(컨트롤 사망)·★N-ctl(유도가 도는가)·★N-ctl-re 는 **일부러** 유도/사망을 주장하므로 # 고정하지 않는다. 거기에 넣으면 그 레인의 주장이 뒤집힌다. # 선행 관용구 = 이 파일의 ★N-git 레인(“컨트롤은 픽스처가 담은 토큰으로 고정”). local T; T="$(mktemp -d -t dlc_t.XXXXXX)" || return 10 local pass=0 fail=0 rc _t() { if [ "$2" = "$3" ]; then echo "✅ $1 → rc=$3"; pass=$((pass+1)); else echo "❌ $1 → rc=$3 (기대 $2)"; fail=$((fail+1)); fi } # known-pair 픽스처. 실물 2026-08-08 digest 의 구조를 그대로 본뜬다. cat > "$T/digest.md" <<'EOF' # digest ## 📌 FH Immediate Application Candidates | # | 티어 | 내용 | |---|---|---| | **M2** | **M** | `allow_force_pushes` 잔여 재시도 — 실측이 붙었다 | | **R2** | R | `prime_agent_sister_asset` 기록 — 코드 직독 필요 | ## ⚠️ Warning Signals EOF # positive 타깃: M2 토큰이 있다. negative(R2)는 없다. mkdir -p "$T/tgt" printf 'forge-harness session card\nallow_force_pushes 잔여가 거짓임을 실측했다\n' > "$T/tgt/card.md" # P1 — 착지분과 미착지분이 섞이면 rc=1 (미착지 있음) rc=0; DLC_CONTROLS="forge-harness session" bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" "$T/digest.md" "$T/tgt/card.md" >/dev/null 2>&1 || rc=$? _t "M2 착지 · R2 미착지 → 미착지 검출(1)" 1 "$rc" # P2 — 둘 다 착지시키면 0 printf 'prime_agent_sister_asset 도 기록했다\n' >> "$T/tgt/card.md" rc=0; DLC_CONTROLS="forge-harness session" bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" "$T/digest.md" "$T/tgt/card.md" >/dev/null 2>&1 || rc=$? _t "둘 다 착지 → 전건 착지(0)" 0 "$rc" # N1 — 컨트롤 사망(타깃에 컨트롤 토큰이 없다) → HARNESS-ERROR(10), PASS 도 FAIL 도 아님 printf 'allow_force_pushes\nprime_agent_sister_asset\n' > "$T/tgt/nocontrol.md" rc=0; bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" "$T/digest.md" "$T/tgt/nocontrol.md" >/dev/null 2>&1 || rc=$? _t "컨트롤 사망 → HARNESS-ERROR(10), 착지로 안 읽는다" 10 "$rc" # N2 — 판별 토큰 없는 후보는 UNCHECKABLE 이고, 전건 착지라도 0 을 내지 않는다 cat > "$T/digest_unchk.md" <<'EOF' # digest ## 📌 FH Immediate Application Candidates | # | 티어 | 내용 | |---|---|---| | **S9** | S | 판별 토큰이 하나도 없는 산문 후보다 | ## end EOF # ── N-git ★ 두 축 분리 검증 (cross-family/codex 설계) ────────────────────── # 임시 git 레포에서 **mtime 과 커밋시각이 어긋난** 두 상태를 만들어 각각 잰다. # 이 두 레인이 없으면 mtime 오염 수리가 회귀해도 초록이 난다. local G; G="$(mktemp -d -t dlc_g.XXXXXX)" || return 10 ( cd "$G" && git init -q . && git config user.email t@t && git config user.name t mkdir -p knowledge tracks/_meta printf 'forge-harness session\nstale_token_x\n' > knowledge/old.md git add -A && GIT_AUTHOR_DATE="2001-01-01T00:00:00+0000" \ GIT_COMMITTER_DATE="2001-01-01T00:00:00+0000" git commit -qm base printf '# d\n## 📌 FH Immediate Application Candidates\n\n| # | 티어 | 내용 |\n|---|---|---|\n| **A1** | M | `stale_token_x` 후보 |\n| **B1** | M | `fresh_token_y` 후보 |\n\n## end\n' \ > tracks/_meta/frontier_digest_2001_01_02.md touch -t 200101020000 tracks/_meta/frontier_digest_2001_01_02.md printf 'forge-harness session\nfresh_token_y\n' > knowledge/new.md git add -A && GIT_AUTHOR_DATE="2001-01-03T00:00:00+0000" \ GIT_COMMITTER_DATE="2001-01-03T00:00:00+0000" git commit -qm later touch -t 200101010000 knowledge/new.md touch knowledge/old.md printf 'forge-harness session control\n' > tracks/_meta/card.md ) >/dev/null 2>&1 # 컨트롤은 픽스처가 실제로 담고 있는 토큰으로 고정한다(레포명이 mktemp 난수라서). # 🟥 이 레인의 주장은 **git/mtime 두 축 분리**지 컨트롤 유도가 아니다 — 축을 섞지 않는다. out="$( cd "$G" && CLAUDE_PROJECT_DIR="$G" DLC_CONTROLS="forge-harness session" \ bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" \ "$G/tracks/_meta/frontier_digest_2001_01_02.md" 2>&1 )" # ── ★N-ctl (2026-08-18, R1-b) — 컨트롤이 **레포 이름을 따라간다** ──────────── # 초판은 `forge-harness`/`session` 하드코딩이라 **위성이 겨눈 레포에선 매번 컨트롤 사망** # (= rc=10)이었다. R1 의 인자 버그를 고쳐도 계기는 구조적으로 죽은 채였을 것이다. local out_ctl rc_ctl out_ctl="$( cd "$G" && CLAUDE_PROJECT_DIR="$G" bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" \ "$G/tracks/_meta/frontier_digest_2001_01_02.md" 2>&1 )"; rc_ctl=$? # 픽스처 레포 이름(mktemp 난수)은 본문에 없다 ⇒ 유도된 컨트롤이 죽어 rc=10 이 정상이다. # 이것이 «유도가 실제로 돈다»의 증거다(하드코딩이면 여기서 rc=1 이 나온다). _t "★N-ctl 컨트롤이 레포명을 따라간다(하드코딩 아님)" 10 "$rc_ctl" # ── ★N-ctl-re (cross-family/codex F3) — 유도 컨트롤은 **리터럴**이지 정규식이 아니다 ────── # 초판은 `for _ctl in ${DLC_CONTROLS:-$(basename "$FH") session}` 였다. 비인용 명령치환이라 # ⓐ 레포명이 ERE 메타문자면 «아무 내용에나 매치»해 계기 생존이 **오탐**이 되고 # ⓑ 실측하니 글로빙까지 타서 컨트롤이 `.git` 등으로 **확장**되기도 했다. # 🟥 픽스처는 **판별하는 형태**여야 한다. 첫 판본은 레포명을 `.*` 로 잡았는데, 그건 글로빙에 # 걸려 죽은 컨트롤이 생기는 바람에 **버그 판본도 rc=10** 을 냈다 — 되돌림 프로브가 그 # 장식성을 잡았다([[feedback_fixture_must_use_the_breaking_spelling]]). # 그래서 레포명을 `a.b` 로 쓴다: 글로브로는 아무것도 안 맞아 그대로 남고(확장 없음), # ERE 로는 `axb` 에 매치된다. 대상에 `axb` 만 두면 # 버그 판본 → 컨트롤 **생존(오탐)** → rc≠10 # 수리 판본 → 리터럴 `a.b` 없음 → 컨트롤 사망 → rc=10 local RG; RG="$(mktemp -d -t 'dlc_re.XXXXXX')" || return 10 local RD="$RG/a.b" ( mkdir -p "$RD/tracks/_meta" "$RD/knowledge" && cd "$RD" \ && git init -q . && git config user.email t@t && git config user.name t printf '# d\n## 📌 FH Immediate Application Candidates\n\n| # | 티어 | 내용 |\n|---|---|---|\n| **A1** | M | `zzz_absent_token` 후보 |\n\n## end\n' \ > tracks/_meta/frontier_digest_2001_01_01.md touch -t 200101010000 tracks/_meta/frontier_digest_2001_01_01.md # 리터럴 `a.b` 는 **없다**. `axb`(ERE 로만 매치) 와 `session` 만 있다. printf 'axb 그리고 session\n' > tracks/_meta/card.md ) >/dev/null 2>&1 local rc_re ( cd "$RD" && CLAUDE_PROJECT_DIR="$RD" bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" \ "$RD/tracks/_meta/frontier_digest_2001_01_01.md" ) >/dev/null 2>&1; rc_re=$? _t "★N-ctl-re 레포명이 정규식 메타문자여도 리터럴로 취급(컨트롤 오탐 없음)" 10 "$rc_re" rm -rf "$RG" # ── ★N-empty (2026-08-19, R7) — 타깃이 0건이면 **rc=10** 이지 rc=1 이 아니다 ──────────── # 🟥 `set -u` + bash 3.2 에서 빈 배열 확장이 터지면, 스크립트는 판정을 못 내고 **rc=1** 로 # 끝난다. 러너는 그 1 을 「SOME-UNLANDED」로 적는다 — 셸 에러가 착지율 시계열에 실측값으로 # 들어간다. 첫 실사용(forge-wiki 대상)에서 정확히 그 로그가 나왔고 본문은 비어 있었다. local EG; EG="$(mktemp -d -t dlc_e.XXXXXX)" || return 10 ( mkdir -p "$EG/wiki" && cd "$EG" && git init -q . \ && git config user.email t@t && git config user.name t printf '# d\n## 📌 FH Immediate Application Candidates\n\n| # | 티어 | 내용 |\n|---|---|---|\n| **A1** | M | `zzz_tok` 후보 |\n\n## end\n' \ > wiki/frontier_digest_2001_01_01.md ) >/dev/null 2>&1 # digest 이후 커밋 0 · ignored 축 없음 ⇒ 타깃 0건 local rc_e ( cd "$EG" && CLAUDE_PROJECT_DIR="$EG" DLC_TRACKED_PATHS="wiki" DLC_IGNORED_DIR="" \ DLC_CONTROLS="zzz_tok" bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" \ "$EG/wiki/frontier_digest_2001_01_01.md" ) >/dev/null 2>&1; rc_e=$? _t "★N-empty 타깃 0건은 HARNESS-ERROR(10)이지 미착지(1)가 아니다" 10 "$rc_e" # ── ★N-input (2026-08-20) — digest 의 «입력»(프로필)은 타깃이 될 수 없다 ──────────────── # 🟥 이 픽스처는 **오늘 실제로 일어난 런을 그대로 재현한다**(forge-wiki 무인 런, 10:03:38). # digest 이후 커밋된 유일한 .md 가 프로필 자신이었고, 프로필은 digest 를 만들 때 프롬프트에 # 주입되므로 어휘 겹침이 **보장**돼 있다 ⇒ 계기가 자기 입력을 읽고 「착지」라고 보고했다. # 실제 착지는 0 이었는데 rc=1(SOME-UNLANDED, 4/5 착지)로 렌더됐다. # 알려진 짝이다 — 두 팔이 **같은 레포·같은 digest·같은 커밋 수**이고 다른 것은 «커밋된 파일이 # 입력이냐 아니냐» **하나뿐**이다. 한 팔만 있으면 「제외가 다 죽인다」와 구분이 안 된다. local IG; IG="$(mktemp -d -t dlc_i.XXXXXX)" || return 10 local rc_ia rc_ib # 팔 A(known-POSITIVE, 버그의 형상): 커밋된 것이 프로필뿐 → 타깃 0건이어야 한다(10) ( mkdir -p "$IG/wiki" && cd "$IG" && git init -q . \ && git config user.email t@t && git config user.name t printf '# d\n## 📌 FH Immediate Application Candidates\n\n| # | 티어 | 내용 |\n|---|---|---|\n| **A1** | M | `zzz_tok` 후보 |\n\n## end\n' \ > wiki/digest.md touch -t 200101010000 wiki/digest.md # 프로필은 digest 어휘를 그대로 갖는다 — 주입된 입력이니 당연하다 printf 'zzz_tok 을 다루는 위성 프로필 · zzz_ctl\n' > wiki/.satellite-profile.md git add -A && git commit -qm p ) >/dev/null 2>&1 ( cd "$IG" && CLAUDE_PROJECT_DIR="$IG" DLC_TRACKED_PATHS="wiki" DLC_IGNORED_DIR="" \ DLC_CONTROLS="zzz_ctl" DLC_EXCLUDE_TARGETS="wiki/.satellite-profile.md" \ bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" "$IG/wiki/digest.md" ) >/dev/null 2>&1; rc_ia=$? _t "★N-input a) 변경분이 digest 입력(프로필)뿐이면 미측정(10)이지 착지가 아니다" 10 "$rc_ia" # 팔 B(known-NEGATIVE, 제외가 과잉이 아님): 진짜 착지면이 함께 커밋되면 계기는 **살아야** 한다 ( cd "$IG" && printf 'zzz_tok 을 실제로 반영한 문서 · zzz_ctl\n' > wiki/adopted.md git add -A && git commit -qm a ) >/dev/null 2>&1 ( cd "$IG" && CLAUDE_PROJECT_DIR="$IG" DLC_TRACKED_PATHS="wiki" DLC_IGNORED_DIR="" \ DLC_CONTROLS="zzz_ctl" DLC_EXCLUDE_TARGETS="wiki/.satellite-profile.md" \ bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" "$IG/wiki/digest.md" ) >/dev/null 2>&1; rc_ib=$? # 🟥 초판은 `not10` 만 요구했다 — cross-family 지적: 그건 «하네스가 안 죽었다» 지 «진짜 착지를 # 옳게 잡았다» 가 아니다. 다른 이유로 rc=1 이 나도 통과한다. 이제 **rc=0(전건 착지)** 을 요구한다. _t "★N-input b) 진짜 착지면이 있으면 제외가 그걸 안 죽인다(전건 착지=0)" 0 "$rc_ib" # 팔 C(컨트롤 — 제외를 «끄면» 옛 거짓 양성이 되살아난다). 이게 없으면 팔 A 가 제외 덕인지 # 다른 이유로 10 이 난 건지 안 갈린다. local rc_ic ( cd "$IG" && git rm -q --cached wiki/adopted.md >/dev/null 2>&1; rm -f wiki/adopted.md; git commit -qm r ) >/dev/null 2>&1 ( cd "$IG" && CLAUDE_PROJECT_DIR="$IG" DLC_TRACKED_PATHS="wiki" DLC_IGNORED_DIR="" \ DLC_CONTROLS="zzz_ctl" \ bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" "$IG/wiki/digest.md" ) >/dev/null 2>&1; rc_ic=$? _t "★N-input c) CONTROL — 제외를 끄면 프로필이 타깃이 되어 10 이 아니게 된다(버그 재현)" "not10" "$([ "$rc_ic" -eq 10 ] && echo is10 || echo not10)" # ── 아래 둘은 cross-family(codex, 2026-08-20) 가 낸 **fail-open 2건의 회귀 앵커**다. # 둘 다 「제외가 조용히 빗나가 입력이 타깃에 남는다」= 옛 거짓 양성 재발이 증상이다. local rc_id rc_ie # d) `./` 접두로 지정해도 제외돼야 한다. FD_PROFILE 은 러너의 `-f` 게이트를 통과하므로 # (그건 실재만 본다) 이게 안 맞으면 **아무 신호 없이** 버그가 돌아온다. ( cd "$IG" && CLAUDE_PROJECT_DIR="$IG" DLC_TRACKED_PATHS="wiki" DLC_IGNORED_DIR="" \ DLC_CONTROLS="zzz_ctl" DLC_EXCLUDE_TARGETS="./wiki/.satellite-profile.md" \ bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" "$IG/wiki/digest.md" ) >/dev/null 2>&1; rc_id=$? _t "★N-input d) './' 접두 지정도 제외된다(경로 정규화, fail-open 앵커)" 10 "$rc_id" # e) 글롭이 확장되면 안 된다. 확장되면 CWD 의 다른 .md 까지 제외돼 **진짜 착지가 사라진다**. # 여기선 실착지면(adopted.md)을 되살려 놓고, 글롭 지정이 그걸 안 먹는지 본다. ( cd "$IG" && printf 'zzz_tok 을 실제로 반영한 문서 · zzz_ctl\n' > wiki/adopted.md \ && git add -A && git commit -qm a2 ) >/dev/null 2>&1 # 🟥 **CWD 가 레포 루트여야 이 레인이 산다.** 초판은 `$IG/wiki` 에서 돌렸는데 거기서는 # `wiki/*.md` 가 매치할 게 없어 확장이 아예 안 일어났다 ⇒ **죽은 레인**(뮤턴트로 자기적발). # 2차 시도(루트에서 `wiki/*.md`)도 죽어 있었다 — 글롭이 퍼져도 프로필은 **닷파일이라 `*` 에 # 안 걸려** 타깃이 안 비고 rc 가 양쪽 다 0 이었다. 판별되려면 **글롭이 걸릴 때만 타깃이 # 0 이 되어야** 한다: # noglob : `wiki/a*.md` 는 리터럴이라 아무것도 안 맞음 → 프로필만 제외 → 타깃=[adopted] → 0 # glob : `wiki/a*.md`→`wiki/adopted.md` → 둘 다 제외 → 타깃 0건 → 10 # 두 번 죽은 레인을 두 번 다 뮤턴트가 잡았다. 컨트롤 없이 「추가했다」로 끝냈으면 장식이었다. ( cd "$IG" && CLAUDE_PROJECT_DIR="$IG" DLC_TRACKED_PATHS="wiki" DLC_IGNORED_DIR="" \ DLC_CONTROLS="zzz_ctl" DLC_EXCLUDE_TARGETS='wiki/a*.md wiki/.satellite-profile.md' \ bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" "$IG/wiki/digest.md" ) >/dev/null 2>&1; rc_ie=$? _t "★N-input e) 글롭이 확장되지 않는다(진짜 착지면을 과잉 제외 안 함)" 0 "$rc_ie" rm -rf "$IG" # ── ★N-self (2026-08-30) — 자기참조 차단 «세 분기»의 앵커 ───────────────────────────── # 🟥 왜 지금 붙나: 세 분기(digest 자신 · 그 로그 · 타 digest)를 **각각 `continue` 에서 `:` 로 # 되돌려도 20 레인이 전부 초록**이었다(2026-08-30 실측). 즉 위 ★N-input 이 «프로필» 축만 # 덮고 있었고, 나머지 세 축은 코드에 있으되 **아무도 안 재는 장식**이었다. # 이 파일 주석이 스스로 «첫 실물 실행에서 100% 오탐을 낸 원인» 이라 적어둔 그 분기들이다. # 🟥 컨트롤 설계: 이 셋은 env 토글이 없다(하드코딩). 그래서 «끄는» 대신 **같은 내용의 파일을 # 제외되지 않는 위치에 두는** 팔을 짝으로 둔다 — 한 변수는 «파일의 자리» 하나뿐이다. # 짝이 없으면 「제외가 다 죽인다」와 「픽스처가 애초에 안 잡힌다」가 구분되지 않는다. local SG rc_s ctl_s _mk_self() { # $1=배치할 상대경로 (digest 이후 커밋된다) SG="$(mktemp -d -t dlc_s.XXXXXX)" || return 10 ( mkdir -p "$SG/wiki/logs" && cd "$SG" && git init -q . \ && git config user.email t@t && git config user.name t printf '# d\n## 📌 FH Immediate Application Candidates\n\n| # | 티어 | 내용 |\n|---|---|---|\n| **A1** | M | `zzz_tok` 후보 |\n\n## end\n' \ > wiki/digest.md # 🟥 ⓐ(digest 자신) 는 **별도 파일이 아니라 digest 에 «덧붙여야»** 조건이 성립한다. # 초판은 `> wiki/digest.md` 로 덮어써서 후보 절을 지웠고, 그러면 필터와 무관하게 # rc=10 이 나와 **필터를 죽여도 초록**이었다 — 픽스처가 조건 위에 있지 않은 판 # ([[feedback_anchor_can_be_decorative]] 원인 5). 손으로 재현해서 잡았다. if [ "$1" = "digest.md" ]; then printf 'zzz_tok 이 여기 있다 · zzz_ctl\n' >> wiki/digest.md touch -t 200101010000 wiki/digest.md else touch -t 200101010000 wiki/digest.md mkdir -p "$(dirname "wiki/$1")" printf 'zzz_tok 이 여기 있다 · zzz_ctl\n' > "wiki/$1" fi git add -A && git commit -qm s ) >/dev/null 2>&1 } _run_self() { ( cd "$SG" && CLAUDE_PROJECT_DIR="$SG" DLC_TRACKED_PATHS="wiki" DLC_IGNORED_DIR="" \ DLC_CONTROLS="zzz_ctl" \ bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" "$SG/wiki/digest.md" ) >/dev/null 2>&1 } # ⓐ digest 자신 — 자기 안에서 후보 토큰이 발견되면 전건이 자동 「착지」가 된다 _mk_self "digest.md"; _run_self; rc_s=$? _t "★N-self a) digest 자신은 타깃이 아니다 → 미측정(10)" 10 "$rc_s" rm -rf "$SG" # ⓐ-CTRL 같은 내용을 제외되지 않는 이름으로 두면 «10 이 아니게» 된다 = 픽스처가 살아 있다 _mk_self "plain.md"; _run_self; ctl_s=$? _t "★N-self a-CTRL) 제외 안 되는 자리면 10 이 아니다(픽스처 생존 증명)" "not10" "$([ "$ctl_s" -eq 10 ] && echo is10 || echo not10)" rm -rf "$SG" # ⓑ 생성 로그 — digest 를 만든 로그는 digest 어휘를 그대로 갖는다 _mk_self "logs/run.md"; _run_self; rc_s=$? _t "★N-self b) 생성 로그(*/logs/*)는 타깃이 아니다 → 미측정(10)" 10 "$rc_s" rm -rf "$SG" # ⓓ 비-.md 타깃 + 빈 제외 토큰 — 뮤테이션 측정(2026-08-30)이 드러낸 **미커버 입력**이다. # `case "$f" in *.md) ;; *) continue ;;` 와 `[ -n "$_x" ] || continue` 둘 다 되돌려도 # 초록이었는데, 이유는 「방어가 필요 없다」가 아니라 **픽스처가 그 입력을 한 번도 안 만든다** # 였다. equivalent 뮤턴트와 미커버 입력은 다르다 — 전자는 못 죽이고 후자는 픽스처로 죽는다. _mk_self "plain.md" ( cd "$SG" && printf 'zzz_tok · zzz_ctl\n' > wiki/notes.txt && git add -A && git commit -qm t ) >/dev/null 2>&1 ( cd "$SG" && CLAUDE_PROJECT_DIR="$SG" DLC_TRACKED_PATHS="wiki" DLC_IGNORED_DIR="" \ DLC_CONTROLS="zzz_ctl" DLC_EXCLUDE_TARGETS=" wiki/plain.md " \ bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" "$SG/wiki/digest.md" ) >/dev/null 2>&1; rc_s=$? # plain.md 는 제외되고 notes.txt 는 .md 가 아니라 타깃에서 빠진다 ⇒ 타깃 0건 = 미측정(10). # 🟥 `.md` 필터가 죽으면 notes.txt 가 타깃이 되어 「착지」로 렌더된다 = 거짓 양성. # 🟥 빈 토큰 가드가 죽으면 공백 분리로 생긴 빈 문자열이 모든 경로에 매칭될 수 있다. _t "★N-self d) 비-.md 는 타깃이 아니고 빈 제외 토큰은 무시된다 → 미측정(10)" 10 "$rc_s" rm -rf "$SG" # ⓒ 타 digest — 후보는 이월되며 다음 날 digest 에 다시 등장한다. 그걸 착지로 세면 # 「내일도 후보로 남았다」가 「오늘 착지했다」가 된다. _mk_self "frontier_digest_2002_02_02.md"; _run_self; rc_s=$? _t "★N-self c) 타 digest(*frontier_digest_*)는 타깃이 아니다 → 미측정(10)" 10 "$rc_s" rm -rf "$SG" rm -rf "$EG" # ⚠️ **줄 단위로** 본다. `case *"A1"*"미착지"*` 는 마지막 요약줄("N건 중 M건 미착지")까지 # 삼켜 오매칭한다 — 문자열 위치로 판정하는 prose-grep 함정([[feedback_typed_verdict_channel]]). if printf '%s\n' "$out" | grep -qE '후보 A1[[:space:]]+미착지'; then _t "★N-git a) mtime 만 새 tracked 는 착지로 안 센다" 0 0 else echo "❌ N-git a) mtime 오염 파일이 착지로 잡혔다"; fail=$((fail+1)) fi # b) 는 **positive arm** — 없으면 "tracked 를 전부 버려 negative 만 통과" 하는 하네스가 된다. if printf '%s\n' "$out" | grep -qE '후보 B1[[:space:]]+[0-9]+파일'; then _t "★N-git b) 커밋시각이 새 tracked 는 mtime 이 옛것이어도 잡는다" 0 0 else echo "❌ N-git b) tracked 를 통째로 버렸다(negative 만 통과하는 하네스)"; fail=$((fail+1)) fi rm -rf "$G" # N2a — 후보가 **전부** 판별불가면 TARGET 이 0건이다. 이건 "미착지" 가 아니라 # **계기 부적용**이고, 착지 검증기가 rc=10(PASS 도 FAIL 도 아님)을 낸다. # 초판은 여기 기대값을 1 로 적었는데 **내 기대가 틀렸다** — 전부 못 쟀으면 에러다. rc=0; DLC_CONTROLS="forge-harness session" bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" "$T/digest_unchk.md" "$T/tgt/card.md" >/dev/null 2>&1 || rc=$? _t "판별불가만 있는 digest → HARNESS-ERROR(10), '착지 0건' 아님" 10 "$rc" # N2b ★ 진짜 중요한 레인 — **혼합**. 잴 수 있는 건 전부 착지했는데 판별불가가 섞였다. # 여기서 0 을 내면 "전건 착지" 로 읽히고 **분모에서 미측정이 사라진다.** cat > "$T/digest_mixed.md" <<'EOF' # digest ## 📌 FH Immediate Application Candidates | # | 티어 | 내용 | |---|---|---| | **M2** | **M** | `allow_force_pushes` 잔여 재시도 | | **S9** | S | 판별 토큰이 하나도 없는 산문 후보다 | ## end EOF rc=0; DLC_CONTROLS="forge-harness session" bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" "$T/digest_mixed.md" "$T/tgt/card.md" >/dev/null 2>&1 || rc=$? _t "★혼합(착지 전건 + 판별불가 1) → 0 아님(미측정을 분모에서 안 지운다)" 1 "$rc" # N3 — 후보 절이 없는 digest → 10 (0건과 미검출을 가른다) printf '# digest\n## 다른 절\n내용\n' > "$T/nosection.md" rc=0; DLC_CONTROLS="forge-harness session" bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" "$T/nosection.md" "$T/tgt/card.md" >/dev/null 2>&1 || rc=$? _t "후보 절 부재 → HARNESS-ERROR(10), '0건 착지' 아님" 10 "$rc" # N3-b — **대상 어휘 절 제목**은 기본 정규식으로 못 찾고, DLC_SECTION_RE 로는 찾는다. # 🟥 2026-08-19 첫 실사용 발견: 위성 산출의 절 이름은 대상 프로필이 정하는데 # (`## <대상> Application Candidates`) 체커 기본값은 FH 어휘(`Immediate ...`)라 # **위성에서는 구조적으로 rc=10** 이었다(forge-wiki·the-bible 양쪽 실측). # 🟥 픽스처의 후보 머리는 **`**` 형식**이어야 한다 — 평범한 `- ` 불릿은 항목으로 안 잡혀 # arm 도 10 을 내고, 그러면 이 레인이 «오버라이드가 안 먹는다» 는 거짓 결론을 낸다 # (초판이 그렇게 틀렸다 — 픽스처는 뚫리는 표기로 골라야 한다). printf '# digest\n## the-target Application Candidates\n**[A] 후보** — `%s` 를 고친다\n' "card.md" > "$T/targetvocab.md" rc=0; DLC_CONTROLS="forge-harness session" bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" "$T/targetvocab.md" "$T/tgt/card.md" >/dev/null 2>&1 || rc=$? _t "★N3-b control — 대상 어휘 절은 기본 정규식으로 못 찾는다(10)" 10 "$rc" rc=0; DLC_SECTION_RE='^## .*Application Candidates' \ DLC_CONTROLS="forge-harness session" bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" "$T/targetvocab.md" "$T/tgt/card.md" >/dev/null 2>&1 || rc=$? _t "★N3-b arm — DLC_SECTION_RE 오버라이드가 절을 찾는다(10 아님)" "not10" "$([ "$rc" -eq 10 ] && echo is10 || echo not10)" # N4 — digest 파일 자체가 없음 → 10 rc=0; DLC_CONTROLS="forge-harness session" bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" "$T/does-not-exist.md" >/dev/null 2>&1 || rc=$? _t "digest 부재 → rc=10" 10 "$rc" # N5 컨트롤 — P2 가 여전히 0 인가 (앞 레인이 상태를 오염시키지 않았는지) rc=0; DLC_CONTROLS="forge-harness session" bash "$SELF_DIR/$(basename "${BASH_SOURCE[0]}")" "$T/digest.md" "$T/tgt/card.md" >/dev/null 2>&1 || rc=$? _t "컨트롤 — 정상 케이스 재확인" 0 "$rc" rm -rf "$T" echo if [ "$fail" -eq 0 ]; then echo "✅ 캘리브레이션 통과 ($pass 레인) — 착지/미착지/계기사망/미측정을 각각 다른 값으로 가른다." return 0 fi echo "🟥 캘리브레이션 실패 ($fail/$((pass+fail)))" return 1 } case "${1:---help}" in --self-test) do_self_test ;; --extract) shift; do_extract "${1:-}" ;; --help|-h) sed -n '1,55p' "${BASH_SOURCE[0]}" | grep -E '^#( |$)' | sed 's/^# \{0,1\}//' ;; *) do_check "$@" ;; esac