substituição tributária progressiva antecipa apenas o pagamento do tributo, mas não desloca a responsabilidade tributária para sujeito diverso daquele que realizará o fato gerador.

lei pode atribuir a determinado sujeito passivo a responsabilidade pelo pagamento de tributo cujo fato gerador ocorrerá posteriormente, assegurando-se a restituição imediata e preferencial se o fato gerador presumido não ocorrer.

substituição tributária progressiva estabelece presunção absoluta quanto à ocorrência e à dimensão econômica do fato gerador, sendo sempre definitiva a base de cálculo presumida.

restituição somente é cabível quando o fato gerador presumido não ocorrer integralmente, sendo vedada quando ocorrer por valor inferior ao presumido.

base de cálculo da substituição tributária relativa às operações subsequentes corresponde necessariamente ao valor da operação própria, sem inclusão de frete, seguro, encargos ou margem de valor agregado.