diff --git a/docs/shell-transient-heat-transfer/implementation-verification.md b/docs/shell-transient-heat-transfer/implementation-verification.md index bc7a837..b34890d 100644 --- a/docs/shell-transient-heat-transfer/implementation-verification.md +++ b/docs/shell-transient-heat-transfer/implementation-verification.md @@ -247,4 +247,23 @@ Evidence는 작업 checkout의 `.dryforge/review/t6_54154bee/`에 보존했다. 수정 후 compile/runner/Fraction checker/source audit는 모두 실제 exit 0이다. 입력 파서와 합친 통합 검사는 파서 검토 완료 후 수행한다. +### Thermal 입력 subset과 진단 + +입력 구현 `203d068`을 독립 검토하여 T5 범위의 잔여 차단 항목이 없음을 확인했다. +DS4 inline ELSET, 상수 물성·5점 단면, raw 초기값, model/step 경계조건, +source 순서 CFLUX와 정확한 시간격자를 연결한다. 부가 keyword는 승인된 형식만 +허용하며 source warning을 남긴다. 미사용 surface도 target을 검증하고 보존한다. + +검토에서 strict output/restart, surface resolution, source 진단 및 mixed procedure +문제를 보완했다. 마지막 DS4 inline ELSET 거부와 beam section 무시 문제는 실제 +반례 4개의 실패(native exit 8)를 확인한 뒤 수정했다. 같은 집합 내부의 member는 +STH-C01에 따라 한 번 전개하고, 별도 CFLUX source row는 가산 대상으로 유지한다. + +작업 checkout의 `t5-inline-green-{build,test,inventory}.log`와 JSON에서 각각 +native exit 0을 확인했다. 관련 **82/82 PASS**는 thermal 입력 32개와 기존 structural +입력 50개이며 inventory **549개**는 전체 실행 수가 아니다. 검사 당시 HEAD는 +수정 전 `360f8df`였고, `t5-inline-manifest.json`의 소스·테스트 hash가 최종 commit과 +일치함을 독립 확인했다. 원본 reference 두 파일의 hash는 변경되지 않았다. +공통 CMake에 테스트를 등록했으며 조립·state와 합친 통합 검사는 다음 실행 근거로 기록한다. + 전체 thermal 검사, NT11 외부 수치 비교와 실제 결과의 독립 physics 평가는 아직 수행하지 않았다. diff --git a/tests/CMakeLists.txt b/tests/CMakeLists.txt index 51fa5f2..2bfcead 100644 --- a/tests/CMakeLists.txt +++ b/tests/CMakeLists.txt @@ -51,6 +51,7 @@ add_executable( unit/io/abaqus/domain_mapper_test.cpp unit/io/abaqus/eigen_domain_test.cpp unit/io/abaqus/hht_dynamic_domain_test.cpp + unit/io/abaqus/thermal_domain_test.cpp unit/io/abaqus/input_reader_test.cpp unit/io/abaqus/input_syntax_test.cpp unit/io/abaqus/shell_surface_pressure_domain_test.cpp