docs: record verified Hex8 kernel and source integration

docs/hex8-structural-analysis/PRD.md

@@ -425,8 +425,8 @@ Generalized sparse FEAST의 공개 진입점은
 ## 현재 checklist
 
 - [x] 수식·입출력·numeric controls·원본 mapping 정리 및 독립 numerical review 완료
-- [ ] Hex8 K0/consistent M/비선형 f/Kmat/Kgeo/Kt·형상·복구 kernel 검증
+- [x] Hex8 K0/consistent M/비선형 f/Kmat/Kgeo/Kt·형상·복구 kernel 검증
-- [ ] Solid Domain/parser/3N DOF/ordered assembly/amplitude 검증
+- [x] Solid Domain/parser/3N DOF/ordered assembly/amplitude 검증
 - [ ] 선형·비선형 정적 accepted state/반력/잔차 검증
 - [ ] Generalized consistent-mass frequency·최저 N·original-pencil 검증
 - [ ] 선형·비선형 HHT u/v/physical a·시간수렴·수지 검증
@@ -436,5 +436,6 @@ Generalized sparse FEAST의 공개 진입점은
 - [ ] 최신 전체 MSVC Debug build/CTest·기존 baseline 대조 완료
 - [ ] Independent numerical/physics blocker0·범위/한계/evidence 기록 완료
 
-현재 계약 문서·독립 정식화 검토를 마쳤으며 solver implementation/numerical/reference PASS를 주장하지 않는다.
+현재 local kernel과 입력·3N mapping의 독립 검토 및 연결 후 관련180개 검사를 통과했다.
+절차별 실행·공식 결과·외부 비교와 최신 전체 회귀는 아래 작업에서 계속 검증한다.
 원본 frequency 결과 부재는 구현 진행을 막지 않지만 기능 검증 완료를 막는다.