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

valid {
    input.Body.id == STRING
    input.Body.packagingGroupId == STRING
    input.Body.resourceId == STRING
    input.Body.sourceArn == STRING
    input.Body.sourceRoleArn == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AdMarkers := [ "NONE", "SCTE35_ENHANCED", "PASSTHROUGH" ]
enum_EncryptionMethod := [ "AES_128", "SAMPLE_AES" ]
enum_ManifestLayout := [ "FULL", "COMPACT" ]
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" ]
enum_ScteMarkersSource := [ "SEGMENTS", "MANIFEST" ]
enum_SegmentTemplateFormat := [ "NUMBER_WITH_TIMELINE", "TIME_WITH_TIMELINE", "NUMBER_WITH_DURATION" ]
enum_StreamOrder := [ "ORIGINAL", "VIDEO_BITRATE_ASCENDING", "VIDEO_BITRATE_DESCENDING" ]
enum___PeriodTriggersElement := [ "ADS" ]

valid {
    input.Body.cmafPackage.encryption.constantInitializationVector == STRING
    input.Body.cmafPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Audio == enum_PresetSpeke20Audio[_]
    input.Body.cmafPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Video == enum_PresetSpeke20Video[_]
    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[_].includeIframeOnlyStream == BOOLEAN
    input.Body.cmafPackage.hlsManifests[_].manifestName == STRING
    input.Body.cmafPackage.hlsManifests[_].programDateTimeIntervalSeconds == INTEGER
    input.Body.cmafPackage.hlsManifests[_].repeatExtXKey == BOOLEAN
    input.Body.cmafPackage.hlsManifests[_].streamSelection.maxVideoBitsPerSecond == INTEGER
    input.Body.cmafPackage.hlsManifests[_].streamSelection.minVideoBitsPerSecond == INTEGER
    input.Body.cmafPackage.hlsManifests[_].streamSelection.streamOrder == enum_StreamOrder[_]
    input.Body.cmafPackage.includeEncoderConfigurationInSegments == BOOLEAN
    input.Body.cmafPackage.segmentDurationSeconds == INTEGER
    input.Body.dashPackage.dashManifests[_].manifestLayout == enum_ManifestLayout[_]
    input.Body.dashPackage.dashManifests[_].manifestName == STRING
    input.Body.dashPackage.dashManifests[_].minBufferTimeSeconds == INTEGER
    input.Body.dashPackage.dashManifests[_].profile == enum_Profile[_]
    input.Body.dashPackage.dashManifests[_].scteMarkersSource == enum_ScteMarkersSource[_]
    input.Body.dashPackage.dashManifests[_].streamSelection.maxVideoBitsPerSecond == INTEGER
    input.Body.dashPackage.dashManifests[_].streamSelection.minVideoBitsPerSecond == INTEGER
    input.Body.dashPackage.dashManifests[_].streamSelection.streamOrder == enum_StreamOrder[_]
    input.Body.dashPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Audio == enum_PresetSpeke20Audio[_]
    input.Body.dashPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Video == enum_PresetSpeke20Video[_]
    input.Body.dashPackage.encryption.spekeKeyProvider.roleArn == STRING
    input.Body.dashPackage.encryption.spekeKeyProvider.systemIds[_] == STRING
    input.Body.dashPackage.encryption.spekeKeyProvider.url == STRING
    input.Body.dashPackage.includeEncoderConfigurationInSegments == BOOLEAN
    input.Body.dashPackage.includeIframeOnlyStream == BOOLEAN
    input.Body.dashPackage.periodTriggers[_] == enum___PeriodTriggersElement[_]
    input.Body.dashPackage.segmentDurationSeconds == INTEGER
    input.Body.dashPackage.segmentTemplateFormat == enum_SegmentTemplateFormat[_]
    input.Body.hlsPackage.encryption.constantInitializationVector == STRING
    input.Body.hlsPackage.encryption.encryptionMethod == enum_EncryptionMethod[_]
    input.Body.hlsPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Audio == enum_PresetSpeke20Audio[_]
    input.Body.hlsPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Video == enum_PresetSpeke20Video[_]
    input.Body.hlsPackage.encryption.spekeKeyProvider.roleArn == STRING
    input.Body.hlsPackage.encryption.spekeKeyProvider.systemIds[_] == STRING
    input.Body.hlsPackage.encryption.spekeKeyProvider.url == STRING
    input.Body.hlsPackage.hlsManifests[_].adMarkers == enum_AdMarkers[_]
    input.Body.hlsPackage.hlsManifests[_].includeIframeOnlyStream == BOOLEAN
    input.Body.hlsPackage.hlsManifests[_].manifestName == STRING
    input.Body.hlsPackage.hlsManifests[_].programDateTimeIntervalSeconds == INTEGER
    input.Body.hlsPackage.hlsManifests[_].repeatExtXKey == BOOLEAN
    input.Body.hlsPackage.hlsManifests[_].streamSelection.maxVideoBitsPerSecond == INTEGER
    input.Body.hlsPackage.hlsManifests[_].streamSelection.minVideoBitsPerSecond == INTEGER
    input.Body.hlsPackage.hlsManifests[_].streamSelection.streamOrder == enum_StreamOrder[_]
    input.Body.hlsPackage.includeDvbSubtitles == BOOLEAN
    input.Body.hlsPackage.segmentDurationSeconds == INTEGER
    input.Body.hlsPackage.useAudioRenditionGroup == BOOLEAN
    input.Body.id == STRING
    input.Body.mssPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Audio == enum_PresetSpeke20Audio[_]
    input.Body.mssPackage.encryption.spekeKeyProvider.encryptionContractConfiguration.presetSpeke20Video == enum_PresetSpeke20Video[_]
    input.Body.mssPackage.encryption.spekeKeyProvider.roleArn == STRING
    input.Body.mssPackage.encryption.spekeKeyProvider.systemIds[_] == STRING
    input.Body.mssPackage.encryption.spekeKeyProvider.url == STRING
    input.Body.mssPackage.mssManifests[_].manifestName == STRING
    input.Body.mssPackage.mssManifests[_].streamSelection.maxVideoBitsPerSecond == INTEGER
    input.Body.mssPackage.mssManifests[_].streamSelection.minVideoBitsPerSecond == INTEGER
    input.Body.mssPackage.mssManifests[_].streamSelection.streamOrder == enum_StreamOrder[_]
    input.Body.mssPackage.segmentDurationSeconds == INTEGER
    input.Body.packagingGroupId == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.authorization.cdnIdentifierSecret == STRING
    input.Body.authorization.secretsRoleArn == STRING
    input.Body.egressAccessLogs.logGroupName == STRING
    input.Body.id == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

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

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

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

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

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

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

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

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

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

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

valid {
    input.Body.authorization.cdnIdentifierSecret == STRING
    input.Body.authorization.secretsRoleArn == STRING
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}