Files
FESA/phases/abaqus-subset-completion/step2.md
T
2026-07-29 23:32:26 +09:00

57 lines
1.9 KiB
Markdown

# Step 2: Single Instance Semantic Validation
## 읽어야 할 파일
- `/AGENTS.md`
- `/docs/PRD.md`
- `/docs/ARCHITECTURE.md`
- `/docs/ADR.md`
- `/docs/ABAQUS_INPUT_SUBSET.md`
- `/include/fesa/io/abaqus/parser.hpp`
- `/include/fesa/io/abaqus/semantic_mapper.hpp`
- `/include/fesa/io/abaqus/set_resolver.hpp`
## 작업
flat/hierarchical organization과 Phase 1 단일 Instance 제한을 semantic validation으로
완성한다.
```cpp
struct ActiveInputView final {
bool flat;
std::string part_name;
std::string instance_name;
std::span<const DeckRecord> part_records;
std::span<const DeckRecord> assembly_records;
};
[[nodiscard]] ActiveInputResult select_active_input(const ParsedDeck&);
```
- flat input은 Part/Assembly가 없어야 한다.
- hierarchical input은 여러 Part를 허용하지만 Assembly와 Instance는 각각 정확히
하나여야 한다.
- missing Part, transform data, instance-local node/element, mixed organization,
wrong `INSTANCE=`를 먼저 실패 테스트로 작성한다.
- unreferenced Part가 Domain entity를 만들지 않는지 검증한다.
## Acceptance Criteria
```powershell
cmake --build --preset windows-debug
ctest --preset windows-debug -R "SingleInstance|ActiveInput|SemanticScope" --output-on-failure
ctest --preset windows-debug --output-on-failure
```
## 검증 절차
1. 각 미지원 organization의 실패 테스트를 확인한다.
2. selection/validation만 구현하고 좌표 변환 코드는 만들지 않는다.
3. source location과 활성 Part 결과를 확인한다.
4. 전체 테스트와 index를 갱신한다.
## 금지사항
- transformation data를 0으로 간주해 무시하지 마라. 이유: 계약상 명시적 오류다.
- unreferenced Part를 Domain에 병합하지 마라. 이유: 사용자 요구와 다르다.
- future multi-instance abstraction을 만들지 마라. 이유: 실제 두 번째 구현이 없다.