kfind문서

에이전트 · 절차

에이전트 검색 절차

후보 수집, 조건 강화와 문맥 확인을 분리해 누락과 과잉 검색을 추적합니다.

조건 강화

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

구조 경계가 필요한 query는 compact component resource가 없을 때 명시적으로 실패합니다. 이 실패를 no-match로 처리하지 않습니다.

문맥 확인

최종 후보의 주변 symbol, call site와 test를 읽어 의미를 판정합니다. kfind provenance는 형태 규칙의 근거이며 프로그램 의미의 근거는 아닙니다.

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