diff --git a/docs/hex8-structural-analysis/PRD.md b/docs/hex8-structural-analysis/PRD.md index 0c06f81..3aa92e5 100644 --- a/docs/hex8-structural-analysis/PRD.md +++ b/docs/hex8-structural-analysis/PRD.md @@ -441,7 +441,7 @@ Local kernel과 입력·3N mapping은 독립 검토 및 연결 후 관련180개 native CTest exit0이며 독립 수치 검토를 통과했다. 두 정적 원본과442절점 고유치 원본은 직접 API로 실행했지만 원본 결과값 비교를 수행한 것은 아니다. 연결 source `28be39f`의 전체 MSVC Debug build는 exit0이며 이 build 자체를 전체 CTest 통과로 해석하지 않는다. -HHT 내부 사례는 진행 중이다. 별도 구현 `1063abc`의 관련74개 검사는 통과했으나, +HHT 내부 사례는 진행 중이다. 별도 구현 `b394ae7`의 관련75개 검사는 통과했으나, 두 동적 원본은 세 번째 증분의100회 제한에서 엄격 잔차 기준을 만족하지 못했다. 동적 검증은 미완료이며 원인과 추가 검증은 [lessons](lessons.md)에 기록한다. 공식 결과·외부 비교·최신 전체 회귀도 남아 있다. diff --git a/docs/hex8-structural-analysis/lessons.md b/docs/hex8-structural-analysis/lessons.md index b32399e..d8d2b72 100644 --- a/docs/hex8-structural-analysis/lessons.md +++ b/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`에 diff --git a/docs/hex8-structural-analysis/numeric-controls.md b/docs/hex8-structural-analysis/numeric-controls.md index 3c0e32d..09d3e68 100644 --- a/docs/hex8-structural-analysis/numeric-controls.md +++ b/docs/hex8-structural-analysis/numeric-controls.md @@ -43,7 +43,7 @@ exact-zero다. 빈 free vector는 vacuous convergence이며 required prescribed/ ### 표현 가능한 변위에서의 내부 정제 검토된 별도 동적 구현 `b394ae7`은 위 판정을 유지하며 다음 정제를 사용한다. -관련75개 검사와 독립 코드 검토는 통과했으나 원본 수렴 검증은 아직 진행 중이다. +관련75개 검사와 독립 코드 검토는 통과했으나 두 동적 원본은 세 번째 증분에서 실패했다. 실제 실패와 정체 증거는 [lessons](lessons.md)에 기록한다. 물리 잔차가 통과한 좌표에서 sub-ULP 갱신 소실이 발생하면, 물리 잔차와 각 좌표의