valid {
    input.Body.captureTime == STRING
    input.Body.connections[_].target.id == STRING
    input.Body.places[_].placeId == STRING
    input.Body.pose.accuracyMeters == NUMBER
    input.Body.pose.altitude == NUMBER
    input.Body.pose.gpsRecordTimestampUnixEpoch == STRING
    input.Body.pose.heading == NUMBER
    input.Body.pose.latLngPair.latitude == NUMBER
    input.Body.pose.latLngPair.longitude == NUMBER
    input.Body.pose.level.name == STRING
    input.Body.pose.level.number == NUMBER
    input.Body.pose.pitch == NUMBER
    input.Body.pose.roll == NUMBER
    input.Body.uploadReference.uploadUrl == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.photoId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ViewParameter := [ "BASIC", "INCLUDE_DOWNLOAD_URL" ]

valid {
    input.ReqMap.photoId == STRING
    input.Qs.languageCode == STRING
    input.Qs.view == enum_ViewParameter[_]
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.STRING == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.captureTime == STRING
    input.Body.connections[_].target.id == STRING
    input.Body.places[_].placeId == STRING
    input.Body.pose.accuracyMeters == NUMBER
    input.Body.pose.altitude == NUMBER
    input.Body.pose.gpsRecordTimestampUnixEpoch == STRING
    input.Body.pose.heading == NUMBER
    input.Body.pose.latLngPair.latitude == NUMBER
    input.Body.pose.latLngPair.longitude == NUMBER
    input.Body.pose.level.name == STRING
    input.Body.pose.level.number == NUMBER
    input.Body.pose.pitch == NUMBER
    input.Body.pose.roll == NUMBER
    input.Body.uploadReference.uploadUrl == STRING
    input.ReqMap.id == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

enum_InputTypeParameter := [ "INPUT_TYPE_UNSPECIFIED", "VIDEO", "XDM" ]
enum_PhotoSequenceGpsSource := [ "PHOTO_SEQUENCE", "CAMERA_MOTION_METADATA_TRACK" ]

valid {
    input.Body.captureTimeOverride == STRING
    input.Body.gpsSource == enum_PhotoSequenceGpsSource[_]
    input.Body.imu.accelMpsps[_].captureTime == STRING
    input.Body.imu.accelMpsps[_].x == NUMBER
    input.Body.imu.accelMpsps[_].y == NUMBER
    input.Body.imu.accelMpsps[_].z == NUMBER
    input.Body.imu.gyroRps[_].captureTime == STRING
    input.Body.imu.gyroRps[_].x == NUMBER
    input.Body.imu.gyroRps[_].y == NUMBER
    input.Body.imu.gyroRps[_].z == NUMBER
    input.Body.imu.magUt[_].captureTime == STRING
    input.Body.imu.magUt[_].x == NUMBER
    input.Body.imu.magUt[_].y == NUMBER
    input.Body.imu.magUt[_].z == NUMBER
    input.Body.rawGpsTimeline[_].accuracyMeters == NUMBER
    input.Body.rawGpsTimeline[_].altitude == NUMBER
    input.Body.rawGpsTimeline[_].gpsRecordTimestampUnixEpoch == STRING
    input.Body.rawGpsTimeline[_].heading == NUMBER
    input.Body.rawGpsTimeline[_].latLngPair.latitude == NUMBER
    input.Body.rawGpsTimeline[_].latLngPair.longitude == NUMBER
    input.Body.rawGpsTimeline[_].level.name == STRING
    input.Body.rawGpsTimeline[_].level.number == NUMBER
    input.Body.rawGpsTimeline[_].pitch == NUMBER
    input.Body.rawGpsTimeline[_].roll == NUMBER
    input.Body.uploadReference.uploadUrl == STRING
    input.Qs.inputType == enum_InputTypeParameter[_]
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.sequenceId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ViewParameter := [ "BASIC", "INCLUDE_DOWNLOAD_URL" ]

valid {
    input.ReqMap.sequenceId == STRING
    input.Qs.filter == STRING
    input.Qs.view == enum_ViewParameter[_]
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.STRING == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.photoIds[_] == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ViewParameter := [ "BASIC", "INCLUDE_DOWNLOAD_URL" ]

valid {
    input.Qs.languageCode == STRING
    input.Qs.photoIds == STRING
    input.Qs.view == enum_ViewParameter[_]
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.updatePhotoRequests[_].photo.captureTime == STRING
    input.Body.updatePhotoRequests[_].photo.connections[_].target.id == STRING
    input.Body.updatePhotoRequests[_].photo.places[_].placeId == STRING
    input.Body.updatePhotoRequests[_].photo.pose.accuracyMeters == NUMBER
    input.Body.updatePhotoRequests[_].photo.pose.altitude == NUMBER
    input.Body.updatePhotoRequests[_].photo.pose.gpsRecordTimestampUnixEpoch == STRING
    input.Body.updatePhotoRequests[_].photo.pose.heading == NUMBER
    input.Body.updatePhotoRequests[_].photo.pose.latLngPair.latitude == NUMBER
    input.Body.updatePhotoRequests[_].photo.pose.latLngPair.longitude == NUMBER
    input.Body.updatePhotoRequests[_].photo.pose.level.name == STRING
    input.Body.updatePhotoRequests[_].photo.pose.level.number == NUMBER
    input.Body.updatePhotoRequests[_].photo.pose.pitch == NUMBER
    input.Body.updatePhotoRequests[_].photo.pose.roll == NUMBER
    input.Body.updatePhotoRequests[_].photo.uploadReference.uploadUrl == STRING
    input.Body.updatePhotoRequests[_].updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ViewParameter := [ "BASIC", "INCLUDE_DOWNLOAD_URL" ]

valid {
    input.Qs.filter == STRING
    input.Qs.languageCode == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.view == enum_ViewParameter[_]
    input.ProviderMetadata.Region == STRING
}