For AI agents: visit https://public.docs.kivera.io/llms.txt for an index of all pages formatted in Markdown and endpoints in OpenAPI.
valid {
input.Body.LogBucket == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.RoleArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ProtectionId == STRING
input.Body.HealthCheckArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.EmergencyContactList[_].EmailAddress == STRING
input.Body.EmergencyContactList[_].PhoneNumber == STRING
input.Body.EmergencyContactList[_].ContactNotes == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.Name == STRING
input.Body.ResourceArn == STRING
input.Body.Tags[_].Key == STRING
input.Body.Tags[_].Value == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_ProtectedResourceType := [ "CLOUDFRONT_DISTRIBUTION", "ROUTE_53_HOSTED_ZONE", "ELASTIC_IP_ALLOCATION", "CLASSIC_LOAD_BALANCER", "APPLICATION_LOAD_BALANCER", "GLOBAL_ACCELERATOR" ]
enum_ProtectionGroupAggregation := [ "SUM", "MEAN", "MAX" ]
enum_ProtectionGroupPattern := [ "ALL", "ARBITRARY", "BY_RESOURCE_TYPE" ]
valid {
input.Body.ProtectionGroupId == STRING
input.Body.Aggregation == enum_ProtectionGroupAggregation[_]
input.Body.Pattern == enum_ProtectionGroupPattern[_]
input.Body.ResourceType == enum_ProtectedResourceType[_]
input.Body.Members[_] == STRING
input.Body.Tags[_].Key == STRING
input.Body.Tags[_].Value == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ProtectionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ProtectionGroupId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.AttackId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ProtectionId == STRING
input.Body.ResourceArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ProtectionGroupId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ResourceArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.LogBucket == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ProtectionId == STRING
input.Body.HealthCheckArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ResourceArn == STRING
input.Body.Action.Block == {}
input.Body.Action.Count == {}
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ResourceArns[_] == STRING
input.Body.StartTime.FromInclusive == TIMESTAMP
input.Body.StartTime.ToExclusive == TIMESTAMP
input.Body.EndTime.FromInclusive == TIMESTAMP
input.Body.EndTime.ToExclusive == TIMESTAMP
input.Body.NextToken == STRING
input.Body.MaxResults == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_ProtectedResourceType := [ "CLOUDFRONT_DISTRIBUTION", "ROUTE_53_HOSTED_ZONE", "ELASTIC_IP_ALLOCATION", "CLASSIC_LOAD_BALANCER", "APPLICATION_LOAD_BALANCER", "GLOBAL_ACCELERATOR" ]
enum_ProtectionGroupAggregation := [ "SUM", "MEAN", "MAX" ]
enum_ProtectionGroupPattern := [ "ALL", "ARBITRARY", "BY_RESOURCE_TYPE" ]
valid {
input.Body.NextToken == STRING
input.Body.MaxResults == INTEGER
input.Body.InclusionFilters.ProtectionGroupIds[_] == STRING
input.Body.InclusionFilters.Patterns[_] == enum_ProtectionGroupPattern[_]
input.Body.InclusionFilters.ResourceTypes[_] == enum_ProtectedResourceType[_]
input.Body.InclusionFilters.Aggregations[_] == enum_ProtectionGroupAggregation[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_ProtectedResourceType := [ "CLOUDFRONT_DISTRIBUTION", "ROUTE_53_HOSTED_ZONE", "ELASTIC_IP_ALLOCATION", "CLASSIC_LOAD_BALANCER", "APPLICATION_LOAD_BALANCER", "GLOBAL_ACCELERATOR" ]
valid {
input.Body.NextToken == STRING
input.Body.MaxResults == INTEGER
input.Body.InclusionFilters.ResourceArns[_] == STRING
input.Body.InclusionFilters.ProtectionNames[_] == STRING
input.Body.InclusionFilters.ResourceTypes[_] == enum_ProtectedResourceType[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ProtectionGroupId == STRING
input.Body.NextToken == STRING
input.Body.MaxResults == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ResourceARN == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ResourceARN == STRING
input.Body.Tags[_].Key == STRING
input.Body.Tags[_].Value == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ResourceARN == STRING
input.Body.TagKeys[_] == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ResourceArn == STRING
input.Body.Action.Block == {}
input.Body.Action.Count == {}
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.EmergencyContactList[_].EmailAddress == STRING
input.Body.EmergencyContactList[_].PhoneNumber == STRING
input.Body.EmergencyContactList[_].ContactNotes == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_ProtectedResourceType := [ "CLOUDFRONT_DISTRIBUTION", "ROUTE_53_HOSTED_ZONE", "ELASTIC_IP_ALLOCATION", "CLASSIC_LOAD_BALANCER", "APPLICATION_LOAD_BALANCER", "GLOBAL_ACCELERATOR" ]
enum_ProtectionGroupAggregation := [ "SUM", "MEAN", "MAX" ]
enum_ProtectionGroupPattern := [ "ALL", "ARBITRARY", "BY_RESOURCE_TYPE" ]
valid {
input.Body.ProtectionGroupId == STRING
input.Body.Aggregation == enum_ProtectionGroupAggregation[_]
input.Body.Pattern == enum_ProtectionGroupPattern[_]
input.Body.ResourceType == enum_ProtectedResourceType[_]
input.Body.Members[_] == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_AutoRenew := [ "ENABLED", "DISABLED" ]
valid {
input.Body.AutoRenew == enum_AutoRenew[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}