Univalence conjecture for the tricategory of univalent weak double categories

A weak double category is a pseudo-category object in pseudo-categories with a set of squares, and a univalent weak double category is one whose corresponding double bicategory is univalent. Weak double categories assemble into a tricategory.

Tricategorical univalence conjecture. The tricategory of univalent weak double categories is univalent.

This is proposed as the weak-double-category analogue of the univalence theorem for the tricategory of univalent double categories. The conjecture concerns the compatibility of univalence with the higher categorical structure formed by univalent weak double categories.