@chrono-meta/fh-gate 3.2.0 → 3.5.0

package/plugins/fh-preprep/README.md

@@ -0,0 +1,24 @@
+# fh-preprep — 발표 준비 하네스
+
+기획서·원고·덱·노트가 **서로 어긋나는지**를 기계로 본다. 표면 목록(`surfaces.yaml`)이 단일
+소스이고, 코드에 경로를 안 박는다.
+
+```
+python3 skills/preprep/preprep.py <설정.yaml>
+```
+
+## 종료코드 계약
+
+| 값 | 뜻 |
+|---|---|
+| `0` | 통과 |
+| `1` | 발견 있음 |
+| `2` | **판정불가** — 계기 오류 · 미측정 |
+
+🟥 **`2` 와 `0` 을 섞지 않는다.** 선언된 표면이 디스크에 없으면 그 레인은 «0건»이 아니라
+**UNMEASURED** 다. 설정을 못 읽어도 `2` 다(«발견 있음»인 `1` 이 아니다).
+
+## 왜 별도 플러그인인가
+
+스킬 하나에 레인 17개·모듈 10개·픽스처군이 들어가면서 **역할이 갈렸다** — 라우팅(스킬),
+판정(레인 모듈), 오라클(픽스처). 자세한 근거와 승격 비용은 승격 PR 본문에 있다.

package/plugins/{fh-commons → fh-preprep}/skills/preprep/SKILL.md

@@ -63,10 +63,11 @@ model: sonnet
 
 | 운영자 예시 | 지금 | 무엇이 보나 |
 |---|---|---|
-| **위치가 어긋나 있다** | 🟢 덮인다 | `ooxml/gate.py` ⑥ 화면 밖 도형 ⚠️ 그 검사에 붙은 사고 수치(`26p · 1,854,400 EMU`)는 **`gate.py` 자신의 인라인 주석 말고 대조할 기록이 없다** — 거짓이라는 뜻이 아니라 독립 출처가 없다는 뜻이다 |
+| **위치가 어긋나 있다** | 🟢 덮인다 | `ooxml/gate.py` ⑥ 화면 밖 도형 · P1/P3 (넘길 때 튐 · 인접 어긋남) · **P4 algn/mirror**(같은 줄인데 정렬이 갈림 · 좌우 대칭인데 크기가 갈림) ⚠️ 그 검사에 붙은 사고 수치(`26p · 1,854,400 EMU`)는 **`gate.py` 자신의 인라인 주석 말고 대조할 기록이 없다** — 거짓이라는 뜻이 아니라 독립 출처가 없다는 뜻이다 |
 | **번역투** | 🟢 덮인다 | ⑤에서 `ko-tech-writer` Step 2 |
 | **주어가 빠져 있다** | 🔴 **미구현** (판별자는 있다) | 🟥 «패턴만으로는 못 한다»고 적었던 것을 정정한다 — 판별자가 이미 실재한다: **주어 생략의 가부는 문장이 아니라 화면이 정한다.** 그 문장이 뜨는 화면에 참조 대상이 있으면 생략이 맞고, **참조 대상이 사라지는 장에서 복원**한다. 화면 텍스트는 이미 추출되므로 이건 judged 가 아니라 **measured 후보**다. 다만 복원/유지는 4등급으로 갈린다 (목적어=복원 · 주어+신정보=복원 · **주어+구정보=그대로 둔다** · SOV 재배열) — 전부 복원하면 번역투를 **새로 만든다**. 미구현 상태다 |
 | **화면이 너무 비어 보인다** | 🔴 **미구축** | gate.py 는 «밖으로 나갔나»를 보지 «안이 비었나»를 안 본다. 🟥 **정정 2026-09-01 — 「pptx→PDF 가 끊긴다」는 거짓이었고, 그 오진이 이 항목을 막고 있었다.** known-pair: `soffice` 부재는 **참**(`which soffice` → not found · LibreOffice.app 없음) · `pdftoppm` 실재는 **참**(`/opt/homebrew/bin/pdftoppm`) — **그런데 PowerPoint AppleScript `save as PDF` 로 120장 덱이 실제로 12회 렌더됐다**(`/tmp/v11*.pdf` 12개, 최신본 120페이지 `%PDF-1.3`, 2026-09-01 실측). ⇒ 끊긴 것은 **「LibreOffice 경로」**지 **「pptx→PDF」**가 아니다. 🟥 **미구축 사유가 바뀐다**: 「렌더가 안 된다」(장애물 실재) → **「기준선을 아직 안 쟀다」**(장애물 없음). 두 상태는 다르고, 전자는 «못 한다»로 후자는 «안 했다»로 읽힌다. [[feedback_rule_misdescribes_its_own_machine]] 기준선 형태는 정해져 있다: **레퍼런스 덱을 실측해 장 유형별 화면 자수 기준선을 세우고 미달 장을 센다** — 값은 발표마다 다시 재야 한다. 🟥 **정정 2026-09-04 — 기준선을 실제로 쟀다, 다만 반대편(과밀)이다.** 121장 한국어 덱 실측: 화면 자수 중앙 118 · 평균 133 · P90 207 · 최대 808. 읽는 부담(신규 글자 ÷ 발화 초) 중앙 10.0 · P90 16.9(§레인 R4·R5). ⚠️ 값은 발표마다 다시 재야 한다 — 임계를 코드에 안 박고 **그 덱 자기 분포**에서 뽑는 이유가 이것이다. 그리고 이건 게이트가 아니라 **순위표**다 — 정의상 항상 약 10%가 뜬다, 「후보 0건」을 목표로 삼으면 오독이다(§정직한 한계 참조). **「비어 보인다」쪽(하한)은 여전히 기준선이 없다** — 잰 것은 과밀(상한) 뿐이라 이 행은 아직 🔴 미구축으로 남는다 |
