선행 연구 정찰

문제 정의를 받아 선행 연구를 찾고, 가장 가까운 연구와의 차이를 표로 남긴다. 신규성 판정은 이 스킬이 하지 않는다. 판정은 feasibility-gate의 G0 관문에서 총괄이나 사용자가 한다. 이 스킬은 판정에 쓸 증거와 검색 기록을 만든다. research-session의 공통 규칙을 따른다.

조기 조사에서 "선점 연구 0편"이라고 적은 뒤, 몇 주 뒤 심사나 사용자가 결정적 선행 연구를 찾아내는 일이 반복됐다. 원인은 대개 넷이었다: 도메인 용어로만 찾아 같은 수학 꼴의 고전 문헌을 놓침, 제목을 확인하지 못한 후보를 빼고 다시 찾지 않음, 용어만 보고 "다루지 않는다"고 판단함, 요약 도구가 준 문장을 원문처럼 씀. 아래 절차는 이 넷을 막는 데 맞춰져 있다.

0. 지킬 것

• 찾지 못한 것은 유효한 답이다. 다만 "없다", "선점 0"으로 쓰지 않는다. "이 검색어로 이 범위에서 거리 1 논문을 찾지 못했다"로 쓴다.
• 논문을 지어내지 않는다. 표의 항목은 모두 직접 연 링크(DOI, arXiv, 학회 페이지, 표준 문서)가 있어야 한다.
• 확인 수준을 셋으로 나눠 적는다: 본문 확인, 초록만 확인, 열지 못함. 열지 못한 것은 근거로 쓰지 않는다.
• 웹 가져오기 도구는 요약 모델을 거친다. 인용할 문장과 수치는 원문 PDF나 원문 페이지에서 글자 그대로 대조한 뒤에만 쓴다.
• 소프트웨어, 표준, SDK를 근거로 쓰면 읽은 릴리스(번호, 커밋, 날짜)를 적는다. 옛 릴리스를 읽고 틀린 결론을 낸 일이 있다.
• 검색어를 그대로 기록한다. 검색어가 없으면 "찾지 못함"을 검증할 수 없다.

1. 질문 고정

시작 전에 아래를 적고 사용자에게 보인다. 문제 정의가 없으면 problem-grill을 먼저 권한다.

• 문제 한 문장과 주장 하나
• 핵심 개념 3~5개와 동의어(영문, 국문), 인접 분야에서 같은 것을 부르는 이름
• 모형의 일반형: 도메인 용어를 뺀 수학적 꼴을 한두 문장으로 적는다(예: "검사 비용이 드는 상태 확인 아래의 계약", "한 단계 앞을 보는 멈춤 규칙", "벌금이 유한한 감시 게임"). 이 꼴이 2절 같은 꼴 갈래의 검색어가 된다.
• 범위: 연도, 학회와 저널 목록, 프리프린트 서버, 표준과 업계 문서 포함 여부
• research-portfolio의 공용 문헌 대장이 있으면 먼저 읽는다. 다른 프로젝트가 이미 대조한 논문은 다시 찾지 않고 그 판정을 가져와 확인만 한다.
• 시간 상한과 멈춤 기준(7절)

2. 갈래를 나눠 찾는다

서로 겹치지 않는 갈래로 나눈다. 에이전트를 띄울 수 있으면 갈래마다 하나씩 동시에 띄운다.

갈래	찾는 것
같은 문제	같은 문제를 푼 연구. 방법이 달라도 포함
같은 방법	같은 기법을 다른 문제에 쓴 연구
같은 영역	같은 응용 영역의 최근 연구와 시스템
같은 꼴	1절의 일반형으로 찾는 고전 이론(경제학, 운영연구, 게임 이론, 통계, 제어). 도메인 용어를 쓰지 않는다
표준과 업계	표준 제안, 명세, 기술 블로그, 제품 문서. 읽은 판을 적는다

갈래 지시문에 늘 넣는 문장: "찾지 못함은 유효한 답이다. 논문을 지어내지 않는다. 쓴 검색어를 그대로 보고한다. 모든 항목에 직접 연 링크와 확인 수준을 단다. 용어가 달라도 같은 기제를 다루면 후보에 넣는다."

3. 후보를 거르는 규칙

