From 710adf69ad80ec49f0eb1ceaab5d99cca30cff02 Mon Sep 17 00:00:00 2001 From: "KOKO\\Mimi" Date: Sun, 18 Oct 2026 12:11:02 +0900 Subject: [PATCH] docs: limit merge validation to user-approved static scope --- AGENTS.md | 6 ++++-- CLAUDE.md | 6 ++++-- docs/hht-implicit-dynamics/README.md | 8 ++++++++ docs/solver-core/README.md | 9 +++++++-- tests/AGENTS.md | 9 ++++++--- 5 files changed, 29 insertions(+), 9 deletions(-) diff --git a/AGENTS.md b/AGENTS.md index 741e8fc..9a9ae45 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -94,6 +94,8 @@ Public header 변경은 대응하는 src 영역의 책임과 consumer까지 확 직접 MSBuild가 주 개발 빌드이며 CMake/Ninja는 같은 제품·검사 source를 사용하는 보조 경로다. 실제 명령·환경·`.build/native/Debug` 및 `.build/cmake-debug` 출력은 solver-core를 따른다. -두 경로의 세 검사 target 전체와 별도 Python suite·필수 reference 비교를 구분해 확인한다. -과거 Refactor의 정적 선별 실행 제한은 현재 전체 검증을 줄이는 근거가 아니다. +두 경로의 전체 검사 등록과 실제 실행 범위를 구분하고 별도 Python·reference 결과를 기록한다. +이번 병합은 2026-10-18 사용자 변경에 따라 정적해석·공통 계약 검사와 정식 정적5모델만 +실행해 다음 단계로 진행한다. HHT·동해석·고유치·과도 열해석 실행은 미검증으로 남기고 +해당 테스트는 보존한다. 일반 솔버 기능의 전체 검증 의무를 이 한정 병합으로 대체하지 않는다. `reference/temp`는 검증에 사용하지 않는다. 정식 자료 누락은 미완료로 기록하고 통과로 바꾸지 않는다. diff --git a/CLAUDE.md b/CLAUDE.md index 741e8fc..9a9ae45 100644 --- a/CLAUDE.md +++ b/CLAUDE.md @@ -94,6 +94,8 @@ Public header 변경은 대응하는 src 영역의 책임과 consumer까지 확 직접 MSBuild가 주 개발 빌드이며 CMake/Ninja는 같은 제품·검사 source를 사용하는 보조 경로다. 실제 명령·환경·`.build/native/Debug` 및 `.build/cmake-debug` 출력은 solver-core를 따른다. -두 경로의 세 검사 target 전체와 별도 Python suite·필수 reference 비교를 구분해 확인한다. -과거 Refactor의 정적 선별 실행 제한은 현재 전체 검증을 줄이는 근거가 아니다. +두 경로의 전체 검사 등록과 실제 실행 범위를 구분하고 별도 Python·reference 결과를 기록한다. +이번 병합은 2026-10-18 사용자 변경에 따라 정적해석·공통 계약 검사와 정식 정적5모델만 +실행해 다음 단계로 진행한다. HHT·동해석·고유치·과도 열해석 실행은 미검증으로 남기고 +해당 테스트는 보존한다. 일반 솔버 기능의 전체 검증 의무를 이 한정 병합으로 대체하지 않는다. `reference/temp`는 검증에 사용하지 않는다. 정식 자료 누락은 미완료로 기록하고 통과로 바꾸지 않는다. diff --git a/docs/hht-implicit-dynamics/README.md b/docs/hht-implicit-dynamics/README.md index 159dce3..dc9949a 100644 --- a/docs/hht-implicit-dynamics/README.md +++ b/docs/hht-implicit-dynamics/README.md @@ -136,3 +136,11 @@ C08b finer-grid·최신 최적화 source의 원본 HDF5 비교·전체 회귀· typed pending을 분리한다. History는 procedure가 소유하고 동일 acceptance 뒤 commit한다. 빌드·선별 검사 결과는 [통합 현황](../cpp-object-oriented-modular-refactoring/README.md)을 따르며, 과거 interrupted run·finest binary64 noise의 미판정을 새 전체 통과로 바꾸지 않는다. + +## 이번 병합 검증의 사용자 변경 + +2026-10-18 사용자가 장시간 HHT 검증을 중단하고 정적해석만 검증해 다음 단계로 +진행하도록 변경했다. Native 전체 실행의 부분 stdout·기존 결과는 보존하되 현재 HHT +전체 PASS나 수치 FAIL로 계산하지 않는다. 비정적 테스트는 삭제하지 않는다. 완료된 개별 +검사와 중단된 C08b의 범위·근거는 [병합 현황](../cpp-object-oriented-modular-refactoring/README.md)에 +구분한다. 이 실행 범위 변경은 정식화·허용치·시간수렴 요구 자체의 변경이 아니다. diff --git a/docs/solver-core/README.md b/docs/solver-core/README.md index 3a14163..eaf35b0 100644 --- a/docs/solver-core/README.md +++ b/docs/solver-core/README.md @@ -86,8 +86,13 @@ Debug/Release의 binary·DLL·검사 목록·실행 근거를 섞지 않는다. source에만 적용하며 CRT·정밀도·source·link·runtime DLL과 검사 identity를 두 경로에서 대조한다. `fesa_docs`는 Doxygen을 찾았을 때만 생기는 선택적 target이다. -현재 통합 검증은 세 C++ executable의 전체 등록 검사와 별도 Python suite를 대상으로 한다. -과거 Refactor의 정적 선별 실행을 이번 전체 실행으로 승계하지 않는다. Native/CTest는 +이번 통합 검증은 2026-10-18 사용자 변경에 따라 정적해석·공통 계약 검사로 한정한다. +전체 등록 identity를 대조하되 실제 선택/제외 목록과 이유를 기록하고, 새로 이관한 정적 검사도 +포함한다. 위 명령은 일반 전체 실행 예시이며 이번에는 명시적 정적 선택 목록을 사용한다. +정식 정적5모델(beam·linear/nonlinear shell·linear/nonlinear Hex8)을 새 기준 실행물과 +Native/CMake에서 비교한다. Python 정책·합성 비교기는 실제 비정적 solver를 실행하는지 +확인해 별도로 검사한다. HHT·solid dynamic·eigen/frequency·transient thermal 실행은 제외하고 +미검증으로 남긴다. 과거 정적 PASS도 현재 실행으로 승계하지 않는다. Native/CTest는 서로 다른 실행 전용 TMP/TEMP와 raw 출력 경로를 사용해 직렬 실행한다. 상속된 필터·sharding을 제거하고 실제 identity·수·exit·XML/log를 discovery와 대조한다. Skip·0건·자료 누락은 PASS가 아니다. 모델은 hash가 확인된 새 작업 복사본에서만 실행한다. `reference/temp`는 검증에 사용하지 않는다. diff --git a/tests/AGENTS.md b/tests/AGENTS.md index e261dfa..9997247 100644 --- a/tests/AGENTS.md +++ b/tests/AGENTS.md @@ -15,9 +15,12 @@ Tests는 solver 동작·수학적 일관성·외부 비교와 C++ 개발 규약 입력 자유도를 공개 CLI 지원으로 승격하지 않는다. - 미실행·skip·제외·실패를 PASS로 계산하거나 폐기된 workflow를 복원하지 않는다. -- 직접 MSVC와 CMake의 세 executable 전체 등록 identity를 대조하고 직렬 실행한다. +- 직접 MSVC와 CMake의 세 executable 전체 등록 identity를 대조한다. 이번 병합은 + 2026-10-18 사용자 변경에 따라 정적·공통 계약 검사를 명시적으로 선택해 직렬 실행한다. 두 실행의 TMP/TEMP·XML·raw 경로를 분리하고 inherited filter/sharding을 제거한다. - HHT·eigen·thermal을 과거 정적 선별 범위 밖이라는 이유로 제외하거나 삭제하지 않는다. + 실제 선택·제외 identity와 body 기반 이유를 남긴다. HHT·dynamic·eigen·transient thermal은 + 이번 실행 범위에서 제외하며, 제외를 통과나 테스트 삭제 근거로 삼지 않는다. - `reference/temp`는 검증에 사용하지 않는다. 정식 reference 부재는 자료 누락으로 기록한다. - 통합 검증 전에는 중복·폐기 내부구조 검사도 최종 삭제하지 않는다. 삭제 시 이관표에 + 승인된 정적 통합 검증 전에는 중복·폐기 내부구조 검사도 최종 삭제하지 않는다. + 자료 없는 비교의 유일 검증과 비정적 테스트는 유지한다. 삭제 시 이관표에 동등한 대체 identity·실패 경계·수치 조건 또는 폐기 구조를 연결한다.