Will stanc3 be able to identify mismatches between data constraints and distribution?

That should cause a domain error in beta_lpdf whenever alpha or beta are negative. What were you expecting to happen?

Any of this kind of thing is semantic and will thus go into what’s known as a linter. @andrewgelman has dubbed the Stan linter “pedantic mode”; the link is to a wish-list.