docs(hex8): record actual pair refinement failures

docs/hex8-structural-analysis/lessons.md

@@ -197,6 +197,23 @@ accepted frame·다음 fresh solve·전체101개 endpoint의 검증도 아니다
 해의 부재로 해석하지 않는다. 최적화 도구는 로컬 진단에서만 사용했고 production은
 변경하지 않았다.
 
+두 좌표를 함께 ±1 ULP 이동하는 별도 예측은 마지막 단일 정제 상태에서 시작했다.
+최대 잔차 행의 M 또는 Kt 구조적 support에 적어도 한 좌표가 연결되는 조합을 검사했다.
+선형313236개·비선형210588개의 Float64 affine 예측을 완료했고, 상위8개씩은
+고정 계수의 정확 산술로 Ma·내력·새 Si를 다시 계산했다. 이 support 제한은 affine
+예측에 대한 것이며 실제 비선형/반올림 계산의 모든 두 좌표 이웃을 포함한다는 뜻은 아니다.
+최선 예측은 각각 `5.23348e-10`·`9.75010e-10`으로 현재 최대값보다 작지만 여전히
+원래 기준 `1e-10`을 초과했다.
+
+이16개 후보를 각각 같은 변경하지 않은 cursor에서 실제 kernel·rates로 평가했다.
+선형8개는 최대값 `5.25815e-10`이 그대로였고, 비선형은 모두 현재 `9.85274e-10`보다
+커졌다. 모든 후보의 실제 변위 변경은 서로 다른 원래 free 두 좌표의 한 ULP로
+확인됐으며 physical FAIL, 다른 gates PASS였다. 전체 배열·r/Si·원시64개 artifact의
+SHA를 별도 검산한 Python exit는0이다. 두 native 관측 검사의 exit0은 평가와 재현의
+성공이며 후보 개선이나 원본 동해석 수렴의 성공이 아니다. Cursor는 이동하지 않았고
+다음 fresh solve·accepted history는 실행하지 않았다. 예측 개선을 실제 개선으로
+대체하거나 이16개 실패로 모든 표현 가능한 해의 부재를 주장하지 않는다.
+
 원시 capture·정확 산술·backsolve·이웃 예측·native replay의 재현 자료와 독립 raw 검산은
 로컬 `.harness/hex8-evidence/t6-independent-frozen/`에 보존한다. 기능 checklist는
 그대로 미완료다.