É um codec? Acho que não; Eu acredito que ele usa MPEG4 / H.264 para vídeo e AC3 para áudio.
É um formato de contêiner? Não parece fazer muito sentido; já existem o suficiente e provavelmente já existe um adequado.
É simplesmente uma especificação que especifica uma combinação específica de tecnologias pré-existentes? Mas isso implicaria que os arquivos AVCHD também poderiam ser chamados de outra coisa, como "contêiner MPEG4 com H264 / AC3 dentro".
Então, o que exatamente o AVCHD significa?