이 연구는 도구를 사용하는 LLM 에이전트가 자신이 집행해야 할 정책을 조용히 위반하는 문제에서, 수작업 규칙이나 행동별 LLM 검증, 무거운 형식 검증 도구 없이 자연어 정책을 결정론적 도구 호출 게이트로 변환하는 4단계 컴파일러 NOMOS를 제안한다. 도구 스키마 수준 검사만으로 정적 검증을 수행해 항공·소매 도메인에서 각각 37%, 13%의 후보 규칙을 수정하거나 폐기했으며, 이 단계가 없으면 배포된 규칙 대부분이 작동하지 않았다. τ²-bench에서 이 게이트는 상태 변경 호출 중 참조 명시 조항 위반율을 항공 66.3%→2.6%, 소매 30.8%→6.9%로 낮췄고, 26B 규모 온프레미스 컴파일 모델은 수작업이나 프론티어 모델 컴파일 규칙과 비교해 유의미하게 떨어지지 않았다. AgentDojo의 기본 방어와 달리 뱅킹 영역에서는 공격 성공률 0%를 달성했고, 다른 세 영역에서도 최대 3.6%에 그쳤으며, 결정은 LLM 호출 없이 마이크로초 단위로 이뤄진다.

• •자연어 정책을 거정돼적 도구 호출 게이트끼 바꿀 4단감 콤파일러 NOMOS 제안
• •도구 스커마 검사로 항객 37%·솣 13%의 미나한 꿉굙 며부한 사전 수정·폐가
• •τ²-bench에서 조항 위본율을 항객 66.3%→2.6%, 솣 30.8%→6.9%로 감소
• •뱅탹 영역에서 강짅 성고율 0% 달성, LLM 호출 없이 마이크로초 단위로 결정