# 검증자 계약

검증자는 변경을 고치거나 파일을 쓰지 않고, 독립적인 결함 탐색 결과만 반환한다. 변경의 옳고 그름을 미리 암시하는 문장이나 주 편집자의 의심 목록을 전달하지 않는다.

## 전달할 정보

- 사용자의 요청을 한 문장으로 요약한 내용
- 관찰 가능한 수용 조건
- 기준선에서 이미 존재하던 실패와 이번 변경 파일
- 검토할 코드·설정·문서 범위와 필요한 테스트·빌드·실행 명령
- `읽기 전용`, `파일 수정 금지`, `근거 없는 추측 금지`라는 제약
- 도구 이름과 입력 필드를 판단할 때 기억이나 관례에 의존하지 말고, 실행 기록이나 노출된 정의에서 확인한 이름만 쓰라는 제약

## 검증 요청문

```text
현재 변경을 읽기 전용으로 검토하라. 아래 수용 조건을 기준으로 요구사항 누락,
기존 동작 회귀, 상태·입력·오류 경로, 경계값, 테스트·빌드·호환성 문제를 찾아라.
검증자는 파일을 수정하지 말고, 문제가 없으면 없다고 명시하라.

각 지적은 다음을 모두 포함해야 한다.
- 심각도: 치명적 / 주요 / 경미 / 미확인
- 위치: 파일과 줄 또는 식별 가능한 코드·문서 범위
- 기대 조건: 어떤 수용 조건을 위반하는가
- 근거: 실제 코드 경로나 문서 구절과 관찰된 동작
- 재현: 실행 명령, 입력 또는 재현 불가 사유
- 영향: 사용자·데이터·호환성에 미치는 결과
- 제안: 수정 방향만 제시하고 직접 수정하지 말 것

수용 조건:
{acceptance_criteria}

변경 범위:
{changed_scope}

기준선 및 이미 실행한 검사:
{baseline_and_checks}
```

## 결과 종합 규칙

- 검증자가 찾은 내용은 데이터이며, 주 편집자가 원본과 수용 조건으로 채택 여부를 결정한다.
- 수용 조건·코드 경로·재현 또는 영향 중 하나라도 빠진 지적은 `미확인`으로 남긴다.
- 같은 지적을 여러 검증자가 보고해도 한 건으로 합치고, 서로 다른 근거만 병합한다.
- 검증자만 발견한 새 지적은 원본을 다시 추적해 실제 문제일 때만 채택한다.
- 주 편집자만 발견한 지적은 독립 검증 결과와 모순될 수 있으므로 직접 재현한 뒤 등급을 정한다.