In 2012, NASA's Curiosity rover landed on Mars to assess its potential as a habitat for past life and investigate the paleoclimate record preserved by sedimentary rocks inside the ~150-kilometer-diameter Gale impact crater. Geological reconstructions from Curiosity rover data have revealed an ancient, habitable lake environment fed by rivers draining into the crater. We synthesize geochemical and mineralogical data from lake-bed mudstones collected during the first 1300 martian solar days of rover operations in Gale. We present evidence for lake redox stratification, established by depth-dependent variations in atmospheric oxidant and dissolved-solute concentrations. Paleoclimate proxy data indicate that a transition from colder to warmer climate conditions is preserved in the stratigraphy. Finally, a late phase of geochemical modification by saline fluids is recognized.