docs: refresh Abaqus subroutine guidance

docs/PRD.md

@@ -20,7 +20,7 @@
 
 ## 핵심 워크플로우
 1. Requirement Agent가 feature requirement와 Requirement Verification Matrix를 작성한다.
-2. Research Agent가 Abaqus manual, 책, 논문, benchmark source를 조사하고 verified facts와 inference를 분리한다.
+2. Research Agent가 FEM 이론은 `fem-theory-query`로 조사하고, Abaqus User Subroutine 사실은 로컬 manual index에서 원문 span을 찾아 verified facts와 inference를 분리한다.
 3. Formulation Agent가 finite element formulation, stress update, tangent, state variable, numerical integration을 정의한다.
 4. Numerical Review Agent가 formulation consistency, tangent consistency, stability risk, patch/tangent check 필요성을 검토한다.
 5. I/O Definition Agent가 Abaqus ABI arguments, input/output direction, tensor component order, unit, CSV schema를 정의한다.
@@ -37,6 +37,7 @@
 6. `references/<feature-id>/<model-id>/metadata.json` 기반 reference artifact metadata validation
 7. `model.inp`, extracted CSV, `.msg/.dat/.log/.sta` tail files를 포함한 외부 생성 result artifact validation
 8. Optional CMake/CTest validation path for supporting native code when a CMake project exists
+9. `docs/AbaqusUserSubroutineManual/INDEX_MAP.md`와 `INDEX.md`를 통한 local manual source routing
 
 ## 대표 Subroutine 범위
 - Primary initial families: `UMAT`, `VUMAT`, `UEL`
@@ -46,6 +47,7 @@
 ## 성공 기준
 - 모든 must requirement가 verification method, acceptance criteria, tolerance 또는 decision owner를 가진다.
 - Research evidence는 source reliability tier와 applicability limit를 가진다.
+- FEM 이론 claim은 `fem-theory-query` evidence에, Abaqus ABI 및 argument claim은 local manual source span에 추적 가능하다.
 - Formulation은 selected entry point가 요구하는 stress update, tangent, residual, state variable, output recovery를 명시한다.
 - Interface contract는 Abaqus ABI argument direction, update responsibility, tensor order, unit, coordinate system, CSV schema를 명시한다.
 - Fortran implementation은 RED -> GREEN -> VERIFY evidence를 남긴다.
@@ -64,5 +66,6 @@
 
 ## 운영 제약
 - 문서 산출물은 Korean narrative를 기본으로 하되, Abaqus keyword, subroutine name, status value, command, schema key는 English를 유지한다.
+- FEM 관련 지식은 `fem-theory-query`로 탐색한다. Abaqus User Subroutine manual 사실은 `INDEX_MAP.md`에서 위치를 찾고 `INDEX.md` record와 모든 `source_ranges` 원문을 읽어 확인한다.
 - Abaqus version, compiler version, precision, source hash, output tail, CSV schema, ODB extraction provenance는 reference artifact metadata에 기록한다.
 - Abaqus execution은 user가 외부 Abaqus PC에서 수행한다. 이 프로젝트의 validation command는 해석 실행이 아니라 extracted CSV artifact 검증을 수행한다.