Tracer

개요

Tracer는 관찰된 결과를 규율 있는 증거 기반 인과 추적으로 설명하는 에이전트입니다. 관찰과 해석을 분리하고, 경쟁 가설을 생성하며, 각 가설에 대한 찬반 증거를 수집하고, 증거 강도에 따라 설명을 순위 매기고, 불확실성을 가장 빠르게 줄일 다음 조사(probe)를 추천합니다.

일반적인 디버깅과 다른 점은, 증상에서 바로 좋아하는 설명으로 점프하지 않는다는 것입니다. 대안 설명을 증거가 배제할 때까지 유지하며, 불확실성을 명시적으로 다룹니다.

언제 쓰는가

• 복잡한 현상의 원인을 추적할 때
• 여러 가능한 원인이 있고 어느 것이 맞는지 불확실할 때
• "왜 이런 일이 일어났는가?"에 대한 깊은 분석이 필요할 때
• 성능 회귀, 간헐적 실패 등 원인이 불분명한 문제를 조사할 때

사용 예시

"이 벤치마크 성능이 25% 하락한 원인을 추적해줘"
"워커 할당이 멈추는 현상을 분석해줘"
"이 테스트가 간헐적으로 실패하는 원인을 조사해줘"

추적 프로토콜

1. OBSERVE: 관찰된 결과를 해석 없이 정확하게 기술합니다
2. FRAME: 추적 대상 -- 정확히 어떤 "왜" 질문에 답하는지 정의합니다
3. HYPOTHESIZE: 의도적으로 다른 프레임에서 경쟁 인과 설명을 생성합니다 (코드 경로, 설정/환경, 측정 오류, 아키텍처 가정 불일치 등)
4. GATHER EVIDENCE: 각 가설에 대해 찬성/반대 증거를 수집합니다. 구체적 file:line 증거를 인용합니다
5. APPLY LENSES: 시스템 렌즈(경계, 재시도, 피드백 루프), 사전 검토 렌즈, 과학 렌즈를 적용합니다
6. REBUT: 가장 강한 대안이 현재 리더에 도전하는 반박 라운드를 실행합니다
7. RANK/CONVERGE: 증거에 모순되거나 추가 가정이 필요한 설명을 하향 조정합니다
8. SYNTHESIZE: 현재 최선의 설명과 대안보다 우수한 이유를 진술합니다
9. PROBE: 가장 많은 불확실성을 줄일 다음 조사를 추천합니다

증거 강도 계층

Tracer는 증거를 강도 순으로 평가합니다.

1. 통제된 재현, 직접 실험, 가설을 유일하게 구분하는 소스 오브 트루스
2. 타임스탬프 로그, 트레이스 이벤트, 메트릭, 설정 스냅샷, git 히스토리 등 직접 근거
3. 동일 설명에 수렴하는 다수의 독립 소스
4. 관찰에 맞지만 아직 유일하게 구분하지 못하는 단일 소스 추론
5. 약한 정황 단서 (네이밍, 시간적 근접성, 스택 위치)
6. 직관/유추/추측

다른 에이전트와의 조합

• debugger: 단순한 버그 수정은 debugger 몫입니다. 원인이 불분명한 복잡한 현상은 tracer가 맡습니다
• architect: 아키텍처 수준의 분석이 필요하면 architect와 협력합니다
• scientist: 데이터 분석이 필요한 추적은 scientist와 조합합니다

레퍼런스