@chrono-meta/fh-gate 3.0.0 → 3.1.0

package/scripts/test_preprep_diagram_lanes.sh

@@ -0,0 +1,87 @@
+#!/usr/bin/env bash
+# test_preprep_diagram_lanes.sh — L12 diagram 레인 + diagram_from_json.py 거부 경로의 known-pair.
+#
+# 재는 것:
+#   K1 known-negative  영수증·지문·validate·폭·viewBox·pad 전부 맞으면 findings 0
+#   K2 stale          JSON 을 한 글자 고치면 «지문 다름» 1건을 이름으로 짚나
+#   K3 resolution     PNG 실제 폭(IHDR)이 하한 미달이면 1건 — 영수증 자기신고(png_size)가 아니라 헤더를 읽나
+#   K4 viewbox        viewBox 폭 > 상한이면 1건(글자 배율)
+#   K5 unmeasured     영수증 없는 PNG 는 findings 0 + UNMEASURED 노트(0 으로 안 접나)
+#   K6 not-configured diagram_source 표면이 없으면 NOT_CONFIGURED(통과 아님)
+#   K7 refuse         diagram_from_json.py 가 validate 실패 JSON 을 **굽지 않나** — archify 는 스텁으로 대체
+#                     (실물 archify·Chrome 없이 도는 레인이어야 CI 에서 앵커다)
+# 🟥 archify·Chrome 이 없어도 돌아야 한다 — 그래서 K7 은 스텁 archify(ok:false)로 «거부»만 잰다.
+#    «굽힘» 쪽 실사용은 tracks-meta/dispatch/2026-09-05_archify-preprep/REPORT.md 가 기록한다.
+set -uo pipefail
+HERE="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
+SKILL="$HERE/plugins/fh-commons/skills/preprep"
+PASS=0; FAIL=0
+ok(){ echo "  ✅ $1"; PASS=$((PASS+1)); }
+ng(){ echo "  ❌ $1"; FAIL=$((FAIL+1)); }
+command -v python3 >/dev/null 2>&1 || { echo "  ⚠️  UNMEASURED — python3 unavailable (not a pass)"; echo "diagram lanes: SKIPPED (not passed)"; exit 0; }
+
+out=$(cd "$SKILL" && python3 - <<'PY' 2>&1
+import sys, os, json, hashlib, struct, zlib, tempfile, subprocess
+sys.path.insert(0, '.')
+import lane_diagram as LD
+def sha(p): return hashlib.sha256(open(p,'rb').read()).hexdigest()
+def png(path, w, h=2):
+    # 순수 표준 라이브러리 PNG(회색 1바이트/픽셀) — 폭만 의미 있다
+    raw = b''.join(b'\x00' + b'\x80'*w for _ in range(h))
+    def chunk(t, d): return struct.pack('>I', len(d)) + t + d + struct.pack('>I', zlib.crc32(t+d) & 0xffffffff)
+    open(path,'wb').write(b'\x89PNG\r\n\x1a\n' + chunk(b'IHDR', struct.pack('>IIBBBBB', w, h, 8, 0, 0, 0, 0)) + chunk(b'IDAT', zlib.compress(raw)) + chunk(b'IEND', b''))
+d = tempfile.mkdtemp(prefix='l12_')
+spec = os.path.join(d, 'fig.workflow.json'); json.dump({'diagram_type':'workflow','nodes':[{'id':'a','label':'개발'}]}, open(spec,'w'))
+def receipt(pngp, **kw):
+    r = {'spec_sha256': sha(spec), 'validate': {'ok': True, 'profile': 'showcase'}, 'viewbox_w': 720, 'pad': 0.03, 'png_size': [3840, 2]}
+    r.update(kw); json.dump(r, open(pngp[:-4] + '.receipt.json', 'w'))
+def run(surfs, extra=None):
+    cfg = {'surfaces': surfs, 'diagram': {'min_px': 3840, 'max_viewbox_w': 720, 'min_pad': 0.02}}
+    return LD.scan(cfg, d)
+R = {}
+# K1 negative
+p1 = os.path.join(d, 'ok.png'); png(p1, 3840); receipt(p1)
+f, n = run([{'id':'fig','path':'fig.workflow.json','kind':'diagram_source','render':'ok.png'}]); R['K1'] = len(f)
+# K2 stale: JSON 고침
+open(spec,'a').write('\n'); f, n = run([{'id':'fig','path':'fig.workflow.json','kind':'diagram_source','render':'ok.png'}])
+R['K2'] = [x[2] for x in f]
+receipt(p1)  # 다시 맞춤
+# K3 resolution: 영수증은 3840 이라 «말하지만» 실제 헤더는 1000
+p3 = os.path.join(d, 'small.png'); png(p3, 1000); receipt(p3, png_size=[3840, 2])
+f, n = run([{'id':'fig','path':'fig.workflow.json','kind':'diagram_source','render':'small.png'}]); R['K3'] = [x[2] for x in f]
+# K4 viewbox
+p4 = os.path.join(d, 'wide.png'); png(p4, 3840); receipt(p4, viewbox_w=1137)
+f, n = run([{'id':'fig','path':'fig.workflow.json','kind':'diagram_source','render':'wide.png'}]); R['K4'] = [x[2] for x in f]
+# K5 unmeasured (영수증 없음)
+p5 = os.path.join(d, 'hand.png'); png(p5, 3840)
+f, n = run([{'id':'fig','path':'fig.workflow.json','kind':'diagram_source','render':'hand.png'}]); R['K5'] = {'n': len(f), 'unm': any('UNMEASURED' in s for s in n)}
+# K6 not configured
+f, n = run([]); R['K6'] = {'n': len(f), 'nc': any('NOT_CONFIGURED' in s for s in n)}
+# K7 refuse — 스텁 archify(항상 ok:false) + 가짜 chrome. PNG 가 «안 생겨야» 한다
+stub = os.path.join(d, 'archify_stub.mjs'); open(stub,'w').write('console.log(JSON.stringify({ok:false,diagnostics:[{code:"stub/fail",message:"stub"}]}))')
+fake_chrome = os.path.join(d, 'chrome'); open(fake_chrome,'w').write('#!/bin/sh\nexit 0\n'); os.chmod(fake_chrome, 0o755)
+outp = os.path.join(d, 'refused.png')
+import shutil
+if shutil.which('node'):
+    r = subprocess.run([sys.executable, 'diagram_from_json.py', spec, '--out', outp, '--archify', stub, '--chrome', fake_chrome], capture_output=True, text=True)
+    R['K7'] = {'rc': r.returncode, 'png': os.path.exists(outp), 'msg': 'REFUSE' in r.stdout}
+else:
+    R['K7'] = {'rc': 'NO_NODE'}
+print(json.dumps(R, ensure_ascii=False))
+PY
+); rc=$?
+[ $rc -eq 0 ] || { echo "  ❌ INSTRUMENT ERROR — lane_diagram 실행 실패 (rc=$rc): $out"; exit 1; }
+g(){ python3 -c "import json,sys;v=json.loads(sys.argv[1]);exec('r=v'+sys.argv[2]);print(r)" "$out" "$1"; }
+[ "$(g "['K1']")" = "0" ] && ok "K1 known-negative: 다 맞으면 0건" || ng "K1 오탐 $(g "['K1']")건"
+[ "$(g "['K2']")" = "['stale']" ] && ok "K2 stale: JSON 고치면 «stale» 1건을 이름으로" || ng "K2 실패: $(g "['K2']")"
+[ "$(g "['K3']")" = "['resolution']" ] && ok "K3 resolution: 영수증이 3840 이라 해도 IHDR 1000 을 잡는다(자기신고 아님)" || ng "K3 실패: $(g "['K3']")"
+[ "$(g "['K4']")" = "['viewbox']" ] && ok "K4 viewbox: 1137 > 720 을 잡는다(글자 배율)" || ng "K4 실패: $(g "['K4']")"
+[ "$(g "['K5']['n']")" = "0" ] && [ "$(g "['K5']['unm']")" = "True" ] && ok "K5 영수증 없는 손그림 = UNMEASURED(0 아님·통과 아님)" || ng "K5 실패: $(g "['K5']")"
+[ "$(g "['K6']['n']")" = "0" ] && [ "$(g "['K6']['nc']")" = "True" ] && ok "K6 표면 없음 = NOT_CONFIGURED" || ng "K6 실패: $(g "['K6']")"
+k7=$(g "['K7']")
+case "$k7" in
+  *NO_NODE*) echo "  ⏭  K7 거부 경로 — node 부재라 UNMEASURED (통과 아님)";;
+  *) [ "$(g "['K7']['rc']")" = "1" ] && [ "$(g "['K7']['png']")" = "False" ] && [ "$(g "['K7']['msg']")" = "True" ] && ok "K7 refuse: validate 실패면 exit 1 + PNG 미생성 + REFUSE 표기" || ng "K7 실패: $k7";;
+esac
+echo "diagram lanes: $PASS passed, $FAIL failed"
+[ "$FAIL" -eq 0 ] || exit 1

