From 33f007614b2d9bceaec4cbdb4cf93f45ace6af0e Mon Sep 17 00:00:00 2001 From: "KOKO\\Mimi" Date: Fri, 9 Oct 2026 06:59:54 +0900 Subject: [PATCH] docs(hex8): record native frozen replay limits --- docs/hex8-structural-analysis/lessons.md | 22 +++++++++++++++++++--- 1 file changed, 19 insertions(+), 3 deletions(-) diff --git a/docs/hex8-structural-analysis/lessons.md b/docs/hex8-structural-analysis/lessons.md index 7287736..698ade5 100644 --- a/docs/hex8-structural-analysis/lessons.md +++ b/docs/hex8-structural-analysis/lessons.md @@ -159,6 +159,22 @@ Weighted R=0의 physical target은 `alpha*r_old/(1+alpha)`다. 비선형 실패 버리거나 물리 가속도를 다른 정의로 바꾸는 근거도 아니다. 다음 후보는 실제 native rates·geometry·모든 원래 Si·update·weighted identity로 검증해야 한다. -원시 capture·정확 산술·backsolve·이웃 예측의 재현 자료는 로컬 -`.harness/hex8-evidence/t6-independent-frozen/`에 보존한다. 아직 native trial 개선이나 -원본 수렴 완료의 evidence가 아니며 기능 checklist는 그대로 미완료다. +같은 고정 상태의 native replay는 실제 Hex8 kernel·rates·하중과 저장 CSR을 사용했다. +먼저17자리 십진 문자열로 저장한 값을 Float64로 복원하고, 재계산한 전체 변위·속도· +두 가속도 배열 및 predictor·하중·내력·관성력·r/Si·최대 점수가 저장 값과 정확히 +일치하는지 확인했다. 저장 CSR의 재생이며 독립적인 M/Kt 재조립 검증은 아니다. +RF는 저장되지 않았으므로 constrained residual/free0의 파생 identity만 확인했다. +TEMP 검사는 원래 파일과 byte 단위로 복원하고 실제 object를 재컴파일했다. + +Native PARDISO의 현재 fresh solve도 선형102개 보정이 모두 변위를 바꾸지 못했다. +비선형은81개 active 좌표에서9개 변위가 바뀌고71개 실패 좌표의 보정이 소실됐으며, +최대 잔차 비율은 `8.73572e-9`에서 `1.27770e-8`로 커졌다. 정확 산술로 예측한 상위8개 +단일 ULP 후보를 각각 실제 계산한 최선 비율은 선형 `4.75888e-9`, 비선형 `6.73857e-9`다. +두 fresh Newton 및16개 ULP trial 모두 원래 physical limit `1e-10`에 실패했다. +다른 update·weighted identity·correction·geometry 검사는 통과했다. Native exit0인 두 +replay 검사는 관측 재현 검사의 성공이며 원본 수렴이나 accepted history의 성공이 아니다. +단일 이웃의 실패만으로 여러 좌표를 함께 움직이는 해의 부재를 추론하지 않는다. + +원시 capture·정확 산술·backsolve·이웃 예측·native replay의 재현 자료와 독립 raw 검산은 +로컬 `.harness/hex8-evidence/t6-independent-frozen/`에 보존한다. 기능 checklist는 +그대로 미완료다.