The equivalence conjecture for c6-modules, B-pairs and vector bundles

Let $R$ be a ring and consider the corresponding $c6$-module functors, ${\square\square\square}B$-pair functors, and vector bundle functors over ${\square\square\square}FF$ functors on the indicated categories

$$\mathrm{sComm}\mathrm{Simplicial}\mathrm{Ind}\mathrm{Seminormed}^{\mathrm{formalseriescolimitcomp}}_R,$$ $$\mathrm{sComm}\mathrm{Simplicial}\mathrm{Ind}^m\mathrm{Seminormed}^{\mathrm{formalseriescolimitcomp}}_R,$$ $$\mathrm{sComm}\mathrm{Simplicial}\mathrm{Ind}\mathrm{Normed}^{\mathrm{formalseriescolimitcomp}}_R,$$ $$\mathrm{sComm}\mathrm{Simplicial}\mathrm{Ind}^m\mathrm{Normed}^{\mathrm{formalseriescolimitcomp}}_R,$$ $$\mathrm{sComm}\mathrm{Simplicial}\mathrm{Ind}\mathrm{Banach}^{\mathrm{formalseriescolimitcomp}}_R,$$ $$\mathrm{sComm}\mathrm{Simplicial}\mathrm{Ind}^m\mathrm{Banach}^{\mathrm{formalseriescolimitcomp}}_R,$$

or in $\mathrm{AnalyticRings}^{\mathrm{CS,formalcolimitclosure}}_R$. The equivalence conjecture. The corresponding $\infty$-categories of $\varphi$-module functors, ${\square\square\square}B$-pair functors, and vector bundle functors over ${\square\square\square}FF$ functors are equivalent over these categories. This is presented as a direct conjectural consequence of the cited theorem, but the supplied material gives no resolution status.