docs: add FESA extension guidance

docs/ADR.md

@@ -39,7 +39,7 @@ solution과 test command를 명시한 직접 MSBuild 프로젝트도 검증할
 
 **이유**: 모델 정의, step activation, equation system, transient/nonlinear state가 섞이면 parser, assembler, solver, result writer가 강하게 결합된다. 분리된 상태 모델은 선형 정적 해석에서 시작해 비선형, 동적, thermal coupling으로 확장하기 쉽다.
 
-**트레이드오프**: 초기 class 수가 늘어난다. Phase 1에서는 interface를 얇게 유지하고 displacement 중심 state부터 구현한다.
+**트레이드오프**: 초기 class 수가 늘어난다. V0에서는 interface를 얇게 유지하고 실제 선형 정적 frame에 필요한 state만 구현한다.
 
 ### ADR-005: 공식 결과 파일은 HDF5로 하고 reference 결과는 Abaqus CSV로 둔다
 **결정**: FESA solver의 authoritative result output은 `results.h5` HDF5이다. Abaqus reference results는 기능별 reference model contract가 지정한 `reference/<model-id>/` 아래 CSV 파일로 저장하며, verification은 FESA HDF5 rows와 Abaqus reference CSV rows를 documented IDs, components, units, coordinate system, step/frame identity, tolerance 기준으로 비교한다. 신규 reference는 canonical 파일명을 사용하고, 승인된 기존 bundle의 legacy alias는 해당 기능 계약에 정확한 경로를 기록한 경우에만 허용한다.
@@ -112,3 +112,72 @@ solution과 test command를 명시한 직접 MSBuild 프로젝트도 검증할
 **이유**: 자유단 moment처럼 이론적으로 0인 값에는 행별 상대오차가 정의되지 않으며 Abaqus 결과에 작은 수치 잔차가 남을 수 있다. Component scale을 사용하면 전체 물리량 크기에 비해 작은 잔차를 허용하면서 각 row를 결정적으로 판정할 수 있다.
 
 **트레이드오프**: 큰 component scale은 zero row의 허용폭을 넓힌다. 이를 완화하기 위해 quantity와 component를 섞지 않고 Abaqus 값만 scale에 사용하며, 모든 row의 absolute/normalized error와 worst row를 보고하고 누락·추가·nonfinite row를 tolerance 전에 실패시킨다.
+
+### ADR-015: 외부 CMake target을 FESA 경계로 정규화하고 Windows runtime closure를 명시한다
+
+**결정**: MKL, TBB, HDF5 CONFIG package가 제공하는 target은 dependency module에서
+`Fesa::MKL`, `Fesa::TBB`, `Fesa::HDF5`로 정규화한다. Product target은 이 경계만
+`PRIVATE` link하고 public header에 vendor/Win32 type을 노출하지 않는다. Approved Windows
+환경에서는 packaged shared HDF5 C target을 우선하며, CLI와 test executable 옆에 TBB,
+MKL, OpenMP, Intel math runtime, HDF5를 포함한 실제 runtime DLL closure를 POST_BUILD로
+stage한다.
+
+**이유**: Package version이나 shared/static variant에 따라 imported target 이름과 숨은
+runtime dependency가 달라질 수 있다. Configure와 link 성공만 확인하면 GoogleTest
+discovery 또는 배포된 CLI가 `0xc0000135`로 실패할 수 있다. FESA-owned target과 명시적
+runtime closure는 module code와 실행 환경을 package 세부사항에서 분리한다.
+
+**트레이드오프**: Windows staging CMake가 길어지고 새 dynamic dependency마다 runtime
+audit가 필요하다. 대신 개인 설치 경로를 source에 하드코딩하거나 developer `PATH`에
+의존하지 않고 build tree executable을 재현 가능하게 실행할 수 있다.
+
+### ADR-016: 결정론과 failure atomicity를 correctness contract로 취급한다
+
+**결정**: Parallel element 계산은 index별 독립 buffer만 쓰고, COO tuple ordering과
+floating-point sum은 join 이후 고정된 serial 순서로 수행한다. Result recovery, solver
+output, HDF5 writer는 candidate를 완성·검증한 뒤 caller-owned state 또는 final file에
+commit한다. HDF5는 same-directory temporary file을 checked close/reopen한 후에만 atomic
+finalization한다.
+
+**이유**: Reference comparison과 물리 검토는 row identity와 작은 수치 차이에 민감하다.
+Thread scheduling 또는 중간 실패가 sparse bytes, result order, 이전 output을 바꾸면 같은
+입력에 대한 evidence를 신뢰할 수 없다.
+
+**트레이드오프**: Serial reduction과 candidate copy가 throughput과 memory를 더 사용할 수
+있다. 성능 최적화는 동일한 ordering, failure preservation, reference 결과를 증명할 때만
+대체할 수 있으며, nondeterministic global sparse write는 허용하지 않는다.
+
+### ADR-017: Essential constraint는 stable elimination으로 적용하고 reaction은 full residual로 정의한다
+
+**결정**: V0는 DofManager의 stable free/constrained order로 full stiffness를
+`Kff/Kfc/Kcf/Kcc`로 분할하고 `Kff * df = Ff - Kfc * dc`를 푼 뒤 full displacement를
+복구한다. 모든 DOF가 constrained인 모델의 `0 x 0 Kff`는 유효한 trivial factorization과
+empty substitution이다. Recovery의 full residual `r = K*d - F`를 reaction vector로
+보존하며 constrained entry는 physical reaction, free entry는 equilibrium evidence다.
+
+**이유**: Equation numbering과 prescribed displacement를 한 owner가 관리하면 nonzero
+constraint, no/all/mixed constraint가 같은 수식과 stable order를 사용한다. Full residual은
+element end action을 별도로 합산하는 경로보다 조립·하중·해법 전체의 equilibrium을 직접
+검증한다.
+
+**트레이드오프**: Full K와 네 partition을 유지하는 메모리 비용이 있고 reaction vector의
+free entry가 정확한 0이라고 가정할 수 없다. V0에는 penalty, MPC, Lagrange multiplier를
+혼합하지 않으며, 추가 constraint policy는 별도 formulation과 equation/output 계약을
+요구한다.
+
+### ADR-018: Kernel 존재와 제품 노출을 분리하고 계층형 검증을 요구한다
+
+**결정**: Local element/load/recovery kernel이 존재해도 syntax, semantic Domain mapping,
+analysis orchestration, mandatory HDF5와 diagnostic 계약이 연결되지 않으면 CLI 지원으로
+간주하지 않는다. 검증은 unit, integration, reference comparison, physics sanity를 서로
+대체할 수 없는 계층으로 유지한다. Reference가 가능하지 않은 quantity는 명시적 N/A와
+analytical/schema/physics 대체 evidence를 요구한다.
+
+**이유**: Unit test는 수식과 validation을, integration test는 lifetime과 호출 순서를,
+reference comparison은 외부 solver와의 수치 일치를, physics sanity는 공통-mode 오류와
+model adequacy를 검출한다. 한 계층의 성공만으로 parser exposure 또는 물리 correctness를
+추론하면 지원 범위와 검증 강도가 과장된다.
+
+**트레이드오프**: 작은 기능도 여러 계약과 evidence를 함께 준비해야 하므로 개발 속도가
+느려진다. 대신 `*DLOAD`처럼 kernel은 있지만 입력에 노출되지 않은 기능, stress처럼
+mandatory output이지만 Abaqus reference가 N/A인 기능을 정확하게 표현할 수 있다.