Free-model conjecture for instanton link Floer homology

Let $L$ be an $n$-component link in a homology 3-sphere, and let $\boldsymbol{\mathbf{n}}$ be a choice of framing. Let $\mathit{CLI}^-(L,\boldsymbol{\mathbf{n}})$ denote the associated free-model complex over $\mathbb{C}[U_1,\dots,U_n]$. Free-model conjecture. The homotopy type of $\mathit{CLI}^-(L,\boldsymbol{\mathbf{n}})$ is well-defined and independent of $\boldsymbol{\mathbf{n}}$. Its homology is isomorphic, as a $\mathbb{C}[U_1,\dots,U_n]$-module, to the direct-limit construction from Section 6.2 of the cited work. In addition, these link groups are tensorial under connected sum of links and satisfy the skein exact triangle stated in the equivariance conjecture. The authors explicitly say that they do not attempt to prove these assertions; they are intended to identify the free model with the direct-limit theory and establish its expected connected-sum and skein properties.