• 제목이나 원문을 확인하지 못한 후보를 빼지 않는다. 다시 찾기 목록에 올리고, 끝나기 전에 반드시 다시 찾는다.
• "다루지 않는다"는 판정은 용어가 아니라 기제로 한다. 후보의 방법 절을 읽고, 우리 주장의 각 요건(입력, 결정, 보장)을 그 논문이 다루는지 칸마다 적는다.
• 거리 1~2 후보는 초록이 아니라 본문으로 판정한다. 본문을 열 수 없으면 사용자에게 PDF를 요청한다(4절).
• 거리 1~2 판정은 서로 다른 두 판정자가 따로 한다. 둘이 다르면 겹침에 가까운 쪽으로 정하고 불일치를 기록한다.

4. 열지 못한 문헌

출판사 접근 제한, 네트워크 차단 등으로 열지 못한 문헌은 목록으로 사용자에게 보이고 PDF를 요청한다. 서지, 왜 필요한지, 거리 어림을 함께 적는다. 받기 전까지 그 문헌에 기대는 판정은 "잠정"으로 둔다.

5. 기록 형식

갈래마다 같은 표를 쓴다.

서지(저자, 연도, 제목, 게재처)	링크	확인 수준	무엇을 푸나	요건별 겹침	다른 점	거리	판정자

거리: 1 같은 문제, 같은 방법 / 2 같은 문제, 다른 방법, 또는 같은 꼴의 고전 결과 / 3 다른 문제, 같은 방법 / 4 배경.

6. 인용할 것과 주장할 것

우리 결과가 고전 이론의 정리와 같은 꼴인지 따로 확인한다. 같으면 그 부분은 인용하고, 우리 기여는 겹치지 않는 부분(새 변수, 새 조건, 측정)으로 줄여 적는다. 이 판단은 원고를 쓰기 전에 한다. 심사에서 "이미 알려진 결과의 재탕"으로 지적받은 뒤에 하면 틀 전체가 흔들린다.

• "인용할 것", "주장할 것", "확인할 것" 목록을 나눠 둔다.
• 인용할 정리는 번호와 진술을 원문에서 대조한다.

7. 멈춤

• 새 검색어 세 개를 연달아 써도 거리 1~2의 새 논문이 나오지 않으면 그 갈래를 닫는다. 같은 꼴 갈래는 다른 분야 이름 두 개 이상으로 찾은 뒤에만 닫는다.
• 시간 상한에 닿으면 멈추고 열린 갈래와 다시 찾기 목록을 적는다.
• 거리 1 논문이 나오면 바로 사용자에게 알린다.

8. 다시 돌리는 때

다음 때에는 정찰을 다시 한다. 앞 정찰을 그대로 쓰지 않는다.

• 문제 정의의 틀이 바뀌었을 때(problem-grill 5절)
• 투고 직전. 지난 정찰 뒤 나온 프리프린트를 본다.
• 심사에서 미인용 선행 연구 지적이 나왔을 때. 그 지적을 놓친 이유(검색어, 범위, 거르기 규칙)를 기록에 적는다.

9. 인용 검증

fact-check 3절과 같은 방식이고 표본은 이 절을 따른다. 마치기 전에 공통 규칙 3에 따라 표를 만들지 않은 쪽이 항목을 다시 연다. 거리 1~2는 전부, 나머지는 다섯 개 이상. 제목, 저자, 연도, 게재처, 인용한 정리나 수치가 원문과 맞는지 확인하고 불일치 수를 적는다.

10. 산출

docs/선행연구/정찰-<날짜>.md(프로젝트 설정이 다른 위치를 정하면 그곳)에 쓴다. 공용 문헌 대장이 있으면 거리 1~2 항목과 판정을 그곳에도 더한다.

# 선행 연구 정찰 (날짜)

질문, 모형의 일반형, 범위, 시간
검색 기록: 갈래별 검색어, 검색한 곳, 결과 수
가장 가까운 연구 3편: 각 한 문장으로 차이
갈래별 표 (5절)
인용할 것 / 주장할 것 / 확인할 것
다시 찾기 목록과 처리 결과
열지 못한 문헌과 사용자에게 요청한 것
판정자 불일치: n건(겹침 쪽으로 정함)
인용 검증 결과: 대조 n건, 불일치 m건
G0 관문에 넘길 요약: 거리 1 n편, 거리 2 m편, 잠정 판정 k건

보고는 숫자로 한다. 만든 파일은 답에서 바로 열 수 있게 링크로 보인다.