docs(hex8): record exact dynamic state recurrence evidence

docs/hex8-structural-analysis/PRD.md

@@ -441,6 +441,8 @@ Local kernel과 입력·3N mapping은 독립 검토 및 연결 후 관련180개
 native CTest exit0이며 독립 수치 검토를 통과했다. 두 정적 원본과442절점 고유치 원본은
 직접 API로 실행했지만 원본 결과값 비교를 수행한 것은 아니다. 연결 source `28be39f`의
 전체 MSVC Debug build는 exit0이며 이 build 자체를 전체 CTest 통과로 해석하지 않는다.
-HHT 내부 사례는 진행 중이며 실제 동적 원본의 첫 증분에서 엄격 잔차 기준을 만족하지 못한
-기록이 있어 동적 검증은 미완료다. 공식 결과·외부 비교·최신 전체 회귀도 남아 있다.
+HHT 내부 사례는 진행 중이다. 별도 구현 `1063abc`의 관련74개 검사는 통과했으나,
+두 동적 원본은 세 번째 증분의100회 제한에서 엄격 잔차 기준을 만족하지 못했다.
+동적 검증은 미완료이며 원인과 추가 검증은 [lessons](lessons.md)에 기록한다.
+공식 결과·외부 비교·최신 전체 회귀도 남아 있다.
 원본 frequency 결과 부재는 구현 진행을 막지 않지만 기능 검증 완료를 막는다.

docs/hex8-structural-analysis/lessons.md

@@ -60,7 +60,31 @@ correction, update 및 max100 기준을 유지하면서 표현 가능한 변위
 진행될 수 있다. 따라서 정체의 근거에는 실제 변위와 정제 대상의 변화가 모두
 필요하며, 잔차 점수의 왕복만으로 전체 상태의 반복을 추론하지 않는다.
 최종 수용에서는 여전히 실제 모든 free 성분의 원래 Si와 수렴 기준을 검사한다.
-이 제한을 반영한 동해석 수정과 원본 검증은 진행 중이다.
+변위와 직전 solve mask만 비교한 수정 `1063abc`는 관련74개 검사를 통과했지만
+두 동적 원본은 세 번째 증분100회에서 실패했다. 선형 잔차 비율은 `2.10874e-8`,
+비선형은 `9.99819e-8`이었다. 이 실패 행의 전체 내력 보상 합산 차이는0이고,
+관성력 보상 차이는 약 `1e-17`이므로 해당 실패를 합산 오차만으로 설명하지 못한다.
+
+동일 구현에 동작을 바꾸지 않는 계측을 추가하고 실제 반복 상태를 저장했다.
+선형은 다음 반복14의 상태가 진입11과, 비선형은20이18과 정확히 같았다.
+전체 변위1326개·진입 시 holding mask1275개·incoming correction metric4개의
+유한 값이 모두 일치했고 그 구간의 실제 ULP 이동은0건이었다. 기존 두 상태
+판별은 false였으며 prospective physical gate도 FAIL이었다. 독립 검토가 계측과
+원시 배열을 대조했고, 독립 Python 검산은 exit0이었다. 진단 실행 두 건은 각각
+native exit1로 자연 종료했으며 원본 solver PASS의 증거가 아니다.
+
+고정 증분에서 이전 accepted state·M·하중·predictor가 고정되고 fresh solve와
+탄성 local recovery가 결정적일 때, 재현되는 반복 상태는 전체 변위·reactivation 전
+holding mask·incoming correction4개다. 다음 상태는 실제 fresh Newton 변위·freeze 후
+mask·fresh correction4개로 비교해야 한다. History는 증분 시작과 실제 ULP 적용 후
+초기화하고, physical FAIL 및 finite correction PASS 진입만 보관한다. Prospective
+physical PASS는 정상 Newton 경로를 유지한다. 이 한정된 판별 수정과 원본 검증은
+진행 중이며 기존 수렴 기준·100회 제한·최종 수용은 유지한다.
+
+재현 가능한 원시 tuple 검산과 SHA256은 로컬 evidence
+`.harness/hex8-evidence/t6-independent-tuple/check-v3.py` 및 `v3-check-result.json`에
+보존했다. 원시 진단과 native 실패 로그는 별도 구현의
+`.harness/build-ninja-msvc-debug/hex8-evidence/t6/tuple-trace3/`에 있다.
 
 명령·native exit·실패 로그는 해당 source와 함께 보존한다. 최종 통합 및 외부 비교
 결과는 이후 verification 기록에서 이 개발 중 실패와 구분한다.