타입 체크
프로그램 코드에서 변수나 함수의 데이터 타입이 올바르게 사용되었는지 검증하는 과정이다. 코드의 안정성을 높이고 런타임 오류를 방지하기 위해 에이전트가 반드시 통과해야 하는 기술적 제약 조건 중 하나로 활용됐다.