From 8c0aa09c8782f96058d42b7226c912f344d23845 Mon Sep 17 00:00:00 2001 From: "KOKO\\Mimi" Date: Tue, 29 Sep 2026 20:54:47 +0900 Subject: [PATCH] docs: record thermal input and state integration checks --- .../implementation-verification.md | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/docs/shell-transient-heat-transfer/implementation-verification.md b/docs/shell-transient-heat-transfer/implementation-verification.md index b34890d..0f08aa3 100644 --- a/docs/shell-transient-heat-transfer/implementation-verification.md +++ b/docs/shell-transient-heat-transfer/implementation-verification.md @@ -245,7 +245,7 @@ oracle의 C/K **4,050항**과 **40개 하중 사례**를 대조했고, 유효 39 Evidence는 작업 checkout의 `.dryforge/review/t6_54154bee/`에 보존했다. 최초 reviewer runner의 정수 narrowing compile 실패를 구별해 기록했으며, 수정 후 compile/runner/Fraction checker/source audit는 모두 실제 exit 0이다. -입력 파서와 합친 통합 검사는 파서 검토 완료 후 수행한다. +입력 파서와 합친 통합 검사 결과는 아래에 기록한다. ### Thermal 입력 subset과 진단 @@ -264,6 +264,11 @@ native exit 0을 확인했다. 관련 **82/82 PASS**는 thermal 입력 32개와 입력 50개이며 inventory **549개**는 전체 실행 수가 아니다. 검사 당시 HEAD는 수정 전 `360f8df`였고, `t5-inline-manifest.json`의 소스·테스트 hash가 최종 commit과 일치함을 독립 확인했다. 원본 reference 두 파일의 hash는 변경되지 않았다. -공통 CMake에 테스트를 등록했으며 조립·state와 합친 통합 검사는 다음 실행 근거로 기록한다. +공통 CMake 등록 commit `983e2fe`에서 configure/build/inventory/test가 각각 +native exit 0이었다. 실제 inventory는 **560개**, 열·기존 입력·Domain·자유도 관련 +**152/152 PASS**다. 새 compiler warning이 없고 Ninja의 실제 header dependency도 +정상임을 확인했다. Evidence는 +`.dryforge/evidence/thermal-input-state-integrated-{configure,build,inventory,test}.log` +및 native exit JSON이다. 전체 회귀 검사는 아니며 시간 적분·HDF5·CLI 이후에 수행한다. 전체 thermal 검사, NT11 외부 수치 비교와 실제 결과의 독립 physics 평가는 아직 수행하지 않았다.