# Step 0: Shell Semantic Model

## 담당 역할과 필수 스킬

- 담당 역할: `implementation-agent`
- 필수 스킬: `harness`, `fesa-cpp-msvc-tdd`
- 이 Step만 `RED -> observed failure -> minimal GREEN -> focused/full VERIFY`로 수행한다.

## 읽어야 할 파일

- `/.agents/skills/harness/SKILL.md`
- `/.codex/skills/fesa-cpp-msvc-tdd/SKILL.md`
- `/AGENTS.md`
- `/docs/PRD.md`
- `/docs/ARCHITECTURE.md`
- `/docs/ADR.md`
- `/docs/HARNESS.md`
- `/docs/HARNESS_WORKFLOW.md`
- `/.codex/hooks.json`
- `/docs/implementation-plans/linear-static-mitc4-shell-implementation-plan.md`
- `/docs/requirements/linear-static-mitc4-shell.md`
- `/docs/research/linear-static-mitc4-shell-research.md`
- `/docs/formulations/mitc4-shell-formulation.md`
- `/docs/io-definitions/linear-static-mitc4-shell-io.md`
- `/docs/numerical-reviews/linear-static-mitc4-shell-review.md`
- `/docs/reference-models/linear-static-mitc4-shell-reference-models.md`
- `/phases/index.json`
- `/phases/linear-static-mitc4-shell/index.json`
- `/phases/linear-static-mitc4-shell/step0.md`
- `/include/fesa/model/model_types.hpp`
- `/include/fesa/model/domain.hpp`
- `/src/fesa/model/domain.cpp`
- `/tests/unit/model/model_types_test.cpp`
- `/tests/unit/model/domain_test.cpp`

필수 파일이 없거나 승인 계약과 충돌하면 현재 Step을 `blocked`로 기록하고 중단한다.

## 작업

Requirements 002-016, 024의 semantic ownership만 구현한다.

1. 먼저 `MITC4-MODEL-001`과 `MITC4-MODEL-002`를 기존 model tests에 추가한다.
2. Tests는 four-node connectivity, stable `SourceEntityId`, source type `S4|S4R`와
   internal `FESA-MITC4` identity 분리, finite positive thickness와 material/section
   indices, optional initial nodal director/frame storage, declaration order를 검증한다.
3. Production은 `model_types.hpp`와 필요한 `Domain` const accessor에만 최소 추가한다.
   Candidate records are `ShellSourceElementType`, `ShellSection`,
   `Mitc4ShellDefinition` and a shell-only node director/frame record.
4. 기존 `EulerBeam3DDefinition`, `GeneralBeamSection`, B33 accessors를 보존한다.
5. Node/Element에 equation id를 넣지 않는다. Director는 dimensionless unit vector이고
   thickness와 별도다.

## Acceptance Criteria

먼저 다음 configure를 실행한다.

```powershell
$requiredBuildPaths = @(
  "C:/git/googletest",
  "C:/Program Files (x86)/Intel/oneAPI/mkl/2026.1/lib/cmake/mkl",
  "C:/Program Files (x86)/Intel/oneAPI/tbb/2023.1/lib/cmake/tbb",
  "C:/Program Files/HDF_Group/HDF5/2.1.1/cmake"
)
foreach ($requiredBuildPath in $requiredBuildPaths) {
  if (-not (Test-Path -LiteralPath $requiredBuildPath)) { throw "Missing $requiredBuildPath" }
}
cmake --fresh -S . -B .harness/build -G "Visual Studio 18 2026" -A x64 `
  "-DFESA_GTEST_SOURCE_DIR=C:/git/googletest" `
  "-DMKL_DIR=C:/Program Files (x86)/Intel/oneAPI/mkl/2026.1/lib/cmake/mkl" `
  "-DTBB_DIR=C:/Program Files (x86)/Intel/oneAPI/tbb/2023.1/lib/cmake/tbb" `
  "-DHDF5_DIR=C:/Program Files/HDF_Group/HDF5/2.1.1/cmake"
```

RED test를 작성한 뒤 아래 build/test가 missing shell semantic behavior 때문에 실패함을
기록한다. Compile failure면 그 expected failure를 기록하고 CTest는 GREEN 뒤 실행한다.

```powershell
cmake --build .harness/build --config Debug --target fesa_unit_tests
ctest --test-dir .harness/build -C Debug -R "DomainModel" --output-on-failure
```

GREEN 뒤 focused와 full VERIFY:

```powershell
cmake --build .harness/build --config Debug --target fesa_unit_tests
ctest --test-dir .harness/build -C Debug -R "DomainModel" --output-on-failure
cmake --build .harness/build --config Debug
ctest --test-dir .harness/build -C Debug --show-only=json-v1
ctest --test-dir .harness/build -C Debug --output-on-failure
```

## 검증 및 상태 갱신

- RED command와 예상 failure, GREEN/focused/full 결과를 다음 Step summary에 남긴다.
- 성공 시 현재 Step만 `completed`와 한 줄 `summary`로 갱신한다.
- 3회 후 실패면 `error`/`error_message`, 사용자 결정이 필요하면
  `blocked`/`blocked_reason`을 기록한다.
- timestamp, retry, commit, 다음 Step 선택은 Executor 소유다.

## 금지사항

- Parser, element kernel, DOF, assembly를 수정하지 마라. 이유: Step 0은 model layer만 소유한다.
- 공통 public Element hierarchy를 만들지 마라. 이유: 승인된 아키텍처 범위가 아니다.
- 기존 B33 record를 제거하거나 의미를 바꾸지 마라. 이유: V0 회귀를 막는다.
- 직접 commit하거나 hook script를 수동 실행하지 마라. 이유: Executor/hook 소유권이다.
- `reference/` 파일을 수정하거나 Abaqus를 실행하지 마라.
