FESADev/phases/linear-static-3d-euler-beam/step6.md

Step 6: Implementation Plan

담당 역할과 필수 스킬

• 담당 역할: implementation-planning-agent
• 필수 스킬: fesa-cpp-msvc-tdd
• 스킬의 planning workflow를 끝까지 읽고 코드나 테스트를 작성하지 않은 채 계획만 작성하라.

읽어야 할 파일

• /AGENTS.md
• /docs/SOLVER_AGENT_DESIGN.md
• /.codex/skills/fesa-cpp-msvc-tdd/SKILL.md
• /.codex/agents/implementation-planning-agent.toml
• /.codex/agents/correction-agent.toml
• /docs/linear-static-3d-euler-beam/requirements.md
• /docs/linear-static-3d-euler-beam/research.md
• /docs/linear-static-3d-euler-beam/formulation.md
• /docs/linear-static-3d-euler-beam/numerical-review.md
• /docs/linear-static-3d-euler-beam/io.md
• /docs/linear-static-3d-euler-beam/reference-model.md
• /docs/superpowers/specs/2026-08-08-linear-static-3d-euler-beam-design.md
• /phases/linear-static-3d-euler-beam/step7.md부터 /step24.md까지

작업

docs/linear-static-3d-euler-beam/implementation-plan.md를 생성하라. 승인 설계가 이 경로를 명시하므로 README의 기본 suffix보다 이 경로를 우선한다.

• Metadata와 Readiness Check를 작성하고 upstream status가 모두 준비된 경우 status: ready-for-implementation을 사용한다.
• Implementation Scope와 Non-goals를 승인 설계와 동일하게 기록한다.
• Step 7–24 각각을 독립 Work Breakdown task로 매핑하고 exact candidate source/header, test, CMake file을 제시한다. 한 file은 한 책임을 가져야 한다.
• 각 task에 consumes/produces signature를 정의한다. 특히 Vector, row-major Matrix, CSR SparseMatrix, Domain, AnalysisModel, DofManager, AnalysisState, EulerBeam3D, ParallelFor, LinearSolver, ResultsWriter, orchestration API를 일관되게 쓴다.
• 각 production task에 GoogleTest test ID, RED condition, GREEN condition, targeted CTest regex, full VERIFY command를 연결한다.
• parser negative cases, beam invariants/analytical cases, deterministic CSR, nonzero prescribed displacement, PARDISO repeated RHS/singular diagnostics, HDF5 atomicity, CLI/reference integration을 빠짐없이 배치한다.
• Requirement-to-task/test/reference Acceptance Traceability Matrix와 implementation report evidence 형식을 포함한다.
• Step 24에서 test-only reference comparison executable/test를 완성해 Step 26이 source/test 변경 없이 다시 실행하고 report를 작성할 수 있게 계획한다.
• reference artifact, upstream contract, tolerance를 변경하는 correction을 금지한다.

Acceptance Criteria

$path = 'docs/linear-static-3d-euler-beam/implementation-plan.md'
if (-not (Test-Path $path)) { throw "Missing $path" }
$required = @(
  'status: `ready-for-implementation`',
  '## Readiness Check',
  '## Work Breakdown',
  '## TDD Test Plan',
  '## CMake and CTest Plan',
  '## Acceptance Traceability Matrix',
  'cmake -S . -B .harness/build -A x64',
  'ctest --test-dir .harness/build -C Debug --output-on-failure',
  'reference/cantilever beam/'
)
foreach ($text in $required) {
  if (-not (Select-String -LiteralPath $path -SimpleMatch $text -Quiet)) {
    throw "Missing implementation-plan contract: $text"
  }
}
$modules = @('cmake-test-foundation','core-diagnostics','dense-math-adapters','domain-model',
  'inp-syntax-parser','inp-domain-mapping','analysis-model','dof-manager','analysis-state',
  'euler-beam-element','parallel-for-tbb','sparse-assembly','essential-constraints',
  'mkl-pardiso-solver','load-assembly','result-recovery','hdf5-results-writer','linear-static-cli')
foreach ($module in $modules) {
  if (-not (Select-String -LiteralPath $path -SimpleMatch $module -Quiet)) {
    throw "Missing work-breakdown module: $module"
  }
}
git diff --check -- $path

검증 절차

1. Acceptance Criteria 명령을 실행한다.
2. 모든 must requirement가 최소 한 task와 test에 연결되는지 확인한다.
3. later task가 사용하는 type/signature가 earlier task 정의와 정확히 같은지 대조한다.
4. 각 production task에 RED/GREEN/VERIFY command가 있고 reference step이 read-only인지 확인한다.
5. Step 6을 completed와 plan readiness summary로 갱신한다. upstream gate 미통과는 blocked, 반복 작성 실패는 error로 기록한다.

금지사항

• C++ source, test, CMake를 작성하거나 실행하지 마라. 이유: 이 step은 계획만 소유한다.
• upstream 요구조건·정식화·I/O·tolerance를 바꾸지 마라. 이유: 이미 승인된 계약이다.
• reference artifact를 생성·수정하지 마라. 이유: read-only baseline이다.
• API를 승인 문서와 모순되게 확정하지 마라. 이유: downstream task 간 계약이 깨진다.
• 직접 commit하지 마라. 이유: Harness executor가 담당한다.