불변성 체크
시스템 상태가 변경되더라도 반드시 유지되어야 하는 논리적 규칙이나 데이터 구조를 검증하는 절차이다. LLM 추론에서는 제안된 변환이 기존의 구조적 틀을 파괴하지 않는지 결정론적으로 판단하는 데 사용된다.