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만 구현한다.

먼저 MITC4-MODEL-001과 MITC4-MODEL-002를 기존 model tests에 추가한다.
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를 검증한다.
Production은 model_types.hpp와 필요한 Domain const accessor에만 최소 추가한다. Candidate records are ShellSourceElementType, ShellSection, Mitc4ShellDefinition and a shell-only node director/frame record.
기존 EulerBeam3DDefinition, GeneralBeamSection, B33 accessors를 보존한다.
Node/Element에 equation id를 넣지 않는다. Director는 dimensionless unit vector이고 thickness와 별도다.

Acceptance Criteria

먼저 다음 configure를 실행한다.

$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 뒤 실행한다.

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:

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를 실행하지 마라.

4.6 KiB Raw Blame History