기능적 불변성
프로그램 실행 중 반드시 유지되어야 하는 논리적 조건입니다. 이 아티클에서는 LLM의 출력이 비즈니스 로직(예: 수치 범위, 관계성)을 충족하는지 확인하는 2단계 검증 절차로 정의됩니다.