>>> records it with ffmpeg

Exactly how? What does ffmpeg record?

I believe it captures each of the frames as png and then ffmpeg puts them together as a video. Although someone from Anthropic may be able to explain this better