docs(hex8): preserve latest dynamic source failures

2026-10-09 06:07:17 +09:00
parent 75e5cc3297
commit 5b089d4a3f
3 changed files with 12 additions and 4 deletions
@@ -442,8 +442,8 @@ native CTest exit0이며 독립 수치 검토를 통과했다. 두 정적 원본
 직접 API로 실행했지만 원본 결과값 비교를 수행한 것은 아니다. 연결 source `28be39f`의
 전체 MSVC Debug build는 exit0이며 이 build 자체를 전체 CTest 통과로 해석하지 않는다.
 HHT 내부 사례는 진행 중이다. 별도 구현 `f661864`의 관련76개 검사와 독립 수치 검토는
-통과했고, 두 동적 원본의 새 실행은 진행 중이다. 이전 구현 `b394ae7`은 두 원본의
-세 번째 증분100회 제한에서 엄격 잔차 기준을 만족하지 못했다.
+통과했지만, 두 동적 원본은 세 번째 증분100회 제한에서 엄격 잔차 기준을 만족하지 못했다.
+최신 잔차 비율은 선형 `1.77739e-8`, 비선형 `8.73572e-9`이며 기준은 `1e-10`이다.
 동적 검증은 미완료이며 원인과 추가 검증은 [lessons](lessons.md)에 기록한다.
 공식 결과·외부 비교·최신 전체 회귀도 남아 있다.
 원본 frequency 결과 부재는 구현 진행을 막지 않지만 기능 검증 완료를 막는다.
@@ -106,7 +106,15 @@ history 초기화 재삽입은 두 번째 증분100회 실패를 만들었다.
 두 helper 검사의 assertion 실패를 만들었다. 올바른 원본을 복원하고 실제 object를
 재컴파일한 뒤 최종 회귀를 수행했다.
 이 재현은 질량이 지배적인 작은 문제의 제어흐름 검사이며 원본 conditioning 해결의 증거가
-아니다. 원본101개 endpoint의 새 실행은 별도 진행 중이다. 원래 gates·100회 제한은 유지한다.
+아니다. 원래 gates·100회 제한은 유지한다.
+
+동일 immutable binary의 원본101개 endpoint 검사 두 건은 다시 세 번째 증분100회에서
+native exit1로 자연 종료했다. 선형408.202초의 잔차 비율은 `1.7773871030665027e-8`,
+비선형416.052초는 `8.7357210799572219e-9`다. 최신 실패 행의 전체 내력 보상 합산 차이는
+0이고 관성력 차이는 약 `1e-17`이다. 최종 다섯 반복에서 전체 변위와 mask는 계속 바뀌므로
+잔차 점수만으로 정확한 전체 상태 반복을 추론하지 않는다. 새 판별의 내부 검증과 실제 원본
+수렴은 구분해야 하며, 원본 conditioning·local 계산 또는 결합 좌표의 표현 가능성을 더
+분석해야 한다. 실패한 state를 통합 완료나 reference PASS로 표시하지 않는다.

 추가 원시 proof와 검산은 로컬 `.harness/hex8-evidence/t6-independent-semantic/`에,
 수정·mutation·최종 회귀 로그는 별도 구현의
@@ -43,7 +43,7 @@ exact-zero다. 빈 free vector는 vacuous convergence이며 required prescribed/
 ### 표현 가능한 변위에서의 내부 정제

 검토된 별도 동적 구현 `f661864`는 위 판정을 유지하며 다음 정제를 사용한다.
-관련76개 검사와 독립 코드 검토는 통과했고 두 동적 원본의 새 실행은 진행 중이다.
+관련76개 검사와 독립 코드 검토는 통과했지만 두 동적 원본은 세 번째 증분에서 실패했다.
 이전 구현 `b394ae7`의 원본 실패와 변경 근거는 [lessons](lessons.md)에 기록한다.

 물리 잔차가 통과한 좌표에서 sub-ULP 갱신 소실이 발생하면, 물리 잔차와 각 좌표의