Deterministic on-chain transaction verification with event-log matching. Returns verified/pending/mismatch state, confirmation count, and matched Transfer log count.