Function append 

fn append<T: Serialize>(
    path: &Path,
    committed: u64,
    records: &[T],
) -> Result<u64, LearnError>

Appends one batch to a folder’s file (or the checks’ file) as a gzip member, after cutting off whatever a crash left past committed; the file’s new committed length.