Degeneration of l-adic weight spectral sequences

The degeneracy of the l-adic weight spectral sequence over any trait (with no assumptions on its residue field) is proved by the method of log geometry in the sense of Fontaine-Illusie.