No contexto do controle de constitucionalidade no Brasil, a ação cabível para garantir a observância de enunciado de súmula vinculante e de decisão do Supremo Tribunal Federal em controle concentrado de constitucionalidade é: