Mathematical physicists in solid state physics and topological insulators talk a lot about Walker-Wang models, which are a family of Hamiltonians defined on a 3d lattice. Unfortunately, the original paper is lacking a lot of mathematical details which were promised to appear in a later article, but (to my knowledge) never did.

The model looks a lot like the 20 years older Crane-Yetter model, in that it needs a ribbon fusion category (also called "premodular, in that it doesn't need to be modular) as labelling data. An article treating (amongst many other things) the ground state degeneracy of Walker-Wang models suggests that for modular categories, the ground state is in fact nondegenerate for all spatial topologies, that is, the topological state space is 1-dimensional. This is the same behaviour as in Crane-Yetter for modular categories, where $CY(N) = n^{\sigma(N)} \implies CY(S^1 \times M) = 1$ also suggests 1-dimensional state spaces (the general case is, I think, unknown).

The article briefly mentions the Crane-Yetter model for modular categories, but I fail to find a definitive statement like "Walker-Wang and Crane-Yetter are the same TQFT" or "they're different" in the article or elsewhere.

Are they the same (as Turaev-Viro and Levin-Wen seem to be related as well) and Walker-Wang is just the hamiltonian formulation?