四、税务契约的程序控制