타입 안전 구조적 출력

LLM은 '생성한 뒤에' 뜯어고친다

• LLM은 먼저 자유로운 문자열을 생성한 다음, 그걸 JSON 형태로 억지로 맞추고, 다시 파싱해서 검증합니다
• 즉 먼저 만들고 나서 나중에 맞는지 확인하는 구조 — 그래서 언제든 어긋날 여지가 남습니다

출력 공간을 '미리' 못 박는다

JEV는 순서를 뒤집습니다. 고를 수 있는 답을 미리 목록으로 정해두고, 그 목록 안에서만 하나를 고릅니다 — 목록에 없는 답은 아예 낼 수 없습니다. 이렇게 '가능한 답의 집합'을 스키마에 먼저 정의해 두는 방식이라, 생성이 아니라 선택·평가에 가깝습니다.

💡 핵심은 출력 공간이 스키마로 사전 확정된다는 점입니다. 후보 집합에 없는 값은 고를 수 없으므로, 스키마 밖의 값을 내는 일이 원천적으로 불가능합니다.

환각은 '표현할 수 없는 것'이 된다

• 유효한 출력(가능한 값과 구조)이 스키마에 사전 정의되어 있습니다
• 따라서 모델은 그 집합 밖의 값을 낼 수 없습니다 — 물리적으로 표현 경로가 없습니다
• 결과적으로 환각과 타입 에러가 수학적으로 불가능해집니다 (확률이 낮은 게 아니라 0)

파싱 코드가 사라지고, 계약이 고정된다

• 결과를 다시 뜯어보는 파싱·검증 코드가 통째로 사라집니다
• 스키마를 벗어난 값이 없으니 다운스트림 오염이 차단됩니다
• 코드와 모델 사이에 계약(contract)이 타입으로 고정되어, 신뢰성이 근본적으로 올라갑니다

💡 "출력이 맞는지 확인"하는 방어 코드가 없어진다는 건, 버그가 숨을 자리가 그만큼 줄어든다는 뜻입니다.

2-1강 한 장 요약

• ✓
  LLM은 생성 후 파싱·검증 구조 — 언제든 타입이 어긋날 위험이 남는다
• ✓
  JEV는 출력 공간을 스키마에 사전 정의하고 그 안에서 선택 — 생성이 아니라 평가
• ✓
  집합 밖의 값은 표현 자체가 불가능 → 환각·타입 에러가 수학적으로 불가능
• ✓
  파싱 코드 제거 · 다운스트림 오염 차단 · 계약이 코드와 모델 사이에 고정