Files
FESADev/phases/linear-static-mitc4-shell/step1.md
T
2026-08-15 03:14:34 +09:00

3.9 KiB

Step 1: Shell Domain Mapping

담당 역할과 필수 스킬

  • 담당 역할: implementation-agent
  • 필수 스킬: harness, fesa-cpp-msvc-tdd

읽어야 할 파일

  • /.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/linear-static-mitc4-shell/implementation-plan.md
  • /docs/linear-static-mitc4-shell/requirements.md Requirements 001-010, 017-023
  • /docs/linear-static-mitc4-shell/research.md
  • /docs/linear-static-mitc4-shell/formulation.md
  • /docs/linear-static-mitc4-shell/numerical-review.md
  • /docs/linear-static-mitc4-shell/reference-model.md
  • /docs/linear-static-mitc4-shell/io.md Sections 1-5, 8-9
  • /phases/index.json, task index, /phases/linear-static-mitc4-shell/step1.md
  • Step 0에서 수정한 model/Domain paths와 Step 0 summary
  • /include/fesa/io/abaqus/domain_mapper.hpp
  • /src/fesa/io/abaqus/domain_mapper.cpp
  • /tests/unit/io/abaqus/domain_mapper_test.cpp
  • /include/fesa/io/abaqus/input_syntax.hppinput_reader.hpp는 경계 확인용으로만 읽는다.

작업

  1. MITC4-MAP-001..004를 먼저 작성한다.
  2. AbaqusDomainMapper::map(const ParsedInput&) -> Result<Domain> signature를 유지하고 exact TYPE=S4|S4R four-node connectivity와 single-row centered *SHELL SECTION, MATERIAL=...를 semantic model로 mapping한다.
  3. ELSET/material을 element마다 exactly once resolve하고 source type과 FESA-MITC4 identity를 분리한다.
  4. identity PART/ASSEMBLY/INSTANCE 및 multiple identity instances의 stable mapping을 유지한다. Mixed beam-shell은 unsupported-mixed-element-model로 거부한다.
  5. Invalid connectivity/section/material/unsupported option/second or nonlinear step/ DLOAD를 I/O 계약의 exact diagnostic class로 fail closed 한다.
  6. Existing six-DOF BOUNDARY/CLOAD grammar와 output-request no-op behavior를 재사용한다.

Acceptance Criteria

$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($p in $requiredBuildPaths){if(-not(Test-Path -LiteralPath $p)){throw "Missing $p"}}
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"
cmake --build .harness/build --config Debug --target fesa_unit_tests
ctest --test-dir .harness/build -C Debug -R "InpDomainMapping" --output-on-failure

Valid S4/S4R mapping 또는 negative diagnostic assertion의 expected RED를 기록한 뒤 minimal GREEN만 작성한다. GREEN 뒤:

cmake --build .harness/build --config Debug --target fesa_unit_tests
ctest --test-dir .harness/build -C Debug -R "InpSyntax|InpDomainMapping|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/focused/full evidence를 기록하고 현재 Step만 completed/summary 또는 error/error_message, blocked/blocked_reason으로 갱신한다. Timestamp, commit, advancement는 Executor 소유다.

금지사항

  • AbaqusInputReader에 semantic policy를 넣지 마라.
  • Element math, geometry calibration, equation numbering을 구현하지 마라.
  • Unsupported 의미를 무시하거나 S4R reduced integration을 암시하지 마라.
  • Reference artifact, tolerance, upstream 문서를 수정하지 마라.
  • 직접 commit/hook 실행을 하지 마라.