@chrono-meta/fh-gate 2.15.1 → 3.1.0

package/templates/.git-hooks/pre-commit

@@ -780,8 +780,32 @@ validate_defense_leg() { # $1 = marker path — fires ONLY at the floor tiers (s
   return 0
 }
 
+# ── residency= token inside crossfamily grounds (2026-09-05, operator-approved) ──────────────
+# WHY: `scripts/residency_closure_scan.py` screens a payload for organizational identifiers
+# before it leaves this family boundary — but until now "was it screened" was a claim with no
+# channel: auto-decorrelation's own Step 5 note ("Residency still governs … sanitize before any
+# external-family dispatch") was prose with nothing downstream reading it back
+# ([[feedback_half_externalization_slot_without_consumer]] shape — a slot with no consumer). This
+# wires the scan's own exit code into the SAME typed field the crossfamily lane already validates,
+# rather than opening a new marker line — one channel, not two.
+#
+# GRAMMAR (inside crossfamily's own grounds, after the em-dash):
+#   crossfamily: panel(codex) — residency=CLEAN(files=7) · R1..R2, 4 findings
+#   crossfamily: DEGRADED_SINGLE_FAMILY — residency=TAINTED(2 files, stripped=no) → not sent · …
+#   crossfamily: DEGRADED_SINGLE_FAMILY — residency=NOT_SCANNED(scanner absent) → not sent · …
+#
+# SCOPE — same Mechanization Boundary as the rest of this function: a channel check on the
+# RECORD (present when a panel claim is made, closed-enum shaped whenever it appears at all),
+# never a truth check. Whether the CLEAN verdict was ACCURATE is not this lane's question — that
+# stays with the reader (cross-family reads the marker), identical ceiling to `standpoint:`.
+#
+# 🟥 NO RETROACTIVITY. Same pattern as `DEFEATER_GRACE_DATE` below: a marker dated before this
+# constant is validated exactly as it was before this change existed. Forcing it retroactively
+# would block every in-flight branch and teach `--no-verify`, which disarms the Destructive-Op
+# gate sharing this hook.
+RESIDENCY_TOKEN_GRACE_DATE="2026-09-05"
 validate_crossfamily_leg() { # $1 = marker path
-  local m="$1" line val reason fams
+  local m="$1" line val reason fams mdate _res_active _res_tokens _res_ntok _res_wellformed _res_kind
   if [ ! -f "$m" ] || ! grep -qE '^[[:space:]]*crossfamily:[[:space:]]*[^[:space:]]' "$m"; then
     echo "  ❌ FAIL — load-bearing file staged with no 'crossfamily:' line in the Axes 2-3 marker."
     echo "     Verdict/gate/irreversible-surface code shares the author's blind spot with a"
@@ -817,6 +841,33 @@ validate_crossfamily_leg() { # $1 = marker path
   reason=$(printf '%s' "$line" | sed -E 's/^[^—-]*(—|--)[[:space:]]*//')
   [ "$reason" = "$line" ] && reason=""
 
+  # residency= token — computed once, consumed by whichever branch below needs it (REQUIRED for
+  # panel(...), format-only-if-present for declined/DEGRADED_*/UNKNOWN). See the comment above
+  # RESIDENCY_TOKEN_GRACE_DATE for the grammar and why this rides inside crossfamily's own grounds
+  # rather than opening a new marker line.
+  mdate=$(printf '%s' "$m" | sed -nE 's/.*_([0-9]{4}-[0-9]{2}-[0-9]{2})\.marker$/\1/p')
+  _res_active=1
+  # Same "can't-read-date → NOT exempt" rule as validate_defeater_leg, same reason: the hook
+  # stamps TODAY's date into every marker filename it creates, so an unparseable date is an
+  # unexpected shape, not evidence of age ([[feedback_not_found_is_not_zero_family]]).
+  if [ -n "$mdate" ] && [ "$mdate" \< "$RESIDENCY_TOKEN_GRACE_DATE" ]; then _res_active=0; fi
+  # Presence counts EVERY `residency=` occurrence (any shape); well-formedness is a SEPARATE grep for
+  # the full token `residency=<KIND>(...)` with its closing paren. The first draft grepped the prefix
+  # `residency=<KIND>(` only, so a malformed token could hide by FAILING the shape grep — cross-family
+  # (codex gpt-5.5, 2026-09-05) showed `residency=CLEAN (files=2)` (space) and `residency=CLEAN(files=1`
+  # (no close paren) passing the optional-token path as if absent. Presence-first closes that: a
+  # `residency=` that is not one well-formed token is malformed, never invisible.
+  _res_tokens=$(printf '%s' "$reason" | grep -oE 'residency=[^[:space:]]*' 2>/dev/null || true)
+  _res_ntok=0
+  [ -n "$_res_tokens" ] && _res_ntok=$(printf '%s\n' "$_res_tokens" | grep -c .)
+  _res_full=$(printf '%s' "$reason" | grep -oE 'residency=(CLEAN|TAINTED|NOT_SCANNED)\([^)]*\)' 2>/dev/null || true)
+  _res_nfull=0
+  [ -n "$_res_full" ] && _res_nfull=$(printf '%s\n' "$_res_full" | grep -c .)
+  _res_wellformed=0
+  [ "$_res_ntok" -eq 1 ] && [ "$_res_nfull" -eq 1 ] && _res_wellformed=1
+  _res_kind=""
+  [ "$_res_wellformed" -eq 1 ] && _res_kind=$(printf '%s' "$_res_full" | sed -E 's/^residency=([A-Za-z_]*)\(.*$/\1/')
+
   case "$val" in
     declined)
       # `declined` means ONE thing: the OPERATOR declined sidecars (UAP), a chosen floor. It was
@@ -872,6 +923,22 @@ validate_crossfamily_leg() { # $1 = marker path
         [ "${#reason}" -ge 20 ] && echo "     (grounds were substantive but named no resolvable path)"
         return 1
       fi
+      if [ "$_res_active" -eq 1 ] && [ "$_res_ntok" -gt 0 ]; then
+        if [ "$_res_ntok" -gt 1 ]; then
+          echo "  ❌ FAIL — grounds carries MORE THAN ONE 'residency=' token."
+          printf '%s\n' "$_res_tokens" | sed 's/^/       /'
+          echo "     Same trap as two crossfamily: lines — the reader takes the first, so an"
+          echo "     appended correction is silently shadowed. Leave exactly one."
+          return 1
+        fi
+        if [ "$_res_wellformed" -ne 1 ]; then
+          echo "  ❌ FAIL — 'residency=' token present but not one of CLEAN|TAINTED|NOT_SCANNED:"
+          printf '%s\n' "$_res_tokens" | sed 's/^/       /'
+          echo "     Closed set, same reason crossfamily's own value is one — free prose here is"
+          echo "     read as measured by a later session."
+          return 1
+        fi
+      fi
       echo "  ✅ cross-family leg: declined (operator-chosen floor, first-class — not a degrade)"
       echo "     $(printf '%s' "$reason" | cut -c1-80)" ;;
     panel*)
@@ -922,6 +989,38 @@ validate_crossfamily_leg() { # $1 = marker path
         echo "     pattern here in the same commit that first uses it."
         return 1
       fi
+      if [ "$_res_active" -eq 1 ]; then
+        if [ "$_res_ntok" -gt 1 ]; then
+          echo "  ❌ FAIL — grounds carries MORE THAN ONE 'residency=' token."
+          printf '%s\n' "$_res_tokens" | sed 's/^/       /'
+          echo "     Same trap as two crossfamily: lines — the reader takes the first. Leave"
+          echo "     exactly one."
+          return 1
+        fi
+        if [ "$_res_ntok" -eq 0 ]; then
+          echo "  ❌ FAIL — panel(...) with no 'residency=CLEAN(' token in grounds."
+          echo "     A panel claim means a payload left this family boundary. Screen it first"
+          echo "     (scripts/residency_closure_scan.py --files <payload>) and record the result:"
+          echo "       crossfamily: panel($fams) — residency=CLEAN(files=7) · R1..R3, ..."
+          echo "     A TAINTED or NOT_SCANNED payload must not have been sent — if that is what"
+          echo "     actually happened, the honest crossfamily value is DEGRADED_*, not panel(...)."
+          return 1
+        fi
+        if [ "$_res_wellformed" -ne 1 ]; then
+          echo "  ❌ FAIL — 'residency=' token present but not one of CLEAN|TAINTED|NOT_SCANNED:"
+          printf '%s\n' "$_res_tokens" | sed 's/^/       /'
+          echo "     Closed set, same reason crossfamily's own value is one — free prose here is"
+          echo "     read as measured by a later session."
+          return 1
+        fi
+        if [ "$_res_kind" != "CLEAN" ]; then
+          echo "  ❌ FAIL — panel(...) (payload WAS sent) with residency=$_res_kind(...) (NOT clean"
+          echo "     / not screened) on the SAME line — a contradiction in the record."
+          echo "     A sent payload must carry residency=CLEAN(...). If it was actually TAINTED or"
+          echo "     NOT_SCANNED, it should not have shipped — the honest value is DEGRADED_*."
+          return 1
+        fi
+      fi
       echo "  ✅ cross-family leg: $val${reason:+ — $(printf '%s' "$reason" | cut -c1-60)}" ;;
     DEGRADED_SINGLE_FAMILY|DEGRADED_PANEL_UNUSED|UNKNOWN)
       # A degrade is allowed; being silent about WHICH degrade, or about its grounds, is not.
@@ -940,6 +1039,18 @@ validate_crossfamily_leg() { # $1 = marker path
         echo "       crossfamily: $val — probed codex/agy/gemini, <what came back>"
         return 1
       fi
+      if [ "$_res_active" -eq 1 ] && [ "$_res_ntok" -gt 0 ]; then
+        if [ "$_res_ntok" -gt 1 ]; then
+          echo "  ❌ FAIL — grounds carries MORE THAN ONE 'residency=' token."
+          printf '%s\n' "$_res_tokens" | sed 's/^/       /'
+          return 1
+        fi
+        if [ "$_res_wellformed" -ne 1 ]; then
+          echo "  ❌ FAIL — 'residency=' token present but not one of CLEAN|TAINTED|NOT_SCANNED:"
+          printf '%s\n' "$_res_tokens" | sed 's/^/       /'
+          return 1
+        fi
+      fi
       echo "  ⚠️  cross-family leg: $val — recorded, not silent (weekly audit re-queues these)"
       echo "     $(printf '%s' "$reason" | cut -c1-80)"
       # 🟥 수락 경로에도 «안 짚은 채널»을 띄운다. 실패 메시지에만 채널 목록이 있으면,
@@ -1360,6 +1471,206 @@ validate_defeater_leg() { # $1 = marker path
 }
 
 
+# ── ⑤ affected: — 「이 변경이 건드리는 것 + 열린 질문」 (2026-09-04, frontier absorption) ──
+# tenet: FH-T02 (기록의 속성) · FH-T07 (행위자가 읽는 자리)
+#
+# WHY: Anthropic AI-Native SDLC playbook `intent.md` 는 «Affected users and systems» ·
+# «Open questions» 두 칸을 싣는다. FH 는 두 칸으로 쪼개지 않는다 — 별도 필드마다 빈 칸이 하나씩
+# 늘어나는 것이 이 절 전체(soul-check·tenets·thirdparty)가 이미 피하는 모양이다. 한 줄 자유
+# 산문 안에 「건드리는 것」과 「열린 질문 = …」 관례를 같이 담는다.
+#
+# SCOPE — **채널 검사만**. `defeater:` 와 같은 형태(단일 줄·중복 차단·비공허)이지만 한 가지
+# 다르다: `defeater:` 는 「없음」을 정직한 선언으로 인정한다(반증 조건이 실제로 없을 수 있다).
+# `affected:` 는 다르다 — 어떤 변경이든 반드시 무언가를 건드린다(제로 영향은 명제상 없다). 그래서
+# 「없음/TBD/-」류 자리표시자만 있는 값은 정직한 부재가 아니라 **안 채운 것**이고, 차단한다.
+#
+# 옵셔널 필드다 — **없으면 통과**(soul-check:/tenets: 와 같은 패턴. 채택은 점진적이다).
+validate_affected_leg() { # $1 = marker path
+  local m="$1" n line body words
+  n=$(grep -cE '^[[:space:]]*affected:' "$m" 2>/dev/null); n=${n:-0}
+  if [ "$n" -eq 0 ]; then
+    # near-miss: 키 오타는 부재가 아니라 오타다 (defeater: 와 같은 이유 — 저자는 적었다고
+    # 믿는데 게이트는 못 읽는 것이 가장 조용한 실패다).
+    if grep -qE '^[[:space:]]*(affects:|affected[[:space:]]+:|affeted:|affcted:|effected:)' "$m" 2>/dev/null; then
+      echo "  ❌ FAIL — affected 키처럼 보이지만 정확히 'affected:' 가 아닌 줄이 있다."
+      grep -nE '^[[:space:]]*(affects:|affected[[:space:]]+:|affeted:|affcted:|effected:)' "$m" | sed 's/^/       /'
+      echo "     읽는 쪽은 정확히 'affected:' 만 읽는다."
+      return 1
+    fi
+    return 0   # 진짜 부재 — 옵셔널 필드, 채택은 점진적이다(soul-check:/tenets: 와 같은 형태)
+  fi
+  if [ "$n" -gt 1 ]; then
+    echo "  ❌ FAIL — 마커에 'affected:' 줄이 둘 이상이다."
+    grep -nE '^[[:space:]]*affected:' "$m" | sed 's/^/       /'
+    echo "     읽는 쪽은 첫 줄을 취하므로 나중에 붙인 정정이 조용히 가려진다."
+    return 1
+  fi
+  line=$(grep -m1 -E '^[[:space:]]*affected:' "$m" | sed -E 's/^[[:space:]]*affected:[[:space:]]*//')
+  body=$(printf '%s' "$line" | sed -E 's/^[[:space:]]+//; s/[[:space:]]+$//')
+  # 양끝 구두점/공백만 벗긴다 — 클래스 파싱(`tr -d '[:punct:]'` 류)은 한글 바이트를 지우는
+  # 이식성 결함을 낸 전례가 있다(defeater 의 2026-08-30 CI 리트로). 파라미터 확장만 쓴다.
+  _av="$body"
+  while :; do
+    case "$_av" in
+      ' '*|'	'*) _av="${_av# }"; _av="${_av#	}" ;;
+      *' '|*'	') _av="${_av% }"; _av="${_av%	}" ;;
+      *'.'|*'·'|*'—'|*'-'|*']') _av="${_av%?}" ;;
+      *) break ;;
+    esac
+  done
+  case "$(printf '%s' "$_av" | tr 'A-Z' 'a-z')" in
+    없음|none|n/a|na|tbd|todo|-|해당없음|'')
+      echo "  ❌ FAIL — affected 가 자리표시자뿐이다 ('$body')."
+      echo "     이 변경이 건드리는 것(사람·하네스·표면)과 아직 열린 질문을 한 줄로 적어라."
+      echo "       affected: 소비자 install 의 pre-commit 사용자(마커 형식) · 열린 질문 = 필드 강제 시점"
+      echo "     Append to: $m"
+      return 1 ;;
+  esac
+  # 🟥 헬퍼 부재를 «잔여 없음»으로 렌더하지 않는다 — 레인 스위트가 이 함수만 추출하면 헬퍼가
+  # 안 따라오고, 정의되지 않은 명령은 거짓이 되어 fail-open 이 된다(defeater 가 이미 겪었다).
+  if ! declare -f _marker_template_residue >/dev/null 2>&1; then
+    echo "  ❌ HARNESS-ERROR — _marker_template_residue 가 정의돼 있지 않다."
+    echo "     격리 실행이면 그 헬퍼도 같이 추출해야 한다. 부재는 «통과»가 아니다."
+    return 1
+  fi
+  if _marker_template_residue "$body"; then
+    echo "  ❌ FAIL — affected 가 힌트의 자리표시자 그대로다 (기록이 아직 안 쓰였다)."
+    return 1
+  fi
+  words=$(printf '%s' "$body" | wc -w | tr -d ' '); words=${words:-0}
+  if [ "$words" -lt 3 ]; then
+    echo "  ❌ FAIL — affected 가 공허하다 ($words 낱말). 건드리는 것 · 열린 질문을 적어라."
+    return 1
+  fi
+  echo "  ✅ affected 기록됨 ($words 낱말)"
+  return 0
+}
+
+
+# ── ⑥ oracle: — 「기대값을 무엇으로 정했나」 오라클 유형 (2026-09-05, ISO/IEC TR 29119-11 정렬 · crosswalk §4 M1) ──
+# tenet: FH-T02 (기록의 속성) · FH-T07 (행위자가 읽는 자리)
+#
+# WHY: TR 29119-11 의 핵심이 «테스트 오라클 문제»(기대값을 정할 수 없을 때 무엇으로 판정하나)다.
+# FH 는 known-pair · 결과 전 채점기 · «미측정 ≠ 0» 으로 그 문제를 다루지만, 마커는 «컨트롤이
+# 살아 있다» 까지만 적고 **어떤 종류의 오라클**로 판정했는지는 안 적었다 — 외부 독자가 첫 번째로
+# 묻는 칸이 비어 있었다(knowledge/shared/harness-core/iso_ai_standards_crosswalk.md §4 M1,
+# 운영자 승인 2026-09-05 «오라클 채널을 넣는 게 좋아 보인다면 마다할 이유가 없지»).
+#
+# SCOPE — **채널 검사만** (§Mechanization Boundary): 닫힌 enum(6) · 비공허 근거 · 단일 줄 · 근사키
+# 차단. 값의 진위(그 오라클이 정말 그 종류였나)는 안 본다. `none` 은 합법이되 **사유가 필수**다 —
+# «오라클 없이 판정했다» 는 기록이고, 사유 없는 none 은 «안 봤다» 와 구분이 안 된다.
+#
+# enum (형식: `oracle: <kind> — <근거>` · kind 뒤는 공백 · — · : · · · ( · . 중 하나, 또는 줄 끝)
+#   known-pair    양성·음성 컨트롤이 같은 실행에 있다 (계기 보정)
+#   metamorphic   입력 변환 → 기대 출력 변화 «관계»로 판정 (기대값 없이)
+#   back-to-back  다른 구현/계열이 같은 입력에 낸 출력을 대조 (cross-family 가 같은 diff 를 읽는 것)
+#   a-b           한 변수 ARM/CTRL 비교 (reps≥3). `A/B` 는 허용 표기
+#   human         사람이 기대값을 판정 (운영자 눈검증 · HITL)
+#   none          오라클 없음 — 사유 필수 (문서만 · 측정 없음 …)
+#
+# 근사키 규칙(한 문장, 여섯 문서면이 같은 문장을 쓴다): **키가 `oracle` 로 시작하는데 정확히 `oracle:`
+# 이 아닌 줄 전부**(`Oracle:` `oracles:` `oracle :` `oracle　:` `oracle_type:` `oracle-type:` 키만 있는
+# `oracle`) **+ 오타 `orcale:` `oralce:` `오라클:`** — 정상 `oracle:` 줄이 있어도 같이 있으면 차단한다
+# (cross-family codex #2: 정상 줄 뒤의 `Oracle: …` 정정이 조용히 가려지는 형태).
+#
+# 옵셔널 필드다 — **없으면 통과**(affected:/soul-check:/tenets: 와 같은 패턴. 채택은 점진적이다).
+# 힌트 템플릿에는 넣지 않는다 — 옵셔널 필드마다 빈 칸이 하나씩 느는 모양을 이 절이 피한다.
+# 소비처(정직하게): 오늘은 마커 grep 감사와 표준 정렬 증거뿐, 기계가 읽는 곳은 없다.
+# 명명된 잔여: 근거에 힌트 자리표시자 리터럴(`<...>`)이 있으면 차단된다(affected/defeater 와 같은 경계 —
+# 다른 표기로 적어라) · 전각 공백으로 «시작하는» 줄은 [[:space:]] 밖이라 못 본다.
+validate_oracle_leg() { # $1 = marker path
+  local m="$1" n nm line body kind k rest words
+  # near-miss — n 과 무관하게 항상 본다. `-n` 접두(N:) 뒤에서 정확한 소문자 `oracle:` 줄만 제외한다.
+  nm=$(grep -niE '^[[:space:]]*(oracle:|oracle([^:]|$)|orcale:|oralce:|오라클:)' "$m" 2>/dev/null | grep -vE '^[0-9]+:[[:space:]]*oracle:')
+  if [ -n "$nm" ]; then
+    echo "  ❌ FAIL — oracle 키처럼 보이지만 정확히 'oracle:' 가 아닌 줄이 있다."
+    printf '%s\n' "$nm" | sed 's/^/       /'
+    echo "     읽는 쪽은 정확히 'oracle:'(소문자, 콜론 바로 뒤) 만 읽는다 — 저자는 적었다고 믿는데 게이트는 못 읽는 것이 가장 조용한 실패다."
+    return 1
+  fi
+  n=$(grep -cE '^[[:space:]]*oracle:' "$m" 2>/dev/null); n=${n:-0}
+  if [ "$n" -eq 0 ]; then
+    return 0   # 진짜 부재 — 옵셔널 필드, 채택은 점진적이다
+  fi
+  if [ "$n" -gt 1 ]; then
+    echo "  ❌ FAIL — 마커에 'oracle:' 줄이 둘 이상이다."
+    grep -nE '^[[:space:]]*oracle:' "$m" | sed 's/^/       /'
+    echo "     읽는 쪽은 첫 줄을 취하므로 나중에 붙인 정정이 조용히 가려진다."
+    return 1
+  fi
+  line=$(grep -m1 -E '^[[:space:]]*oracle:' "$m" | sed -E 's/^[[:space:]]*oracle:[[:space:]]*//')
+  body=$(printf '%s' "$line" | sed -E 's/^[[:space:]]+//; s/[[:space:]]+$//')
+  if [ -z "$body" ]; then
+    echo "  ❌ FAIL — oracle 값이 비어 있다."
+    echo "     형식: oracle: <kind> — <근거>   kind ∈ known-pair · metamorphic · back-to-back · a-b · human · none"
+    return 1
+  fi
+  # kind = 앞쪽 [A-Za-z/-] 연속 — 하이픈은 kind 안에 있다(known-pair · back-to-back · a-b).
+  # 매치가 없으면 sed 가 body 를 그대로 돌려주고 enum 검사가 잡는다.
+  kind=$(printf '%s' "$body" | sed -E 's/^([A-Za-z/-]+).*$/\1/')
+  case "$kind" in "$body") rest="" ;; *) rest="${body#"$kind"}" ;; esac
+  # kind 바로 뒤는 구분자이거나 줄 끝이어야 한다 — enum 멤버가 «접두어»로만 맞는 값(known-pair2 ·
+  # human_review)이 통과하던 구멍(cross-family codex #1·#3).
+  case "$rest" in
+    ''|' '*|'	'*|'—'*|':'*|'·'*|'('*|'.'*) ;;
+    *)
+      echo "  ❌ FAIL — oracle kind 뒤에 구분자 없이 다른 문자가 붙어 있다 ('$body')."
+      echo "     형식: oracle: <kind> — <근거>   kind 뒤는 공백 · — · : · · · ( 중 하나 (예: known-pair2 · human_review 는 enum 밖)"
+      return 1 ;;
+  esac
+  k=$(printf '%s' "$kind" | tr 'A-Z' 'a-z'); [ "$k" = "a/b" ] && k="a-b"
+  case "$k" in
+    known-pair|metamorphic|back-to-back|a-b|human|none) ;;
+    *)
+      echo "  ❌ FAIL — oracle kind '$kind' 는 enum 밖이다."
+      echo "     kind ∈ known-pair · metamorphic · back-to-back · a-b · human · none   (형식: oracle: <kind> — <근거>)"
+      return 1 ;;
+  esac
+  # 근거 = kind 뒤. 양끝 구분자·공백만 벗긴다 — 리터럴 접두/접미 제거만 쓴다(`${x#?}` 는 C 로케일에서
+  # 다바이트 구분자의 한 바이트만 깎고, 클래스 파싱은 한글 바이트를 지운 전례가 있다 — affected 참조).
+  while :; do
+    case "$rest" in
+      ' '*) rest="${rest# }" ;;   '	'*) rest="${rest#	}" ;;
+      '—'*) rest="${rest#—}" ;;   '-'*) rest="${rest#-}" ;;   ':'*) rest="${rest#:}" ;;
+      '·'*) rest="${rest#·}" ;;   '('*) rest="${rest#(}" ;;   '.'*) rest="${rest#.}" ;;
+      *' ') rest="${rest% }" ;;   *'	') rest="${rest%	}" ;;
+      *')') rest="${rest%)}" ;;   *'.') rest="${rest%.}" ;;
+      *) break ;;
+    esac
+  done
+  case "$(printf '%s' "$rest" | tr 'A-Z' 'a-z')" in
+    없음|none|n/a|na|tbd|todo|-|해당없음|'')
+      if [ "$k" = none ]; then
+        echo "  ❌ FAIL — oracle: none 은 사유가 필수다 (지금: '$body')."
+        echo "     예: oracle: none — 문서만 변경, 측정 없음"
+      else
+        echo "  ❌ FAIL — oracle 근거가 자리표시자뿐이다 ('$body')."
+        echo "     예: oracle: known-pair — 레인 PASS/BLOCK 픽스처 양쪽 + 되돌림"
+      fi
+      echo "     Append to: $m"
+      return 1 ;;
+  esac
+  # 🟥 헬퍼 부재를 «잔여 없음»으로 렌더하지 않는다 — 격리 추출이 헬퍼를 안 가져오면 정의되지 않은
+  # 명령은 거짓이 되어 fail-open 이 된다(defeater·affected 가 이미 겪었다). 레인 o31 이 이 가지를 잰다.
+  if ! declare -f _marker_template_residue >/dev/null 2>&1; then
+    echo "  ❌ HARNESS-ERROR — _marker_template_residue 가 정의돼 있지 않다."
+    echo "     격리 실행이면 그 헬퍼도 같이 추출해야 한다. 부재는 «통과»가 아니다."
+    return 1
+  fi
+  if _marker_template_residue "$rest"; then
+    echo "  ❌ FAIL — oracle 근거가 힌트의 자리표시자 그대로다 (기록이 아직 안 쓰였다)."
+    return 1
+  fi
+  words=$(printf '%s' "$rest" | wc -w | tr -d ' '); words=${words:-0}
+  if [ "$words" -lt 2 ]; then
+    echo "  ❌ FAIL — oracle 근거가 공허하다 ($words 낱말). 무엇을 무엇과 대조했는지 적어라."
+    return 1
+  fi
+  echo "  ✅ oracle 기록됨 ($k · 근거 $words 낱말)"
+  return 0
+}
+
+
 SOUL_PRESENT_GRACE_DATE="2026-08-21"
 validate_soul_present_leg() { # $1 = marker path
   # ── ①영혼 존재 검사 (2026-08-21) ──────────────────────────────────────────────
@@ -1470,6 +1781,18 @@ validate_soul_present_leg() { # $1 = marker path
     echo "     «이 기록이 템플릿 자신인가»만 본다 — 채널 검사다."
     return 1
   fi
+  # ── ①영혼 2칸 존재 검사 (advisory only, 2026-09-04 — six_axis_review 판정안 4) ─────
+  # «성공 정의»와 «절대 안 함» 두 낱말(변형 포함)이 둘 다 있는지만 본다. Mechanization
+  # Boundary: 존재만 — 두 칸이 다 있어도 내용이 옳다는 보장은 없고, 하나가 없어도 커밋을
+  # 막지 않는다(위 non-vacuity 검사가 이미 최소 6낱말을 요구·차단한다 — 이건 그 위에 얹는
+  # 별도 관측이지 새 차단이 아니다). 「없음」 선언 분기는 위에서 이미 return 했으므로 여기
+  # 도달하지 않는다.
+  _soul_missing=""
+  printf '%s' "$body" | grep -qE '성공 ?정의' || _soul_missing="성공 정의"
+  printf '%s' "$body" | grep -qE '절대 ?안 ?함' || _soul_missing="${_soul_missing:+$_soul_missing · }절대 안 함"
+  if [ -n "$_soul_missing" ]; then
+    echo "  ⚠️  ①영혼 2칸 미달 — 빠진 낱말: $_soul_missing (advisory, 커밋은 안 막는다)"
+  fi
   echo "  ✅ ①영혼 present: $words word(s)"
   return 0
 }
@@ -2045,6 +2368,8 @@ if [ "$GATE_MODE" = "full" ]; then
     #    ([[feedback_built_but_not_wired]] — 오늘만 다섯 번째 얼굴).
     validate_soul_tenet_refs "$MARKER" || _SOUL_OK=0
     validate_defeater_leg "$MARKER" || _SOUL_OK=0
+    validate_affected_leg "$MARKER" || _SOUL_OK=0
+    validate_oracle_leg "$MARKER" || _SOUL_OK=0
     if [ "$_DEFENSE_OK" -eq 1 ] && [ "$_SOUL_OK" -eq 1 ] && validate_marker_floor "$MARKER" && validate_marker_axes_run "$MARKER" && validate_first_use_leg "$MARKER"; then
       echo "  ✅ PASS (marker confirmed + floor/axes fields valid:"
       echo "     .axes_23_passed_${BRANCH_SLUG}_${TODAY}.marker)"
@@ -2658,14 +2983,25 @@ if [ -n "$MD_STAGED" ]; then
   echo "[Pointers] Detail-pointer resolution (staged markdown)..."
   PTR_FAIL=0; PTR_CHECKED=0
   for f in $MD_STAGED; do
-    [ -f "$REPO_ROOT/$f" ] || continue
-    fdir="$(cd "$REPO_ROOT/$(dirname "$f")" && pwd)"
-    blocks="$(awk '
+    # Read the STAGED blob, not the working-tree file. diff-filter=ACMR already guarantees $f
+    # exists in the index, but a file can be staged and then deleted or further-edited on disk
+    # before commit — `git commit` commits the INDEX, so `[ -f "$REPO_ROOT/$f" ] || continue`
+    # here silently dropped the check on a committed broken pointer (deleted-on-disk case) and,
+    # for a further-edited case, would have checked the wrong bytes entirely. Reproduced 2026-09-03:
+    # stage a .md with a broken `**Detail**: See §X` pointer, `rm` it from disk (index untouched),
+    # commit — PTR_CHECKED stayed 0 and the broken pointer landed silently.
+    _md_blob="$(git -C "$REPO_ROOT" show ":$f" 2>/dev/null)" || {
+      echo "  ❌ $f: staged (diff-filter=ACMR) but unreadable from the index — cannot verify its Detail pointers"
+      PTR_FAIL=1; continue
+    }
+    fdir="$(cd "$REPO_ROOT/$(dirname "$f")" 2>/dev/null && pwd)"
+    [ -n "$fdir" ] || fdir="$REPO_ROOT/$(dirname "$f")"
+    blocks="$(printf '%s\n' "$_md_blob" | awk '
       inblk && /^>/ { blk=blk" "$0; next }
       inblk { print blk; inblk=0; blk="" }
       /\*\*Detail\*\*: See/ { blk=$0; inblk=1; next }
       END { if(inblk) print blk }
-    ' "$REPO_ROOT/$f")"
+    ')"
     [ -z "$blocks" ] && continue
     while IFS= read -r block; do
       [ -z "$block" ] && continue
@@ -2716,6 +3052,41 @@ else
   echo "  ⚠️  상주 유입 게이트 미설치 (scripts/residency_admission_check.sh) — skipped, not passed"
 fi
 
+# ── 수용-근거 한 줄 (보고 전용 — 절대 안 막는다) ────────────────────────────
+# WHY (2026-09-06, digest 답습 · arXiv:2609.04167 SWE-Gate): 그 논문은 «기능 테스트 통과»와
+# «리뷰 제약 충족»을 **따로** 채점하라고 처방한다 — 실측에서 기능 테스트를 통과한 수리 644 건 중
+# **221 건(34%)** 이 실제 PR 리뷰 코멘트에서 뽑은 제약을 어겼다. 한 숫자로 합치면 그 34% 가 안 보인다.
+# FH 도 같은 형태였다: 이 훅은 Axis 1(회귀)·레인·매니페스트가 통과하면 «ALL AXES PASSED» 라는
+# **합성 판정 하나**를 찍었고, 그동안 마커의 `crossfamily: DEGRADED_PANEL_UNUSED` 같은 값은
+# 출력 어디에도 안 나왔다. 통과는 통과인데 «무엇이 기록됐나»는 안 보이는 것이다.
+# 그래서 판정을 둘로 찍는다 — 위는 «초록인가», 아래는 «무엇이 기록됐나».
+# 🟥 §Mechanization Boundary: 이건 **채널**이다. 기록의 속성(어떤 값이 적혔나)만 찍고,
+#    그 값이 참인지는 판정하지 않으며 아무것도 막지 않는다. 차단은 기존 다리들이 그대로 한다.
+# Anchor: scripts/test_gate_two_verdicts_lanes.sh
+_acceptance_evidence_line() {   # $1 = marker path (비었거나 없으면 n/a)
+  local m="${1:-}" f v out=""
+  if [ -z "$m" ] || [ ! -f "$m" ]; then
+    printf 'acceptance-evidence: n/a (경량 게이트 — 이 경로는 마커를 읽지 않는다)\n'
+    return 0
+  fi
+  for f in crossfamily standpoint thirdparty oracle; do
+    v=$(sed -n "s/^[[:space:]]*${f}:[[:space:]]*\([^[:space:]][^[:space:]]*\).*/\1/p" "$m" | head -1)
+    # 🟥 첫 실사용(이 훅의 첫 두-판정 커밋)이 즉시 잡은 것: 값이 `checked(확인한 것 = …)` 처럼
+    #    **괄호 안에 공백**을 담으면 첫 토큰이 `checked(확인한` 으로 잘려, 값도 아니고 문법도
+    #    깨져 보이는 문자열이 찍힌다. 반면 `panel(codex,gemini)` · `tier2(qasp)` 는 괄호가 값의
+    #    일부라 살려야 한다. 판별자는 **괄호가 닫혔는가** 하나뿐이다 — 안 닫혔으면 여는 괄호
+    #    앞까지가 값이다. (마커 defeater 에 «관측될 것»으로 적어 둔 그 줄이 그대로 발화했다.)
+    case "$v" in
+      *'('*')'*) : ;;                      # panel(codex,gemini) — 괄호가 값의 일부
+      *'('*)     v="${v%%(*}" ;;           # checked(확인한 … — 잘린 괄호는 값이 아니다
+    esac
+    [ -n "$v" ] || v='(없음)'
+    out="${out}${out:+ · }${f}=${v}"
+  done
+  printf 'acceptance-evidence: %s\n' "$out"
+}
+
+
 # ── Verdict ───────────────────────────────────────────────────────────────────
 echo ""
 echo "══════════════════════════════════════════════"
