verified signatureだとtagsが存在するのは自明なのでは…？ってなってる。NIP-57の条件どういうことなんだろう？ b が `tags.length > 0` な意味だとしても c 以降が真なら b って MUST でわざわざ表現する必要がなさそうに見えるし……