Step 10: Dense BLAS Adapter

담당 역할과 필수 스킬

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

읽어야 할 파일

/AGENTS.md
/docs/CODINGSTYLE.md
/docs/ARCHITECTURE.md
/docs/cpp-object-oriented-modular-refactoring/implementation-plan.md
/include/fesa/math/vector.h, /src/fesa/math/vector.cpp
/include/fesa/math/matrix.h, /src/fesa/math/matrix.cpp
/tests/unit/math/vector_test.cpp, /tests/unit/math/matrix_test.cpp
/src/fesa/CMakeLists.txt, /tests/CMakeLists.txt
/phases/cpp-object-oriented-modular-refactoring/index.json
/phases/cpp-object-oriented-modular-refactoring/step10.md

작업

Requirement R-DUP-002의 dense-BLAS duplication만 제거한다.

/tests/unit/math/dense_blas_internal_test.cpp를 먼저 추가하고 C-DUP-003을 작성한다. Test는 zero/normal/overflow length conversion과 zero/nonzero contiguous copy behavior를 검증한다.
Missing internal adapter include/symbol로 RED compile failure를 기록한다.
Private candidate module은 /src/fesa/math/dense_blas_internal.h와 /src/fesa/math/dense_blas_internal.cpp다. Tests에 private include directory가 필요하면 fesa_unit_tests에만 ${PROJECT_SOURCE_DIR}/src/fesa를 PRIVATE로 추가한다.
Candidate functions:

namespace fesa::dense_blas_internal {

Result<MKL_INT> ToMklSize(std::size_t size);
void CopyValues(const double* source, std::size_t size, double* destination);

}  // namespace fesa::dense_blas_internal

MKL_INT and MKL includes are permitted only in this private implementation boundary and existing backend .cpp; no file under /include/fesa/ may expose them.
Matrix/Vector의 duplicated conversion/copy helpers를 adapter call로 교체한다. Exception, Status/failure meaning, row-major layout and BLAS call order stay unchanged.

Acceptance Criteria

cmake --build .harness/build --config Debug --target fesa_unit_tests
ctest --test-dir .harness/build -C Debug `
  -R "DenseMath|DenseBlasInternal" --output-on-failure
rg -n "ToMklSize|CopyValues" src/fesa/math
rg -n "MKL_INT|mkl\.h" include/fesa
& "C:/Program Files/LLVM/bin/clang-format.exe" --dry-run --Werror `
  src/fesa/math/dense_blas_internal.h src/fesa/math/dense_blas_internal.cpp `
  src/fesa/math/vector.cpp src/fesa/math/matrix.cpp `
  tests/unit/math/dense_blas_internal_test.cpp
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

The public-header vendor scan must return no matches. The private helper scan must show one definition family and the two intended consumers only.

검증 및 상태 갱신

RED missing seam, focused conversion/copy behavior, scans and full CTest를 summary에 기록한다.
Public vendor type leak or behavior regression이면 error로 기록한다.
성공 시 현재 Step만 completed로 갱신한다.
timestamp, retry, commit, advancement는 Executor 소유다.

금지사항

Public math API에 MKL type을 추가하지 마라.
Matrix layout 또는 BLAS operation order를 바꾸지 마라.
SIMD, allocation or runtime performance optimization을 하지 마라.
직접 commit하거나 hook script를 수동 실행하지 마라.

3.4 KiB Raw Permalink Blame History