docs: record independently verified Solid static and frequency paths

docs/hex8-structural-analysis/PRD.md

@@ -427,8 +427,8 @@ Generalized sparse FEAST의 공개 진입점은
 - [x] 수식·입출력·numeric controls·원본 mapping 정리 및 독립 numerical review 완료
 - [x] Hex8 K0/consistent M/비선형 f/Kmat/Kgeo/Kt·형상·복구 kernel 검증
 - [x] Solid Domain/parser/3N DOF/ordered assembly/amplitude 검증
-- [ ] 선형·비선형 정적 accepted state/반력/잔차 검증
+- [x] 선형·비선형 정적 accepted state/반력/잔차 검증
-- [ ] Generalized consistent-mass frequency·최저 N·original-pencil 검증
+- [x] Generalized consistent-mass frequency·최저 N·original-pencil 검증
 - [ ] 선형·비선형 HHT u/v/physical a·시간수렴·수지 검증
 - [ ] 공식 HDF5/CLI/self-check/실패 final 보존 검증
 - [ ] 정적2·동적2 원본 필수 family 비교 PASS
@@ -436,6 +436,11 @@ Generalized sparse FEAST의 공개 진입점은
 - [ ] 최신 전체 MSVC Debug build/CTest·기존 baseline 대조 완료
 - [ ] Independent numerical/physics blocker0·범위/한계/evidence 기록 완료
 
-현재 local kernel과 입력·3N mapping의 독립 검토 및 연결 후 관련180개 검사를 통과했다.
+Local kernel과 입력·3N mapping은 독립 검토 및 연결 후 관련180개 검사를 통과했다.
-절차별 실행·공식 결과·외부 비교와 최신 전체 회귀는 아래 작업에서 계속 검증한다.
+정적 구현 `a34466f`의 관련98개와 고유치 구현 `0e07b4d`의 관련48개 검사가 각각
+native CTest exit0이며 독립 수치 검토를 통과했다. 두 정적 원본과442절점 고유치 원본은
+직접 API로 실행했지만 원본 결과값 비교를 수행한 것은 아니다. 연결 source `28be39f`의
+전체 MSVC Debug build는 exit0이며 이 build 자체를 전체 CTest 통과로 해석하지 않는다.
+HHT 내부 사례는 진행 중이며 실제 동적 원본의 첫 증분에서 엄격 잔차 기준을 만족하지 못한
+기록이 있어 동적 검증은 미완료다. 공식 결과·외부 비교·최신 전체 회귀도 남아 있다.
 원본 frequency 결과 부재는 구현 진행을 막지 않지만 기능 검증 완료를 막는다.