A fonte de direito positivo que estabelece a obrigatoriedade de inclusão na Lei Orçamentária de destaque do serviço da dívida (encargos mais amortizações), previsto contratualmente, e as receitas para esse fim é a: