feat(hex8): integrate paired HHT dynamic state and bounded verification

2026-10-10 00:36:16 +09:00
parent c7c3c8017f
commit 338902974c
17 changed files with 4291 additions and 11 deletions
@@ -434,7 +434,7 @@ HHT 식·기준 consistent M·입력·고정 schedule·100회·Si/exact-zero·
 - [x] Solid Domain/parser/3N DOF/ordered assembly/amplitude 검증
 - [x] 선형·비선형 정적 accepted state/반력/잔차 검증
 - [x] Generalized consistent-mass frequency·최저 N·original-pencil 검증
- [ ] 선형·비선형 HHT u/v/physical a·시간수렴·수지 검증
+- [x] 선형·비선형 HHT u/v/physical a·시간수렴·수지 내부 검증
 - [ ] 공식 HDF5/CLI/self-check/실패 final 보존 검증
 - [ ] 정적2·동적2 원본 필수 family 비교 PASS
 - [ ] 사용자 원본 최저10 modal Value 제공 및 필수 비교 PASS
@@ -446,9 +446,14 @@ Local kernel과 입력·3N mapping은 독립 검토 및 연결 후 관련180개
 native CTest exit0이며 독립 수치 검토를 통과했다. 두 정적 원본과442절점 고유치 원본은
 직접 API로 실행했지만 원본 결과값 비교를 수행한 것은 아니다. 연결 source `28be39f`의
 전체 MSVC Debug build는 exit0이며 이 build 자체를 전체 CTest 통과로 해석하지 않는다.
-HHT 내부 사례는 진행 중이다. 별도 구현 `f661864`의 관련76개 검사와 독립 수치 검토는
-통과했지만, 두 동적 원본은 세 번째 증분100회 제한에서 엄격 잔차 기준을 만족하지 못했다.
-최신 잔차 비율은 선형 `1.77739e-8`, 비선형 `8.73572e-9`이며 기준은 `1e-10`이다.
-동적 검증은 미완료이며 원인과 추가 검증은 [lessons](lessons.md)에 기록한다.
+과거 단일 Float64 구현 `f661864`는 관련76개 검사와 독립 수치 검토를 통과했지만,
+두 동적 원본의 세 번째 증분에서 strict gate를 만족하지 못했다. 이 실패는
+[lessons](lessons.md)에 보존하며 현재 방식의 결과와 구분한다.
+승인된 전체 high+low 구현 `c49cae4`는 소규모32/32 및 별도 성공한 LIN/TL·SDOF/MDOF
+시간수렴 사례와 독립 numerical/physics 검토를 확보했다. Root 연결 후 관련49/49와
+추가 직렬/TBB low 일치1/1 검사도 native build/CTest0/0이다. 두 원본의 초기 상태와
+증분1–3은 unchanged schedule로 관측했고, 원래 모든 free 성분의 전체 pair 물리 gate를
+독립 재계산했다. 이 관측은 네 번째 증분 전에 종료했으며 전체101 endpoint 완료가 아니다.
+상세 범위와 한계는 [수치 검토](numerical-review.md), [물리 검토](physics-review.md)에 있다.
 공식 결과·외부 비교·최신 전체 회귀도 남아 있다.
 원본 frequency 결과 부재는 구현 진행을 막지 않지만 기능 검증 완료를 막는다.
@@ -259,3 +259,16 @@ trial에서 계산한다. 독립 reviewer가 이 캐시와 native44/44의 원시
 독립 numerical reviewer는 실제 shared arithmetic·kernel·geometry의 한정된 범위를 PASS로
 판정했다. 재현 로그는 `.harness/hex8-evidence/precision/`에 보존한다. 이 결과는 동적 전체
 상태·시간수렴·원본 endpoint·공식 출력의 완료를 뜻하지 않는다. 현재 checklist는 미완료다.
