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

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

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

valid {
    input.Body.kmsKey == STRING
    input.Body.kmsKeyVersion == STRING
    input.Body.name == STRING
    input.Body.singleRegionKeys[_].kmsKey == STRING
    input.ReqMap.name == STRING
    input.Qs.setDefault == BOOLEAN
    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
}

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

valid {
    input.Body.entities[_] == STRING
    input.Body.forceRefreshContent == BOOLEAN
    input.Body.healthcareFhirResourceTypes[_] == STRING
    input.Body.syncIdentity == BOOLEAN
    input.Body.syncSinceTimestamp == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.matcher.fhirMatcher.fhirResources == STRING
    input.Qs.matcher.urisMatcher.uris == 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.Body.content.mimeType == STRING
    input.Body.content.rawBytes == STRING
    input.Body.content.uri == STRING
    input.Body.id == STRING
    input.Body.jsonData == STRING
    input.Body.name == STRING
    input.Body.parentDocumentId == STRING
    input.Body.schemaId == STRING
    input.Body.structData.STRING == ANY
    input.ReqMap.parent == STRING
    input.Qs.documentId == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

enum_ProcessedDocumentFormatParameter := [ "PROCESSED_DOCUMENT_FORMAT_UNSPECIFIED", "JSON" ]
enum_ProcessedDocumentTypeParameter := [ "PROCESSED_DOCUMENT_TYPE_UNSPECIFIED", "PARSED_DOCUMENT", "CHUNKED_DOCUMENT", "IMAGE_CONVERTED_DOCUMENT" ]

valid {
    input.ReqMap.name == STRING
    input.Qs.processedDocumentFormat == enum_ProcessedDocumentFormatParameter[_]
    input.Qs.processedDocumentType == enum_ProcessedDocumentTypeParameter[_]
    input.ProviderMetadata.Region == STRING
}

enum_GoogleCloudDiscoveryengineV1BigtableOptionsBigtableColumnEncoding := [ "ENCODING_UNSPECIFIED", "TEXT", "BINARY" ]
enum_GoogleCloudDiscoveryengineV1BigtableOptionsBigtableColumnFamilyEncoding := [ "ENCODING_UNSPECIFIED", "TEXT", "BINARY" ]
enum_GoogleCloudDiscoveryengineV1BigtableOptionsBigtableColumnFamilyType := [ "TYPE_UNSPECIFIED", "STRING", "NUMBER", "INTEGER", "VAR_INTEGER", "BIG_NUMERIC", "BOOLEAN", "JSON" ]
enum_GoogleCloudDiscoveryengineV1BigtableOptionsBigtableColumnType := [ "TYPE_UNSPECIFIED", "STRING", "NUMBER", "INTEGER", "VAR_INTEGER", "BIG_NUMERIC", "BOOLEAN", "JSON" ]
enum_GoogleCloudDiscoveryengineV1ImportDocumentsRequestReconciliationMode := [ "RECONCILIATION_MODE_UNSPECIFIED", "INCREMENTAL", "FULL" ]

valid {
    input.Body.alloyDbSource.clusterId == STRING
    input.Body.alloyDbSource.databaseId == STRING
    input.Body.alloyDbSource.gcsStagingDir == STRING
    input.Body.alloyDbSource.locationId == STRING
    input.Body.alloyDbSource.projectId == STRING
    input.Body.alloyDbSource.tableId == STRING
    input.Body.autoGenerateIds == BOOLEAN
    input.Body.bigquerySource.dataSchema == STRING
    input.Body.bigquerySource.datasetId == STRING
    input.Body.bigquerySource.gcsStagingDir == STRING
    input.Body.bigquerySource.partitionDate.day == INTEGER
    input.Body.bigquerySource.partitionDate.month == INTEGER
    input.Body.bigquerySource.partitionDate.year == INTEGER
    input.Body.bigquerySource.projectId == STRING
    input.Body.bigquerySource.tableId == STRING
    input.Body.bigtableSource.bigtableOptions.families.STRING.columns[_].encoding == enum_GoogleCloudDiscoveryengineV1BigtableOptionsBigtableColumnEncoding[_]
    input.Body.bigtableSource.bigtableOptions.families.STRING.columns[_].fieldName == STRING
    input.Body.bigtableSource.bigtableOptions.families.STRING.columns[_].qualifier == STRING
    input.Body.bigtableSource.bigtableOptions.families.STRING.columns[_].type == enum_GoogleCloudDiscoveryengineV1BigtableOptionsBigtableColumnType[_]
    input.Body.bigtableSource.bigtableOptions.families.STRING.encoding == enum_GoogleCloudDiscoveryengineV1BigtableOptionsBigtableColumnFamilyEncoding[_]
    input.Body.bigtableSource.bigtableOptions.families.STRING.fieldName == STRING
    input.Body.bigtableSource.bigtableOptions.families.STRING.type == enum_GoogleCloudDiscoveryengineV1BigtableOptionsBigtableColumnFamilyType[_]
    input.Body.bigtableSource.bigtableOptions.keyFieldName == STRING
    input.Body.bigtableSource.instanceId == STRING
    input.Body.bigtableSource.projectId == STRING
    input.Body.bigtableSource.tableId == STRING
    input.Body.cloudSqlSource.databaseId == STRING
    input.Body.cloudSqlSource.gcsStagingDir == STRING
    input.Body.cloudSqlSource.instanceId == STRING
    input.Body.cloudSqlSource.offload == BOOLEAN
    input.Body.cloudSqlSource.projectId == STRING
    input.Body.cloudSqlSource.tableId == STRING
    input.Body.errorConfig.gcsPrefix == STRING
    input.Body.fhirStoreSource.fhirStore == STRING
    input.Body.fhirStoreSource.gcsStagingDir == STRING
    input.Body.fhirStoreSource.resourceTypes[_] == STRING
    input.Body.fhirStoreSource.updateFromLatestPredefinedSchema == BOOLEAN
    input.Body.firestoreSource.collectionId == STRING
    input.Body.firestoreSource.databaseId == STRING
    input.Body.firestoreSource.gcsStagingDir == STRING
    input.Body.firestoreSource.projectId == STRING
    input.Body.forceRefreshContent == BOOLEAN
    input.Body.gcsSource.dataSchema == STRING
    input.Body.gcsSource.inputUris[_] == STRING
    input.Body.idField == STRING
    input.Body.inlineSource.documents[_].content.mimeType == STRING
    input.Body.inlineSource.documents[_].content.rawBytes == STRING
    input.Body.inlineSource.documents[_].content.uri == STRING
    input.Body.inlineSource.documents[_].id == STRING
    input.Body.inlineSource.documents[_].jsonData == STRING
    input.Body.inlineSource.documents[_].name == STRING
    input.Body.inlineSource.documents[_].parentDocumentId == STRING
    input.Body.inlineSource.documents[_].schemaId == STRING
    input.Body.inlineSource.documents[_].structData.STRING == ANY
    input.Body.reconciliationMode == enum_GoogleCloudDiscoveryengineV1ImportDocumentsRequestReconciliationMode[_]
    input.Body.spannerSource.databaseId == STRING
    input.Body.spannerSource.enableDataBoost == BOOLEAN
    input.Body.spannerSource.instanceId == STRING
    input.Body.spannerSource.projectId == STRING
    input.Body.spannerSource.tableId == STRING
    input.Body.updateMask == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.content.mimeType == STRING
    input.Body.content.rawBytes == STRING
    input.Body.content.uri == STRING
    input.Body.id == STRING
    input.Body.jsonData == STRING
    input.Body.name == STRING
    input.Body.parentDocumentId == STRING
    input.Body.schemaId == STRING
    input.Body.structData.STRING == ANY
    input.ReqMap.name == STRING
    input.Qs.allowMissing == BOOLEAN
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.errorConfig.gcsPrefix == STRING
    input.Body.filter == STRING
    input.Body.force == BOOLEAN
    input.Body.gcsSource.dataSchema == STRING
    input.Body.gcsSource.inputUris[_] == STRING
    input.Body.inlineSource.documents[_] == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

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

valid {
    input.ReqMap.dataStore == STRING
    input.Qs.includeTailSuggestions == BOOLEAN
    input.Qs.query == STRING
    input.Qs.queryModel == STRING
    input.Qs.userPseudoId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_GoogleCloudDiscoveryengineV1betaAdvancedCompleteQueryRequestSuggestionTypes := [ "SUGGESTION_TYPE_UNSPECIFIED", "QUERY", "PEOPLE", "CONTENT", "RECENT_SEARCH", "GOOGLE_WORKSPACE" ]

valid {
    input.Body.boostSpec.conditionBoostSpecs[_].boost == NUMBER
    input.Body.boostSpec.conditionBoostSpecs[_].condition == STRING
    input.Body.includeTailSuggestions == BOOLEAN
    input.Body.query == STRING
    input.Body.queryModel == STRING
    input.Body.suggestionTypes[_] == enum_GoogleCloudDiscoveryengineV1betaAdvancedCompleteQueryRequestSuggestionTypes[_]
    input.Body.userInfo.userAgent == STRING
    input.Body.userInfo.userId == STRING
    input.Body.userPseudoId == STRING
    input.ReqMap.completionConfig == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.bigquerySource.dataSchema == STRING
    input.Body.bigquerySource.datasetId == STRING
    input.Body.bigquerySource.gcsStagingDir == STRING
    input.Body.bigquerySource.partitionDate.day == INTEGER
    input.Body.bigquerySource.partitionDate.month == INTEGER
    input.Body.bigquerySource.partitionDate.year == INTEGER
    input.Body.bigquerySource.projectId == STRING
    input.Body.bigquerySource.tableId == STRING
    input.Body.errorConfig.gcsPrefix == STRING
    input.Body.gcsSource.dataSchema == STRING
    input.Body.gcsSource.inputUris[_] == STRING
    input.Body.inlineSource.suggestions[_].alternativePhrases[_] == STRING
    input.Body.inlineSource.suggestions[_].frequency == STRING
    input.Body.inlineSource.suggestions[_].globalScore == NUMBER
    input.Body.inlineSource.suggestions[_].groupId == STRING
    input.Body.inlineSource.suggestions[_].groupScore == NUMBER
    input.Body.inlineSource.suggestions[_].languageCode == STRING
    input.Body.inlineSource.suggestions[_].suggestion == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_GoogleCloudDiscoveryengineV1ControlSolutionType := [ "SOLUTION_TYPE_UNSPECIFIED", "SOLUTION_TYPE_RECOMMENDATION", "SOLUTION_TYPE_SEARCH", "SOLUTION_TYPE_CHAT", "SOLUTION_TYPE_GENERATIVE_CHAT" ]
enum_GoogleCloudDiscoveryengineV1ControlUseCases := [ "SEARCH_USE_CASE_UNSPECIFIED", "SEARCH_USE_CASE_SEARCH", "SEARCH_USE_CASE_BROWSE" ]

valid {
    input.Body.boostAction.boost == NUMBER
    input.Body.boostAction.dataStore == STRING
    input.Body.boostAction.filter == STRING
    input.Body.boostAction.fixedBoost == NUMBER
    input.Body.conditions[_].activeTimeRange[_].endTime == STRING
    input.Body.conditions[_].activeTimeRange[_].startTime == STRING
    input.Body.conditions[_].queryRegex == STRING
    input.Body.conditions[_].queryTerms[_].fullMatch == BOOLEAN
    input.Body.conditions[_].queryTerms[_].value == STRING
    input.Body.displayName == STRING
    input.Body.filterAction.dataStore == STRING
    input.Body.filterAction.filter == STRING
    input.Body.name == STRING
    input.Body.promoteAction.dataStore == STRING
    input.Body.promoteAction.searchLinkPromotion.description == STRING
    input.Body.promoteAction.searchLinkPromotion.enabled == BOOLEAN
    input.Body.promoteAction.searchLinkPromotion.imageUri == STRING
    input.Body.promoteAction.searchLinkPromotion.title == STRING
    input.Body.promoteAction.searchLinkPromotion.uri == STRING
    input.Body.redirectAction.redirectUri == STRING
    input.Body.solutionType == enum_GoogleCloudDiscoveryengineV1ControlSolutionType[_]
    input.Body.synonymsAction.synonyms[_] == STRING
    input.Body.useCases[_] == enum_GoogleCloudDiscoveryengineV1ControlUseCases[_]
    input.ReqMap.parent == STRING
    input.Qs.controlId == 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.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

enum_GoogleCloudDiscoveryengineV1ControlSolutionType := [ "SOLUTION_TYPE_UNSPECIFIED", "SOLUTION_TYPE_RECOMMENDATION", "SOLUTION_TYPE_SEARCH", "SOLUTION_TYPE_CHAT", "SOLUTION_TYPE_GENERATIVE_CHAT" ]
enum_GoogleCloudDiscoveryengineV1ControlUseCases := [ "SEARCH_USE_CASE_UNSPECIFIED", "SEARCH_USE_CASE_SEARCH", "SEARCH_USE_CASE_BROWSE" ]

valid {
    input.Body.boostAction.boost == NUMBER
    input.Body.boostAction.dataStore == STRING
    input.Body.boostAction.filter == STRING
    input.Body.boostAction.fixedBoost == NUMBER
    input.Body.conditions[_].activeTimeRange[_].endTime == STRING
    input.Body.conditions[_].activeTimeRange[_].startTime == STRING
    input.Body.conditions[_].queryRegex == STRING
    input.Body.conditions[_].queryTerms[_].fullMatch == BOOLEAN
    input.Body.conditions[_].queryTerms[_].value == STRING
    input.Body.displayName == STRING
    input.Body.filterAction.dataStore == STRING
    input.Body.filterAction.filter == STRING
    input.Body.name == STRING
    input.Body.promoteAction.dataStore == STRING
    input.Body.promoteAction.searchLinkPromotion.description == STRING
    input.Body.promoteAction.searchLinkPromotion.enabled == BOOLEAN
    input.Body.promoteAction.searchLinkPromotion.imageUri == STRING
    input.Body.promoteAction.searchLinkPromotion.title == STRING
    input.Body.promoteAction.searchLinkPromotion.uri == STRING
    input.Body.redirectAction.redirectUri == STRING
    input.Body.solutionType == enum_GoogleCloudDiscoveryengineV1ControlSolutionType[_]
    input.Body.synonymsAction.synonyms[_] == STRING
    input.Body.useCases[_] == enum_GoogleCloudDiscoveryengineV1ControlUseCases[_]
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

enum_GoogleCloudDiscoveryengineV1ConversationState := [ "STATE_UNSPECIFIED", "IN_PROGRESS", "COMPLETED" ]
enum_GoogleCloudDiscoveryengineV1SearchRequestBoostSpecConditionBoostSpecBoostControlSpecAttributeType := [ "ATTRIBUTE_TYPE_UNSPECIFIED", "NUMERICAL", "FRESHNESS" ]
enum_GoogleCloudDiscoveryengineV1SearchRequestBoostSpecConditionBoostSpecBoostControlSpecInterpolationType := [ "INTERPOLATION_TYPE_UNSPECIFIED", "LINEAR" ]
enum_GoogleCloudDiscoveryengineV1SearchResponseSummarySummarySkippedReasons := [ "SUMMARY_SKIPPED_REASON_UNSPECIFIED", "ADVERSARIAL_QUERY_IGNORED", "NON_SUMMARY_SEEKING_QUERY_IGNORED", "OUT_OF_DOMAIN_QUERY_IGNORED", "POTENTIAL_POLICY_VIOLATION", "LLM_ADDON_NOT_ENABLED", "NO_RELEVANT_CONTENT", "JAIL_BREAKING_QUERY_IGNORED", "CUSTOMER_POLICY_VIOLATION", "NON_SUMMARY_SEEKING_QUERY_IGNORED_V2" ]

valid {
    input.Body.boostSpec.conditionBoostSpecs[_].boost == NUMBER
    input.Body.boostSpec.conditionBoostSpecs[_].boostControlSpec.attributeType == enum_GoogleCloudDiscoveryengineV1SearchRequestBoostSpecConditionBoostSpecBoostControlSpecAttributeType[_]
    input.Body.boostSpec.conditionBoostSpecs[_].boostControlSpec.controlPoints[_].attributeValue == STRING
    input.Body.boostSpec.conditionBoostSpecs[_].boostControlSpec.controlPoints[_].boostAmount == NUMBER
    input.Body.boostSpec.conditionBoostSpecs[_].boostControlSpec.fieldName == STRING
    input.Body.boostSpec.conditionBoostSpecs[_].boostControlSpec.interpolationType == enum_GoogleCloudDiscoveryengineV1SearchRequestBoostSpecConditionBoostSpecBoostControlSpecInterpolationType[_]
    input.Body.boostSpec.conditionBoostSpecs[_].condition == STRING
    input.Body.conversation.messages[_].reply.summary.safetyAttributes.categories[_] == STRING
    input.Body.conversation.messages[_].reply.summary.safetyAttributes.scores[_] == NUMBER
    input.Body.conversation.messages[_].reply.summary.summarySkippedReasons[_] == enum_GoogleCloudDiscoveryengineV1SearchResponseSummarySummarySkippedReasons[_]
    input.Body.conversation.messages[_].reply.summary.summaryText == STRING
    input.Body.conversation.messages[_].reply.summary.summaryWithMetadata.citationMetadata.citations[_].endIndex == STRING
    input.Body.conversation.messages[_].reply.summary.summaryWithMetadata.citationMetadata.citations[_].sources[_].referenceIndex == STRING
    input.Body.conversation.messages[_].reply.summary.summaryWithMetadata.citationMetadata.citations[_].startIndex == STRING
    input.Body.conversation.messages[_].reply.summary.summaryWithMetadata.references[_].chunkContents[_].content == STRING
    input.Body.conversation.messages[_].reply.summary.summaryWithMetadata.references[_].chunkContents[_].pageIdentifier == STRING
    input.Body.conversation.messages[_].reply.summary.summaryWithMetadata.references[_].document == STRING
    input.Body.conversation.messages[_].reply.summary.summaryWithMetadata.references[_].title == STRING
    input.Body.conversation.messages[_].reply.summary.summaryWithMetadata.references[_].uri == STRING
    input.Body.conversation.messages[_].reply.summary.summaryWithMetadata.summary == STRING
    input.Body.conversation.messages[_].userInput.context.activeDocument == STRING
    input.Body.conversation.messages[_].userInput.context.contextDocuments[_] == STRING
    input.Body.conversation.messages[_].userInput.input == STRING
    input.Body.conversation.name == STRING
    input.Body.conversation.state == enum_GoogleCloudDiscoveryengineV1ConversationState[_]
    input.Body.conversation.userPseudoId == STRING
    input.Body.filter == STRING
    input.Body.query.context.activeDocument == STRING
    input.Body.query.context.contextDocuments[_] == STRING
    input.Body.query.input == STRING
    input.Body.safeSearch == BOOLEAN
    input.Body.servingConfig == STRING
    input.Body.summarySpec.ignoreAdversarialQuery == BOOLEAN
    input.Body.summarySpec.ignoreJailBreakingQuery == BOOLEAN
    input.Body.summarySpec.ignoreLowRelevantContent == BOOLEAN
    input.Body.summarySpec.ignoreNonSummarySeekingQuery == BOOLEAN
    input.Body.summarySpec.includeCitations == BOOLEAN
    input.Body.summarySpec.languageCode == STRING
    input.Body.summarySpec.modelPromptSpec.preamble == STRING
    input.Body.summarySpec.modelSpec.version == STRING
    input.Body.summarySpec.summaryResultCount == INTEGER
    input.Body.summarySpec.useSemanticChunks == BOOLEAN
    input.Body.userLabels.STRING == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

enum_GoogleCloudDiscoveryengineV1ConversationState := [ "STATE_UNSPECIFIED", "IN_PROGRESS", "COMPLETED" ]
enum_GoogleCloudDiscoveryengineV1SearchResponseSummarySummarySkippedReasons := [ "SUMMARY_SKIPPED_REASON_UNSPECIFIED", "ADVERSARIAL_QUERY_IGNORED", "NON_SUMMARY_SEEKING_QUERY_IGNORED", "OUT_OF_DOMAIN_QUERY_IGNORED", "POTENTIAL_POLICY_VIOLATION", "LLM_ADDON_NOT_ENABLED", "NO_RELEVANT_CONTENT", "JAIL_BREAKING_QUERY_IGNORED", "CUSTOMER_POLICY_VIOLATION", "NON_SUMMARY_SEEKING_QUERY_IGNORED_V2" ]

valid {
    input.Body.messages[_].reply.summary.safetyAttributes.categories[_] == STRING
    input.Body.messages[_].reply.summary.safetyAttributes.scores[_] == NUMBER
    input.Body.messages[_].reply.summary.summarySkippedReasons[_] == enum_GoogleCloudDiscoveryengineV1SearchResponseSummarySummarySkippedReasons[_]
    input.Body.messages[_].reply.summary.summaryText == STRING
    input.Body.messages[_].reply.summary.summaryWithMetadata.citationMetadata.citations[_].endIndex == STRING
    input.Body.messages[_].reply.summary.summaryWithMetadata.citationMetadata.citations[_].sources[_].referenceIndex == STRING
    input.Body.messages[_].reply.summary.summaryWithMetadata.citationMetadata.citations[_].startIndex == STRING
    input.Body.messages[_].reply.summary.summaryWithMetadata.references[_].chunkContents[_].content == STRING
    input.Body.messages[_].reply.summary.summaryWithMetadata.references[_].chunkContents[_].pageIdentifier == STRING
    input.Body.messages[_].reply.summary.summaryWithMetadata.references[_].document == STRING
    input.Body.messages[_].reply.summary.summaryWithMetadata.references[_].title == STRING
    input.Body.messages[_].reply.summary.summaryWithMetadata.references[_].uri == STRING
    input.Body.messages[_].reply.summary.summaryWithMetadata.summary == STRING
    input.Body.messages[_].userInput.context.activeDocument == STRING
    input.Body.messages[_].userInput.context.contextDocuments[_] == STRING
    input.Body.messages[_].userInput.input == STRING
    input.Body.name == STRING
    input.Body.state == enum_GoogleCloudDiscoveryengineV1ConversationState[_]
    input.Body.userPseudoId == STRING
    input.ReqMap.parent == 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.filter == STRING
    input.Qs.orderBy == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

enum_GoogleCloudDiscoveryengineV1ConversationState := [ "STATE_UNSPECIFIED", "IN_PROGRESS", "COMPLETED" ]
enum_GoogleCloudDiscoveryengineV1SearchResponseSummarySummarySkippedReasons := [ "SUMMARY_SKIPPED_REASON_UNSPECIFIED", "ADVERSARIAL_QUERY_IGNORED", "NON_SUMMARY_SEEKING_QUERY_IGNORED", "OUT_OF_DOMAIN_QUERY_IGNORED", "POTENTIAL_POLICY_VIOLATION", "LLM_ADDON_NOT_ENABLED", "NO_RELEVANT_CONTENT", "JAIL_BREAKING_QUERY_IGNORED", "CUSTOMER_POLICY_VIOLATION", "NON_SUMMARY_SEEKING_QUERY_IGNORED_V2" ]

valid {
    input.Body.messages[_].reply.summary.safetyAttributes.categories[_] == STRING
    input.Body.messages[_].reply.summary.safetyAttributes.scores[_] == NUMBER
    input.Body.messages[_].reply.summary.summarySkippedReasons[_] == enum_GoogleCloudDiscoveryengineV1SearchResponseSummarySummarySkippedReasons[_]
    input.Body.messages[_].reply.summary.summaryText == STRING
    input.Body.messages[_].reply.summary.summaryWithMetadata.citationMetadata.citations[_].endIndex == STRING
    input.Body.messages[_].reply.summary.summaryWithMetadata.citationMetadata.citations[_].sources[_].referenceIndex == STRING
    input.Body.messages[_].reply.summary.summaryWithMetadata.citationMetadata.citations[_].startIndex == STRING
    input.Body.messages[_].reply.summary.summaryWithMetadata.references[_].chunkContents[_].content == STRING
    input.Body.messages[_].reply.summary.summaryWithMetadata.references[_].chunkContents[_].pageIdentifier == STRING
    input.Body.messages[_].reply.summary.summaryWithMetadata.references[_].document == STRING
    input.Body.messages[_].reply.summary.summaryWithMetadata.references[_].title == STRING
    input.Body.messages[_].reply.summary.summaryWithMetadata.references[_].uri == STRING
    input.Body.messages[_].reply.summary.summaryWithMetadata.summary == STRING
    input.Body.messages[_].userInput.context.activeDocument == STRING
    input.Body.messages[_].userInput.context.contextDocuments[_] == STRING
    input.Body.messages[_].userInput.input == STRING
    input.Body.name == STRING
    input.Body.state == enum_GoogleCloudDiscoveryengineV1ConversationState[_]
    input.Body.userPseudoId == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

enum_GoogleCloudDiscoveryengineV1DataStoreContentConfig := [ "CONTENT_CONFIG_UNSPECIFIED", "NO_CONTENT", "CONTENT_REQUIRED", "PUBLIC_WEBSITE", "GOOGLE_WORKSPACE" ]
enum_GoogleCloudDiscoveryengineV1DataStoreIndustryVertical := [ "INDUSTRY_VERTICAL_UNSPECIFIED", "GENERIC", "MEDIA", "HEALTHCARE_FHIR" ]
enum_GoogleCloudDiscoveryengineV1DataStoreSolutionTypes := [ "SOLUTION_TYPE_UNSPECIFIED", "SOLUTION_TYPE_RECOMMENDATION", "SOLUTION_TYPE_SEARCH", "SOLUTION_TYPE_CHAT", "SOLUTION_TYPE_GENERATIVE_CHAT" ]
enum_GoogleCloudDiscoveryengineV1WorkspaceConfigType := [ "TYPE_UNSPECIFIED", "GOOGLE_DRIVE", "GOOGLE_MAIL", "GOOGLE_SITES", "GOOGLE_CALENDAR", "GOOGLE_CHAT", "GOOGLE_GROUPS", "GOOGLE_KEEP" ]

valid {
    input.Body.advancedSiteSearchConfig.disableAutomaticRefresh == BOOLEAN
    input.Body.advancedSiteSearchConfig.disableInitialIndex == BOOLEAN
    input.Body.contentConfig == enum_GoogleCloudDiscoveryengineV1DataStoreContentConfig[_]
    input.Body.displayName == STRING
    input.Body.documentProcessingConfig.chunkingConfig.layoutBasedChunkingConfig.chunkSize == INTEGER
    input.Body.documentProcessingConfig.chunkingConfig.layoutBasedChunkingConfig.includeAncestorHeadings == BOOLEAN
    input.Body.documentProcessingConfig.defaultParsingConfig.digitalParsingConfig.STRING == STRING
    input.Body.documentProcessingConfig.defaultParsingConfig.layoutParsingConfig.STRING == STRING
    input.Body.documentProcessingConfig.defaultParsingConfig.ocrParsingConfig.enhancedDocumentElements[_] == STRING
    input.Body.documentProcessingConfig.defaultParsingConfig.ocrParsingConfig.useNativeText == BOOLEAN
    input.Body.documentProcessingConfig.name == STRING
    input.Body.documentProcessingConfig.parsingConfigOverrides.STRING.digitalParsingConfig.STRING == STRING
    input.Body.documentProcessingConfig.parsingConfigOverrides.STRING.layoutParsingConfig.STRING == STRING
    input.Body.documentProcessingConfig.parsingConfigOverrides.STRING.ocrParsingConfig.enhancedDocumentElements[_] == STRING
    input.Body.documentProcessingConfig.parsingConfigOverrides.STRING.ocrParsingConfig.useNativeText == BOOLEAN
    input.Body.industryVertical == enum_GoogleCloudDiscoveryengineV1DataStoreIndustryVertical[_]
    input.Body.isInfobotFaqDataStore == BOOLEAN
    input.Body.kmsKeyName == STRING
    input.Body.name == STRING
    input.Body.servingConfigDataStore.disabledForServing == BOOLEAN
    input.Body.solutionTypes[_] == enum_GoogleCloudDiscoveryengineV1DataStoreSolutionTypes[_]
    input.Body.startingSchema.jsonSchema == STRING
    input.Body.startingSchema.name == STRING
    input.Body.startingSchema.structSchema.STRING == ANY
    input.Body.workspaceConfig.dasherCustomerId == STRING
    input.Body.workspaceConfig.superAdminEmailAddress == STRING
    input.Body.workspaceConfig.superAdminServiceAccount == STRING
    input.Body.workspaceConfig.type == enum_GoogleCloudDiscoveryengineV1WorkspaceConfigType[_]
    input.ReqMap.parent == STRING
    input.Qs.cmekConfigName == STRING
    input.Qs.createAdvancedSiteSearch == BOOLEAN
    input.Qs.dataStoreId == STRING
    input.Qs.disableCmek == BOOLEAN
    input.Qs.skipDefaultSchemaCreation == BOOLEAN
    input.ProviderMetadata.Region == STRING
}