내부 구조 · compile
query compiler
Compiler는 열린 형태 분석을 실행 비용이 제한된 검색 IR로 변환합니다.
분석 후보
Lexicon lookup은 표제어, coarse POS와 user entry를 조합해 가능한 분석을 모두 반환합니다. Explicit POS는 포함되는 세부 품사를 제한하지만 같은 범주 안의 중의성은 유지합니다.
분석은 stem alternation, particle·ending start state, derivation path와 source capability requirement를 가집니다.
program IR
CandidateProgram은 anchor bytes, core 조립, suffix automaton, boundary와 StructuralConstraint를 담습니다. Provenance는 lexical·derivation·ending rule ID의 순서 있는 경로입니다.
Resource가 필요한 constraint는 compile 결과에 capability로 남습니다. Matcher 생성 시 resource가 없으면 fail-fast 오류입니다.
정렬과 중복 제거
Program은 anchor, 실행 조건과 span projection의 결정적 key로 정렬합니다. 실행 조건이 같은 분석은 program을 합치고 origin 집합만 union합니다.
Plan 상한은 program·anchor와 structural state 폭을 제한합니다. 상한 초과는 일부 후보를 버리는 대신 compile 오류를 반환합니다.