validate-code

코드 품질 검증 (BV1)

ultrathink

생성된 백엔드 코드가 프로젝트 컨벤션과 품질 기준을 충족하는지 검증합니다.

컨텍스트 로드

• 프로젝트 설정: backend.md

입력

$ARGUMENTS 의 파일/디렉토리를 Read/Glob으로 읽으세요.

★ frontflow FV1과 동일한 비격리 원칙 ★

코드 검증은 "어떤 서비스를 어떤 맥락에서 만들었는지"를 알아야 정확합니다. specflow V 스킬처럼 context: fork하지 않습니다.

검증 항목

1. 컨벤션 준수 (critical)

파일 위치:
  - 엔티티가 backend.md의 entity_dir 하위에 있는가
  - 서비스가 service_dir 하위에 있는가
  - 컨트롤러가 controller_dir 하위에 있는가
  - module_pattern(flat/feature-module/domain-driven)과 일치하는가

네이밍:
  - 파일명이 backend.md의 naming 컨벤션을 따르는가
  - 클래스명이 파일명과 일치하는가 (speaker.service.ts → SpeakerService)

구조:
  - 계층 분리: 컨트롤러→서비스→리포지토리 방향으로만 의존
  - 순환 의존 = 0건
  - 리포지토리가 서비스를, 서비스가 컨트롤러를 import하지 않는가

2. 계층 경계 (critical)

컨트롤러 침범:
  - 컨트롤러에 비즈니스 로직(조건 분기, 계산)이 있는가
  - 컨트롤러에서 리포지토리를 직접 호출하는가

서비스 침범:
  - 서비스에 HTTP 관심사(상태 코드, 헤더, 쿠키)가 있는가
  - 서비스에서 Request/Response 객체에 접근하는가

리포지토리 침범:
  - 리포지토리에 비즈니스 로직이 있는가
  - 리포지토리에서 다른 리포지토리를 직접 호출하는가

3. 에러 핸들링 (critical)

- 서비스의 모든 실패 경로에 적절한 에러 throw가 있는가
- try-catch에서 에러를 삼키지(swallow) 않는가
- 빈 catch 블록 = 0건
- 외부 호출에 타임아웃이 있는가

4. 타입 안전성 (critical)

- any 사용 = 0건
- as 타입 단언 최소화
- DTO 필드 타입이 TS 명세서 스키마와 일치하는가
- nullable 처리가 명시적인가

5. 보안 (critical)

- SQL injection 가능성 (raw 쿼리에 문자열 보간) = 0건
- 비밀번호/토큰의 평문 로깅 = 0건
- 사용자 입력의 검증 없는 사용 = 0건
- 민감 데이터가 응답에 노출되지 않는가

6. 테스트 가능성 (warning)

- 의존성이 주입 가능한가 (new로 직접 생성하지 않는가)
- 외부 서비스가 인터페이스/추상화를 통해 접근되는가
- 테스트에서 목(mock) 교체가 가능한 구조인가

출력

검증 대상: {파일/디렉토리}
검증 유형: BV1 (코드 품질)

findings:
  - id: "BV1-001"
    severity: critical | warning | info
    file: "{파일 경로}"
    line: {라인 번호} (가능하면)
    issue: "{문제}"
    suggestion: "{수정 제안}"

summary:
  files_checked: {N}
  total_findings: {N}
  critical: {N}
  warning: {N}
  pass: {true | false}