docs: WP5 결정 확정 + TI-6111D 정정(오염 아님, 열교환 유효온도)

- TI-6111D는 raw 환류온도(≤50°C)가 아니라 (상승 기상물+환류 비산액) 혼합으로 하부 대비 ~10°C 낮은 유효온도 → '오염' 폐기, 상부 front ΔT(C−D) 그대로 사용
- WP5 선행결정 확정: 조성=랩수동입력, clamp ±5%, role=LevelDriven유지(advisory만), 2-point front 부호 spec
- §10 D-제외는 '오염' 아닌 '환류 유량변동 민감 최대(이상탐지선 보수적 제외)'로 이유 정정

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

docs/안전피드램프-한계치-브레인스토밍.md

@@ -355,7 +355,7 @@ TICA-6111A(TE) — 컬럼 최하부/리보일러부, B 추출 (pi-6111b≈여기
 - 제품·TI-6111C가 **70~75% 높이** → 위 25~30%만 정류(D), 아래 70%가 주분리+stripping
 
 #### ti-6111c 공유 기준 차온 + B 이중신호
-- **상부 front (D)** = `ΔT(TI-6111C − TI-6111D)` (상부 정류 패킹): 경비물(저비점) 제품쪽 하강 시 구배 변화 → 침투 → **D↑**. **⚠ §10.2-B: TI-6111D는 환류 서브쿨링 오염 → 이 정의 재검토 필요(D 보정/대체)**
+- **상부 front (D)** = `ΔT(TI-6111C − TI-6111D)` (상부 정류 패킹): 경비물(저비점) 제품쪽 하강 시 구배 변화 → 침투 → **D↑**. (정정 2026-06-01: TI-6111D는 환류 raw온도(≤50°C)가 아니라 **상승 기상물+환류 비산액 혼합으로 하부 대비 ~10°C만 낮아진 유효온도** → "오염" 아님, C−D 그대로 사용 확정.)
 - **하부 front (B)** = `ΔT(TI-6111C − TI-6111B)` (긴 중간 주분리 패킹): 중비물(고비점) 제품쪽 상승 시 침투 → **B↑**
 - **(보너스) stripping** = `ΔT(TI-6111B − TICA-6111A)` (하부 짧은 패킹): 제품(저비점)이 탑저로 손실되면 구배 변화 → **제품 탑저손실/B 과추출 조기경보** → B는 신호 2개(중간=중비물 침투 / 하부=제품 손실)
 - ti-6111c 공유 pivot → 차온 자연 분리 → §8.4 귀속 작동
@@ -435,7 +435,7 @@ ti-6111d≈pica-6111 / tica-6111a≈pi-6111b / **ti-6111c·ti-6111b=보간**.
 | # | 문제 | 영향 | 등급 |
 |---|------|------|------|
 | A | **부호 역전 버그** — `DiffTemp.Delta(tHi,tLo)=tHi−tLo` 주석="상단−하단", 그러나 `ApplyFront`(engine.cs:255) 호출=`Delta(temps[0]=A=하단, temps[^1]=D=상단)`=A−D=**하단−상단** → 규약 반대부호 | FrontPositionIndicator `dev>0→프론트상승→환류↑` 매핑이 "상단−하단" 가정 → **트림 권고 반전 + ApplyRecovery sigFront 오판**. **수정완료(76fdce8)+라이브검증(D↑→상승/환류↑, D↓→하강/boilup)** | 🔴→✅ |
-| B | **D 환류 서브쿨링 오염** — ti-6111d=리플럭스 직하라 조성 아닌 환류온도 추종 | A−D·ΔT(C−D)가 분리 아닌 환류에 끌림 → §8.8 상부 front(D 사용) 약화 | 🔴 |
+| B | ~~D 환류 서브쿨링 오염~~ **(정정 2026-06-01: 폐기)** — TI-6111D는 raw 환류온도가 아니라 (하부보다 뜨거운 상승 기상물)+(환류 비산액) 혼합·열교환으로 **하부 대비 ~10°C만 낮은 유효온도**. 오염 아님 | 상부 front는 ΔT(C−D) 그대로 사용. D는 환류 유량변동 민감 최대(최상단)라 §10 역전검정선에선만 보수적 제외 | ✅ 정정 |
 | C | **역전 가드 부재** — 단조성 검증 없음, 순서 가정 silent | 실제 이상역전(플러딩 등) 미검출. **구현완료(TempProfileJudge, §10.3)** | 🟡→✅ |
 
 ### 10.3 역전(inversion) 판정 — 구체 spec (설계, 미구현)