에이전트 · 절차

에이전트 검색 절차

후보 수집

요구사항에서 핵심 표제어를 추출하고 --boundary any --json으로 넓은 후보를 모읍니다. 파일 범위는 작업 대상 디렉터리 안으로 제한합니다.

초기 결과가 0이면 literal 표기, 품사와 질의 tokenization을 확인합니다. 곧바로 동의어를 추가하면 형태 coverage 문제와 어휘 선택 문제를 구분할 수 없습니다.

조건 강화

후보가 많으면 smart, atom 품사 태그와 구 순서를 차례로 적용합니다. 각 단계에서 남은 경로와 표면형을 기록하면 어떤 제약이 후보를 제거했는지 확인할 수 있습니다.

구조 경계가 필요한 질의는 compact 구성 요소 리소스가 없으면 명시적으로 실패합니다. 이 실패를 검색 결과 없음으로 처리하지 않습니다.

문맥 확인

최종 후보 주변의 symbol, 호출 위치와 test를 읽어 의미를 판정합니다. kfind provenance는 형태 규칙의 근거만 설명하며 프로그램의 의미를 증명하지 않습니다.

수정 뒤에는 같은 질의와 반대 의미의 hard negative를 함께 실행해 검색 조건이 여전히 유효한지 확인합니다.