  Motivated by previous computations of Y. Cao, M. Kool and the author, we
propose square roots and sign rules for the vertex and edge terms that compute
Donaldson-Thomas invariants of a toric Calabi-Yau 4-fold, and prove that they
are canonical, exploiting the combinatorics of plane and solid partitions.
