Prismatic $F$-Gauges and Fontaine--Laffaille modules

Let $k$ be a perfect field of characteristic $p$ and $W(k)$ its ring of Witt vectors. We construct an equivalence of categories between the full subcategory of the derived category of quasi-coherent sheaves on the syntomification of $W(k)$ spanned by objects whose Hodge-Tate weights are between $[0,p-2]$ and an appropriate derived category of Fontaine-Laffaille modules.