docs(thermal): record independent numerical contract verification

docs/shell-transient-heat-transfer/implementation-verification.md

@@ -97,5 +97,30 @@ Abaqus 실행·reference 재생성·이름 변경·내용 보정은 수행하지
 
 ## 구현 및 최종 검증
 
-Thermal source 구현, 전체 thermal 검사, NT11 외부 수치 비교와 실제 결과의 독립 physics
-평가는 아직 수행하지 않았다. 완료 후 실제 명령·결과·coverage와 미해결 한계를 이 절에 기록한다.
+### 구현 전 수치 계약
+
+정식화와 승인 범위의 정합, 전체 patch certificate, source 접속, 시간격자·오차·수렴·slab
+검증 기준을 작성하고 독립 수치 검토를 마쳤다. 검토 대상 정식화의 마지막 수식 변경은
+`dd409b5`, 독립 보고서의 최종 보완은 `6df5a17`이다. 설계상 blocking 지적은 해결했다.
+소스 구현의 정확도 통과 판정은 아니다.
+
+- 전역 T-edge 좌표 검사를 source endpoint를 공유하는 후보로 제한하여 disconnected 접촉을 구별했다.
+- 입력 rounding-cell을 놓치는 시간격자 반례를 발견하고 정확한 cell overlap으로 보완했다.
+  Production은 최대 122비트의 고정 폭 연산이며 새 임의정밀도 의존성을 요구하지 않는다.
+- 공간수렴 검증은 8/16/32/64 정사각 mesh, `T=.001`, 32증분으로 고정했다.
+  기존 관찰 차수 기준을 유지하고 시간오차/공간오차 비율의 최대값 `.006864`를 확인했다.
+  가장 큰 mesh의 온도·flux 원시 이력은 약 77.3MiB다.
+- 고정5점의 초기 slab 오차·warped 3×3 적분 오차는 별도로 정량화했다.
+
+통합된 문서의 [독립 oracle 부록](numerical-oracle-scratch.md)의 Python block 5개를
+메인이 다시 추출 실행했다. Captured Python exit 0,
+`ALL SCRATCH BLOCKS COMPLETED`를 확인했고 출력은
+`.dryforge/evidence/t1-oracle-replay.log`에 보존했다.
+기능 문서의 링크·anchor·요구사항 ID 및 `git diff --check`도 통과했다.
+문서 변경을 이유로 solver build/CTest를 반복하지 않았다.
+
+### Thermal 구현
+
+열물성·Domain·AnalysisModel semantic 구현과 해당 행동 검사를 진행 중이다.
+전체 thermal 검사, NT11 외부 수치 비교와 실제 결과의 독립 physics 평가는 아직 수행하지 않았다.
+완료 후 실제 명령·결과·coverage와 미해결 한계를 이 절에 기록한다.