Encoding 720p park_joy results in garbled decode. about rav1e HOT 2 CLOSED

I tried resizing to 1280x768 with ffmpeg and then piping to rav1e to see if it would make a difference, but the results were similar:

https://themayhaks.com/~gideon/test-resize.ivf
https://themayhaks.com/~gideon/test-resize-av1-png/

I used the following commands:

ffmpeg -i park_joy_420_720p50.y4m -s 1280x768 -f yuv4mpegpipe - | ./rav1e - test-resize.ivf
./aomdec test-resize.ivf -o - | ffmpeg -i - test-resize-av1-png/%04d.png

from rav1e.

Updated results using a checkout from today:

https://themayhaks.com/~gideon/park_joy_420_720p50.ivf
https://themayhaks.com/~gideon/park_joy_420_720p50.ivf-dump/

Looks like the garbling is still there.

EDIT: When I said "today", I actually meant "before all of today's commits", so I'll wait for the dust to settle and try again later. Suggestions on other things to test welcome.

EDIT 2: Same garbling after redoing test with 1077355.

from rav1e.