docs: clarify rigorous thermal residual certificate refinement

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

@@ -274,14 +274,21 @@ native exit 0이었다. 실제 inventory는 **560개**, 열·기존 입력·Doma
 ### 시간 적분 구현 전 residual 해석 확인
 
 정식화의 reduced 분모 `D_f=||A_ff||∞||T_f||∞+||b_f||∞`를 reduced 및
-full-free residual certificate 모두에 유지한다. 방정식 구성 오차
+full-free residual certificate 모두에 유지한다. Reduced 검사는 승인된 식 그대로 수행한다.
-`E_A|T_f|+E_b`는 두 평가의 차이와 forward error를 설명하는 별도 근거이며,
+Full residual은 직접 평가 interval과 reduced residual에 독립적인 signed construction
-승인된 residual 허용치나 에너지 bound를 늘리는 항으로 사용하지 않는다.
+interval을 더한 interval의 교집합으로 인증할 수 있다. 두 interval은 같은 stored-data
+정확 잔차를 포함해야 하며 빈 교집합은 실패다. 이는 허용치를 늘리지 않고 포함 구간을
+좁히는 방법이다. 방정식 구성 오차를 residual 허용치나 에너지 bound에 더하지 않는다.
 
 독립 Fraction 반례에서 2-DOF fixture의 큰 constrained 온도에 의해 계산된 우변이
 0으로 소실되지만 정확 우변은 4인 경우를 확인했다. Full BE scale로 정규화하면
 이 오류가 통과할 수 있으므로 이를 blocking 분모로 대체하지 않는다.
 `.dryforge/review/t7_residual_normalization/`의 script·실제 출력·실행 JSON은
-native exit 0이며, 이는 승인 계약 해석의 evidence다. Procedure 구현 통과는 아직 아니다.
+native exit 0이며, 이는 승인 계약 해석의 evidence다. 최초 검토에서 direct-full의
+느슨한 상계를 그대로 별도 gate로 요구한 해석은 필수 첫 jump에서 `29.4u > 20u`로
+충돌하여 정정했다. `refinement-interpretation.txt`와 실제 Fraction 검산은 교집합
+인증에서 같은 사례가 약 `4u`로 통과하고, 앞의 우변 소실 반례는 여전히 실패함을
+보인다. `D_f=0`은 물리 잔차의 exact zero 증명이 필요하며 단순히 interval이 0을
+포함한다고 통과시키지 않는다. Procedure 구현의 실제 interval 검증은 별도로 남는다.
 
 전체 thermal 검사, NT11 외부 수치 비교와 실제 결과의 독립 physics 평가는 아직 수행하지 않았다.