+| **원고와 화면이 갈린다** | 🟢 **덮인다** (2026-09-10 신설) | **L14 screen-parity**. 그 전까지는 이 하네스의 정체(「표면 사이」)에서 **가장 큰 쌍이 비어 있었다** |
 | **흐름이 매끄럽지 않다** | 🟡 **절반 덮인다** | L8 은 «지시 대상이 해소되나»를 볼 뿐 «논지가 서나»를 못 본다. 🟢 그 부분집합 하나는 이제 덮인다 — **L9 progression** 이 «선언된 단계가 화면에서 빠졌나»를 본다(압축에서 첫 칸이 떨어지는 실사고). ⚠️ «논지가 서나» 자체는 여전히 미해결이고, 되읊음 대조(리뷰어가 요약한 뜻이 저자 의도와 반대인가)는 **사람이 한다** |
 
 🟥 **미구축 셋을 「advisory 라서 괜찮다」로 덮지 않는다.** 지금은 ④·⑤ 단계에서 **사람이** 하고
@@ -156,7 +157,7 @@ model: sonnet
 ## 쓰는 법
 
 ```bash
-SKILL=plugins/fh-commons/skills/preprep     # 이 스킬의 위치
+SKILL=plugins/fh-preprep/skills/preprep     # 이 스킬의 위치
 cd "$ASSET_ROOT"                            # 발표 자산군의 루트
 cp "$SKILL/surfaces.example.yaml" surfaces.yaml   # 표면 목록은 사람이 적는다
 python3 "$SKILL/preprep.py"
@@ -182,6 +183,7 @@ python3 "$SKILL/preprep.py"
 | **L10 adjacent-dup** | **인접 장이 같은 문장을 다시 읽나** — 쪼갤 때 뒤 프레임에 원본을 통째로 남기면 앞 장에서 읽은 문장을 또 읽는다. 실측 117자 중 82자(70%) | 차단 (임계는 사람이 적는다. 미기재면 측정만) |
 | **L9 progression** | **선언된 단계 중 하나가 화면에서 빠졌나** — 실사고: ①②③④ 중 ①이 화면에서 떨어져 리뷰어가 논지를 **정반대로** 읽었다. 개별 문장은 전부 옳았다 | 차단 (선언된 것만 본다) |
 | **L12 diagram** | **타입 JSON 도해가 «지금 JSON» 에서 validate 를 거쳐 구워졌나** — `kind: diagram_source` 표면의 굽기 영수증(`*.receipt.json`)으로 JSON 지문 일치 · showcase validate ok · PNG 실제 폭(IHDR 직독) ≥ 3840 · viewBox 폭 ≤ 720 · 여백. 실사고 후보 셋: JSON 고치고 PNG 안 구움 · 미검증 JSON 손렌더 · 픽셀은 충분한데 글자 12pt | 차단 (선언된 표면만 · 영수증 없는 손그림은 **UNMEASURED**, 0 아님) |
+| **L14 screen-parity** | **원고의 화면 블록(🖥)과 덱 화면이 갈렸나** — `surfaces.yaml` 이 원고를 「화면 문자열의 정본」이라 선언해 놓고 **그 선언을 집행하는 레인이 없었다**. 실사고: 운영자가 PowerPoint 에서 7곳을 직접 고쳤는데 `preprep` 이 `rc=0` 을 냈다 — 덱은 새 문장, 원고는 옛 문장을 든 채로 통과 | 🟥 advisory · known-pair(덱 한 벌 · 원고 두 벌) — 🟥 **「짝 없는 줄」과 「문구만 다른 줄」을 갈라서 낸다**. 이 덱 실측 53/38건이라 «후보 0» 이 목표가 아니다 |
 | **L15 font** | **서체가 그 덱의 배포 템플릿이 정한 집합을 벗어났나** — `slides/` 안에서 «명시된» 서체만 판정하고, `slideLayouts`·`slideMasters`·`theme` 은 **템플릿과 해시가 같으면 상속분으로 보고 판정하지 않는다**. `fonts.allow` 미선언이면 **템플릿 자신의 `slides/` 분포에서 허용 집합을 유도**한다. 테마가 이탈이면 `+mn-*` 참조 전부가 거기서 오므로 **테마 한 곳만** 지적한다 | 차단 (🟥 `fonts.template` 미선언 = 상속과 저자 이탈을 **구분 불가** → 그 사실을 노트에 적는다 · 서체 토큰 0 = **UNMEASURED**, 「이탈 없음」 아님 · `fonts.intended` 로 선언한 것은 «면제됨»으로 출력 — 면제도 **가족 단위**다 · 🟥 렌더되지 않는 것은 안 센다: 빈 런 · `endParaRPr`(빈 문단 끝서식) · 테마의 `<a:font script=…>` 폴백) |
 | **G ooxml** | pptx 구조 9종 — 관계 참조 무결성 · 죽은 Content_Types Override · **화면 밖 도형** · 열린 도형 채움 · 선 굵기 토큰 래칫 | 차단 (`python3 ooxml/gate.py <풀린 pptx 트리>`) |
 | **R1 orphan-connective** | 선두 줄이 «그러나/그래서»로 뒤집는데 그 문장의 주어가 **직전 장 어디에도 없다** | 🟥 advisory · **실물 known-positive**(실제 백업에서 뜬 결함) |
@@ -189,8 +191,9 @@ python3 "$SKILL/preprep.py"
 | **R3 lead-term-unbacked** | 선두 줄이 **강조색으로 선언한 낱말**이 그 장 다른 어디에도 없다 — 화면이 자기 부제를 못 받친다 | 🟥 advisory · **합성 뮤턴트 known-pair**(자연 발생본이 파일로 안 남아 실물 2장을 줄여 만든 픽스처로만 계량됨 — R1·R2·P1·P3 과 증거 등급이 다르다) |
 | **R4 screen-heavy** | 화면 자수가 **이 덱 자기 분포**(P90)의 상위권 — 한 장에 너무 많이 얹었다 | 🟥 advisory · **순위표**(게이트가 아니다 — 늘 자기 덱의 상위 약 10%가 뜬다, 「후보 0」이 목표가 아니다) |
 | **R5 read-load** | **직전 장 대비 새로 뜬 글자** ÷ 발화 초 — 화면은 늘었는데 말은 짧다. 무대 지시([간지]/[진행])는 발화로 안 센다 | 🟥 advisory · **순위표**(R4 와 같은 성질) |
-| **P1 build-jitter** | 같은 이름 도형이 **연속한 두 장**에서 조금 다른 자리에 있다 — 넘길 때 튄다 | 🟥 advisory · **실물 known-positive** — 🟥 대조된 도형-쌍이 0 건이면 「튐 없음」이 아니라 **UNMEASURED**(이름 중복 도형은 대조 못 해 통째로 뺀다) |
+| **P1 build-jitter** | 같은 이름 도형이 **연속한 두 장**에서 조금 다른 자리에 있다 — 넘길 때 튄다 | 🟥 advisory · **실물 known-positive** — 결박 내역을 **셋으로 갈라 낸다**(이름+글자 / 이름만(글자 없는 도형) / 글자 불일치=제외). 🟥 앞 둘이 다 0 이면 「튐 없음」이 아니라 **UNMEASURED**. 의도된 연출은 `geometry.intended` 로 **선언**해서 면제하고, 면제된 것은 «면제됨»으로 출력된다. 🟥 **뒤집힘(flipH/flipV)은 임계와 무관하게 낸다** — 상자가 한 EMU도 안 움직여도 화면에서는 화살표가 반대를 가리킨다(2026-09-10 실사고) |
 | **P3 adjacency** | 한 도형의 **오른쪽 끝**과 다른 도형의 **왼쪽 끝**이 맞닿으려다 어긋났다 | 🟥 advisory · **실물 known-positive** · 🟥 절대 목록으로 읽지 마라(기저 오탐 76건 실측) — `surfaces.yaml` 의 `geometry.baseline`(이전 판 pptx)을 주면 **편집 전/후 델타**로 돈다. **P2(near-miss, 같은 종류 모서리만 대조)는 미채택** — 구조적으로 실제 결함(다른 종류 모서리의 인접)을 못 잡아서다 |
+| **P4 attr-consistency** | **덱 자신의 분포가 판정 기준이다** — 같은 역할끼리 묶어 «혼자 다른 것»을 낸다. 축 넷: `dash`(같은 점선인데 굵기가 갈림) · `algn`(같은 줄인데 정렬이 갈림) · `mirror`(좌우 대칭인데 크기가 갈림) · `echo`(**장을 가로질러** — 같은 문장이 매번 다른 크기·자리) | 🟥 advisory · known-pair 8팔(축 넷 × 양팔, 컨트롤 살아 있음) — 🟥 이 레인은 «다르다»만 본다, «틀렸다»는 사람이 판정한다. 의도는 `attr_consistency.intended` 로 선언 |
 
 🟥 **L15 의 본체는 검출이 아니라 «상속과 저작의 분리»다.** 순진하게 서체 이름만 세면 이 코퍼스에서
 **오탐 85건**이 나온다 — 그 85건은 전부 `slideMasters/` 안에 있고, **배포 템플릿의 마스터에도 정확히
@@ -287,10 +290,54 @@ Office 기본값(Arial·Calibri)을 흔히 들고 있어서, 강등하면 저자
 한 장을 지우자 다음 장 부제의 「그러나」가 받을 말을 잃었다. 삭제 전 **뒤 장의 전제인지**
 확인한다 — ⑤ 단계 규율.
 
+### ⓘ 이름이 겹치는 도형을 «순번»으로 집지 마라 — 자리로 결박해라
+2026-09-10 실사고. 한 장에 `a-a1` 이라는 **같은 이름의 화살표가 셋** 있었고, 그것들을 대칭으로
+맞추려고 `occurrence=0/1/2` 로 집어 자리를 배정했다. **순번을 잘못 짚어 `flipH` 가 엉뚱한 도형에
+남았고, 바깥 화살표 둘이 상자 «바깥쪽»을 가리켰다** — 모이는 그림이 벌어지는 그림이 됐다.
+
+🟥 **그리고 아무 계기도 안 잡았다.** 기하 레인은 그때 flip 을 안 읽었고(지금은 읽는다), 편집
+전/후 델타는 「새 어긋남 0건」을 냈으며, **렌더도 봤는데 내가 잘못 읽었다.** 운영자가 눈으로 잡아
+손으로 고쳤다. 계기와 눈이 같이 놓친 자리다.
+
+⇒ **규율**: 편집 대상을 이름으로 못 특정하면 **지금 자리(x, y)로 결박**한다. 순번은 XML 문서
+순서라는 «저자가 모르는 사실»에 기대고, 틀려도 값이 다 들어가므로 **집합으로는 옳아 보인다**.
+그리고 편집 뒤에는 **바꾸려던 그 도형이 바뀌었는지**를 이름이 아니라 자리로 되읽어 확인한다.
+(P1 이 「이름은 필요조건이지 충분조건이 아니다」로 배운 것과 같은 교훈의 **편집 쪽** 얼굴이다.)
+
 ### ⓕ 「알고도 남긴 것」과 「몰라서 남은 것」을 갈라 적어라
 팔레트 밖 색을 정해서 남긴 자리가 있었다. 그렇게 적지 않으면 다음 감사자가 다시 «발견»한다
 (실측: 지운 색이 다른 색번호로 되살아나 있었다). 체크리스트 항목: `presentation_checklist.md` C6.
 
+🟥 **2026-09-10 — 이게 산문 규율만으로는 안 지켜졌고, 그래서 채널이 생겼다.** 그날 49p→50p 의
+격리 막대가 두꺼워지는 것을 P1 이 «튐»으로 냈고, 나는 그것을 «고쳤다». 운영자가 *"49~50으로
+격리 선이 두꺼워지는 거였는데 지금 그게 발생하지 않음"* 이라고 지적해서 되돌렸다.
+**ⓕ 는 그때 이미 이 문서에 적혀 있었다** — 읽고도 안 걸렸다. 규율이 사람 기억에 얹혀 있으면
+다음 세션에서 또 새어 나간다([[feedback_half_fix_propagation_boundary]]).
+
+⇒ **선언은 이제 `surfaces.yaml` 이 받는다** — `geometry.intended` · `attr_consistency.intended`.
+세 가지가 규율이다:
+
+    ① 면제는 «도형»이 아니라 «그 변화»에 걸린다  선언한 속성 말고 다른 게 바뀌면 그대로 뜬다
+    ② `why` 가 비면 «면제»가 아니라 «오류»다      사유 없는 면제는 이 채널의 존재 이유를 지운다
+    ③ 면제된 것은 «면제됨»으로 출력된다           조용히 사라지면 다음 감사자가 다시 «발견»한다
+
+🟥 기계는 **«선언되었나»만 보고 «옳은가»는 안 본다**(CLAUDE.md §Mechanization Boundary —
+채널은 굳히고 판단은 안 굳힌다). 그러니 이건 «연출을 자동으로 알아본다»가 아니다. 못 알아본다.
+알아보는 것은 사람이고, 기계는 그 판단이 **다음 세션까지 살아 있게** 할 뿐이다.
+
+### ⓗ 「만들기」와 「설치」를 한 호출에 묶지 마라 — `safe_install.py`
+2026-09-10 실사고: 편집 스크립트가 assert 로 죽었는데 **뒤따르는 `cp` 가 그대로 돌아** 120장
+정본을 **102장으로 잘린 파일**이 덮었다(git 에서 복구). 근본 원인은 assert 가 아니라 **앞이
+실패해도 뒤가 도는 형태**다 — 셸에서 `;` 로 이은 줄은 전부 그 형태다.
+
+    python3 safe_install.py <후보> <정본>    # zip 무결성 · 필수 부품 · 장 수 · 파일↔목록 일치
+                                             # · 복사 후 해시 재확인. 통과해야만 복사한다
+    ... --dry-run          검사만        ... --expect N        장 수를 못 박는다
+    ... --allow-shrink --why "<사유>"    의도한 축소(기본은 거부 — 비가역 표면은 fail-closed)
+
+⚠️ **구조만 본다.** 120장이 그대로 120장이면서 전부 빈 장이 된 경우는 통과한다 — 좁아진 것이지
+닫힌 게 아니고, 그 자리는 레인과 렌더가 본다.
+
 ### ⓖ 외부 가이드를 인용할 때 — «정의»는 «금지문»이 아니다
 같은 레퍼런스를 두고 두 판정이 갈렸다: 폰트 크기 「위반」을 유보했는데 원문에 **숫자가 한
 개도 없어서** 위반이 아닌 것으로 확정됐고, 색 「위반」은 스와치(정의)를 근거로 올렸다가
@@ -316,6 +363,31 @@ read-load)과 신규 기하 레인(build-jitter · adjacency)에 대한 캘리
 - **L8 오탐 진단(«저희»·«그대로»)은 이 한 덱에서 나왔다.** 다른 한국어 코퍼스에서 같은 비율인지는
   미측정.
 
+### 2026-09-10 추가분 (P1 결박 정정 · P4 신설)
+
+- 🟥 **RETRACTED — 「P1 결박을 «이름 AND 글자»로 좁혀라」는 처방은 틀렸다.** 2026-09-10 인계 노트가
+  그렇게 적었고 그대로 구현했는데, **원적 사건 재현 프로브가 그 자리에서 빨개졌다**: 35p→36p 의
+  게이트 막대 `s5017` 은 **글자 없는 도형**이라 좁힌 결박이 P1 의 존재 이유였던 그 결함을 통째로
+  잘라냈다. 오탐을 없애면서 자기 known-positive 를 같이 죽인 형태다.
+  **살아남은 처방은 좁히기가 아니라 «신뢰도로 가르기»**다 — 버리는 것은 «글자가 서로 다른 쌍»
+  하나뿐이고, 글자 없는 도형은 **[이름만 결박] 이름표를 달고 후보로 남는다.**
+  ⇒ 인계 노트나 요약에서 「이름 AND 글자로 좁혔다」를 보면 **그건 낡은 줄이다.**
+- **P1 결박 분포는 이 덱 한 벌 수치다** — 824쌍 중 이름+글자 425 · 이름만 334 · 불일치 65.
+  다른 덱은 도형 이름 규약이 달라 비율이 통째로 달라진다. **인용하려면 자기 덱에서 다시 재라.**
+- **P4 의 known-pair 는 reps=1 이고 생성 픽스처다.** 축 넷 × 양팔이 각각 한 번씩이고, 이 저장소
+  자기 바(≥3) 미달이다. 다만 컨트롤이 죽지 않았음은 확인했다 — 두 팔의 도형 수·이름·자리가 같고
+  **갈리는 값 하나씩만** 다르다(negative 가 «볼 게 없어서» 조용한 것이 아니다).
+- **P4 가 실물에서 잡은 것은 손검증 1건뿐이다.** 완성 덱에서 후보 16건이 떴고 그중
+  `71p [mirror]`(나란한 두 카드가 28pt ↔ 22/28pt)를 XML 로 직접 열어 **실재 확인**했다. 나머지
+  15건은 미검증이다 — 「16건 잡았다」로 인용하지 마라.
+- **`algn`·`mirror` 축은 키가 엄격하다**(정확히 같은 폭·같은 y / 허용 오차 안의 거울 자리).
+  한 픽셀 어긋난 «같은 줄»은 구조적으로 안 잡힌다. 실측에서 이 덱은 `dash 0 · algn 0` 이었는데,
+  그건 **「그런 결함이 없다」가 아니라 「이 키로는 못 본다」일 수도 있다.**
+- **크기 축은 명시 `sz` 만 읽는다.** 플레이스홀더·테마 상속 크기는 XML 에 없어 **UNMEASURED** 다.
+  실측: 도형 1,901개 중 명시 크기가 있는 것은 **990개(52%)** — 나머지 절반은 이 축의 사각이다.
+- **`echo` 축의 오탐률은 높은 쪽이다.** 같은 문장이 요약 장에서 작게 다시 나오는 것은 정상이고,
+  이 레인은 그것과 «실수로 갈린 것»을 **못 가른다**. 순위표로 읽고 선언으로 걷어내라.
+
 ## Done When
 
 | 조건 | check-class |

package/plugins/{fh-commons → fh-preprep}/skills/preprep/fixtures/mk_slide_fixtures.py

@@ -12,8 +12,11 @@
 """
 import os
 from pptx import Presentation
-from pptx.util import Emu
+from pptx.util import Emu, Pt
 from pptx.dml.color import RGBColor
+from pptx.enum.text import PP_ALIGN
+from pptx.enum.shapes import MSO_CONNECTOR
+from pptx.enum.dml import MSO_LINE_DASH_STYLE as MSO_LINE
 
 SLIDE_W, SLIDE_H = Emu(24384000), Emu(13716000)
 ACCENT = RGBColor(0xFA, 0xE1, 0x00)
@@ -155,6 +158,146 @@ def geometry_baseline_pair(base_path, edited_path):
     prs2.save(edited_path)
 
 
+# ── P1 결박 (이름 AND 글자) known-pair ───────────────────────────────────────
+def p1_binding(path):
+    """네 도형 전부 **같은 크기의 소폭 이동**(+30,000 EMU, JIT 안)을 한다 — 즉 기하만 보면
+    넷 다 후보다. 갈리는 것은 **결박 가능성**뿐이다:
+
+      bound_bar   양쪽 글자 같음        → bound.     후보로 뜬다
+      silent_bar  양쪽 글자 없음        → name_only. 🟥 **후보로 뜬다** — 막대·선이 여기 산다.
+                                           P1 의 원적 사건이 바로 이 부류라 잘라내면 안 된다
+      remix_bar   양쪽 글자 다름        → mismatch.  다른 내용이 같은 이름을 입었다 → 제외
+      halftext    한쪽만 글자 있음      → mismatch.  같은 이유로 제외
+
+    🟥 이 픽스처의 핵심은 «이동량이 넷 다 같다»는 것이다 — 결박 규칙 말고는 변수가 없으므로
+       임계·이동량이 아니라 **결박 규칙만** 재는 계기가 된다."""
+    prs = _new_deck()
+    for k in (0, 1):
+        s = _blank(prs)
+        d = 30000 * k
+        _box(s, 'bound_bar',  1000000 + d, 1000000, 900000, 400000, '같은 막대')
+        _box(s, 'remix_bar',  1000000 + d, 2000000, 900000, 400000, '앞 도해' if k == 0 else '뒤 도해')
+        _box(s, 'silent_bar', 1000000 + d, 3000000, 900000, 400000, None)
+        _box(s, 'halftext',   1000000 + d, 4000000, 900000, 400000, None if k == 0 else '뒤늦은 글자')
+    prs.save(path)
+
+
+def p1_intended(path):
+    """선언 면제(`geometry.intended`) known-pair. 두 도형이 **같은 소폭 이동**을 한다.
+
+      staged_bar   x 와 cx 가 함께 바뀐다  → `attrs: [x, cx]` 선언과 정확히 일치 → 면제 대상
+      stray_bar    y 만 바뀐다             → 선언과 속성이 다르다 → **면제되면 안 된다**
+
+    🟥 둘째가 이 픽스처의 요점이다 — 면제를 «도형 이름»에 걸면 stray 도 삼켜진다."""
+    prs = _new_deck()
+    s1 = _blank(prs)
+    _box(s1, 'staged_bar', 1000000, 1000000, 900000, 400000, '격리')
+    _box(s1, 'stray_bar',  1000000, 3000000, 900000, 400000, '옆칸')
+    s2 = _blank(prs)
+    _box(s2, 'staged_bar', 970000, 1000000, 1030000, 400000, '격리')   # x -30,000 · cx +130,000
+    _box(s2, 'stray_bar',  1000000, 3030000, 900000, 400000, '옆칸')   # y +30,000 뿐
+    prs.save(path)
+
+
+# ── P4 attr-consistency known-pair ───────────────────────────────────────────
+def _sized(slide, name, x, y, w, h, text, pt, algn=None):
+    """명시 `sz` 를 가진 상자. 🟥 P4 의 크기 축은 명시 sz 만 읽으므로 픽스처도 명시해야 한다
+    — 상속 크기로 만들면 known-positive 가 UNMEASURED 로 새서 계기가 죽는다."""
+    tb = slide.shapes.add_textbox(Emu(x), Emu(y), Emu(w), Emu(h))
+    tb.name = name
+    p = tb.text_frame.paragraphs[0]
+    if algn is not None:
+        p.alignment = algn
+    r = p.add_run()
+    r.text = text
+    r.font.size = Pt(pt)
+    return tb
+
+
+def _dashed(slide, name, x, y, w, pt_w, dash):
+    ln = slide.shapes.add_connector(MSO_CONNECTOR.STRAIGHT, Emu(x), Emu(y), Emu(x + w), Emu(y))
+    ln.name = name
+    ln.line.width = Pt(pt_w)
+    ln.line.dash_style = dash
+    return ln
+
+
+def p4(path, positive):
+    """축 넷을 한 벌로. positive 는 넷 다 갈리고, negative 는 **같은 구조로 전부 일치**한다.
+
+    🟥 negative 를 «도형을 뺀 것»으로 만들지 않는다 — 그러면 「안 떴다」가 「볼 게 없었다」와
+       구분이 안 되고(이 저장소가 이름 붙인 「레인이 초록인 이유는 셋」의 ②), 죽은 컨트롤이 된다.
+       두 팔의 도형 수·이름·자리는 같고 **갈리는 값 하나씩만** 다르다."""
+    prs = _new_deck()
+    s = _blank(prs)
+    # dash — 같은 종류 점선 두 개, 굵기만 갈린다
+    _dashed(s, 'rule_a', 1000000, 1000000, 6000000, 1.0, MSO_LINE.DASH)
+    _dashed(s, 'rule_b', 1000000, 1600000, 6000000, 3.0 if positive else 1.0, MSO_LINE.DASH)
+    # algn — 같은 폭·같은 y 한 줄, 정렬만 갈린다
+    _sized(s, 'row_l', 2000000, 4000000, 5000000, 800000, '왼쪽 칸', 24, PP_ALIGN.LEFT)
+    _sized(s, 'row_r', 9000000, 4000000, 5000000, 800000, '오른 칸', 24,
+           PP_ALIGN.CENTER if positive else PP_ALIGN.LEFT)
+    # mirror — 화면 중심 기준 거울(폭 5,000,000 · 중심 ±5,192,000), 크기만 갈린다
+    _sized(s, 'mir_l', 4000000, 8000000, 5000000, 800000, '만든 쪽', 32, PP_ALIGN.CENTER)
+    _sized(s, 'mir_r', 15384000, 8000000, 5000000, 800000, '받는 쪽',
+           28 if positive else 32, PP_ALIGN.CENTER)
+    # echo — 둘째 장에 같은 문장, 크기만 갈린다
+    _sized(s, 'echo_1', 2000000, 11000000, 9000000, 800000, '되돌릴 수 없는 곳', 32, PP_ALIGN.LEFT)
+    s2 = _blank(prs)
+    _sized(s2, 'echo_2', 2000000, 11000000, 9000000, 800000, '되돌릴 수 없는 곳',
+           26 if positive else 32, PP_ALIGN.LEFT)
+    prs.save(path)
+
+
+# ── P1 뒤집힘 known-pair ─────────────────────────────────────────────────────
+def p1_flip(path):
+    """두 장 · 상자 기하는 **한 EMU도 안 바뀐다**. 바뀌는 것은 flipH 하나뿐이다.
+
+    🟥 이 픽스처의 요점: 자리·크기만 보는 계기는 여기서 «어긋남 0» 을 낸다.
+       실사고가 정확히 그 모양이었다(화살표가 반대를 가리키는데 델타가 0건).
+       `steady` 는 양쪽 다 무플립이라 뜨면 안 된다(과차단 컨트롤)."""
+    from pptx.enum.shapes import MSO_CONNECTOR as _C
+    prs = _new_deck()
+    for k in (0, 1):
+        s = _blank(prs)
+        a = s.shapes.add_connector(_C.STRAIGHT, Emu(2000000), Emu(2000000),
+                                   Emu(2800000), Emu(2800000))
+        a.name = 'turned'
+        if k == 1:                      # 자리는 그대로, 방향만 뒤집는다
+            a._element.spPr.xfrm.set('flipH', '1')
+        b = s.shapes.add_connector(_C.STRAIGHT, Emu(6000000), Emu(2000000),
+                                   Emu(6800000), Emu(2800000))
+        b.name = 'steady'
+    prs.save(path)
+
+
+# ── L14 screen-parity known-pair ─────────────────────────────────────────────
+def screen_parity(deck_path, man_ok, man_bad):
+    """덱 2장 + 원고 두 벌. 🟥 덱은 **한 벌만** 만든다 — 원고만 바꿔서 「원고 쪽이 갈렸다」를
+    한 변수로 재기 위해서다(덱까지 같이 바꾸면 무엇이 신호인지 못 가른다).
+
+      man_ok   덱과 완전히 같다                      → 짝 없음 0 · 문구 다름 0
+      man_bad  ① 「사라진 줄」 을 원고만 들고 있다     → 짝 없음 (원고에만)
+               ② 「받아들인다」 를 덱만 들고 있다      → 짝 없음 (화면에만)
+               ③ 「증거 없이 반박을 믿는 셈이다」 ↔ 덱 「…믿는 셈」 → 문구 다름
+    """
+    prs = _new_deck()
+    s1 = _blank(prs)
+    _box(s1, 'h1', 1000000, 500000, 14000000, 800000, '첫 장 제목')
+    _box(s1, 'b1', 1000000, 2000000, 14000000, 800000, '증거 없이 반박을 믿는 셈')
+    s2 = _blank(prs)
+    _box(s2, 'h2', 1000000, 500000, 14000000, 800000, '둘째 장 제목')
+    _box(s2, 'b2', 1000000, 2000000, 14000000, 800000, '받아들인다')
+    prs.save(deck_path)
+
+    open(man_ok, 'w', encoding='utf-8').write(
+        '### S1 · 첫 장 제목\n🖥\n첫 장 제목\n증거 없이 반박을 믿는 셈\n🗣\n말.\n\n'
+        '### S2 · 둘째 장 제목\n🖥\n둘째 장 제목\n받아들인다\n🗣\n말.\n')
+    open(man_bad, 'w', encoding='utf-8').write(
+        '### S1 · 첫 장 제목\n🖥\n첫 장 제목\n증거 없이 반박을 믿는 셈이다\n사라진 줄\n🗣\n말.\n\n'
+        '### S2 · 둘째 장 제목\n🖥\n둘째 장 제목\n🗣\n말.\n')
+
+
 def build_all(outdir):
     os.makedirs(outdir, exist_ok=True)
     r1(os.path.join(outdir, 'r1_pos.pptx'), True)
@@ -166,7 +309,15 @@ def build_all(outdir):
     r5(os.path.join(outdir, 'r5_pos.pptx'), True)
     r5(os.path.join(outdir, 'r5_neg.pptx'), False)
     p1(os.path.join(outdir, 'p1.pptx'))
+    p1_binding(os.path.join(outdir, 'p1_binding.pptx'))
+    p1_intended(os.path.join(outdir, 'p1_intended.pptx'))
+    p1_flip(os.path.join(outdir, 'p1_flip.pptx'))
+    screen_parity(os.path.join(outdir, 'sp_deck.pptx'),
+                  os.path.join(outdir, 'sp_ok.md'),
+                  os.path.join(outdir, 'sp_bad.md'))
     p3(os.path.join(outdir, 'p3.pptx'))
+    p4(os.path.join(outdir, 'p4_pos.pptx'), True)
+    p4(os.path.join(outdir, 'p4_neg.pptx'), False)
     geometry_baseline_pair(os.path.join(outdir, 'geo_base.pptx'),
                             os.path.join(outdir, 'geo_edited.pptx'))
     return outdir