강제 계약
함수가 실행되기 전후에 반드시 충족해야 하는 조건을 코드에 명시하는 기법이다. LLM이 코드를 작성할 때 준수해야 할 명확한 가이드라인을 제공하여 생성된 결과물이 의도한 사양을 만족하는지 스스로 검증하게 한다.