docs about check_spec