χ^{cw} counts Tait colorings on arbitrary surfaces
Establish that for any surface Σ and trivalent graph Γ embedded in Σ, the trivial surrounding lattice TFT χ^{cw}: Bord_2^{def,cw}(𝔇_{+}^{3}) → Vect_F(ℂ) evaluates on (Σ, Γ) to the number of Tait colorings of Γ, i.e., prove χ^{cw}(Σ, Γ)(1) = #Tait(Γ).
References
In other words, the number $\chi{cw}(\Sigma, \Gamma)(1)$ is the number of Tait-coloring of the trivalent graph $\Gamma$, embedded in an arbitrary surface $\Sigma$. However, \cref{main-2} has been proved only for the planar case. This makes sense as edge-colorability is intrinsic to the graph and does not depend on the surface it is embedded in \cref{sec:motivation}. Extending the universal construction and proving that it is naturally isomorphic to $\chi{cw}$ will prove \cref{conj:gen-surface}.