Inherits Reference < Object
Verifies one exact policy document and its typed execution receipt.
Checks policy identity and every required scenario with the common verifier.