This is what every verifier uses:

verify = (
  VerifySignature(proof, control_key) &&
  VerifyProof(proof, template) &&
  VerifyBinding(proof, state_commitment) &&
  CheckNotRevoked(control_key, policies_root) &&
  CheckIdentityRoot(identity_root)
)

If verify == true → claim is trusted.