Um dos estágios da receita pública é o lançamento. Por meio do lançamento, a fazenda do DF verifica a procedência do crédito fiscal e a pessoa que lhe é devedora, e inscreve o débito dessa pessoa.