Only the recorded source revision moves (55a9599 -> b98eaf9). The vendored specs and the generated types are byte-identical, which is the useful part: the envelope redefinition landed on a merge commit, not a schema change, so nothing downstream has to move with it.