action-receipt

실제 도구 실행 후 결과와 정책 결정을 결합해 권한과 실행 산출물을 묶는 증거 객체다. 영수증은 부모 집합 검증(parent-set enforcement)을 통해 어떤 권한이 어떤 실행을 정당화했는지 연결성을 유지한다. 이 객체를 통해 이후 검증자가 실행 결과의 정합성과 권한 유효성을 재현 가능하게 만든다.