> Representing verification logic in the schema flawed The "verification" required is one of tamper proof, cryptographic safe certificate chain verification, s

> Representing verification logic in the schema flawed The "verification" required is one of tamper proof, cryptographic safe certificate chain verification, something like the one done using Certificate Authorities, certificate revogation list and the surrounding infrastructure used in TLS. Encoding anything Turing complete is out-of-spec.