I am still looking for the actual GIFP definition, as i presume it is looser than 2 force outs.
I looked through the 2023 rules pdf on the mlb website and didn't find a definition of GIDP. Forced double plays and reverse forced double plays it distinguishes between, but no GIDP.
It does however define a double play, and it does define a ground ball, both of which seem to apply to the Vazquez play in question.
In the box score, Vazquez was not credited with a GIDP, which seems fine because he coulda stayed at first and avoided said double play with Lee safe at home.
The stricture that RBIs are not credited on a GIDP is prescriptive scoring rule, and at least partially justified by the assumption they could have gotten the runner at home if they wanted to. Said assumption is not necessarily always true.
As an aside there is the practice of getting caught off base to allow a runner on 3rd to score. Doesn't that merit some recognition?
Now i want to see someone hitting into a triple play deserve an RBI out of spite (who cares what they are credited with...)