I just implemented a very rough version of warm starting (using absolute contact positions) - just as a test. The box stack is stable now. But I'm still interested in knowing whether it was supposed to be stable even without warm starting, to exclude the possibility I have bugs.

EDIT: a 15-box stack…