@@ -2728,6 +3099,10 @@ if [ "$FAILED" -eq 1 ]; then
 fi
 
 echo " ✅ ALL AXES PASSED — commit allowed"
+echo "    functional         : PASS (Axis 1 회귀 · 레인 · 매니페스트)"
+echo "    $(_acceptance_evidence_line "${MARKER:-}")"
+echo "    🟥 둘은 한 판정이 아니다 — 위는 «초록인가», 아래는 «무엇이 기록됐나»다."
+echo "       형식이 통과했다는 뜻이지 그 값이 참이라는 뜻이 아니다 (arXiv:2609.04167)."
 echo "══════════════════════════════════════════════"
 echo ""
 exit 0

package/templates/.git-hooks/pre-push

@@ -42,6 +42,97 @@ REPO_ROOT=$(git rev-parse --show-toplevel 2>/dev/null || true)
 [ -z "$REPO_ROOT" ] && { echo "  ❌ pre-push: not in a git repo — fail-closed (block)"; exit 1; }
 ZERO="0000000000000000000000000000000000000000"
 PUSH_REMOTE="${1:-origin}"   # git passes the remote NAME as $1; ranges are scoped to it (see below)
+
+# ── Push zone: a non-owner github.com remote is not a plain-push channel ─────────────────────
+# CLAUDE.local.md §REST API push 계정규칙: a push under a non-owner account goes through the REST
+# Contents API (new files only, never overwrite/delete) — plain `git push` is not that channel.
+# That rule was correctly applied to ONE org repo and missed on ANOTHER org repo in the SAME round
+# (2026-07-26) — not from ignorance, but because it was applied at the point of discovery instead
+# of enumerated across every remote in play (the half-fix / propagation-boundary class).
+# `scripts/push_zone_check.sh` closes the ENUMERATE half by hand, before a push round, and it
+# explicitly does not block. This block closes the other half mechanically: it cannot see the whole
+# round, but it CAN refuse the one push in front of it when THIS push's own remote sits outside the
+# owner list — exactly the "forgot on this one" shape of the 2026-07-26 miss.
+#
+# Degrade direction (Surface-Class Degrade Invariant): applicability is mechanical, never guessed.
+#   • no owner-account list         → UNCALIBRATED, plain push allowed (a guessed verdict could
+#     authorise the wrong channel, which is worse than no verdict at all)
+#   • remote host is not github.com → out of scope for this axis (the account rule is a github.com
+#     personal-account axis; a GHE / other host remote says so and is allowed, not silently risky)
+#   • remote URL does not parse into a known shape → UNMEASURED, allowed (a harness gap, not a
+#     policy decision — NOT the destructive-branch UNCLASSIFIABLE case below, which fails closed
+#     because a delete is irreversible; blocking every unfamiliar remote-URL shape here would just
+#     train --no-verify on this same hook's real, irreversible guards)
+#   • owner ∈ list → silent (the common, expected case)
+#   • owner ∉ list → BLOCK. Never prints the owner list itself — only the single non-matching
+#     owner already public in the URL being pushed to.
+#
+# Override (explicit, logged — same shape as DESTRUCTIVE_OP_OK / PUBLIC_SURFACE_OK):
+#   PUSH_ZONE_OK=1 git push …
+PUSH_ZONE_SRC="${PUSH_ZONE_OWNERS:-$REPO_ROOT/.claude/rules/.push-zone-owners}"
+if [ ! -f "$PUSH_ZONE_SRC" ]; then
+  echo "  ⏭️  push-zone: UNCALIBRATED — no owner-account list at $PUSH_ZONE_SRC, plain push allowed"
+else
+  # One owner per line. Inline comments (`owner # note`), CR line endings, surrounding whitespace and a
+  # trailing slash are stripped BEFORE tokenizing — cross-family (codex gpt-5.5, 2026-09-05) showed an
+  # inline-comment word being read as an ALLOWED owner (fail-open) and a CRLF list blocking its own owner.
+  _pz_owners="$(sed -e 's/#.*$//' -e 's/\r$//' -e 's/^[[:space:]]*//' -e 's/[[:space:]]*$//' -e 's#/*$##' "$PUSH_ZONE_SRC" 2>/dev/null | grep -v '^$' | tr '[:upper:]' '[:lower:]')"
+  _pz_url="${2:-}"
+  # git passes the destination's URL as $2. A bare remote NAME (no ':' and no '/') means the URL was
+  # not resolved for us (alias / insteadOf edge) — resolve it here rather than reading a name as a host
+  # and quietly landing in the "not github.com" allow branch (codex #5).
+  case "$_pz_url" in
+    *:*|*/*|"") ;;
+    *) _pz_url="$(git remote get-url --push "$_pz_url" 2>/dev/null || printf '%s' "$_pz_url")" ;;
+  esac
+  if [ -z "$_pz_url" ]; then
+    echo "  ⏭️  push-zone: UNMEASURED — remote URL not supplied to the hook (\$2 empty), plain push allowed"
+  else
+    # Normalise before parsing: lowercase, trim, drop the scheme, drop userinfo (`user@`). The HOST is then
+    # everything up to the first ':' or '/'. This accepts every github.com shape git itself accepts —
+    # `https://user@github.com/o/r`, `https://github.com:443/o/r`, `git@github.com:o/r`, `git@github.com:/o/r`,
+    # `ssh://git@github.com:22/o/r` — instead of an allowlist of three literal prefixes that read the rest as
+    # "unrecognized → allow" (codex #1–#4: four real github.com shapes were failing OPEN).
+    _pz_url_lc="$(printf '%s' "$_pz_url" | tr '[:upper:]' '[:lower:]' | sed -e 's/[[:space:]]*$//' -e 's/^[[:space:]]*//')"
+    _pz_norm="$(printf '%s' "$_pz_url_lc" | sed -E 's#^[a-z][a-z0-9+.-]*://##; s#^[^@/]*@##')"
+    _pz_host="$(printf '%s' "$_pz_norm" | sed -E 's#[:/].*$##')"
+    if [ "$_pz_host" = "github.com" ]; then
+      _pz_path="$(printf '%s' "$_pz_norm" | sed -E 's#^github\.com(:[0-9]+)?[:/]+##')"
+      _pz_owner="${_pz_path%%/*}"
+      if [ -z "$_pz_owner" ] || [ "$_pz_path" = "$_pz_norm" ]; then
+        echo "  ⏭️  push-zone: UNMEASURED — github.com remote in an unrecognized URL shape, plain push allowed"
+      else
+        _pz_hit=0
+        for _pz_o in $_pz_owners; do
+          [ "$_pz_owner" = "$_pz_o" ] && { _pz_hit=1; break; }
+        done
+        if [ "$_pz_hit" -eq 0 ]; then
+          echo ""
+          echo "══════════════════════════════════════════════"
+          echo " ⛔ FH Push-Zone Gate — remote is outside the owner-account list"
+          echo "══════════════════════════════════════════════"
+          echo "  remote '$PUSH_REMOTE' → github.com/$_pz_owner"
+          echo "  Plain git push is not this remote's channel — CLAUDE.local.md §REST API push"
+          echo "  계정규칙 (a non-owner account pushes via the REST Contents API instead)."
+          echo "  Deliberate exception (explicit, logged):  PUSH_ZONE_OK=1 git push …"
+          echo "══════════════════════════════════════════════"
+          if [ "${PUSH_ZONE_OK:-0}" = "1" ]; then
+            echo "  ⚠️  FH Push-Zone: allowed by PUSH_ZONE_OK=1 (conscious, gated intent)"
+            mkdir -p "$REPO_ROOT/tracks/_meta" 2>/dev/null || true
+            printf '%s PUSH_ZONE_OK override — remote:%s owner:%s\n' \
+              "$(date +%Y-%m-%dT%H:%M:%S)" "$PUSH_REMOTE" "$_pz_owner" \
+              >> "$REPO_ROOT/tracks/_meta/.push_zone_override_log" 2>/dev/null || true
+          else
+            exit 1
+          fi
+        fi
+      fi
+    else
+      echo "  ⏭️  push-zone: remote host is not github.com — outside this axis's scope, plain push allowed"
+    fi
+  fi
+fi
+
 BASE="${FH_DESTRUCTIVE_BASE:-origin/main}"
 # All ancestry/reachability checks below must ignore local `git replace`/graft objects — a graft can
 # falsify merge-base/rev-list/ls-tree to make a divergent force look fast-forward or an unmerged branch

