Olá, boa tarde
Meu nome é Edyelk Lucas e eu sou professor de edição de imagem, animação, edição de vídeo e composição de vídeo.
E estou interessado em fazer a animação que você propôs.
A única dúvida que me ficou, é se você precisa realmente de fazer um vídeo, um gif e um arquivo em HTML5 ou se tem que ser algum deles, se for apenas uma dessas saídas, seria bom saber o objetivo para definir qual seria a melhor opção.