[GodelNumbering]

Creator of Dirac here. Came across this too late. The behavior you mentioned happens more commonly in smaller models, rarely in larger/frontier models. The underlying code is clean but the smaller models often make boundary errors (off by one type). Which models did you observe this with?

[smallerize]

That tracks, this was a quantized version of GLM 4.7 Flash. I was surprised because I though this specific thing was not supposed to happen lol.