From c11ba47062150ad9deb2263e9a72301326aa145c Mon Sep 17 00:00:00 2001 From: "KOKO\\Mimi" Date: Tue, 29 Sep 2026 21:17:03 +0900 Subject: [PATCH] docs: clarify rigorous thermal residual certificate refinement --- .../implementation-verification.md | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) diff --git a/docs/shell-transient-heat-transfer/implementation-verification.md b/docs/shell-transient-heat-transfer/implementation-verification.md index 228fbbc..b0c6440 100644 --- a/docs/shell-transient-heat-transfer/implementation-verification.md +++ b/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 모두에 유지한다. 방정식 구성 오차 -`E_A|T_f|+E_b`는 두 평가의 차이와 forward error를 설명하는 별도 근거이며, -승인된 residual 허용치나 에너지 bound를 늘리는 항으로 사용하지 않는다. +full-free residual certificate 모두에 유지한다. Reduced 검사는 승인된 식 그대로 수행한다. +Full residual은 직접 평가 interval과 reduced residual에 독립적인 signed construction +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 평가는 아직 수행하지 않았다.