@chrono-meta/fh-gate 3.2.0 → 3.5.0

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

@@ -805,8 +805,25 @@ validate_defense_leg() { # $1 = marker path — fires ONLY at the floor tiers (s
 # 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"
+# 🟥 `evidence=` — panel(...) 이 «무엇을 받았는지» 를 적게 한다. 2026-09-12 신설, 근거는 외부 실측이다:
+#   arXiv:2609.10969 (48 템플릿 · 2,880 시나리오 · **고정예산 2×2**) 에서 «같은 증거를 읽는 교차-모델
+#   투표» 는 위험 제안의 **62.9 %** 를 승인하고 «독립 출처» 는 **22.9 %** — 출처 효과 40.9 %p 대
+#   모델 다양성 11.3 %p, **3.6 배**. 즉 이 훅이 이미 하드 차단하는 축(계열)이 약한 쪽이고,
+#   `panel(codex, gemini)` 가 **같은 diff 를 읽은 패널**이면 그것은 62.9 % 팔인데 기록은 강한 값으로
+#   남는다. 그 구분을 닫는 토큰이다. 🟥 새 필드도 새 게이트도 만들지 않는다 — residency= 와 같은
+#   자리(crossfamily 의 grounds) 에 같은 문법으로 얹는다.
+EVIDENCE_TOKEN_GRACE_DATE="2026-09-12"
+# 🟥 `standpoint:` tier2+ grounds — 2026-09-12 부로 **advisory 에서 차단으로**. 근거가 바뀌었다:
+#   이 carve-out 은 증거가 FH 자기 관찰 n=4+8 뿐일 때 합리적이었다. arXiv:2609.10969 이 같은 비교를
+#   n=2,880 에서 **40.9 %p 대 11.3 %p** 로 재면서, 「강한 축의 grounds 를 advisory 로 두고 약한 축을
+#   하드 차단한다」가 더는 균형이 아니게 됐다. §Mechanization Boundary 검사는 여전히 통과한다 —
+#   «저자가 실행한 명령과 본 출력을 명명했는가» 는 **기록의 속성**(존재·비공허·귀속가능)이지 결론이 아니다.
+#   🟥 정직한 범위: 이 게이트는 **기록의 형태**만 막는다. 그 실행이 진짜였는지는 여전히 안 본다 —
+#   게임 가능성은 §Mechanization Boundary 가 사람에게 남긴 의도된 잔여이고 이 변경이 닫는 구멍이 아니다.
+STANDPOINT_GROUNDS_GRACE_DATE="2026-09-12"
 validate_crossfamily_leg() { # $1 = marker path
   local m="$1" line val reason fams mdate _res_active _res_tokens _res_ntok _res_wellformed _res_kind
+  local _ev_active _ev_tokens _ev_ntok _ev_full _ev_nfull _ev_wellformed _ev_kind _ev_body _ev_grace _ev_strip
   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"
@@ -869,6 +886,31 @@ validate_crossfamily_leg() { # $1 = marker path
   _res_kind=""
   [ "$_res_wellformed" -eq 1 ] && _res_kind=$(printf '%s' "$_res_full" | sed -E 's/^residency=([A-Za-z_]*)\(.*$/\1/')
 
+  # evidence= token — same grammar and same presence-first rule as residency= above. REQUIRED for
+  # panel(...) on markers dated >= EVIDENCE_TOKEN_GRACE_DATE; format-only-if-present elsewhere.
+  # 🟥 상수를 «먼저» 평가한다(cross-family agy 적발). 이걸 mdate 검사 뒤에 두면 두 결함이 같이 난다:
+  #    ⓐ 미주입 시 `[ "$mdate" \< "" ]` 이 거짓이 되어 **grace 가 통째로 꺼지고** pre-grace 마커가
+  #      전부 막힌다(실측 확인) ⓑ mdate 가 비면 단축평가로 `:?` 가드가 아예 안 돈다.
+  _ev_grace="${EVIDENCE_TOKEN_GRACE_DATE:?EVIDENCE_TOKEN_GRACE_DATE unset — partial extraction of this hook? refusing to guess a grace date}"
+  _ev_active=1
+  if [ -n "$mdate" ] && [ "$mdate" \< "$_ev_grace" ]; then _ev_active=0; fi
+  _ev_tokens=$(printf '%s' "$reason" | grep -oE 'evidence=[^[:space:]]*' 2>/dev/null || true)
+  _ev_ntok=0
+  [ -n "$_ev_tokens" ] && _ev_ntok=$(printf '%s\n' "$_ev_tokens" | grep -c .)
+  # 🟥 `[^)]*` 는 중첩 괄호에서 안쪽 `)` 에 끊긴다 — `evidence=MIXED(codex(diff), gemini(repo))` 의
+  #    본문이 `codex(diff` 로 잘려 «공허» 판정을 받고 **정당한 기록이 하드 차단**됐다(실측).
+  #    한 겹 중첩을 허용한다(두 겹은 여전히 형식 위반 — 무한 중첩을 정규식으로 쫓지 않는다).
+  _ev_full=$(printf '%s' "$reason" | grep -oE 'evidence=(SHARED|INDEPENDENT|MIXED)\(([^()]|\([^()]*\))*\)' 2>/dev/null || true)
+  _ev_nfull=0
+  [ -n "$_ev_full" ] && _ev_nfull=$(printf '%s\n' "$_ev_full" | grep -c .)
+  _ev_wellformed=0
+  [ "$_ev_ntok" -eq 1 ] && [ "$_ev_nfull" -eq 1 ] && _ev_wellformed=1
+  _ev_kind=""; _ev_body=""
+  if [ "$_ev_wellformed" -eq 1 ]; then
+    _ev_kind=$(printf '%s' "$_ev_full" | sed -E 's/^evidence=([A-Z]*)\(.*$/\1/')
+    _ev_body=$(printf '%s' "$_ev_full" | sed -E 's/^evidence=[A-Z]*\(//; s/\)$//')
+  fi
+
   case "$val" in
     declined)
       # `declined` means ONE thing: the OPERATOR declined sidecars (UAP), a chosen floor. It was
@@ -1022,6 +1064,81 @@ validate_crossfamily_leg() { # $1 = marker path
           return 1
         fi
       fi
+      # evidence= — WHAT the panel received. Same four checks in the same order as residency=
+      # (duplicate → absent → shape → meaning). Why this exists at all: arXiv:2609.10969 measured
+      # the two axes against each other at fixed call budget (48 templates, 2,880 scenarios) and a
+      # cross-model vote over SHARED evidence approved 62.9% of unsafe proposals vs 22.9% with an
+      # independent source — 40.9pp vs 11.3pp for model diversity. A `panel(codex, gemini)` that
+      # read the same diff is that 62.9% arm while recording as this enum's STRONG value. The token
+      # makes the distinction sayable; it does not make shared evidence illegal.
+      # 🟥 grace 여부와 무관하게, 토큰이 «있으면» 형식은 본다 — residency 가 `DEGRADED_*` 에서 하는
+      #    약속과 같은 모양이다. 이게 없으면 pre-grace 마커의 `evidence=PARTIAL(...)` 이 조용히
+      #    통과한다(실측). 부재는 grace 가 면제하지만, **잘못 쓴 것은 면제하지 않는다.**
+      if [ "$_ev_active" -eq 0 ] && [ "$_ev_ntok" -gt 0 ] && [ "$_ev_wellformed" -ne 1 ]; then
+        echo "  ❌ FAIL — 'evidence=' token present but malformed (pre-grace marker: the token is"
+        echo "     OPTIONAL here, but a token that IS written must be well-formed):"
+        printf '%s\n' "$_ev_tokens" | sed 's/^/       /'
+        echo "     Closed set evidence=(SHARED|INDEPENDENT|MIXED)(...) with a closing paren."
+        return 1
+      fi
+      if [ "$_ev_active" -eq 1 ]; then
+        if [ "$_ev_ntok" -gt 1 ]; then
+          echo "  ❌ FAIL — grounds carries MORE THAN ONE 'evidence=' token."
+          printf '%s\n' "$_ev_tokens" | sed 's/^/       /'
+          echo "     Same trap as two crossfamily: lines — the reader takes the first. Leave one."
+          return 1
+        fi
+        if [ "$_ev_ntok" -eq 0 ]; then
+          echo "  ❌ FAIL — panel(...) with no 'evidence=' token in grounds."
+          echo "     State WHAT the panel received, because that axis carries ~3.6x the effect of"
+          echo "     family diversity (arXiv:2609.10969: shared evidence approves 62.9% of unsafe"
+          echo "     proposals vs 22.9% independent; 40.9pp vs 11.3pp). One of:"
+          echo "       evidence=SHARED(<what every family read — e.g. the same diff>)"
+          echo "       evidence=INDEPENDENT(<what each got separately — own checkout, own run>)"
+          echo "       evidence=MIXED(<which member got which>)"
+          echo "     e.g. crossfamily: panel($fams) — residency=CLEAN(files=3) · evidence=SHARED(same"
+          echo "          staged diff to both) · R1..R2, 4 findings"
+          echo "     🟥 SHARED is a legal, common answer — it is not a failure. Recording it as if"
+          echo "     it were INDEPENDENT is the failure this token exists to stop."
+          return 1
+        fi
+        if [ "$_ev_wellformed" -ne 1 ]; then
+          echo "  ❌ FAIL — 'evidence=' token present but not one well-formed"
+          echo "     evidence=(SHARED|INDEPENDENT|MIXED)(...) token:"
+          printf '%s\n' "$_ev_tokens" | sed 's/^/       /'
+          echo "     Closed set with a closing paren — same shape as residency=, same reason: a"
+          echo "     malformed token must be malformed, never invisible."
+          return 1
+        fi
+        # Meaning check, and it is deliberately only on SHARED/MIXED: those are the values whose
+        # whole content is "which evidence did they actually share", so an empty body says nothing.
+        # INDEPENDENT is self-describing; over-blocking it would train the override.
+        # 🟥 본문 검사, 두 층 — cross-family agy 가 초판의 두 결함을 다 지목했다:
+        #   ⓐ **빈 본문과 자리표시자는 세 값 모두 차단**한다. 초판은 INDEPENDENT 를 통째로 면제해서
+        #     `evidence=INDEPENDENT()` 와 `evidence=INDEPENDENT(<what>)` 가 **통과했다**(실측 fail-open).
+        #     «자기서술적이라 본문 검사 면제» 는 «본문이 없어도 된다» 와 다른 말이었는데 초판이 접었다.
+        #   ⓑ 길이 바는 **문자 수**로 센다. `wc -w` 는 `same-diff` 도 `동일diff` 도 1 낱말로 세서
+        #     정당한 한국어/하이픈 기록을 막았다(실측) — 한국어로 근거를 쓰는 이 레포에서 이건 상습 과차단이다.
+        _ev_strip=$(printf '%s' "$_ev_body" | tr -d '[:space:]')
+        if [ -z "$_ev_strip" ] \
+           || printf '%s' "$_ev_body" | grep -qE '^[[:space:]]*(TBD|tbd|N/?A|n/?a|없음|미정|-+|\?+|<[^>]*>)[[:space:]]*$'; then
+          echo "  ❌ FAIL — evidence=$_ev_kind(...) has an EMPTY or placeholder body: '$_ev_body'"
+          echo "     All three values need a body — 'self-describing' meant it is not length-checked,"
+          echo "     never that it can be blank. Name what each member actually received."
+          return 1
+        fi
+        case "$_ev_kind" in
+          SHARED|MIXED)
+            # 문자 수 기준(공백 제외). 4자 미만이면 «diff» 같은 한 토큰이고, 그건 어느 산출물인지
+            # 말하지 않는다. 🟥 낱말 수로 세지 않는다 — CJK 와 하이픈 복합어가 전부 1 낱말이 된다.
+            if [ "$(printf '%s' "$_ev_strip" | wc -m | tr -d ' ')" -lt 6 ]; then
+              echo "  ❌ FAIL — evidence=$_ev_kind(...) body too thin to identify the artifact: '$_ev_body'"
+              echo "     Name it (\"same staged diff\", \"one findings.jsonl\", \"동일 프롬프트 파일\")."
+              echo "     A bare $_ev_kind(diff) records the weak arm as if it were documented."
+              return 1
+            fi ;;
+        esac
+      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.
@@ -1129,6 +1246,7 @@ validate_crossfamily_leg() { # $1 = marker path
 # and 0 over-blocks. Anchor: scripts/test_marker_standpoint_lanes.sh
 validate_standpoint_leg() { # $1 = marker path
   local m="$1" line val reason n quoted=""
+  local _sp_mdate _sp_block _sp_grace
   n=$(grep -cE '^[[:space:]]*standpoint:' "$m" 2>/dev/null); n=${n:-0}
   if [ "$n" -eq 0 ]; then
     echo "  ❌ FAIL — load-bearing file staged with no 'standpoint:' line in the Axes 2-3 marker."
@@ -1174,13 +1292,41 @@ validate_standpoint_leg() { # $1 = marker path
     tier1b\(*\)|tier2\(*\)|tier2b\(*\)|tier3\(*\))
       case "$val" in
         tier2\(*\)|tier2b\(*\)|tier3\(*\))
+          # 🟥 키워드에 «뒤따르는 공백» 을 박아두면 정당한 기록이 막힌다 — cross-family agy 적발,
+          #    실측 확인: `cargo check` · `python scripts/eval.py` · `ran: ./ci.sh` 가 전부 BLOCK 이었다.
+          #    advisory 일 때는 경고 한 줄이었지만 **차단이 된 순간 이건 override 를 훈련시키는 결함**이다.
+          #    ⇒ ⓐ 경계를 «비-알파벳» 으로 바꾸고(콜론·세미콜론·줄끝 허용) ⓑ 흔한 러너를 넣고
+          #      ⓒ «출력» 의 형태(`30/30`, `rc=`, `./path`)도 실행의 증거로 받는다.
+          #    ⚠️ 방향: 이건 **느슨하게** 만드는 변경이다. 막고 싶은 것은 «명령도 출력도 안 적은 줄» 이고,
+          #    길이 20 자 하한은 그대로 남는다.
           if [ "${#reason}" -lt 20 ] || ! printf '%s' "$reason" \
-              | grep -qiE 'ran |run |실행|돌렸|호출|invok|call|rc=|exit |output|출력|suite|스위트|test|bash |grep |npm |pytest|command|커맨드|arm'; then
-            echo "  ⚠️  standpoint leg: $val — recorded, but the grounds do not NAME an execution."
-            echo "     ${val%%(*} asserts code RAN in the target. The discriminator is mechanical:"
-            echo "     name the command you ran and the output you saw. If you only read files,"
-            echo "     the honest rung is tier1b — weaker on purpose, so the owed arm stays visible."
-            echo "     Advisory by design (see the named residual above this function)."
+              | grep -qiE '(^|[^[:alpha:]])(ran|run|runs|exec|invoke[ds]?|call|calls|called|exit|output|suite|test|tests|tested|bash|sh|zsh|grep|npm|pnpm|yarn|pytest|python|python3|cargo|make|go|gradle|mvn|dotnet|node|command)([^[:alpha:]]|$)|실행|돌렸|돌린|돌려|호출|출력|스위트|커맨드|rc=|[0-9]+/[0-9]+|\./'; then
+            # Grace: markers dated before STANDPOINT_GROUNDS_GRACE_DATE keep the old advisory
+            # behaviour (no retro-blocking), same pattern as the residency=/evidence= tokens.
+            _sp_mdate=$(printf '%s' "$m" | sed -nE 's/.*_([0-9]{4}-[0-9]{2}-[0-9]{2})\.marker$/\1/p')
+            _sp_block=1
+            # Unreadable date → NOT exempt. The hook stamps TODAY into every marker filename it
+            # creates, so an unparseable date is an unexpected shape, not evidence of age.
+            # 🟥 상수를 «먼저» 평가한다 — 초판은 `[ -n "$_sp_mdate" ] && [ ... ${VAR:?} ]` 였고,
+            #    mdate 가 비면 단축평가로 `:?` 가드가 **아예 안 돌았다**(agy 적발). 가드가 있다고
+            #    적어놓고 안 도는 것은 장식이다([[feedback_anchor_can_be_decorative]]).
+            _sp_grace="${STANDPOINT_GROUNDS_GRACE_DATE:?STANDPOINT_GROUNDS_GRACE_DATE unset — partial extraction of this hook? refusing to guess a grace date}"
+            if [ -n "$_sp_mdate" ] && [ "$_sp_mdate" \< "$_sp_grace" ]; then _sp_block=0; fi
+            if [ "$_sp_block" -eq 1 ]; then
+              echo "  ❌ FAIL — standpoint leg: $val — the grounds do not NAME an execution."
+              echo "     ${val%%(*} asserts code RAN in the target. The discriminator is mechanical:"
+              echo "     name the command you ran and the output you saw. If you only read files,"
+              echo "     the honest rung is tier1b — weaker on purpose, so the owed arm stays visible."
+              echo "       standpoint: tier2(<harness>) — ran \`bash scripts/x.sh\` there, output: 30/30 PASS"
+              echo "     🟥 BLOCKING since 2026-09-12 (was advisory). Why it changed:"
+              echo "     arXiv:2609.10969 measured evidence-source diversity at 40.9pp against 11.3pp"
+              echo "     for model diversity (n=2,880, fixed call budget) — this is the STRONGER axis,"
+              echo "     and leaving its grounds advisory while hard-blocking the weaker one was not a"
+              echo "     balance. Honest scope: this blocks on the RECORD's shape, never on whether the"
+              echo "     run was real."
+              return 1
+            fi
+            echo "  ⚠️  standpoint leg: $val — grounds name no execution (pre-$STANDPOINT_GROUNDS_GRACE_DATE marker, advisory)."
           else
             echo "  ✅ standpoint leg: $val$quoted"
           fi ;;

package/templates/local_fh_context.md

@@ -11,7 +11,7 @@ description: forge-harness path and skill list pointer — local only, do not co
 **forge-harness path**: `~/path/to/forge-harness` (replace with your actual install path)
 **Session records**: `{FH_ROOT}/tracks/_meta/`
 
-**Available skills (fh-meta, 35)**: agent-composer · dialogue-harvest · fh · apex-review · asset-placement-gate · auto-decorrelation · context-doctor · contention-layer · corpus-grounding-expander · cross-ecosystem-synergy-detection · deep-clarify · edit-manifest · field-harvest · frontier-digest · goal-quench · harness-doctor · harvest-loop · hub-cc-pr-reviewer · install-doctor · install-wizard · marketplace-gate · memory-hygiene · meta-prompt-builder · persona-roster-expander · phantom-quench · pipeline-conductor · plugin-recommender · prompt-regression · public-surface-audit · return-path-gate · sim-conductor · salience-splitter · steel-quench · verify-bidirectional · video-ingest
+**Available skills (fh-meta, 35)**: agent-composer · dialogue-harvest · fh · apex-review · asset-placement-gate · auto-decorrelation · context-doctor · contention-layer · corpus-grounding-expander · cross-ecosystem-synergy-detection · deep-clarify · edit-manifest · field-harvest · frontier-digest · goal-quench · harness-doctor · harvest-loop · harness-pr-reviewer · install-doctor · install-wizard · marketplace-gate · memory-hygiene · meta-prompt-builder · persona-roster-expander · phantom-quench · pipeline-conductor · plugin-recommender · prompt-regression · public-surface-audit · return-path-gate · sim-conductor · salience-splitter · steel-quench · verify-bidirectional · video-ingest
 
 **Available skills (fh-commons)**: convergence-loop · deliberation · mcp-circuit-breaker · token-budget-gate
 

package/templates/regression_guard.sh

@@ -15,7 +15,7 @@
 #    구분하려면 stdout 의 `REGRESSION_GUARD_RESULT=skip` 을 보라. 종료코드만 보는 호출자는
 #    미검사를 통과로 읽는다(2026-07-22: pre-commit 이 정확히 그랬고, AGENTS.md 변경이
 #    그 경로로 '✅ PASS' 를 받고 지나갔다).
-#    배선 현황: pre-commit ✅ / harness-doctor · harvest-loop · hub-cc-pr-reviewer ·
+#    배선 현황: pre-commit ✅ / harness-doctor · harvest-loop · harness-pr-reviewer ·
 #    self_evolution_routine = **미배선(종료코드만 판정)** — 알려진 잔여.
 #
 # PR mode rationale: using 'main' as BASE_REF for a PR branch includes changes from OTHER

package/plugins/fh-commons/skills/preprep/lane_geometry.py

@@ -1,181 +0,0 @@
-#!/usr/bin/env python3
-"""P1·P3 — 도형 배치 검사 둘. the private companion store's origin script (lane_geometry.py(2026-09-04,
-36p 사고에서 역산)를 preprep 관례로 이식한 것 — 로직은 그대로다.
-정본: `tracks-meta/fh_signal_2026-09-04_preprep-evolution.md` §2.
-
-  P1 build-jitter   같은 이름의 도형이 «연속한 두 장»에서 조금 다른 자리에 있다
-                    → 넘길 때 튄다. 실사고: 노란 게이트 막대가 직전 장 대비 35,000 EMU 밀려
-                      회색 연결선과 겹쳤다. 큰 차이는 «의도한 이동»이라 제외한다.
-  P3 adjacency      한 도형의 «오른쪽 끝»과 다른 도형의 «왼쪽 끝»이 맞닿으려다 어긋났다
-                    → 실제 결함이 이 형태였다(회색 스텁 끝 ↔ 막대 시작, 35,000 겹침).
-
-🟥 **P2(near-miss, 같은 종류 모서리끼리만 대조)는 미포함이다 — 채택하지 않는다.** 실사고가
-   못 잡히는 이유가 설계 근거였다: 실제 결함은 「회색 스텁 오른쪽 끝 ↔ 막대 왼쪽 끝」이라는
-   **다른 종류** 모서리의 인접 관계인데, P2 는 왼↔왼·오른↔오른만 봐서 구조적으로 못 잡는다.
-   그 관계는 P3 가 이미 덮는다. 새 레인을 짤 때 «같은 종류끼리»가 기본값이라는 것을 의심하라.
-
-🟥 둘 다 advisory. 임계는 사람이 정한다(기본 JIT=200,000 EMU · ALN=63,500 EMU=5pt ·
-   1pt=12,700 EMU). `surfaces.yaml` 의 `geometry.jitter_emu` / `geometry.align_emu` 로 바꾼다.
-🟥 «차이 0» 은 정상이고 «차이 큼» 도 정상이다. 이 검사가 보는 것은 그 사이뿐이다.
-
-## 🟥 목록으로 읽지 마라 — 델타로 읽어라
-
-실측: P3 는 원 코퍼스에서 기저 오탐이 76건이다(아이콘 무리 내부 · 맵 라벨의 «의도된» 겹침).
-그 목록에서 진짜를 골라낼 방법이 없다. 그런데 편집 전/후를 대조하면 **차이가 정확히 그
-한 줄**이었다. ⇒ 절대 목록은 회귀 도구로 못 쓰고 **편집 전후 델타는 정확하다.**
-`surfaces.yaml` 의 `geometry.baseline`(이전 판 pptx 경로)이 있으면 이 레인은 델타 모드로 돈다
-— 「지금 몇 건이냐」가 아니라 «내가 방금 뭘 어긋냈냐»를 묻는 회귀 도구다.
-
-## 🟥 P1 이 «비교 안 함»을 «튐 없음»으로 속일 수 있는 자리 (계기 결함, 미리 적는다)
-
-`shapes()` 는 **한 장 안에서 이름이 겹치는 도형을 통째로 버린다**(`len(v) == 1` 만 남긴다) —
-겹치는 이름끼리는 대조할 대상을 하나로 못 정하기 때문이다. python-pptx 기본 이름
-(`TextBox 1` 류)은 장마다 새로 매겨져 **이름이 우연히 안 겹칠 수 있고**, 대조 자체가 0건이
-되는 입력에서도 「후보 0건」이 똑같이 출력된다 — 그 0 은 **「튐 없음」이 아니라 「비교 안 함」**
-이다(이 저장소가 이름 붙인 「레인이 초록인 이유는 셋」의 ②). ⇒ `scan()` 은 **비교된 도형-쌍
-수**를 항상 같이 낸다 — 0 이면 UNMEASURED 로 읽어야 한다는 뜻이다.
-"""
-import zipfile, re, os, collections
-
-EMU_PT = 12700
-
-
-def shapes(z, sn):
-    """한 슬라이드의 도형을 {이름: (x,y,cx,cy,text)} 로. 이름 중복은 대조 못 하니 뺀다."""
-    x = z.read('ppt/slides/slide%d.xml' % sn).decode('utf-8')
-    out = {}
-    for m in re.finditer(r'<p:(sp|cxnSp)>.*?</p:\1>', x, re.S):
-        b = m.group(0)
-        nm = re.search(r'name="([^"]*)"', b)
-        o = re.search(r'<a:off x="(-?\d+)" y="(-?\d+)"/><a:ext cx="(-?\d+)" cy="(-?\d+)"', b)
-        if not (nm and o):
-            continue
-        t = re.sub(r'\s+', ' ', ' '.join(re.findall(r'<a:t>([^<]*)</a:t>', b))).strip()
-        out.setdefault(nm.group(1), []).append(
-            (int(o.group(1)), int(o.group(2)), int(o.group(3)), int(o.group(4)), t))
-    return {k: v[0] for k, v in out.items() if len(v) == 1}
-
-
-def _order(z):
-    rels = dict(re.findall(r'Id="([^"]+)"[^>]*Target="slides/slide(\d+)\.xml"',
-                            z.read('ppt/_rels/presentation.xml.rels').decode('utf-8')))
-    lst = re.search(r'<p:sldIdLst>.*?</p:sldIdLst>',
-                     z.read('ppt/presentation.xml').decode('utf-8'), re.S).group(0)
-    return [int(rels[r]) for r in re.findall(r'<p:sldId id="\d+" r:id="([^"]+)"/>', lst)]
-
-
-def load_slides(path):
-    z = zipfile.ZipFile(path)
-    return [shapes(z, sn) for sn in _order(z)]
-
-
-def p1_lines(S, JIT):
-    """build-jitter 후보. 반환: (lines, compared) — compared=0 이면 대조 대상이 아예 없었다는
-    뜻이라 «튐 0건»과 «UNMEASURED」를 갈라야 한다."""
-    lines, compared = [], 0
-    for i in range(1, len(S)):
-        for nm, cur in S[i].items():
-            prv = S[i - 1].get(nm)
-            if not prv:
-                continue
-            compared += 1
-            d = [cur[k] - prv[k] for k in range(4)]
-            mx = max(abs(v) for v in d)
-            if 0 < mx <= JIT:
-                lab = ['x', 'y', 'cx', 'cy']
-                moved = ' · '.join(f'{lab[k]} {d[k]:+d}' for k in range(4) if d[k])
-                lines.append(f"   {i:>3}p→{i+1:<3}p {nm[:16]:16} {moved}  ({mx/EMU_PT:.2f}pt)  "
-                             f"«{cur[4][:26]}»")
-    return lines, compared
-
-
-def p3_lines(S, ALN):
-    """adjacency 후보 — A 오른쪽 끝 ↔ B 왼쪽 끝, 세로로 겹치는 띠에 있을 때만."""
-    lines = []
-    for i, sh in enumerate(S):
-        items = [(nm, v) for nm, v in sh.items() if v[2] > 0 and v[3] > 0]
-        for a in range(len(items)):
-            for b in range(len(items)):
-                if a == b:
-                    continue
-                na, va = items[a]
-                nb, vb = items[b]
-                oy = min(va[1] + va[3], vb[1] + vb[3]) - max(va[1], vb[1])
-                if oy <= 0:
-                    continue
-                gap = vb[0] - (va[0] + va[2])  # A 오른쪽 → B 왼쪽
-                if 0 < abs(gap) <= ALN:
-                    kind = '겹침' if gap < 0 else '틈'
-                    lines.append(f"   {i+1:>3}p {na[:14]:14} 오른끝 → {nb[:14]:14} 왼끝  "
-                                 f"{kind} {abs(gap):>6} EMU ({abs(gap)/EMU_PT:.2f}pt)")
-    return lines
-
-
-def collect_lines(path, JIT, ALN):
-    """(lines, compared) — P1+P3 합친 후보 줄과, P1 이 실제로 대조한 도형-쌍 수."""
-    S = load_slides(path)
-    l1, compared = p1_lines(S, JIT)
-    l3 = p3_lines(S, ALN)
-    return l1 + l3, compared
-
-
-def delta(base_path, cur_path, JIT, ALN):
-    """편집 전/후 델타 — 절대 목록이 아니라 **차이**로 읽는 용법(정확했던 것). P3 는 SYS 를 안 쓰니
-    양쪽에 같은 규칙을 그대로 적용하면 된다(계기 자기결함이 P2 전용이라 여기 안 옮는다)."""
-    bl, cmp_b = collect_lines(base_path, JIT, ALN)
-    cur, cmp_c = collect_lines(cur_path, JIT, ALN)
-    b = set(bl)
-    new = [l for l in cur if l not in b]
-    gone = [l for l in bl if l not in set(cur)]
-    return new, gone, cmp_b, cmp_c
-
-
-def _resolve(root, p):
-    return os.path.normpath(os.path.join(root, os.path.expanduser(p)))
-
-
-def scan(cfg, root):
-    """preprep.py 가 부르는 레인 진입점. (findings, notes) — 🟥 **advisory 고정**:
-    호출자는 findings 를 버리고 notes 만 취한다(L8·L11 관례)."""
-    deck_s = (cfg.get('surfaces_by_id') or {}).get('built_deck')
-    if not deck_s:
-        return [], ['P1/P3 geometry : built_deck 미선언 — NOT_CONFIGURED (0 아님)']
-    deck = _resolve(root, deck_s['path'])
-    if not os.path.exists(deck):
-        return [], [f'P1/P3 geometry : built_deck 실물 없음({deck}) — UNMEASURED (0 아님)']
-    spec = cfg.get('geometry') or {}
-    JIT = int(spec.get('jitter_emu', 200000))
-    ALN = int(spec.get('align_emu', 63500))
-    base_p = spec.get('baseline')
-    notes = []
-
-    if base_p:
-        base = _resolve(root, base_p)
-        if not os.path.exists(base):
-            return [], [f'P1/P3 geometry : baseline 실물 없음({base}) — UNMEASURED (0 아님)']
-        try:
-            new, gone, cmp_b, cmp_c = delta(base, deck, JIT, ALN)
-        except Exception as e:
-            return [], [f'P1/P3 geometry : 계기 오류({type(e).__name__}: {e}) — UNMEASURED (0 아님)']
-        notes.append(f'P1/P3 geometry(델타) : 기준 {os.path.basename(base)} 대비 '
-                     f'새 어긋남 {len(new)}건 · 사라진 어긋남 {len(gone)}건 🟥 advisory '
-                     f'(P1 대조된 도형-쌍: 기준 {cmp_b} · 현재 {cmp_c}'
-                     + ('' if cmp_b and cmp_c else ' — 🟥 0건이면 UNMEASURED, 「튐 없음」이 아니다') + ')')
-        for l in new:
-            notes.append('   + ' + l.strip())
-        for l in gone:
-            notes.append('   - ' + l.strip())
-        return [], notes
-
-    try:
-        lines, compared = collect_lines(deck, JIT, ALN)
-    except Exception as e:
-        return [], [f'P1/P3 geometry : 계기 오류({type(e).__name__}: {e}) — UNMEASURED (0 아님)']
-    notes.append(f'P1/P3 geometry(목록) : 후보 {len(lines)}건 — 🟥 절대 목록으로 읽지 마라, '
-                 f'P3 기저 오탐이 코퍼스마다 수십 건일 수 있다(원 코퍼스 실측 76건). '
-                 f'`geometry.baseline` 을 쓰는 편집-델타 용법이 정확하다 '
-                 f'(P1 대조된 도형-쌍 {compared}'
-                 + ('' if compared else ' — 🟥 UNMEASURED, 「튐 없음」이 아니다') + ')')
-    for l in lines:
-        notes.append(l)
-    return [], notes

package/plugins/fh-commons/skills/preprep/test_preprep_lanes_rp.py

@@ -1,184 +0,0 @@
-#!/usr/bin/env python3
-"""R1~R5 · P1/P3 self-test — known-pair 계량 + 실물 재현.
-
-exit 0 = 전부 통과 · 1 = 실패 있음 · 2 = 픽스처 생성 불가(python-pptx 부재 등, UNMEASURED)
-
-구성:
-  ① known-pair — `fixtures/mk_slide_fixtures.py` 로 R1·R2·R4·R5·P1·P3 를 테스트 시점에 만든다
-     (R3 는 예외 — 실물 구조 2장을 줄인 `fixtures/fixture_R3_{positive,negative}.pptx` 를 쓴다.
-     선두 줄 판별이 절대좌표·srgbClr 런 구조에 기대므로, 검출기 가정대로 «생성»한 픽스처는
-     검출기 자신을 검증 못 한다 — 자기참조. `tracks-meta` 원장이 지목한 방침)
-  ② --baseline 델타 모드 — 편집 전/후 한 쌍에서 새 어긋남 1건만 잡히는지
-  ③ 실물 재현 — 실제 백업 pptx(환경변수 PREPREP_REAL_CORPUS 가 가리키는 디렉터리, 있을 때만)에 돌려 원장이 인용한 실사고 4+1건이
-     그대로 뜨는지 확인한다. 그 코퍼스가 없는 머신에서는 SKIP(«통과»로 세지 않는다).
-"""
-import os
-import sys
-
-HERE = os.path.dirname(os.path.abspath(__file__))
-sys.path.insert(0, HERE)
-sys.path.insert(0, os.path.join(HERE, 'fixtures'))
-
-PASS, FAIL, SKIP = 0, 0, 0
-
-
-def ok(msg):
-    global PASS
-    PASS += 1
-    print('  ✅', msg)
-
-
-def ng(msg):
-    global FAIL
-    FAIL += 1
-    print('  ❌', msg)
-
-
-def sk(msg):
-    global SKIP
-    SKIP += 1
-    print('  ⏭ ', msg, '— SKIPPED (PASS 아님)')
-
-
-def codes_of(deck_path, LSR):
-    deck = LSR.Deck(deck_path)
-    F = LSR.analyze(deck)
-    return F, {k for k, _, _ in F}
-
-
-def run_known_pairs(fx_dir):
-    print('\n[1] known-pair — R1·R2·R4·R5·P1·P3 (생성 픽스처) + R3 (실물 픽스처)')
-    import lane_slide_relations as LSR
-    import lane_geometry as LG
-
-    # R1
-    _, cp = codes_of(os.path.join(fx_dir, 'r1_pos.pptx'), LSR)
-    _, cn = codes_of(os.path.join(fx_dir, 'r1_neg.pptx'), LSR)
-    ok('R1 known-positive 검출') if 'R1' in cp else ng(f'R1 known-positive 미검출 ({cp})')
-    ok('R1 known-negative 무검출') if 'R1' not in cn else ng(f'R1 known-negative에서 오탐 ({cn})')
-
-    # R2
-    _, cp = codes_of(os.path.join(fx_dir, 'r2_pos.pptx'), LSR)
-    _, cn = codes_of(os.path.join(fx_dir, 'r2_neg.pptx'), LSR)
-    ok('R2 known-positive 검출') if 'R2' in cp else ng(f'R2 known-positive 미검출 ({cp})')
-    ok('R2 known-negative 무검출') if 'R2' not in cn else ng(f'R2 known-negative에서 오탐 ({cn})')
-
-    # R3 — 실물 픽스처 (자기참조 회피)
-    r3p = os.path.join(HERE, 'fixtures', 'fixture_R3_positive.pptx')
-    r3n = os.path.join(HERE, 'fixtures', 'fixture_R3_negative.pptx')
-    if os.path.exists(r3p) and os.path.exists(r3n):
-        _, cp = codes_of(r3p, LSR)
-        _, cn = codes_of(r3n, LSR)
-        ok('R3 known-positive(실물 2장) 검출') if 'R3' in cp else ng(f'R3 known-positive 미검출 ({cp})')
-        ok('R3 known-negative(실물 2장) 무검출') if 'R3' not in cn else ng(f'R3 known-negative에서 오탐 ({cn})')
-    else:
-        sk('R3 known-pair — fixture_R3_{positive,negative}.pptx 없음')
-
-    # R4
-    Fp, cp = codes_of(os.path.join(fx_dir, 'r4_pos.pptx'), LSR)
-    Fn, cn = codes_of(os.path.join(fx_dir, 'r4_neg.pptx'), LSR)
-    ok('R4 known-positive 검출(아웃라이어 500자)') if 'R4' in cp else ng(f'R4 known-positive 미검출 ({cp})')
-    ok('R4 known-negative 무검출(동값 분포)') if 'R4' not in cn else ng(f'R4 known-negative에서 오탐 ({cn})')
-
-    # R5
-    Fp, cp = codes_of(os.path.join(fx_dir, 'r5_pos.pptx'), LSR)
-    Fn, cn = codes_of(os.path.join(fx_dir, 'r5_neg.pptx'), LSR)
-    ok('R5 known-positive 검출(비율 30.0)') if 'R5' in cp else ng(f'R5 known-positive 미검출 ({cp})')
-    ok('R5 known-negative 무검출(동일 비율)') if 'R5' not in cn else ng(f'R5 known-negative에서 오탐 ({cn})')
-
-    # P1 — 3팔(임계 안 소폭 이동은 뜼다 · 임계 밖 큰 이동은 안 뜼다 · 무이동은 안 뜼다)
-    lines, compared = LG.collect_lines(os.path.join(fx_dir, 'p1.pptx'), 200000, 63500)
-    p1_lines = [l for l in lines if 'gate_bar' in l]
-    ok(f'P1 대조된 도형-쌍 {compared} > 0 (비교 안함 아님)') if compared > 0 else ng('P1 compared=0 — UNMEASURED')
-    ok(f'P1 후보 정확히 1건(임계 안 이동만)') if len(p1_lines) == 1 else ng(f'P1 후보 {len(p1_lines)}건 (want 1) — {p1_lines}')
-    if p1_lines:
-        ok('P1 유일 후보가 정확히 (1→2p) 소폭 이동 — 큰 이동(2→3p)·무이동(3→4p)은 안 뜬다') \
-            if '1p→2' in p1_lines[0].replace(' ', '') else ng(f'P1 후보가 엉뚱한 쌍을 가리킨다 {p1_lines}')
-
-    # P3
-    lines3, _ = LG.collect_lines(os.path.join(fx_dir, 'p3.pptx'), 200000, 63500)
-    p3_lines = [l for l in lines3 if 'stub' in l]
-    ok('P3 후보 정확히 1건(임계 안 틀/겹침만)') if len(p3_lines) == 1 else ng(f'P3 후보 {len(p3_lines)}건 (want 1) — {p3_lines}')
-
-
-def run_baseline_delta(fx_dir):
-    print('\n[2] --baseline 델타 모드 — 편집 전/후 한 쌍')
-    import lane_geometry as LG
-    new, gone, cmp_b, cmp_c = LG.delta(os.path.join(fx_dir, 'geo_base.pptx'),
-                                        os.path.join(fx_dir, 'geo_edited.pptx'), 200000, 63500)
-    ok('델타 새 어긋남 정확히 1건') if len(new) == 1 else ng(f'델타 새 어긋남 {len(new)}건 (want 1)')
-    ok('델타 사라진 어긋남 0건(깨끗한 기준본)') if len(gone) == 0 else ng(f'델타 사라진 어긋남 {len(gone)}건 (want 0)')
-    ok(f'기준본 대조 {cmp_b} > 0 · 현재본 대조 {cmp_c} > 0') if cmp_b > 0 and cmp_c > 0 \
-        else ng(f'기준본/현재본 대조 0 있음 — UNMEASURED (cmp_b={cmp_b}, cmp_c={cmp_c})')
-    # scan(cfg, root) 래퍼로도 동일하게 도는지 확인 (preprep.py 가 실제로 부르는 경로)
-    cfg = {'surfaces_by_id': {'built_deck': {'path': os.path.join(fx_dir, 'geo_edited.pptx')}},
-           'geometry': {'baseline': os.path.join(fx_dir, 'geo_base.pptx')}}
-    fP, nP = LG.scan(cfg, '.')
-    ok('scan(cfg, root) 래퍼가 델타 모드로 도고 새 어긋남 1건을 notes 에 낸다') \
-        if any('새 어긋남 1건' in n for n in nP) else ng(f'scan() 델타 출력 이상 — {nP}')
-
-
-REAL_BASE = os.environ.get('PREPREP_REAL_CORPUS', '')  # 기본값 없음 — 다른 머신에서 거짓 SKIP 방지(SKIP != PASS)
-REAL_TARGETS = [
-    ('ifkakao26_slides_v1.3_pre-engine-strip_20260904_210857.pptx', 'R1', 40,
-     '선두 줄이 «그러나»로 뒤집는데'),
-    ('ifkakao26_slides_v1.3_pre-40p_20260904_213452.pptx', 'R2', 41,
-     '«이 셋/세 가지»라 부르는데 번호가 없다'),
-    ('ifkakao26_slides_v1.3_pre-38trim_20260904_210428.pptx', 'R4', 38,
-     '화면 250자'),
-    ('ifkakao26_slides_v1.3_pre-40p_20260904_213452.pptx', 'R5', 112,
-     '29.2자/초'),
-]
-
-
-def run_real_corpus():
-    print('\n[3] 실물 재현 (PREPREP_REAL_CORPUS 백업, 있을 때만) — 원장이 인용한 실사고 4+1건')
-    if not os.path.isdir(REAL_BASE):
-        sk(f'실물 코퍼스 미지정/미존재({REAL_BASE or "PREPREP_REAL_CORPUS unset"}) — SKIP, 통과 아님')
-        return
-    import lane_slide_relations as LSR
-    import lane_geometry as LG
-    for fname, code, want_page, want_sub in REAL_TARGETS:
-        p = os.path.join(REAL_BASE, fname)
-        if not os.path.exists(p):
-            sk(f'{fname} 없음 — 재현 건너뜀')
-            continue
-        deck = LSR.Deck(p)
-        F = LSR.analyze(deck)
-        hit = [x for x in F if x[0] == code and abs(x[1] - want_page) <= 1 and want_sub in x[2]]
-        ok(f'{code} 실물 재현 — {fname} 약 {want_page}p — {hit[0][2][:60] if hit else ""}') \
-            if hit else ng(f'{code} 실물 미재현 — {fname}')
-
-    # P1/P3 36p (보너스 확인 — 원장이 명시적으로 요구한 4건에는 없지만 신호 자체의 원적 사건)
-    align36 = os.path.join(REAL_BASE, 'ifkakao26_slides_v1.3_pre-align36_222442.pptx')
-    if os.path.exists(align36):
-        lines, compared = LG.collect_lines(align36, 200000, 63500)
-        hit_p1 = any('s5017' in l and '35000' in l and '35p' in l.replace(' ', '') for l in lines)
-        hit_p3 = any('s5016' in l and 's5017' in l and '35000' in l for l in lines)
-        ok('P1 실물 재현 — 35p→36p s5017 x -35,000') if hit_p1 else ng('P1 실물 미재현')
-        ok('P3 실물 재현 — 36p s5016→s5017 겹침 35,000') if hit_p3 else ng('P3 실물 미재현')
-    else:
-        sk('ifkakao26_slides_v1.3_pre-align36_222442.pptx 없음 — P1/P3 보너스 재현 건너뜀')
-
-
-def main():
-    try:
-        import mk_slide_fixtures
-    except ImportError as e:
-        print(f'❌ python-pptx 또는 픽스처 모듈 부재 — UNMEASURED: {e}')
-        return 2
-    import tempfile
-    fx_dir = tempfile.mkdtemp(prefix='preprep_lanes_rp_')
-    mk_slide_fixtures.build_all(fx_dir)
-    print(f'픽스처 생성: {fx_dir}')
-
-    run_known_pairs(fx_dir)
-    run_baseline_delta(fx_dir)
-    run_real_corpus()
-
-    print(f'\n결과: {PASS} passed · {FAIL} failed · {SKIP} skipped (skip != pass)')
-    return 1 if FAIL else 0
-
-
-if __name__ == '__main__':
-    sys.exit(main())