docs: record eigen2 research evidence and backend gaps

2026-09-08 21:16:50 +09:00
parent be5c0e5777
commit 72e38d0505
4 changed files with 193 additions and 1 deletions
@@ -62,7 +62,7 @@ solver build/test·reference 비교와 release 감사는 포함하지 않는다.
 - [x] 메인이 사용자 요구 coverage, 전문 owner 경계와 미해결 사항을 정적으로 확인한다.
 - [x] 상대 링크·ID를 검사하고 커밋 대상이 새 Feature 문서 5개뿐인지 확인한다.

- [ ] Research: 기존 근거의 적용 범위와 부족한 이론·backend 근거를 확인한다.
+- [x] Research: [연구](research.md)와 [근거](research-evidence.md)에 일차 출처·질량/축소/stabilization 후보 및 실제 runtime 확인이 필요한 FEAST 두 항목을 기록했다.
 - [ ] Formulation: 질량·안정화·축소·고유치 해법의 구현 가능한 수학 계약을 작성한다.
 - [ ] Numerical review: 독립 계산·검토로 정식화와 검증 계획의 적합성을 판단한다.
 - [ ] I/O definition: 입력·진단·결과 schema·reference mapping 계약을 정의한다.