From 5cd7da0c14b00fbfd8b77cfb6bb105a75b7879ce Mon Sep 17 00:00:00 2001 From: "KOKO\\Mimi" Date: Tue, 29 Sep 2026 21:05:47 +0900 Subject: [PATCH] docs: preserve thermal residual normalization evidence --- .../implementation-verification.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/docs/shell-transient-heat-transfer/implementation-verification.md b/docs/shell-transient-heat-transfer/implementation-verification.md index 0f08aa3..228fbbc 100644 --- a/docs/shell-transient-heat-transfer/implementation-verification.md +++ b/docs/shell-transient-heat-transfer/implementation-verification.md @@ -271,4 +271,17 @@ native exit 0이었다. 실제 inventory는 **560개**, 열·기존 입력·Doma `.dryforge/evidence/thermal-input-state-integrated-{configure,build,inventory,test}.log` 및 native exit JSON이다. 전체 회귀 검사는 아니며 시간 적분·HDF5·CLI 이후에 수행한다. +### 시간 적분 구현 전 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를 늘리는 항으로 사용하지 않는다. + +독립 Fraction 반례에서 2-DOF fixture의 큰 constrained 온도에 의해 계산된 우변이 +0으로 소실되지만 정확 우변은 4인 경우를 확인했다. Full BE scale로 정규화하면 +이 오류가 통과할 수 있으므로 이를 blocking 분모로 대체하지 않는다. +`.dryforge/review/t7_residual_normalization/`의 script·실제 출력·실행 JSON은 +native exit 0이며, 이는 승인 계약 해석의 evidence다. Procedure 구현 통과는 아직 아니다. + 전체 thermal 검사, NT11 외부 수치 비교와 실제 결과의 독립 physics 평가는 아직 수행하지 않았다.