docs: synchronize approved static validation scope

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`는 검증에 사용하지 않는다. 정식 자료 누락은 미완료로 기록하고 통과로 바꾸지 않는다.

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`는 검증에 사용하지 않는다. 정식 자료 누락은 미완료로 기록하고 통과로 바꾸지 않는다.

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)에
+구분한다. 이 실행 범위 변경은 정식화·허용치·시간수렴 요구 자체의 변경이 아니다.

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`는 검증에 사용하지 않는다.

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·실패 경계·수치 조건 또는 폐기 구조를 연결한다.