ContractLockdefined below applies to version-0 contracts. Although high version mint inputs implicitly have high version contract locks, the release version does not define anything about a high version contract lock – neither its serialization nor its semantics.
None, then require that the lock’s contract hash is the same as the “recipient” parameter of the message. Then read the current witness and require that:
None, then check only for a contract witness, version 0, with contract hash matching the lock.