Qual tipo determina o método invocado em chamadas polimórficas?

Resposta

Tipo real do objeto em tempo de execução.

Explicação:
O compilador apenas verifica que o método existe no tipo da referência.
Em execução, a JVM usa o tipo real do objeto para escolher a implementação (despacho dinâmico).
Assim, métodos sobrescritos na classe concreta são os executados.