protocol-contract

추출된 정책 규칙들을 시스템이 이해하고 강제할 수 있는 형태의 실행 가능한 규약으로 컴파일한 결과물이다. 자연어 정책과 코드 사이의 가교 역할을 한다.