MEDIAPACKAGE

ConfigureLogs

valid {
    input.Body.egressAccessLogs.logGroupName == STRING
    input.Body.ingressAccessLogs.logGroupName == STRING
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateChannel

valid {
    input.Body.description == STRING
    input.Body.id == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateHarvestJob

valid {
    input.Body.endTime == STRING
    input.Body.id == STRING
    input.Body.originEndpointId == STRING
    input.Body.s3Destination.bucketName == STRING
    input.Body.s3Destination.manifestKey == STRING
    input.Body.s3Destination.roleArn == STRING
    input.Body.startTime == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateOriginEndpoint

enum_AdMarkers := [ "NONE", "SCTE35_ENHANCED", "PASSTHROUGH", "DATERANGE" ]
enum_AdsOnDeliveryRestrictions := [ "NONE", "RESTRICTED", "UNRESTRICTED", "BOTH" ]
enum_CmafEncryptionMethod := [ "SAMPLE_AES", "AES_CTR" ]
enum_EncryptionMethod := [ "AES_128", "SAMPLE_AES" ]
enum_ManifestLayout := [ "FULL", "COMPACT", "DRM_TOP_LEVEL_COMPACT" ]
enum_Origination := [ "ALLOW", "DENY" ]
enum_PlaylistType := [ "NONE", "EVENT", "VOD" ]
enum_PresetSpeke20Audio := [ "PRESET-AUDIO-1", "PRESET-AUDIO-2", "PRESET-AUDIO-3", "SHARED", "UNENCRYPTED" ]
enum_PresetSpeke20Video := [ "PRESET-VIDEO-1", "PRESET-VIDEO-2", "PRESET-VIDEO-3", "PRESET-VIDEO-4", "PRESET-VIDEO-5", "PRESET-VIDEO-6", "PRESET-VIDEO-7", "PRESET-VIDEO-8", "SHARED", "UNENCRYPTED" ]
enum_Profile := [ "NONE", "HBBTV_1_5", "HYBRIDCAST", "DVB_DASH_2014" ]
enum_SegmentTemplateFormat := [ "NUMBER_WITH_TIMELINE", "TIME_WITH_TIMELINE", "NUMBER_WITH_DURATION" ]
enum_StreamOrder := [ "ORIGINAL", "VIDEO_BITRATE_ASCENDING", "VIDEO_BITRATE_DESCENDING" ]
enum_UtcTiming := [ "NONE", "HTTP-HEAD", "HTTP-ISO", "HTTP-XSDATE" ]
enum___AdTriggersElement := [ "SPLICE_INSERT", "BREAK", "PROVIDER_ADVERTISEMENT", "DISTRIBUTOR_ADVERTISEMENT", "PROVIDER_PLACEMENT_OPPORTUNITY", "DISTRIBUTOR_PLACEMENT_OPPORTUNITY", "PROVIDER_OVERLAY_PLACEMENT_OPPORTUNITY", "DISTRIBUTOR_OVERLAY_PLACEMENT_OPPORTUNITY" ]
enum___PeriodTriggersElement := [ "ADS" ]

valid {
    input.Body.authorization.cdnIdentifierSecret == STRING
    input.Body.authorization.secretsRoleArn == STRING
    input.Body.channelId == STRING
    input.Body.cmafPackage.encryption.constantInitializationVector == STRING
    input.Body.cmafPackage.encryption.encryptionMethod == enum_CmafEncryptionMethod[_]
    input.Body.cmafPackage.encryption.keyRotationIntervalSeconds == INTEGER
    input.Body.cmafPackage.encryption.spekeKeyProvider.certificateArn == STRING
    input.Body.cmafPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Audio == enum_PresetSpeke20Audio[_]
    input.Body.cmafPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Video == enum_PresetSpeke20Video[_]
    input.Body.cmafPackage.encryption.spekeKeyProvider.resourceId == STRING
    input.Body.cmafPackage.encryption.spekeKeyProvider.roleArn == STRING
    input.Body.cmafPackage.encryption.spekeKeyProvider.systemIds[_] == STRING
    input.Body.cmafPackage.encryption.spekeKeyProvider.url == STRING
    input.Body.cmafPackage.hlsManifests[_].adMarkers == enum_AdMarkers[_]
    input.Body.cmafPackage.hlsManifests[_].adTriggers[_] == enum___AdTriggersElement[_]
    input.Body.cmafPackage.hlsManifests[_].adsOnDeliveryRestrictions == enum_AdsOnDeliveryRestrictions[_]
    input.Body.cmafPackage.hlsManifests[_].id == STRING
    input.Body.cmafPackage.hlsManifests[_].includeIframeOnlyStream == BOOLEAN
    input.Body.cmafPackage.hlsManifests[_].manifestName == STRING
    input.Body.cmafPackage.hlsManifests[_].playlistType == enum_PlaylistType[_]
    input.Body.cmafPackage.hlsManifests[_].playlistWindowSeconds == INTEGER
    input.Body.cmafPackage.hlsManifests[_].programDateTimeIntervalSeconds == INTEGER
    input.Body.cmafPackage.segmentDurationSeconds == INTEGER
    input.Body.cmafPackage.segmentPrefix == STRING
    input.Body.cmafPackage.streamSelection.maxVideoBitsPerSecond == INTEGER
    input.Body.cmafPackage.streamSelection.minVideoBitsPerSecond == INTEGER
    input.Body.cmafPackage.streamSelection.streamOrder == enum_StreamOrder[_]
    input.Body.dashPackage.adTriggers[_] == enum___AdTriggersElement[_]
    input.Body.dashPackage.adsOnDeliveryRestrictions == enum_AdsOnDeliveryRestrictions[_]
    input.Body.dashPackage.encryption.keyRotationIntervalSeconds == INTEGER
    input.Body.dashPackage.encryption.spekeKeyProvider.certificateArn == STRING
    input.Body.dashPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Audio == enum_PresetSpeke20Audio[_]
    input.Body.dashPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Video == enum_PresetSpeke20Video[_]
    input.Body.dashPackage.encryption.spekeKeyProvider.resourceId == STRING
    input.Body.dashPackage.encryption.spekeKeyProvider.roleArn == STRING
    input.Body.dashPackage.encryption.spekeKeyProvider.systemIds[_] == STRING
    input.Body.dashPackage.encryption.spekeKeyProvider.url == STRING
    input.Body.dashPackage.includeIframeOnlyStream == BOOLEAN
    input.Body.dashPackage.manifestLayout == enum_ManifestLayout[_]
    input.Body.dashPackage.manifestWindowSeconds == INTEGER
    input.Body.dashPackage.minBufferTimeSeconds == INTEGER
    input.Body.dashPackage.minUpdatePeriodSeconds == INTEGER
    input.Body.dashPackage.periodTriggers[_] == enum___PeriodTriggersElement[_]
    input.Body.dashPackage.profile == enum_Profile[_]
    input.Body.dashPackage.segmentDurationSeconds == INTEGER
    input.Body.dashPackage.segmentTemplateFormat == enum_SegmentTemplateFormat[_]
    input.Body.dashPackage.streamSelection.maxVideoBitsPerSecond == INTEGER
    input.Body.dashPackage.streamSelection.minVideoBitsPerSecond == INTEGER
    input.Body.dashPackage.streamSelection.streamOrder == enum_StreamOrder[_]
    input.Body.dashPackage.suggestedPresentationDelaySeconds == INTEGER
    input.Body.dashPackage.utcTiming == enum_UtcTiming[_]
    input.Body.dashPackage.utcTimingUri == STRING
    input.Body.description == STRING
    input.Body.hlsPackage.adMarkers == enum_AdMarkers[_]
    input.Body.hlsPackage.adTriggers[_] == enum___AdTriggersElement[_]
    input.Body.hlsPackage.adsOnDeliveryRestrictions == enum_AdsOnDeliveryRestrictions[_]
    input.Body.hlsPackage.encryption.constantInitializationVector == STRING
    input.Body.hlsPackage.encryption.encryptionMethod == enum_EncryptionMethod[_]
    input.Body.hlsPackage.encryption.keyRotationIntervalSeconds == INTEGER
    input.Body.hlsPackage.encryption.repeatExtXKey == BOOLEAN
    input.Body.hlsPackage.encryption.spekeKeyProvider.certificateArn == STRING
    input.Body.hlsPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Audio == enum_PresetSpeke20Audio[_]
    input.Body.hlsPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Video == enum_PresetSpeke20Video[_]
    input.Body.hlsPackage.encryption.spekeKeyProvider.resourceId == STRING
    input.Body.hlsPackage.encryption.spekeKeyProvider.roleArn == STRING
    input.Body.hlsPackage.encryption.spekeKeyProvider.systemIds[_] == STRING
    input.Body.hlsPackage.encryption.spekeKeyProvider.url == STRING
    input.Body.hlsPackage.includeDvbSubtitles == BOOLEAN
    input.Body.hlsPackage.includeIframeOnlyStream == BOOLEAN
    input.Body.hlsPackage.playlistType == enum_PlaylistType[_]
    input.Body.hlsPackage.playlistWindowSeconds == INTEGER
    input.Body.hlsPackage.programDateTimeIntervalSeconds == INTEGER
    input.Body.hlsPackage.segmentDurationSeconds == INTEGER
    input.Body.hlsPackage.streamSelection.maxVideoBitsPerSecond == INTEGER
    input.Body.hlsPackage.streamSelection.minVideoBitsPerSecond == INTEGER
    input.Body.hlsPackage.streamSelection.streamOrder == enum_StreamOrder[_]
    input.Body.hlsPackage.useAudioRenditionGroup == BOOLEAN
    input.Body.id == STRING
    input.Body.manifestName == STRING
    input.Body.mssPackage.encryption.spekeKeyProvider.certificateArn == STRING
    input.Body.mssPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Audio == enum_PresetSpeke20Audio[_]
    input.Body.mssPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Video == enum_PresetSpeke20Video[_]
    input.Body.mssPackage.encryption.spekeKeyProvider.resourceId == STRING
    input.Body.mssPackage.encryption.spekeKeyProvider.roleArn == STRING
    input.Body.mssPackage.encryption.spekeKeyProvider.systemIds[_] == STRING
    input.Body.mssPackage.encryption.spekeKeyProvider.url == STRING
    input.Body.mssPackage.manifestWindowSeconds == INTEGER
    input.Body.mssPackage.segmentDurationSeconds == INTEGER
    input.Body.mssPackage.streamSelection.maxVideoBitsPerSecond == INTEGER
    input.Body.mssPackage.streamSelection.minVideoBitsPerSecond == INTEGER
    input.Body.mssPackage.streamSelection.streamOrder == enum_StreamOrder[_]
    input.Body.origination == enum_Origination[_]
    input.Body.startoverWindowSeconds == INTEGER
    input.Body.tags.STRING == STRING
    input.Body.timeDelaySeconds == INTEGER
    input.Body.whitelist[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteChannel

valid {
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteOriginEndpoint

valid {
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeChannel

valid {
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeHarvestJob

valid {
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeOriginEndpoint

valid {
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListChannels

valid {
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListHarvestJobs

valid {
    input.Qs.includeChannelId == STRING
    input.Qs.includeStatus == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListOriginEndpoints

valid {
    input.Qs.channelId == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTagsForResource

valid {
    input.ReqMap.resource-arn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

RotateChannelCredentials

valid {
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

RotateIngestEndpointCredentials

valid {
    input.ReqMap.id == STRING
    input.ReqMap.ingest_endpoint_id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

TagResource

valid {
    input.Body.tags.STRING == STRING
    input.ReqMap.resource-arn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UntagResource

valid {
    input.ReqMap.resource-arn == STRING
    input.Qs.tagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateChannel

valid {
    input.Body.description == STRING
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateOriginEndpoint

enum_AdMarkers := [ "NONE", "SCTE35_ENHANCED", "PASSTHROUGH", "DATERANGE" ]
enum_AdsOnDeliveryRestrictions := [ "NONE", "RESTRICTED", "UNRESTRICTED", "BOTH" ]
enum_CmafEncryptionMethod := [ "SAMPLE_AES", "AES_CTR" ]
enum_EncryptionMethod := [ "AES_128", "SAMPLE_AES" ]
enum_ManifestLayout := [ "FULL", "COMPACT", "DRM_TOP_LEVEL_COMPACT" ]
enum_Origination := [ "ALLOW", "DENY" ]
enum_PlaylistType := [ "NONE", "EVENT", "VOD" ]
enum_PresetSpeke20Audio := [ "PRESET-AUDIO-1", "PRESET-AUDIO-2", "PRESET-AUDIO-3", "SHARED", "UNENCRYPTED" ]
enum_PresetSpeke20Video := [ "PRESET-VIDEO-1", "PRESET-VIDEO-2", "PRESET-VIDEO-3", "PRESET-VIDEO-4", "PRESET-VIDEO-5", "PRESET-VIDEO-6", "PRESET-VIDEO-7", "PRESET-VIDEO-8", "SHARED", "UNENCRYPTED" ]
enum_Profile := [ "NONE", "HBBTV_1_5", "HYBRIDCAST", "DVB_DASH_2014" ]
enum_SegmentTemplateFormat := [ "NUMBER_WITH_TIMELINE", "TIME_WITH_TIMELINE", "NUMBER_WITH_DURATION" ]
enum_StreamOrder := [ "ORIGINAL", "VIDEO_BITRATE_ASCENDING", "VIDEO_BITRATE_DESCENDING" ]
enum_UtcTiming := [ "NONE", "HTTP-HEAD", "HTTP-ISO", "HTTP-XSDATE" ]
enum___AdTriggersElement := [ "SPLICE_INSERT", "BREAK", "PROVIDER_ADVERTISEMENT", "DISTRIBUTOR_ADVERTISEMENT", "PROVIDER_PLACEMENT_OPPORTUNITY", "DISTRIBUTOR_PLACEMENT_OPPORTUNITY", "PROVIDER_OVERLAY_PLACEMENT_OPPORTUNITY", "DISTRIBUTOR_OVERLAY_PLACEMENT_OPPORTUNITY" ]
enum___PeriodTriggersElement := [ "ADS" ]

valid {
    input.Body.authorization.cdnIdentifierSecret == STRING
    input.Body.authorization.secretsRoleArn == STRING
    input.Body.cmafPackage.encryption.constantInitializationVector == STRING
    input.Body.cmafPackage.encryption.encryptionMethod == enum_CmafEncryptionMethod[_]
    input.Body.cmafPackage.encryption.keyRotationIntervalSeconds == INTEGER
    input.Body.cmafPackage.encryption.spekeKeyProvider.certificateArn == STRING
    input.Body.cmafPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Audio == enum_PresetSpeke20Audio[_]
    input.Body.cmafPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Video == enum_PresetSpeke20Video[_]
    input.Body.cmafPackage.encryption.spekeKeyProvider.resourceId == STRING
    input.Body.cmafPackage.encryption.spekeKeyProvider.roleArn == STRING
    input.Body.cmafPackage.encryption.spekeKeyProvider.systemIds[_] == STRING
    input.Body.cmafPackage.encryption.spekeKeyProvider.url == STRING
    input.Body.cmafPackage.hlsManifests[_].adMarkers == enum_AdMarkers[_]
    input.Body.cmafPackage.hlsManifests[_].adTriggers[_] == enum___AdTriggersElement[_]
    input.Body.cmafPackage.hlsManifests[_].adsOnDeliveryRestrictions == enum_AdsOnDeliveryRestrictions[_]
    input.Body.cmafPackage.hlsManifests[_].id == STRING
    input.Body.cmafPackage.hlsManifests[_].includeIframeOnlyStream == BOOLEAN
    input.Body.cmafPackage.hlsManifests[_].manifestName == STRING
    input.Body.cmafPackage.hlsManifests[_].playlistType == enum_PlaylistType[_]
    input.Body.cmafPackage.hlsManifests[_].playlistWindowSeconds == INTEGER
    input.Body.cmafPackage.hlsManifests[_].programDateTimeIntervalSeconds == INTEGER
    input.Body.cmafPackage.segmentDurationSeconds == INTEGER
    input.Body.cmafPackage.segmentPrefix == STRING
    input.Body.cmafPackage.streamSelection.maxVideoBitsPerSecond == INTEGER
    input.Body.cmafPackage.streamSelection.minVideoBitsPerSecond == INTEGER
    input.Body.cmafPackage.streamSelection.streamOrder == enum_StreamOrder[_]
    input.Body.dashPackage.adTriggers[_] == enum___AdTriggersElement[_]
    input.Body.dashPackage.adsOnDeliveryRestrictions == enum_AdsOnDeliveryRestrictions[_]
    input.Body.dashPackage.encryption.keyRotationIntervalSeconds == INTEGER
    input.Body.dashPackage.encryption.spekeKeyProvider.certificateArn == STRING
    input.Body.dashPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Audio == enum_PresetSpeke20Audio[_]
    input.Body.dashPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Video == enum_PresetSpeke20Video[_]
    input.Body.dashPackage.encryption.spekeKeyProvider.resourceId == STRING
    input.Body.dashPackage.encryption.spekeKeyProvider.roleArn == STRING
    input.Body.dashPackage.encryption.spekeKeyProvider.systemIds[_] == STRING
    input.Body.dashPackage.encryption.spekeKeyProvider.url == STRING
    input.Body.dashPackage.includeIframeOnlyStream == BOOLEAN
    input.Body.dashPackage.manifestLayout == enum_ManifestLayout[_]
    input.Body.dashPackage.manifestWindowSeconds == INTEGER
    input.Body.dashPackage.minBufferTimeSeconds == INTEGER
    input.Body.dashPackage.minUpdatePeriodSeconds == INTEGER
    input.Body.dashPackage.periodTriggers[_] == enum___PeriodTriggersElement[_]
    input.Body.dashPackage.profile == enum_Profile[_]
    input.Body.dashPackage.segmentDurationSeconds == INTEGER
    input.Body.dashPackage.segmentTemplateFormat == enum_SegmentTemplateFormat[_]
    input.Body.dashPackage.streamSelection.maxVideoBitsPerSecond == INTEGER
    input.Body.dashPackage.streamSelection.minVideoBitsPerSecond == INTEGER
    input.Body.dashPackage.streamSelection.streamOrder == enum_StreamOrder[_]
    input.Body.dashPackage.suggestedPresentationDelaySeconds == INTEGER
    input.Body.dashPackage.utcTiming == enum_UtcTiming[_]
    input.Body.dashPackage.utcTimingUri == STRING
    input.Body.description == STRING
    input.Body.hlsPackage.adMarkers == enum_AdMarkers[_]
    input.Body.hlsPackage.adTriggers[_] == enum___AdTriggersElement[_]
    input.Body.hlsPackage.adsOnDeliveryRestrictions == enum_AdsOnDeliveryRestrictions[_]
    input.Body.hlsPackage.encryption.constantInitializationVector == STRING
    input.Body.hlsPackage.encryption.encryptionMethod == enum_EncryptionMethod[_]
    input.Body.hlsPackage.encryption.keyRotationIntervalSeconds == INTEGER
    input.Body.hlsPackage.encryption.repeatExtXKey == BOOLEAN
    input.Body.hlsPackage.encryption.spekeKeyProvider.certificateArn == STRING
    input.Body.hlsPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Audio == enum_PresetSpeke20Audio[_]
    input.Body.hlsPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Video == enum_PresetSpeke20Video[_]
    input.Body.hlsPackage.encryption.spekeKeyProvider.resourceId == STRING
    input.Body.hlsPackage.encryption.spekeKeyProvider.roleArn == STRING
    input.Body.hlsPackage.encryption.spekeKeyProvider.systemIds[_] == STRING
    input.Body.hlsPackage.encryption.spekeKeyProvider.url == STRING
    input.Body.hlsPackage.includeDvbSubtitles == BOOLEAN
    input.Body.hlsPackage.includeIframeOnlyStream == BOOLEAN
    input.Body.hlsPackage.playlistType == enum_PlaylistType[_]
    input.Body.hlsPackage.playlistWindowSeconds == INTEGER
    input.Body.hlsPackage.programDateTimeIntervalSeconds == INTEGER
    input.Body.hlsPackage.segmentDurationSeconds == INTEGER
    input.Body.hlsPackage.streamSelection.maxVideoBitsPerSecond == INTEGER
    input.Body.hlsPackage.streamSelection.minVideoBitsPerSecond == INTEGER
    input.Body.hlsPackage.streamSelection.streamOrder == enum_StreamOrder[_]
    input.Body.hlsPackage.useAudioRenditionGroup == BOOLEAN
    input.Body.manifestName == STRING
    input.Body.mssPackage.encryption.spekeKeyProvider.certificateArn == STRING
    input.Body.mssPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Audio == enum_PresetSpeke20Audio[_]
    input.Body.mssPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Video == enum_PresetSpeke20Video[_]
    input.Body.mssPackage.encryption.spekeKeyProvider.resourceId == STRING
    input.Body.mssPackage.encryption.spekeKeyProvider.roleArn == STRING
    input.Body.mssPackage.encryption.spekeKeyProvider.systemIds[_] == STRING
    input.Body.mssPackage.encryption.spekeKeyProvider.url == STRING
    input.Body.mssPackage.manifestWindowSeconds == INTEGER
    input.Body.mssPackage.segmentDurationSeconds == INTEGER
    input.Body.mssPackage.streamSelection.maxVideoBitsPerSecond == INTEGER
    input.Body.mssPackage.streamSelection.minVideoBitsPerSecond == INTEGER
    input.Body.mssPackage.streamSelection.streamOrder == enum_StreamOrder[_]
    input.Body.origination == enum_Origination[_]
    input.Body.startoverWindowSeconds == INTEGER
    input.Body.timeDelaySeconds == INTEGER
    input.Body.whitelist[_] == STRING
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}