diff --git a/docs/shell-transient-heat-transfer/formulation.md b/docs/shell-transient-heat-transfer/formulation.md
index 40a7f43..c7b8082 100644
--- a/docs/shell-transient-heat-transfer/formulation.md
+++ b/docs/shell-transient-heat-transfer/formulation.md
@@ -141,11 +141,18 @@ Source edge key는 정렬한 두 node identity이며 각 incidence에는 원래
 각 incident Q4는 그 두 edge 사이에 link edge 하나를 만든다. Link는 내부 vertex에서
 하나의 cycle, boundary vertex에서 하나의 path여야 한다. 끊어진 link, 분기, 중복 연결은
 vertex-only fan/nonmanifold junction이므로 거부한다. Fold의 각도 자체는 거부 이유가 아니다.
-T-junction은 source incidence만으로 찾을 수 없으므로 mesh node가 다른 edge의 열린
-선분 내부에 있는지 검사한다: `x=p+λ(q-p), 0<λ<1`의 collinearity 및 interval을
-scale-aware bound로 판정하고 걸쳐 있는 경우 uncertain 접속으로 진단한다. 접속을 새로
-생성하지 않는다. 같은 edge를 부분적으로 덮는 중복 선분도 이 endpoint 검사에 포함한다.
-이 검사는 patch 내부 injectivity와 별개이며 mesh 사이 접촉을 열접속으로 추정하지 않는다.
+Source 공유 접합의 nonconforming T-edge 검사는 같은 instance에서 실제 source endpoint를
+공유하는 edge 쌍으로 한정한다. Coarse edge `(p,q)`와 partial-edge 후보 `(p,v)` 또는
+`(v,q)`가 존재하고 `p,q,v`가 서로 다른 source node일 때만 `v`를 검사한다. 후보 생성에서
+좌표 일치는 source identity 공유를 대신하지 않는다. 각 edge를 coarse 후보로 고려한다.
+후보의 `x_v=x_p+λ(x_q-x_p), 0<λ<1` 공선·열린 선분 포함 여부는 scale-aware interval
+bound로 판정한다. 선분 밖임이 확정되면 제외하고, 포함이 확인되면 nonconforming T-edge로
+거부하며, bound가 판정을 확정하지 못하면 uncertain 접속으로 진단한다. 이 검사는 source
+endpoint를 공유하면서 부분적으로 겹치는 선분도 포함하지만 접속을 새로 생성하지 않는다.
+모든 mesh node와 모든 edge 사이의 전역 좌표 scan은 수행하지 않는다. 후보 없는 서로 다른
+component/instance의 우연 접촉과 같은 component 내 멀리 떨어진 부분의 좌표 접촉은 검사
+대상이 아니다. 이는 [PRD STH-C01](PRD.md#sth-c01--모델-geometry와-자유도)의 source 접속
+검증이며, patch 내부 injectivity 검사나 미지원 global contact 검출을 대신하지 않는다.
 
 ## 3. 20 DOF와 온도 보간