package/scripts/test_preprep_drift_anchor.sh

@@ -33,7 +33,7 @@ sk(){ echo "  ⏭  $1 — SKIPPED (**통과 아님**)"; SKIP=$((SKIP+1)); }
 
 # D1 — 단일 소스
 missing=""
-for f in preprep.py interslide_deps.py lane_progression.py lane_adjacent_dup.py lane_promise.py SKILL.md README.md surfaces.example.yaml; do
+for f in preprep.py interslide_deps.py lane_progression.py lane_adjacent_dup.py lane_promise.py lane_diagram.py diagram_from_json.py SKILL.md README.md surfaces.example.yaml; do
   [ -f "$SRC/$f" ] || missing="$missing $f"
 done
 if [ -n "$missing" ]; then ng "D1 단일 소스 결손:$missing"
@@ -41,10 +41,10 @@ elif ! command -v python3 >/dev/null 2>&1; then
   sk "D1 구문 검사 — python3 부재라 «돌 수 있나»를 못 쟀다(UNMEASURED)"
 else
   synerr=""
-  for f in preprep.py interslide_deps.py lane_progression.py lane_adjacent_dup.py lane_promise.py; do
+  for f in preprep.py interslide_deps.py lane_progression.py lane_adjacent_dup.py lane_promise.py lane_diagram.py diagram_from_json.py; do
     python3 -c "import ast,sys;ast.parse(open(sys.argv[1],encoding='utf-8').read())" "$SRC/$f" 2>/dev/null || synerr="$synerr $f"
   done
