valid {
    input.ProviderMetadata.Region == STRING
}

enum_MessageRole := [ "ROLE_UNSPECIFIED", "ROLE_USER", "ROLE_AGENT" ]

valid {
    input.Body.configuration.acceptedOutputModes[_] == STRING
    input.Body.configuration.blocking == BOOLEAN
    input.Body.configuration.historyLength == INTEGER
    input.Body.configuration.pushNotification.authentication.credentials == STRING
    input.Body.configuration.pushNotification.authentication.schemes[_] == STRING
    input.Body.configuration.pushNotification.id == STRING
    input.Body.configuration.pushNotification.token == STRING
    input.Body.configuration.pushNotification.url == STRING
    input.Body.message.content[_].data.data.STRING == ANY
    input.Body.message.content[_].file.fileWithBytes == STRING
    input.Body.message.content[_].file.fileWithUri == STRING
    input.Body.message.content[_].file.mimeType == STRING
    input.Body.message.content[_].file.name == STRING
    input.Body.message.content[_].metadata.STRING == ANY
    input.Body.message.content[_].text == STRING
    input.Body.message.contextId == STRING
    input.Body.message.extensions[_] == STRING
    input.Body.message.messageId == STRING
    input.Body.message.metadata.STRING == ANY
    input.Body.message.role == enum_MessageRole[_]
    input.Body.message.taskId == STRING
    input.Body.metadata.STRING == ANY
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.etag == STRING
    input.Body.eventTypes[_] == STRING
    input.Body.expireTime == STRING
    input.Body.name == STRING
    input.Body.notificationEndpoint.pubsubTopic == STRING
    input.Body.payloadOptions.fieldMask == STRING
    input.Body.payloadOptions.includeResource == BOOLEAN
    input.Body.targetResource == STRING
    input.Body.ttl == STRING
    input.Qs.validateOnly == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.allowMissing == BOOLEAN
    input.Qs.etag == STRING
    input.Qs.validateOnly == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.etag == STRING
    input.Body.eventTypes[_] == STRING
    input.Body.expireTime == STRING
    input.Body.name == STRING
    input.Body.notificationEndpoint.pubsubTopic == STRING
    input.Body.payloadOptions.fieldMask == STRING
    input.Body.payloadOptions.includeResource == BOOLEAN
    input.Body.targetResource == STRING
    input.Body.ttl == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.Qs.validateOnly == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.STRING == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.STRING == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.historyLength == INTEGER
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.name == STRING
    input.Body.pushNotificationConfig.authentication.credentials == STRING
    input.Body.pushNotificationConfig.authentication.schemes[_] == STRING
    input.Body.pushNotificationConfig.id == STRING
    input.Body.pushNotificationConfig.token == STRING
    input.Body.pushNotificationConfig.url == STRING
    input.ReqMap.parent == STRING
    input.Qs.configId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}