Function keep_checks 

fn keep_checks(
    state: &mut AccountState,
    state_path: &Path,
    dir: &Path,
    lines: &[CheckLine],
    update: &mut Update,
) -> Result<(), LearnError>

Checks made after their records were kept: appended to the account’s checks.jsonl.gz, then committed in its state.