VerdictGraph verifies both Intelligent Contracts, their reciprocal binding, both finalized Vault bindings, and both immutable Vault controller addresses.