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.name == STRING
input.Body.expiresTime == TIMESTAMP
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_InstanceType := [ "dev.standard1.small", "dev.standard1.medium", "dev.standard1.large", "dev.standard1.xlarge" ]
valid {
input.Body.repositories[_].repositoryName == STRING
input.Body.repositories[_].branchName == STRING
input.Body.clientToken == STRING
input.Body.alias == STRING
input.Body.ides[_].runtime == STRING
input.Body.ides[_].name == STRING
input.Body.instanceType == enum_InstanceType[_]
input.Body.inactivityTimeoutMinutes == INTEGER
input.Body.persistentStorage.sizeInGiB == INTEGER
input.Body.vpcConnectionName == STRING
input.ReqMap.spaceName == STRING
input.ReqMap.projectName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.displayName == STRING
input.Body.description == STRING
input.ReqMap.spaceName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.description == STRING
input.ReqMap.spaceName == STRING
input.ReqMap.projectName == STRING
input.ReqMap.name == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.headCommitId == STRING
input.ReqMap.spaceName == STRING
input.ReqMap.projectName == STRING
input.ReqMap.sourceRepositoryName == STRING
input.ReqMap.name == 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.spaceName == STRING
input.ReqMap.projectName == STRING
input.ReqMap.id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.spaceName == STRING
input.ReqMap.name == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.spaceName == STRING
input.ReqMap.projectName == STRING
input.ReqMap.name == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.name == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.spaceName == STRING
input.ReqMap.projectName == STRING
input.ReqMap.id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.spaceName == STRING
input.ReqMap.name == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.spaceName == STRING
input.ReqMap.projectName == STRING
input.ReqMap.name == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.spaceName == STRING
input.ReqMap.projectName == STRING
input.ReqMap.sourceRepositoryName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.name == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.spaceName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Qs.id == STRING
input.Qs.userName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.spaceName == STRING
input.ReqMap.id == STRING
input.ReqMap.projectName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.spaceName == STRING
input.ReqMap.id == STRING
input.ReqMap.projectName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.maxResults == INTEGER
input.Body.nextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.nextToken == STRING
input.Body.maxResults == INTEGER
input.ReqMap.spaceName == STRING
input.ReqMap.projectName == STRING
input.ReqMap.devEnvironmentId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.projectName == STRING
input.Body.filters[_].key == STRING
input.Body.filters[_].values[_] == STRING
input.Body.filters[_].comparisonOperator == STRING
input.Body.nextToken == STRING
input.Body.maxResults == INTEGER
input.ReqMap.spaceName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.startTime == TIMESTAMP
input.Body.endTime == TIMESTAMP
input.Body.eventName == STRING
input.Body.nextToken == STRING
input.Body.maxResults == INTEGER
input.ReqMap.spaceName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_ComparisonOperator := [ "EQ", "GT", "GE", "LT", "LE", "BEGINS_WITH" ]
enum_FilterKey := [ "hasAccessTo", "name" ]
valid {
input.Body.nextToken == STRING
input.Body.maxResults == INTEGER
input.Body.filters[_].key == enum_FilterKey[_]
input.Body.filters[_].values[_] == STRING
input.Body.filters[_].comparisonOperator == enum_ComparisonOperator[_]
input.ReqMap.spaceName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.nextToken == STRING
input.Body.maxResults == INTEGER
input.ReqMap.spaceName == STRING
input.ReqMap.projectName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.nextToken == STRING
input.Body.maxResults == INTEGER
input.ReqMap.spaceName == STRING
input.ReqMap.projectName == STRING
input.ReqMap.sourceRepositoryName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.nextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.sortBy[_] == {}
input.ReqMap.spaceName == STRING
input.ReqMap.projectName == STRING
input.Qs.workflowId == STRING
input.Qs.nextToken == STRING
input.Qs.maxResults == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.sortBy[_] == {}
input.ReqMap.spaceName == STRING
input.ReqMap.projectName == STRING
input.Qs.nextToken == STRING
input.Qs.maxResults == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_InstanceType := [ "dev.standard1.small", "dev.standard1.medium", "dev.standard1.large", "dev.standard1.xlarge" ]
valid {
input.Body.ides[_].runtime == STRING
input.Body.ides[_].name == STRING
input.Body.instanceType == enum_InstanceType[_]
input.Body.inactivityTimeoutMinutes == INTEGER
input.ReqMap.spaceName == STRING
input.ReqMap.projectName == STRING
input.ReqMap.id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_DevEnvironmentSessionType := [ "SSM", "SSH" ]
valid {
input.Body.sessionConfiguration.sessionType == enum_DevEnvironmentSessionType[_]
input.Body.sessionConfiguration.executeCommandSessionConfiguration.command == STRING
input.Body.sessionConfiguration.executeCommandSessionConfiguration.arguments[_] == STRING
input.ReqMap.spaceName == STRING
input.ReqMap.projectName == STRING
input.ReqMap.id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.clientToken == STRING
input.ReqMap.spaceName == STRING
input.ReqMap.projectName == STRING
input.Qs.workflowId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.spaceName == STRING
input.ReqMap.projectName == STRING
input.ReqMap.id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.spaceName == STRING
input.ReqMap.projectName == STRING
input.ReqMap.id == STRING
input.ReqMap.sessionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_InstanceType := [ "dev.standard1.small", "dev.standard1.medium", "dev.standard1.large", "dev.standard1.xlarge" ]
valid {
input.Body.alias == STRING
input.Body.ides[_].runtime == STRING
input.Body.ides[_].name == STRING
input.Body.instanceType == enum_InstanceType[_]
input.Body.inactivityTimeoutMinutes == INTEGER
input.Body.clientToken == STRING
input.ReqMap.spaceName == STRING
input.ReqMap.projectName == STRING
input.ReqMap.id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.description == STRING
input.ReqMap.spaceName == STRING
input.ReqMap.name == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.description == STRING
input.ReqMap.name == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.description == STRING
input.ReqMap.name == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}