diff --git a/docs/shell-transient-heat-transfer/implementation-verification.md b/docs/shell-transient-heat-transfer/implementation-verification.md
index 52051fb..599091f 100644
--- a/docs/shell-transient-heat-transfer/implementation-verification.md
+++ b/docs/shell-transient-heat-transfer/implementation-verification.md
@@ -119,7 +119,7 @@ Abaqus 실행·reference 재생성·이름 변경·내용 보정은 수행하지
 기능 문서의 링크·anchor·요구사항 ID 및 `git diff --check`도 통과했다.
 문서 변경을 이유로 solver build/CTest를 반복하지 않았다.
 
-### Thermal 구현
+### Thermal semantic model
 
 열물성·Domain·AnalysisModel semantic 구현을 `254247e`, `283628e`로 작성하고,
 독립 코드 검토에서 해당 범위의 잔여 차단 항목이 없음을 확인했다.
@@ -153,4 +153,36 @@ Evidence는 `.dryforge/evidence/semantic-integrated-{configure,build,test}.log`
 GoogleTest discovery의 공용 JSON 생성이 경합하여 inventory exit 8이 발생했다.
 직렬 inventory 재실행은 exit 0이며, 이후 같은 build tree의 discovery/test는 직렬 실행한다.
 
+### Thermal DOF 매핑
+
+`e71f3ad`, `17a2355`의 열 5성분 profile, 활성 절점 번호, 20-entry scatter, partition과
+CSR 매핑을 독립 검토했다. Canonical 11..15 순서, 비연속 반복 절점, 잘못된 enum 범위,
+구조/열 profile 오용을 거부한다. 미사용 절점이 중간에 있는 경우와 공유 edge·분리 영역,
+BC 상속·override, 실패 후 전체 mapping 보존을 확인했다.
+
+`t4-final3-build.log`는 native exit 0, `t4-final3-test.log`는 **13/13 PASS**, exit 0이다.
+이 중 기존 structural DofManager 검사는 8개다. `t4-final2-inventory.log`의 491개는
+discovery 수이며 전체 실행 수가 아니다. 검사 후 마지막 수정은 줄바꿈·들여쓰기뿐임을
+독립 reviewer가 확인했고, 범위 내 잔여 차단 항목 없이 `7b9a36c`로 통합했다.
+요소 kernel과 결합한 통합 검사는 kernel 완료 후 수행한다.
+
+PATH 밖의 설치된 clang-format을 확인한 뒤 새 semantic 파일의 서식을 적용했다.
+`8ba4d18`은 세 신규 파일의 서식 수정이며 관련 신규 header/source/test의 dry-run 검사는
+exit 0이다. 앞선 수동 서식 확인을 formatter 실행으로 대신 주장하지 않는다.
+
+### 시간격자 독립 실행 확인
+
+요소 kernel과 분리된 시간격자 checkpoint `e33ee6a`를 독립 검토자가 별도 실행기로
+컴파일했다. Production의 binary64 입력 cell 판정을 exact Fraction oracle의
+**11,043개 사례**에 대조했고, 유효 11,030개와 입력·INC 거부 13개에서 불일치가 없었다.
+**66,023개 Frame 표본**의 저장 시각·실제 delta가 비트 단위로 일치했다.
+기본 INC=100, 범위 밖 Frame 거부와 진단도 확인했다.
+
+MSVC `/Od /W4 /WX /fp:precise` standalone build, runner 및 비교기는 각각 native exit 0이다.
+원래 subnormal 간격, open/closed midpoint, 최대 finite, 실제 shortened 마지막 증분과
+거대한 count의 O(1) 사전검사를 포함한다. Evidence는 작업 checkout의
+`.dryforge/review/time_grid_e33ee6a/`에 committed source manifest, 실제 출력,
+`comparison.json` 및 실행 명령으로 보존했다. 이는 시간격자에 한정한 evidence이며
+kernel·procedure·physics의 최종 판정을 대신하지 않는다.
+
 전체 thermal 검사, NT11 외부 수치 비교와 실제 결과의 독립 physics 평가는 아직 수행하지 않았다.