Thanks for pointing out the problem in our mice example. We should fix it soon.
As we cannot declare a vector parameter with different bounds, one way is that you have to declare them individually.
For the censored data, the typical way is not to model the censored data using the cdf, which is illustrated in the kidney example. I am not sure we have weibull_cdf now, but working on lp__ Is not that tricky. In the kidney example, the censoring points are different.
Jiqiang