+
+## 전체 상태의 제한적 원본 관측과 연결
+
+전체 high+low T6 `c49cae4`는 원래 시간 간격·INC를 바꾸지 않고 두 원본의 초기 상태와
+증분1–3을 accept했다. Test-only typed stop으로 다음 증분 전에 종료해 prefix 상태를
+관측했으며 native0·2/2를 전체 원본 완료로 보고하지 않는다. 메인이 전체 pair·full M/Mff,
+모든1275 free r/Si·zero branch·HHT update·weighted old-r·실제 solve 보정을 exact Fraction으로
+검산했다. 물리 비율 최대값은 선형3.12680e-20, 비선형1.3043731e-16이다.
+
+Root 연결의 related49/49와 두 brick의 LIN/TL 전체 low 직렬/TBB 일치1/1은 native0이다.
+최초 broad filter가 긴 전체 원본 smoke를 함께 선택한 실행은 의도적으로 중단했고
+CTest exit−1로 보존했다. 완료하지 않은 실행을 수렴 실패로 해석하거나 현재 PASS에 합산하지
+않는다. 공식 출력·101 endpoint·원본 비교·전체 회귀는 후속 검증이다.
@@ -20,6 +20,37 @@ T6 consumer·backend·worker 경계와 rollback은 해당 구현이 고정된
 동일 graph·선형 force/energy/recovery·비선형 trial Hessian·기존 F64 Create 지원을 유지하며
 native44/44 원시 로그를 확인했다. 이 캐시 변경도 bounded PASS다.

+## 2026-10-10 — 전체 동적 상태와 원본 세 증분의 제한적 검토
+
+동일 독립 reviewer가 고정된 T6 `c49cae4`의 predictor/rates, 기준 M의 전체 pair 작용,
+ordered force/tangent 누적, full residual·scale, 실제 old residual을 포함한 weighted 식,
+fresh solve와 실제 상태 변경의 네 보정 채널, backend/worker 이후 실행 전제 검사,
+accepted low의 복사·검증·rollback을 검토했다. 원시73개 inventory와 owned/shared source,
+binary·patch의 hash를 확인했고 해당 consumer 범위 bounded PASS, actionable finding0이다.
+Current32/32 검사와 과거 temporal4/5 실행의 성공 사례를 구분한다.
+
+이후 변경하지 않은 두 원본의 초기 상태와 증분1–3을 관측했다. 원래 h=0.1,T=10,INC=100,
+1326 full/1275 free/51 constrained를 유지하고, 네 번째 증분 local 계산 전 test-only 예외로
+종료했다. 관측 native0·2/2는 이 종료 조건의 성공이며 전체 해석 완료가 아니다.
+메인은51개 raw artifact의 hash/크기를 확인한 뒤 두 binary64 성분을 exact dyadic Fraction으로
+읽어 모든 상태의 normalization, 실제 Mff의 full M restriction, 원래 모든 free 성분의
+물리 r/Si와 exact-zero, HHT 세 update 식과 weighted old-r 항등식을 독립 재계산했다.
+
+Exact CSR M 작용으로 재계산한 물리 비율의 최댓값은 선형3.12680e-20,
+비선형1.3043731e-16으로 승인1e-10 이내다. Update·weighted identity는1e-12 이내이며
+초기1275개 free row는 모두 exact0이다. 실제 PARDISO 보정의 선형6회·비선형9회 기록으로
+Newton 시작값인 이전 accepted u부터 최종 u를 재구성하고, fresh/observed 네 보정 채널도
+각각 확인했다. 비선형 최대 보정 비율1.01046e-13은 승인1e-10 이내다.
+
+Storage graph 대조의 별도 절대 오차 budget과 물리 gate를 혼동하지 않는다. Exact M 작용과
+저장된 pair Ma의 상대 차이는 최대2.88e-32였다. Strict physical gate에 floor를 추가하거나
+high만으로 full 상태를 대신하지 않았다. 재현 자료는 로컬
+`.harness/hex8-evidence/precision/{prefix3-frozen,prefix-independent.json,check_prefix.py}`다.
+Root 연결 후 관련49/49 검사의 native build/CTest는0/0이다. 이어 두 brick의 LIN/TL 직렬·TBB
+전체 low 필드 일치와 실제 nonzero low를 확인한 focused1/1 검사도0/0이다.
+최초 넓은 filter가 전체 원본 smoke를 선택해 중단한 실행은 CTest exit−1로 보존하며
+수렴 실패 또는 통과로 해석하지 않는다. 전체101 endpoint·공식 HDF5·원본 비교는 아직 없다.
+
 ## HEX8-NR-001 — 영 회전 경계와 필수 원본 충돌

 검토 당시 PRD008/I/O는 BC/CLOAD DOF4–6을 값0이어도 거부했다. 그러나 모든 필수 INP에
