AR(1) bayesian regression with none negative values

Thank you for your response. Perhaps I misunderstood the situation. I executed the provided code using a normal distribution, and everything seemed to function correctly. However, when I conducted a prior predictive check, I noticed that the model accounts for negative values, even though the observed variable cannot be negative. What would be the most effective approach to address this issue?