- Yes, everything dated t-1 is known at time t.
- The timing problem comes from Dynare having a conditional expectations around each equation. So time t+1 relations hold in expectations, time t relation in every state of the world. See e.g. Expectations vs realized
- Don’t use auxiliary variables, use model-local variables. See e.g. DSGE_mod/Basu_Bundick_2017.mod at master · JohannesPfeifer/DSGE_mod · GitHub