docs(hex8): retain latest original dynamic failures

docs/hex8-structural-analysis/lessons.md

@@ -78,8 +78,22 @@ native exit1로 자연 종료했으며 원본 solver PASS의 증거가 아니다
 holding mask·incoming correction4개다. 다음 상태는 실제 fresh Newton 변위·freeze 후
 mask·fresh correction4개로 비교해야 한다. History는 증분 시작과 실제 ULP 적용 후
 초기화하고, physical FAIL 및 finite correction PASS 진입만 보관한다. Prospective
-physical PASS는 정상 Newton 경로를 유지한다. 이 한정된 판별 수정과 원본 검증은
-진행 중이며 기존 수렴 기준·100회 제한·최종 수용은 유지한다.
+physical PASS는 정상 Newton 경로를 유지한다. 이 한정된 판별 수정 `b394ae7`은 관련75개
+검사와 독립 코드 검토를 통과했다. 7개 판별 조건을 각각 제거한 behavior mutation도
+native build0/CTest8로 실패를 검출했다. 기존 수렴 기준·100회 제한·최종 수용은 유지한다.
+
+동일 immutable binary의 두 원본 실행은 여전히 세 번째 증분100회에서 native exit1로
+실패했다. 선형은419.360초, 잔차 비율 `7.21125e-9`, 비선형은431.045초,
+`1.27770e-8`이었다. 선형95번째 반복의 ULP 이동은 실제 점수를 `7.21125e-9`에서
+`4.66385e-9`로 낮췄으나 뒤의 정상 Newton 갱신에서 다시 증가했다. 이는 각 정제의
+국소 감소가 전체 갱신 과정의 진전을 보장하지 않는다는 증거이며, 전체 변위가 같은
+상태로 복귀했다는 증거는 아니다. 비선형의 잔차 점수 왕복도 전체 상태 반복의 증거가 아니다.
+
+Incoming correction4개의 실제 수치는 정상 Newton의 rates·tangent·rhs에 사용하지 않으며,
+유한 값과 PASS 여부가 수용에 쓰인다. 숫자까지 같은 조건은 더 보수적이지만 이것이
+이번 원본 실패의 원인이라고 확정하지 않는다. 동일 순수 Newton 구간의 실제 전체 변위·
+mask 일치와 correction 숫자 차이, 또는 ULP를 포함한 전체 상태의 재현을 별도 계측으로
+확인해야 한다. 새로운 점수 heuristic이나 허용치 변경으로 이 증거를 대신하지 않는다.
 
 재현 가능한 원시 tuple 검산과 SHA256은 로컬 evidence
 `.harness/hex8-evidence/t6-independent-tuple/check-v3.py` 및 `v3-check-result.json`에