Structure theorem for log de Rham-Witt sheaves with vanishing

We prove an elegant structure theorem for log de Rham-Witt sheaves with vanishing along an effective Cartier divisor $D$ defined in arXiv:2403.18763, answering a question of Shuji Saito during the Mainz conference and a question of Yigeng Zhao during a short visit of the author last summer. Our structural result for the log forms also lays the foundation for the study of Milnor $K$-theory with vanishing along $D$ in the paper to come.