> How do you check that the stored procedures in the DB are exactly as defined in Git?

How do you know that a binary is produced by some code in git? Because you built it. Same principle applies.

But also, the db can list its code.