@@ -35,7 +35,30 @@ temporal 실행은4/5 PASS·CTest exit8이며 실패는 이전 principal trace a
 owned/shared source·원본 두 INP·binary·patch hash를 대조했다. Reviewer는 관련22개 raw와
 7개 owned source·patch를 별도로 대조했다.

-전체 high+low endpoint 배열의 독립 gate 재계산과 원본 prefix/101 endpoint·필수 reference
-비교는 아직 수행하지 않았다. Rounded observable 불변량 검사와 전체 pair의 production
+첫32개 검토 이후 원본 prefix의 전체 pair를 아래와 같이 별도 재계산했다. 전체101 endpoint·
+필수 reference 비교는 아직 없다. Rounded observable 불변량 검사와 전체 pair의 production
 gate 통과를 구분한다. Alpha−0.05의 장시간 에너지, warped dynamic mesh,
 near-incompressibility 및 큰 strain StVK 적용은 이번 evidence로 보증하지 않는다.
+
+## 원본 초기 상태와 세 증분의 독립 물리 계산
+
+변경하지 않은 LIN/TL 두 원본의 초기 상태와 증분1–3에 대해 reviewer가 모든 high+low를
+exact Fraction으로 읽었다. 기준 CSR M·reference X·실제 full force를 사용해 T/W/balance,
+p/pdot/L/Ldot, reference/current/free-residual moments와 global force/moment 수지를
+총240개 대조했다. 실제 pair Add의 discarded-tail bound를 전파한 별도 절대 graph budget
+내였으며 재생 graph의 high/low도240/240 일치했다. 구속 u/v/a/A와 support work는 exact0다.
+Source442절점·300연결·51구속·하중·원래 h/T/INC와 test-only 관측 종료 조건도 대조했다.
+선형 U와 독립0.5uᵀf의 최대 절대차는1.30e-29였다.
+
+Captured F64 M의 ordered coefficient에는7752개의 비대칭 entry가 있고
+최대|Mij−Mji|=2.84217e-14다. 이에 따른 exact Σv×Mv의 작은 비영 값은512eps same-unit
+coefficient-roundoff budget 이내이며 이 비대칭으로 정확히 설명된다. Pair 산술 오류와
+계수 오차를 구분하고 M을 대칭화하거나 모멘트를0으로 보정하지 않는다. Ldot=x×Ma는
+같은 endpoint의 계약 observable로 확인했다. LIN의 current internal moment는 O(u²)로
+비영이며 TL의 reference moment도 별도0 기대량이 아니다.
+
+Alpha−0.05의 frame별 energy balance는 관측량이지 exact conservation gate가 아니다.
+Prefix에서 나타난 balance와 진동에 따른 trapezoid work 감소를 그대로 보존한다.
+이 범위에서 물리 blocker는 없다. 재현 자료는 로컬
+`.harness/hex8-evidence/precision/physics-prefix-review/`와 `prefix3-frozen/`다.
+TL의 local polynomial U 검산은 별도 frozen reference cache에 대해 추가 확인한다.