9.3.4 AI 모델의 타입 추론 오류(Type Hallucination) 식별 및 필터링

9.3.4 AI 모델의 타입 추론 오류(Type Hallucination) 식별 및 필터링

LLM은 본질적으로 데이터를 기계적 메모리에 할당하는 존재가 아니라, 확률적인 텍스트를 나열하는 챗봇(Chatbot)일 뿐이다. 따라서 변수가 선언되는 시점과 그것이 실제로 연산에 투입되는 시점 사이의 문맥적 간격이 멀어지면 멀어질수록, LLM은 해당 변수가 무슨 타입이었는지를 잊어버리거나 자신만의 논리로 새롭게 추론(Guessing)해버리는 심각한 증상을 겪는다.

본서에서는 이 현상을 기호학적 환각과 분리하여 **‘타입 환각(Type Hallucination)’**이라고 명명한다. 정적 타입 체커 기반의 오라클은 수천 줄의 코드 리뷰를 단 몇 밀리초 만에 수행하며, LLM이 남발하는 이러한 타입 환각의 징후들을 결정론적으로 식별하고 파이프라인에서 필터링해 내는 가장 효율적인 체계다.

1. Union 타입과 선택적(Optional) 속성 핸들링의 실패 감지

가장 흔하게 발생하는 타입 환각은 값이 존재하지 않을 수 있는 Optional 처리에 대한 AI의 안일함이다.

프롬프트에서 "사용자 조회 결과가 없으면 None을 반환하라"고 지시했다면, 함수 반환 타입은 마땅히 Optional[User]가 되어야 한다. 그러나 LLM은 이 함수 결과를 받아오는 다음 라인에서, 10번 중 9번은 None인지 아닌지를 검사하는 가드 조건문(if user is not None:)을 빼먹은 채 user.get_id()를 무지성으로 호출해버린다.

정적 타입 오라클은 이 코드를 보는 즉시 Object is potentially null 혹은 Item "None" of "Optional[User]" has no attribute "get_id"라는 치명적 에러를 격발한다. 오라클 시스템 설계자는 이 결함을 모니터링 대시보드에 기록함과 동시에, LLM에게 “타입 옵셔널(Optional)을 풀지 않고 속성에 직접 접근하고 있다. 분기문을 추가하라“는 구조화된 피드백을 던져 수정을 요구한다.

2. 인터페이스와 익명 객체의 혼용 필터링

LLM은 TypeScript 환경에서 미리 정의해둔 DTO(Data Transfer Object)나 Entity 클래스를 준수하라고 지시받았음에도, 데이터를 반환할 때 단순히 형태만 비슷한 익명 객체(Anonymous Object)나 파이썬의 dict로 뭉뚱그려 던져버리는 경향이 있다.

// 요구사항: UserModel 인터페이스 반환

// AI의 흔한 타입 환각 결과물
return {
    id: 123,
    name: "John",
    // age 필드가 누락되었음
};

오리지널 타입 선언부에 age 필드가 필수로 지정되어 있었다면, 비록 위 코드가 자바스크립트 런타임에서는 완벽하게 실행될지라도 (즉, 동적 유닛 테스트는 통과할지라도) TypeScript 컴파일러(오라클)는 Property 'age' is missing in type...이라는 에러를 토해낸다. 이 필터링 망은 AI가 무의식적으로 데이터를 파편화(Fragmentation)하여 시스템 전반에 데이터 정합성 결함을 누적시키는 짓을 원천 차단한다.

3. 동적 컨텍스트망(Dynamic Context Window)과 타겟 변수의 타입 체인 추적

고도화된 정적 분석 오라클은 단순히 에러가 났는지를 넘어, LLM이 어느 지점에서 타입 추론의 실타래를 놓쳤는가를 역추적한다. 변수 A가 함수 1에서 반환되어, 함수 2를 거쳐, 함수 3의 파라미터로 들어가는 긴 생명 주기(Lifespan)를 가질 때, 오라클은 데이터 흐름(Data Flow)을 따라가며 타입이 오염되는 지점을 식별한다.

만약 AI가 함수 2에서 A를 갑자기 캐스팅(as any 또는 무시)하여 블랙박스로 만들어버렸다면, 이는 심각한 타입 안정성의 포기(Given up)로 간주된다. 통제 가능한 오라클 환경 내에서 Any 타입이나 강제 다운캐스팅(Down-casting)의 등장은 즉시 검증 점수(Validation Score)의 감점 사유가 되며, 파이프라인은 이런 식으로 타입을 얼버무리는 회피성(Evasive) 코드의 빌드를 허락하지 않는다.

타입 환각은 LLM이 엔지니어링의 정교한 설계도를 찢어버리고 자신만의 상상 속에 빠져들 때 일어난다. 정적 타입 체커 오라클은 이 환각의 사슬을 끊고, LLM을 무자비한 타입 검증의 형틀에 묶어 ’데이터가 지켜야 할 약속’을 이행하도록 채찍질하는 역할을 담당한다.