Prismatic cohomology and de Rham-Witt forms

For any prism $(A, d)$ we construct a canonical map $W_r(A/d)\to A/d\phi(d)\ldots\phi^{r-1}(d)$. This map is necessary for existence of a canonical base change comparison between prismatic cohomology and de Rham-Witt forms. We construct a canonical map from prismatic cohomology to de Rham-Witt forms and prove that it is an isomorphism in the perfect case. Using this we get an explicit description of the prismatic cohomology for a $p$-completed polynomial algebra over $A/d$.