I have a question regarding the non-negative constrained parameters in general and for optimization in particular. Based on page 34 in the 2.15.0 version of user manual, it is written under 'constrained real" that non-negative constrained are supported. Also, I understand that Stan do the work in unconstrained space then do inverse transform for comply to the constraints. So, I want to make sure of the following:
1) for optimization, the optimizers (which are basically for unconstrained optimization, as I understand), can work as constrained optimizers and can give me a minimum satisfying the non-negative constraints (x>=0)
2) for sampling, also the obtained values of parameters are satisfying the imposed non-negatively constraints?
Thanks and best regards