-  [ -z "$synerr" ] && ok "D1 단일 소스 8파일 실재 + python 5파일 구문 통과" \
+  [ -z "$synerr" ] && ok "D1 단일 소스 10파일 실재 + python 7파일 구문 통과" \
                    || ng "D1 구문 실패:$synerr"
 fi
 

package/scripts/test_preprep_slide_refs_lanes.sh

@@ -0,0 +1,169 @@
+#!/usr/bin/env bash
+# test_preprep_slide_refs_lanes.sh — preprep L13(리터럴 장 번호 참조)의 계약을 고정한다.
+#
+# WHY: 장을 빼면 뒤 번호가 통째로 당겨진다. 이웃 레인들은 «말로 가리키는 것»만 본다
+# (L5/L8 화면 재사용·시각 지시 · R1~R5 접속어·소유권) — 숫자 참조는 아무도 안 봤다.
+#
+# 🟥 이 레인의 난점은 검출이 아니라 **분류**다. 같은 «숫자+단위»가 셋을 가리킨다:
+#      SLIDE(진짜 장) · SECTION(섹션 번호) · CITATION(논문 쪽수)
+#    실측 코퍼스(if(kakao) 121장)에 셋이 **전부** 있었고, SLIDE 는 **0건**이었다.
+#    ⇒ 실물은 known-**negative** 만 대준다. 양성은 아래 픽스처가 댄다 — 그래서 둘 다 있다.
+#
+# 종료코드: 0 pass · 1 레인 실패 · 2 대상 부재 · 10 setup 실패
+set -uo pipefail
+cd "$(dirname "$0")/.." || exit 10
+LANE=plugins/fh-commons/skills/preprep/lane_slide_refs.py
+[ -f "$LANE" ] || { echo "ⓘ $LANE absent — subject missing (NOT a pass)"; exit 2; }
+command -v python3 >/dev/null 2>&1 || { echo "ⓘ python3 absent — setup broke"; exit 10; }
+T=$(mktemp -d) || exit 10; trap 'rm -rf "$T"' EXIT
+# 🟥 파이썬 바이트코드 캐시를 지우고 시작한다. 되돌림 프로브에서 실측했다(2026-09-06):
+#    판별자를 뮤턴트로 바꿨다가 원본을 복원했는데 **스테일 __pycache__ 가 뮤턴트를 계속
+#    먹여** 「복원했는데도 적색」이 나왔다. 반대 방향이 더 위험하다 — 뮤턴트를 넣었는데
+#    캐시가 원본을 먹이면 «되돌려도 초록» 이 되어 **앵커가 죽은 것을 못 본다**.
+rm -rf plugins/fh-commons/skills/preprep/__pycache__
+PASS=0; FAIL=0
+ok(){ echo "  ✅ $1"; PASS=$((PASS+1)); }
+ng(){ echo "  ❌ $1"; FAIL=$((FAIL+1)); }
+
+RUN=$T/run.py
+cat > "$RUN" <<'PY'
+import sys, os, types
+sys.path.insert(0, 'plugins/fh-commons/skills/preprep')
+
+# 🟥 python-pptx 를 **의존하지 않는다**. 이 스위트는 «분류» 를 재는 것이고, 그 입력은
+#    「장 → 화면 텍스트 · 노트」라는 **작은 오리 타입**이 전부다(lane 의 _texts/
+#    section_numbers 가 읽는 표면). 실물 라이브러리를 요구하면 러너에 없을 때
+#    HARNESS ERROR(exit 10)로 죽고 — 그건 «측정 못 했다»라 옳은 방향이지만, 그 대가로
+#    **CI 에서 이 레인이 영영 안 돌게** 된다. 안 도는 앵커는 앵커가 아니다.
+#    ⇒ `sys.modules['pptx']` 에 스텁을 심어 lane 의 `from pptx import Presentation`
+#      경로까지 **그대로 통과시킨다** — scan() 의 경로 해소·노트 읽기가 다 덮인다.
+class _Run:
+    def __init__(self, t): self.text = t
+class _Para:
+    def __init__(self, t): self.runs = [_Run(t)]
+class _TF:
+    def __init__(self, t): self.paragraphs = [_Para(t)]; self.text = t
+class _Shape:
+    def __init__(self, t): self.has_text_frame = True; self.text_frame = _TF(t)
+class _Notes:
+    def __init__(self, t): self.notes_text_frame = _TF(t)
+class _Slide:
+    def __init__(self, scr, note):
+        self.shapes = [_Shape(x) for x in scr]
+        self.has_notes_slide = True
+        self.notes_slide = _Notes(note)
+class _Prs:
+    def __init__(self, spec): self.slides = [_Slide(a, b) for a, b in spec]
+
+_SPEC = {}
+def _Presentation(path):
+    key = os.path.normpath(path)
+    if key not in _SPEC:
+        raise FileNotFoundError(key)          # 실물 없음 경로도 lane 이 UNMEASURED 로 낸다
+    return _Prs(_SPEC[key])
+_fake = types.ModuleType('pptx'); _fake.Presentation = _Presentation
+sys.modules['pptx'] = _fake
+
+def build(path, slides):
+    """slides = [(화면 줄들, 대본)] — 화면 줄은 각각 별도 텍스트 상자."""
+    _SPEC[os.path.normpath(path)] = slides
+    open(path, 'w').close()                   # os.path.exists 게이트를 실제로 지나가게
+
+def scan(path, mutate=None):
+    import importlib, lane_slide_refs as L
+    importlib.reload(L)
+    if mutate == 'kill-cite':
+        L.CITE = __import__('re').compile(r'(?!x)x')          # 절대 안 맞는다
+    if mutate == 'kill-section':
+        L.section_numbers = lambda prs: set()
+    cfg = {'surfaces_by_id': {'built_deck': {'path': path}}}
+    return L.scan(cfg, '.')
+
+if __name__ == '__main__':
+    build(sys.argv[1], eval(sys.argv[2]))
+    f, n = scan(sys.argv[1], sys.argv[3] if len(sys.argv) > 3 else None)
+    print('FINDINGS', len(f))
+    for x in f: print('F|', x[2])
+    for x in n: print('N|', x)
+PY
+
+SEC=$'3. 어떻게 만들었나'
+# 섹션 라벨은 «여러 장에 반복» 되어야 섹션으로 인정된다 — 픽스처도 그 조건을 만족시킨다
+DECK_SEC="[(['$SEC','3장에서 게이트부터 보겠습니다'],''),(['$SEC'],''),(['$SEC'],'')]"
+DECK_CITE="[(['1) Ye, 『Coding with Enemy』, arXiv:2606.05647, 2026 (4p)'],''),([''],''),([''],'')]"
+DECK_DANGLING="[(['본문'],'130p 를 보세요'),(['본문'],''),(['본문'],'')]"
+DECK_OK="[(['본문'],'2p 에서 보셨듯이'),(['본문'],''),(['본문'],'')]"
+DECK_SELF="[(['본문'],''),(['본문'],'2p 를 보세요'),(['본문'],'')]"
+DECK_DECIMAL="[(['62.5% 개선'],'62장을 보세요'),(['62.5% 개선'],''),(['본문'],'')]"
+DECK_EMPTY="[(['아무 참조도 없다'],''),(['본문'],''),(['본문'],'')]"
+
+run(){ python3 "$RUN" "$T/$1.pptx" "$2" ${3:-} 2>&1; }
+
+echo "== L13 — 분류가 하중을 진다 =="
+
+OUT=$(run pos "$DECK_DANGLING")
+echo "$OUT" | grep -q '^FINDINGS 1' && echo "$OUT" | grep -q '범위 밖' \
+  && ok "L1 known-positive: 3장 덱의 «130p» → 범위 밖 finding" \
+  || ng "L1 known-positive 실패: $(echo "$OUT" | head -2 | tr '\n' ' ')"
+
+OUT=$(run sec "$DECK_SEC")
+echo "$OUT" | grep -q '^FINDINGS 0' && echo "$OUT" | grep -q 'SECTION 1' \
+  && ok "L2 known-negative: 「3장에서」 = SECTION, finding 0" \
+  || ng "L2 섹션이 안 갈렸다: $(echo "$OUT" | grep '^N|' | head -1)"
+
+OUT=$(run cite "$DECK_CITE")
+echo "$OUT" | grep -q '^FINDINGS 0' && echo "$OUT" | grep -q 'CITATION 1' \
+  && ok "L3 known-negative: 인용 「(4p)」 = CITATION, finding 0" \
+  || ng "L3 인용이 안 갈렸다: $(echo "$OUT" | grep '^N|' | head -1)"
+
+OUT=$(run okref "$DECK_OK")
+echo "$OUT" | grep -q '^FINDINGS 0' && echo "$OUT" | grep -q 'SLIDE 1' \
+  && ok "L4 정상 SLIDE 참조는 노트로만(범위 안이라 finding 아님)" \
+  || ng "L4 정상 참조 처리 이상: $(echo "$OUT" | grep '^N|' | head -1)"
+
+OUT=$(run self "$DECK_SELF")
+echo "$OUT" | grep -q '자기 자신 참조' \
+  && ok "L5 자기 자신 참조는 ⚠️ 로 표면화(차단은 아님)" \
+  || ng "L5 자기 참조가 안 뜬다"
+
+OUT=$(run dec "$DECK_DECIMAL")
+if echo "$OUT" | grep -q '^FINDINGS 1' && echo "$OUT" | grep -q '범위 밖'; then
+  ok "L6 «62.5%» 를 섹션으로 안 먹는다 → 「62장」이 SLIDE 로 남아 범위 밖으로 잡힌다"
+else
+  ng "L6 소수점이 섹션으로 먹혔다(실측 사고 재발): $(echo "$OUT" | grep '^N|' | head -1)"
+fi
+
+OUT=$(run empty "$DECK_EMPTY")
+echo "$OUT" | grep -q 'UNMEASURED' \
+  && ok "L7 참조 0건 → «깨끗하다»가 아니라 UNMEASURED 로 적는다" \
+  || ng "L7 0건을 통과로 읽는다(미측정≠0 위반)"
+
+echo "== 컨트롤 — 판별자를 죽이면 빨개지는가(되돌림) =="
+OUT=$(run cite2 "$DECK_CITE" kill-cite)
+echo "$OUT" | grep -q '^FINDINGS 1' \
+  && ok "CTRL-A 인용 판별자를 죽이면 L3 가 오탐으로 뒤집힌다(판별자가 하중을 진다)" \
+  || ng "CTRL-A 뮤턴트인데 아무 일도 없다 — 인용 분기가 장식이다"
+
+OUT=$(run sec2 "$DECK_SEC" kill-section)
+echo "$OUT" | grep -q 'SLIDE 1' \
+  && ok "CTRL-B 섹션 판별자를 죽이면 「3장에서」가 SLIDE 로 넘어간다" \
+  || ng "CTRL-B 뮤턴트인데 분류가 그대로 — 섹션 분기가 장식이다"
+
+echo "== 배선·퇴화 =="
+OUT=$(python3 -c "
+import sys; sys.path.insert(0,'plugins/fh-commons/skills/preprep')
+import lane_slide_refs as L
+print(L.scan({}, '.')[1][0])
+print(L.scan({'surfaces_by_id':{'built_deck':{'path':'/nope/none.pptx'}}}, '.')[1][0])
+" 2>&1)
+echo "$OUT" | grep -q 'NOT_CONFIGURED' && echo "$OUT" | grep -q 'UNMEASURED' \
+  && ok "L8 미선언 → NOT_CONFIGURED · 실물 없음 → UNMEASURED (둘 다 0 아님)" \
+  || ng "L8 퇴화 표기가 0 으로 접힌다: $OUT"
+
+grep -q "import lane_slide_refs" plugins/fh-commons/skills/preprep/preprep.py \
+  && ok "L9 배선: preprep.py 가 이 레인을 부른다" \
+  || ng "L9 배선 없음 — 정의만 있고 아무도 안 부른다(built-but-not-wired)"
+
+echo "── preprep slide-refs lanes: PASS=$PASS FAIL=$FAIL"
+[ "$FAIL" -eq 0 ] || exit 1
+exit 0