Equality adapter for generic proof-facing carriers. Executable equality adapters whose contracts are tied to Verus equality.