[justinpombrio]

> .. it also mentions that gibbard's is specifically about irv.

No, Gibbard's is not limited to any particular voting method. I think you're misreading the next paragraph (and also confusing IRV, which is a particular method, with ranked choice, which is a whole category of methods). Note the distinction between Gibbard and Gibbard-Satterthwaite:

> A corollary of this theorem is Gibbard–Satterthwaite theorem about voting rules. The main difference between the two is that Gibbard–Satterthwaite theorem is limited to ranked (ordinal) voting rules: a voter's action consists in giving a preference ranking over the available options. Gibbard's theorem is more general and considers processes of collective decision that may not be ordinal: for example, voting systems where voters assign grades to candidates.