Function print_json 

pub fn print_json(
    stage_filter: Option<Stage>,
    pushed: bool,
    listings: &[CheckListing],
)

{"stage_filter": ..., "pushed": ..., "checks": [...]} — an object, not a bare array, so a field can be added later without changing the top-level shape.