From c7c3c8017fc1ef2ef8169b5e08e82a1da5e1aaa1 Mon Sep 17 00:00:00 2001 From: "KOKO\\Mimi" Date: Sat, 10 Oct 2026 00:08:42 +0900 Subject: [PATCH] docs(hex8): record bounded paired dynamics physics evidence --- .../FEATURED_AGENTS.md | 1 + .../physics-review.md | 41 +++++++++++++++++++ 2 files changed, 42 insertions(+) create mode 100644 docs/hex8-structural-analysis/physics-review.md diff --git a/docs/hex8-structural-analysis/FEATURED_AGENTS.md b/docs/hex8-structural-analysis/FEATURED_AGENTS.md index 42794b9..cfad05a 100644 --- a/docs/hex8-structural-analysis/FEATURED_AGENTS.md +++ b/docs/hex8-structural-analysis/FEATURED_AGENTS.md @@ -18,6 +18,7 @@ static/frequency/HHT 절차를 추가한다. 코드 존재와 기능 검증 완 | [lessons](lessons.md) | 정밀도 손실·수렴 실패와 수정의 근거 및 재사용할 주의점 | | [precision proposal](precision-proposal.md) | 승인된 내부 정밀도 변경안·결과 의미·구현 전 검증 범위 | | [precision formulation](precision-formulation.md) | HHT 전체 high+low 상태·동일 gradient 미분·산술 범위·반올림 출력 계약 | +| [physics review](physics-review.md) | 소규모 시간수렴·반력·운동량·에너지의 독립 평가와 coverage 한계 | 메인이 문서·공유 연결·완료 판단을 소유한다. Kernel owner는 Hex8 local 계산/복구 payload와 직접 consumer를, semantic owner는 Domain/parser/3성분 DOF/load/assembly를 소유한다. diff --git a/docs/hex8-structural-analysis/physics-review.md b/docs/hex8-structural-analysis/physics-review.md new file mode 100644 index 0000000..38af2e1 --- /dev/null +++ b/docs/hex8-structural-analysis/physics-review.md @@ -0,0 +1,41 @@ +# Hex8 high+low 동해석의 한정된 물리 검토 + +적용 계약은 [precision formulation](precision-formulation.md)과 [PRD](PRD.md)다. +2026-10-10 `hex8_precision_physics` reviewer가 작성자와 독립적으로 아래 닫힌 evidence와 +해석적 oracle를 검토했다. 검토 범위에서 물리 blocker는 없지만 원본 비교·전체 기능 완료의 +판정은 아니다. 현재 checklist는 PRD에만 둔다. + +## 확인한 결과와 계산 + +| 범위 | 독립 근거·결과 | +| --- | --- | +| 강체 병진·축·scale | 단위 brick의 밀도2에서 총질량2, mass row sum0.25다. 절점당 힘0.25는 a=1을 준다. 세 축×세 하중 크기의 실제 모든 endpoint 검사 PASS | +| 관성 반력 | 독립 consistent M의 constrained coupling과 Q=Ma+f−F를 대조한다. All-constrained Fy=7에서 Qy=−7, a=0, W=0 검사 PASS | +| 독립 oscillator | m=2/27, Kii=8/3, Kij=0.8의 해석적 모드 분해로 u/v/physical a를 대조한다. SDOF와 MDOF의 최소 관측 차수는1.98637·1.96518로 기준1.8 이상 | +| 두 brick의 LIN/TL | 모든 u/v/physical a의 관측 차수는 대략2다. 제조 TL의 최종 회전49.7727°, Green principal strain0.00697372, detF1.02099395는 유한회전·작은 strain 범위다 | +| 운동량·모멘트 | 독립 brick 질량 적분으로 T/p/pdot/L/Ldot와 symmetric M의 Σv×Mv=0을 검사한다. 자유 잔차를 포함한 수지와 LIN/TL의 서로 다른 reference/current arm 의미를 확인 | +| 에너지·한계 | alpha0의 trapezoid work와 무하중 tail 에너지 보존, 무하중 exact rest 검사 PASS. Full-integration 굽힘 locking의 큰 coarse-mesh 오차는 적용 한계로 유지 | + +제조하중은 production K/M/quadrature를 호출하지 않는 polynomial brick 적분이다. +각 refinement의 HHT endpoint에 동일한 매끄러운 함수 값을 공급한 시간수렴 증거이며, +일반 비매끄러운 tabular amplitude의 수렴 보장은 아니다. 위 TL strain/stress/energy의 +해석적 sanity 계산 자체를 실제 point 출력의 수치 비교 PASS라고 표현하지 않는다. + +## Evidence의 시점과 제한 + +Frozen T6 source는 `c49cae499d8b965fdaa74bca9792f65f18843ec7`, shared kernel은 +`e878379`다. Current affected native build/CTest exit0/0,32/32 PASS다. 처음 uncached +temporal 실행은4/5 PASS·CTest exit8이며 실패는 이전 principal trace assertion이었다. +그 실행의 실제 LIN/TL·독립 SDOF/MDOF 시간수렴 양성 결과를 current32개에서 다시 실행한 +것으로 표현하지 않는다. Current의 이전 두 실패는 Float64 shadow와 initial mass record 수의 +진단 assertion을 수정한 것이며 physics acceptance 완화가 아님을 frozen diff로 확인했다. + +원시 로그·73개 inventory·source/binary hash는 로컬 +`.harness/hex8-evidence/precision/t6-frozen-c49cae4/`에 보존한다. 메인이73개 raw와 +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 +gate 통과를 구분한다. Alpha−0.05의 장시간 에너지, warped dynamic mesh, +near-incompressibility 및 큰 strain StVK 적용은 이번 evidence로 보증하지 않는다.