A new model for all $C$-sequences are trivial

We construct a model in which all $C$-sequences are trivial, yet there exists a $\kappa$-Souslin tree with full vanishing levels. This answers a question of Lambie-Hanson and Rinot, and provides an optimal combination of compactness and incompactness. It is obtained by incorporating a so-called mutually exclusive ascent path to Kunen's original forcing construction.