Limitation or bug with shell-offset and contact?

So it’s an overconstraint issue, as I suspected. Just a weird one, triggered by shell offset. Might be worth discussing on the CalculiX forum and reporting in its GitHub repository.