For AI agents: visit https://public.docs.kivera.io/llms.txt for an index of all pages formatted in Markdown and endpoints in OpenAPI.
MIGRATION-HUB-REFACTOR-SPACES
enum_ApiGatewayEndpointType := [ "REGIONAL", "PRIVATE" ]
enum_ProxyType := [ "API_GATEWAY" ]
valid {
input.Body.ApiGatewayProxy.EndpointType == enum_ApiGatewayEndpointType[_]
input.Body.ApiGatewayProxy.StageName == STRING
input.Body.ClientToken == STRING
input.Body.Name == STRING
input.Body.ProxyType == enum_ProxyType[_]
input.Body.Tags.STRING == STRING
input.Body.VpcId == STRING
input.ReqMap.EnvironmentIdentifier == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_NetworkFabricType := [ "TRANSIT_GATEWAY", "NONE" ]
valid {
input.Body.ClientToken == STRING
input.Body.Description == STRING
input.Body.Name == STRING
input.Body.NetworkFabricType == enum_NetworkFabricType[_]
input.Body.Tags.STRING == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_HttpMethod := [ "DELETE", "GET", "HEAD", "OPTIONS", "PATCH", "POST", "PUT" ]
enum_RouteActivationState := [ "ACTIVE", "INACTIVE" ]
enum_RouteType := [ "DEFAULT", "URI_PATH" ]
valid {
input.Body.ClientToken == STRING
input.Body.DefaultRoute.ActivationState == enum_RouteActivationState[_]
input.Body.RouteType == enum_RouteType[_]
input.Body.ServiceIdentifier == STRING
input.Body.Tags.STRING == STRING
input.Body.UriPathRoute.ActivationState == enum_RouteActivationState[_]
input.Body.UriPathRoute.AppendSourcePath == BOOLEAN
input.Body.UriPathRoute.IncludeChildPaths == BOOLEAN
input.Body.UriPathRoute.Methods[_] == enum_HttpMethod[_]
input.Body.UriPathRoute.SourcePath == STRING
input.ReqMap.ApplicationIdentifier == STRING
input.ReqMap.EnvironmentIdentifier == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_ServiceEndpointType := [ "LAMBDA", "URL" ]
valid {
input.Body.ClientToken == STRING
input.Body.Description == STRING
input.Body.EndpointType == enum_ServiceEndpointType[_]
input.Body.LambdaEndpoint.Arn == STRING
input.Body.Name == STRING
input.Body.Tags.STRING == STRING
input.Body.UrlEndpoint.HealthUrl == STRING
input.Body.UrlEndpoint.Url == STRING
input.Body.VpcId == STRING
input.ReqMap.ApplicationIdentifier == STRING
input.ReqMap.EnvironmentIdentifier == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.ApplicationIdentifier == STRING
input.ReqMap.EnvironmentIdentifier == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.EnvironmentIdentifier == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.Identifier == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.ApplicationIdentifier == STRING
input.ReqMap.EnvironmentIdentifier == STRING
input.ReqMap.RouteIdentifier == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.ApplicationIdentifier == STRING
input.ReqMap.EnvironmentIdentifier == STRING
input.ReqMap.ServiceIdentifier == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.ApplicationIdentifier == STRING
input.ReqMap.EnvironmentIdentifier == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.EnvironmentIdentifier == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.Identifier == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.ApplicationIdentifier == STRING
input.ReqMap.EnvironmentIdentifier == STRING
input.ReqMap.RouteIdentifier == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.ApplicationIdentifier == STRING
input.ReqMap.EnvironmentIdentifier == STRING
input.ReqMap.ServiceIdentifier == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.EnvironmentIdentifier == STRING
input.Qs.maxResults == INTEGER
input.Qs.nextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.EnvironmentIdentifier == STRING
input.Qs.maxResults == INTEGER
input.Qs.nextToken == 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.ApplicationIdentifier == STRING
input.ReqMap.EnvironmentIdentifier == STRING
input.Qs.maxResults == INTEGER
input.Qs.nextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.ApplicationIdentifier == STRING
input.ReqMap.EnvironmentIdentifier == STRING
input.Qs.maxResults == INTEGER
input.Qs.nextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.ResourceArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.Policy == STRING
input.Body.ResourceArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.Tags.STRING == STRING
input.ReqMap.ResourceArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.ResourceArn == STRING
input.Qs.tagKeys[_] == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_RouteActivationState := [ "ACTIVE", "INACTIVE" ]
valid {
input.Body.ActivationState == enum_RouteActivationState[_]
input.ReqMap.ApplicationIdentifier == STRING
input.ReqMap.EnvironmentIdentifier == STRING
input.ReqMap.RouteIdentifier == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}