Acontece que o vídeo que eu estava tentando desentrelaçar foi na verdade 25p que foi codificado em um arquivo de vídeo 50i para estar em conformidade com um padrão AVCHD mais antigo. Aparentemente, esta é uma prática comum para câmeras sem fita desde meados dos anos 2000. Então, é claro que quando eu tento desintercalar eu só acabo com, no máximo, a fonte original de 25 quadros por segundo porque não há movimento entre os campos.
f: v yadif = 1 faz exatamente o que é descrito - usa imagens 50i entrelaçadas de verdade e as transforma em uma saída de 50p incrivelmente alta usando um algoritmo bob ponderado por movimento, da mesma forma que o filtro em tempo real "yadif 2x" faz no VLC. A saída é quase o dobro da resolução vertical efetiva sobre o desentrelaçamento descartado no quadro. Agora é um dos meus filtros de vídeo favoritos porque praticamente nada mais parece oferecer essa capacidade.