Typed Contract

데이터의 구조와 타입을 명확히 정의하여 프로그램 간의 상호작용을 보장하는 방식이다. LLM의 자유로운 텍스트 출력을 특정 스키마에 맞게 강제함으로써 런타임 오류를 줄이고 코드의 예측 가능성을 높이는 데 중요하다.