Comments below.
Like with data generated from mu=-1, sigma=3, I get estimates mu≈1.37±0.05 (sd) and sigma=2.06±0.04, while ML from the sads package are for example -0.60±0.25 and 2.78±0.11 (My impression is that even the ML estimates are off the ±2sd limits more than 5% of the time, but they are on the right ballpark at least, and better with larger data.)
Compared to the ML estimates, Intervals from the Stan model seem overly tight.
Making data smaller in the sense of number of counts (N) leads to wider intervals and maybe a bit better estimates, but the intervals are still maybe too narrow. (And mixing gets poor, so it's hard to see what's happening near the prior.)
Increasing data tightens the intervals, but keeps the estimates off (pretty much where they were, so with increasing N it converges into wrong estimates with overly tight intervals).
Making the true sigma smaller makes the estimates closer to true values (which is understandable for the lognormal then kind of vanishes), but mixing gets worse so I can't take the sigma very small. I haven't played with the true mean much.
Posterior means of theta are probably ok, with a downward bias when freq is one or small. (This is ok I guess, for then the lognormal prior gives more evidence than data. At larger values of freq, data totally overrides the prior as it should with Poisson.)
(It somehow it feels like the lognormal is the culprit, but I'm mostly just baffled...)
Chains are ok as far as I can see, in terms of trace plots, r-hat and n_eff. A few (≈ 1–5) numerical problems or divergent transitions are reported.
I tested with bare Poisson, the theta removed but censoring left in, and then the estimates are right. I even tested a lognormal with data and the Poisson thing left out, and it also seems to be fine. :)
All this is with my Mac, but there's an AWS instance available where I could try to run the model later.
Files used for tests are attached below.