package/templates/RED_TEAM_REPORT.md

@@ -0,0 +1,49 @@
+# Red-team report — ISO/IEC 42119-7 형 (템플릿, 2026-09-05)
+
+> **쓰는 자리**: cross-family 적대 리뷰(`auto-decorrelation` Step 4~6) · `/steel-quench` Wave-1 · challenger 디스패치의 **산출을 담는 형식**.
+> 새 검사가 아니라 **이미 하는 것의 보고 형식**이다 — 개발 중인 ISO/IEC AWI TS 42119-7(AI 레드티밍)의 **공개 스코프가 다루는 주제**
+> (용어 · 위험 식별 · 적용 범위 · 목표/공격 벡터 · 계획/실행 방법 · 문서/보고 · 수명주기 통합 — 🟥 규범 «요구사항」은 미공개, 이건 «다루는 주제」다)
+> 를 우리 산출이 이미 갖고 있으니 **이름표만 맞춘다**. §4 의 «처분」은 이 레포의 로컬 프로세스이지 표준 스코프 항목이 아니다.
+> 정본 crosswalk: `knowledge/shared/harness-core/iso_ai_standards_crosswalk.md §2` (42119-7 행).
+>
+> 🟥 이 형식은 «잘 했다」를 증명하지 않는다. 채널이다 — 칸이 비어 있으면 안 돌린 것이고, 채워져 있어도 진위는 마커/PR 의 그라운딩이 진다.
+
+```
+# RED-TEAM REPORT — <대상 한 줄>            date: YYYY-MM-DD   trigger: <4축 마커 트리거 / load-bearing gate / chamber / 요청>
+
+## 0. 적용 범위와 용어 (applicability · terms)
+대상      : <어느 AI 시스템/하네스의 어느 표면 — 코드·프롬프트·게이트·설정>
+적용 범위 : <이 평가가 «보는」 것과 «안 보는」 것 한 줄씩>
+용어      : <이 보고에서 S/A/B 가 뜻하는 것 · «fail-open」 등 국소 용어의 정의>
+
+## 1. 위험 식별 (what could go wrong — 42119-7 "identification of risks")
+표면      : <가역 / 비가역(publish·delete·history) / 소비자 가시>
+실패 모드 : <이 변경이 틀렸다면 관측될 것 — 마커 defeater: 와 같은 문장>
+AI 특성   : <비결정성 · 데이터 의존 · 적응성 · 불투명성 · 자율성 중 해당 — 없으면 «없음»>
+
+## 2. 목표와 공격 벡터 (objectives & attack vectors)
+목표      : S = <fail-open / 유출 / 차단 회피 … 이 대상에서 S 의 정의>  A = <과차단 / 오탐 / …>  B = 유지보수
+공격 벡터 : <레지스트리 인용 — steel-quench Wave-1 각도 #n · 또는 프롬프트의 "attack specifically (1)…(n)" 목록 그대로>
+
+## 3. 방법 (methodology — 29119 프로세스 정렬)
+리뷰어    : <계열(codex/gemini/…) · 입장(cold / target-repo tier1b·tier2·tier2b·tier3) · 받은 것(diff만 / diff+주장 / 실행 출력)>
+격리      : <리뷰어가 저자 추론을 봤나 — 안 봤다 / 봤다(사유)>
+실행      : <리뷰어가 무엇을 실행했나 — 명령과 출력, 없으면 «정적»>
+residency : <residency=CLEAN(files=n, stripped=m) — 스트립한 파일은 리뷰어에게 이름으로 알렸나>
+
+## 4. 발견 (findings — 재현 입력을 반드시 함께) + 처분(로컬 프로세스)
+| # | 심각도 | 위치(file:line) | 재현 입력 | 왜 | 처분(수리 / 반박 / 잔여) | 앵커(레인 id · fail-before) |
+|---|---|---|---|---|---|---|
+
+수리 n · 반박 n(각각 근거 한 줄) · 잔여 n(이름으로)
+
+## 5. 수명주기 통합 (integration into the AI system life cycle)
+어느 게이트에서 돌았나 : <pre-commit 4축 / Field-Harness Load-Bearing Change Gate / chamber SCREEN / 릴리스 전>
+재실행 조건            : <이 표면이 다시 바뀌면 / 모델·계열이 바뀌면 / N 세션 뒤>
+기록 위치              : <마커 crossfamily: · PR 본문 · fh_signal_*>
+```
+
+**채우는 규칙**
+- §4 의 «재현 입력」 이 빈 발견은 발견이 아니라 의견이다 — 그 행은 처분 «반박」으로 가거나 지운다.
+- «반박」은 근거 한 줄이 있어야 한다(실측이면 실측을, 계약이면 계약 문장을).
+- 이 보고는 **마커를 대체하지 않는다**. 마커 `crossfamily:` 한 줄이 이 보고의 요약이고, 보고는 그 줄의 전개다.