Function check_object 

fn check_object(
    map: &Map<String, Value>,
    schema: &Value,
    pointer: &str,
    out: &mut Vec<(String, ViolationKind)>,
)

The object-shaped checks: required, declared properties, and additionalProperties: false.