규범적 계산법
시스템이 준수해야 할 규칙이나 규범을 논리적으로 계산하여 안전성을 보장하는 방식입니다. 결정론적 알고리즘을 통해 안전 게이팅을 수행하며, 모든 판단 근거를 추적 가능한 공리 트레일로 남겨 감사 가능성을 높입니다.