From f32500f1b6ec6e301a1ed5108f6ffba28d152583 Mon Sep 17 00:00:00 2001 From: "KOKO\\Mimi" Date: Fri, 9 Oct 2026 08:13:10 +0900 Subject: [PATCH] docs(hex8): record actual pair refinement failures --- docs/hex8-structural-analysis/lessons.md | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/docs/hex8-structural-analysis/lessons.md b/docs/hex8-structural-analysis/lessons.md index 455722b..119bccc 100644 --- a/docs/hex8-structural-analysis/lessons.md +++ b/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는 그대로 미완료다.