Returns errors for catalog banks that have no manifest credential
requirement. BANK_REQUIREMENTS is derived from the bank catalog, so this
should always be empty; the gate guards against a future regression that
reverts the derivation and lets the catalog and manifest drift apart.
Returns string[]
One error per catalog bank missing a BANK_REQUIREMENTS entry.
Returns errors for catalog banks that have no manifest credential requirement. BANK_REQUIREMENTS is derived from the bank catalog, so this should always be empty; the gate guards against a future regression that reverts the derivation and lets the catalog and manifest drift apart.