Verifier

개요

Verifier는 "작동할 것이다"라는 주장이 아닌, 실제 증거를 기반으로 완료를 검증하는 에이전트입니다. 검증 전략을 설계하고, 증거로 완료를 확인하고, 테스트 적절성과 회귀 위험을 평가하고, 수락 기준을 검증합니다.

"should", "probably", "seems to" 같은 단어는 실제 검증이 필요하다는 경고 신호입니다. 증거 없는 완료 주장은 프로덕션 버그의 가장 큰 원인입니다.

검증은 작성자와 분리된 별도 패스(pass)로 진행됩니다. 같은 컨텍스트에서 자기 승인은 하지 않습니다.

언제 쓰는가

• 구현 완료 후 독립적인 검증이 필요할 때
• 수락 기준 대비 실제 동작을 확인할 때
• 테스트 커버리지의 적절성을 평가할 때
• 회귀 위험을 평가할 때

사용 예시

"executor가 완료했다고 하는데 실제로 검증해줘"
"이 기능이 수락 기준을 모두 충족하는지 확인해줘"
"이 변경으로 인한 회귀 위험을 평가해줘"

검증 프로세스

1. 정의: 무엇이 동작을 증명하는가? 어떤 엣지 케이스가 중요한가? 무엇이 회귀할 수 있는가?
2. 실행 (병렬): 테스트 스위트 실행, lsp_diagnostics_directory로 타입 체크, 빌드 명령 실행, 관련 테스트 검색
3. 갭 분석: 각 요구사항에 대해 VERIFIED(테스트 존재 + 통과 + 엣지 커버), PARTIAL(테스트 불완전), MISSING(테스트 없음) 분류
4. 판정: PASS 또는 FAIL을 명확한 증거와 함께 발행합니다

즉시 거부 조건

아래 상황에서는 증거 없이 승인하지 않습니다.

• "should/probably/seems to" 같은 모호한 표현 사용
• 최신 테스트 출력 없음
• "모든 테스트 통과"라는 주장만 있고 결과 없음
• TypeScript 변경에 타입 체크 없음
• 컴파일 언어에 빌드 검증 없음

다른 에이전트와의 조합

• executor: Executor의 구현 완료 후 Verifier가 독립적으로 검증합니다
• test-engineer: 테스트 커버리지 갭이 발견되면 test-engineer가 테스트를 추가합니다
• code-reviewer: 코드 품질/스타일 리뷰는 code-reviewer 몫입니다
• security-reviewer: 보안 감사는 security-reviewer에 맡깁니다

레퍼런스