valid {
    input.ReqMap.resource == STRING
    input.Qs.options.requestedPolicyVersion == INTEGER
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.policy.bindings[_].condition.description == STRING
    input.Body.policy.bindings[_].condition.expression == STRING
    input.Body.policy.bindings[_].condition.location == STRING
    input.Body.policy.bindings[_].condition.title == STRING
    input.Body.policy.bindings[_].members[_] == STRING
    input.Body.policy.bindings[_].role == STRING
    input.Body.policy.etag == STRING
    input.Body.policy.version == INTEGER
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.permissions[_] == STRING
    input.ReqMap.resource == 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.name == STRING
    input.Qs.extraLocationTypes == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == 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.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.commitMetadata.author.emailAddress == STRING
    input.Body.commitMetadata.author.name == STRING
    input.Body.commitMetadata.commitMessage == STRING
    input.Body.fileOperations.STRING.deleteFile.STRING == STRING
    input.Body.fileOperations.STRING.writeFile.contents == STRING
    input.Body.requiredHeadCommitSha == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.codeCompilationConfig.assertionSchema == STRING
    input.Body.codeCompilationConfig.builtinAssertionNamePrefix == STRING
    input.Body.codeCompilationConfig.databaseSuffix == STRING
    input.Body.codeCompilationConfig.defaultDatabase == STRING
    input.Body.codeCompilationConfig.defaultLocation == STRING
    input.Body.codeCompilationConfig.defaultNotebookRuntimeOptions.aiPlatformNotebookRuntimeTemplate == STRING
    input.Body.codeCompilationConfig.defaultNotebookRuntimeOptions.gcsOutputBucket == STRING
    input.Body.codeCompilationConfig.defaultSchema == STRING
    input.Body.codeCompilationConfig.schemaSuffix == STRING
    input.Body.codeCompilationConfig.tablePrefix == STRING
    input.Body.codeCompilationConfig.vars.STRING == STRING
    input.Body.gitCommitish == STRING
    input.Body.releaseConfig == STRING
    input.Body.workspace == STRING
    input.ReqMap.parent == 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
}

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

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

valid {
    input.Body.displayName == STRING
    input.Body.gitRemoteSettings.authenticationTokenSecretVersion == STRING
    input.Body.gitRemoteSettings.defaultBranch == STRING
    input.Body.gitRemoteSettings.sshAuthenticationConfig.hostPublicKey == STRING
    input.Body.gitRemoteSettings.sshAuthenticationConfig.userPrivateKeySecretVersion == STRING
    input.Body.gitRemoteSettings.url == STRING
    input.Body.kmsKeyName == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.npmrcEnvironmentVariablesSecretVersion == STRING
    input.Body.serviceAccount == STRING
    input.Body.setAuthenticatedUserAdmin == BOOLEAN
    input.Body.workspaceCompilationOverrides.defaultDatabase == STRING
    input.Body.workspaceCompilationOverrides.schemaSuffix == STRING
    input.Body.workspaceCompilationOverrides.tablePrefix == STRING
    input.ReqMap.parent == STRING
    input.Qs.repositoryId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.force == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == 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.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.resource == STRING
    input.Qs.options.requestedPolicyVersion == INTEGER
    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
}

valid {
    input.Body.displayName == STRING
    input.Body.gitRemoteSettings.authenticationTokenSecretVersion == STRING
    input.Body.gitRemoteSettings.defaultBranch == STRING
    input.Body.gitRemoteSettings.sshAuthenticationConfig.hostPublicKey == STRING
    input.Body.gitRemoteSettings.sshAuthenticationConfig.userPrivateKeySecretVersion == STRING
    input.Body.gitRemoteSettings.url == STRING
    input.Body.kmsKeyName == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.npmrcEnvironmentVariablesSecretVersion == STRING
    input.Body.serviceAccount == STRING
    input.Body.setAuthenticatedUserAdmin == BOOLEAN
    input.Body.workspaceCompilationOverrides.defaultDatabase == STRING
    input.Body.workspaceCompilationOverrides.schemaSuffix == STRING
    input.Body.workspaceCompilationOverrides.tablePrefix == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.name == STRING
    input.Qs.commitSha == STRING
    input.Qs.path == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.codeCompilationConfig.assertionSchema == STRING
    input.Body.codeCompilationConfig.builtinAssertionNamePrefix == STRING
    input.Body.codeCompilationConfig.databaseSuffix == STRING
    input.Body.codeCompilationConfig.defaultDatabase == STRING
    input.Body.codeCompilationConfig.defaultLocation == STRING
    input.Body.codeCompilationConfig.defaultNotebookRuntimeOptions.aiPlatformNotebookRuntimeTemplate == STRING
    input.Body.codeCompilationConfig.defaultNotebookRuntimeOptions.gcsOutputBucket == STRING
    input.Body.codeCompilationConfig.defaultSchema == STRING
    input.Body.codeCompilationConfig.schemaSuffix == STRING
    input.Body.codeCompilationConfig.tablePrefix == STRING
    input.Body.codeCompilationConfig.vars.STRING == STRING
    input.Body.cronSchedule == STRING
    input.Body.disabled == BOOLEAN
    input.Body.gitCommitish == STRING
    input.Body.name == STRING
    input.Body.releaseCompilationResult == STRING
    input.Body.timeZone == STRING
    input.ReqMap.parent == STRING
    input.Qs.releaseConfigId == 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.Body.codeCompilationConfig.assertionSchema == STRING
    input.Body.codeCompilationConfig.builtinAssertionNamePrefix == STRING
    input.Body.codeCompilationConfig.databaseSuffix == STRING
    input.Body.codeCompilationConfig.defaultDatabase == STRING
    input.Body.codeCompilationConfig.defaultLocation == STRING
    input.Body.codeCompilationConfig.defaultNotebookRuntimeOptions.aiPlatformNotebookRuntimeTemplate == STRING
    input.Body.codeCompilationConfig.defaultNotebookRuntimeOptions.gcsOutputBucket == STRING
    input.Body.codeCompilationConfig.defaultSchema == STRING
    input.Body.codeCompilationConfig.schemaSuffix == STRING
    input.Body.codeCompilationConfig.tablePrefix == STRING
    input.Body.codeCompilationConfig.vars.STRING == STRING
    input.Body.cronSchedule == STRING
    input.Body.disabled == BOOLEAN
    input.Body.gitCommitish == STRING
    input.Body.name == STRING
    input.Body.releaseCompilationResult == STRING
    input.Body.timeZone == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.policy.bindings[_].condition.description == STRING
    input.Body.policy.bindings[_].condition.expression == STRING
    input.Body.policy.bindings[_].condition.location == STRING
    input.Body.policy.bindings[_].condition.title == STRING
    input.Body.policy.bindings[_].members[_] == STRING
    input.Body.policy.bindings[_].role == STRING
    input.Body.policy.etag == STRING
    input.Body.policy.version == INTEGER
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.permissions[_] == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

enum_InvocationConfigQueryPriority := [ "QUERY_PRIORITY_UNSPECIFIED", "INTERACTIVE", "BATCH" ]

valid {
    input.Body.cronSchedule == STRING
    input.Body.disabled == BOOLEAN
    input.Body.invocationConfig.fullyRefreshIncrementalTablesEnabled == BOOLEAN
    input.Body.invocationConfig.includedTags[_] == STRING
    input.Body.invocationConfig.includedTargets[_].database == STRING
    input.Body.invocationConfig.includedTargets[_].name == STRING
    input.Body.invocationConfig.includedTargets[_].schema == STRING
    input.Body.invocationConfig.queryPriority == enum_InvocationConfigQueryPriority[_]
    input.Body.invocationConfig.serviceAccount == STRING
    input.Body.invocationConfig.transitiveDependenciesIncluded == BOOLEAN
    input.Body.invocationConfig.transitiveDependentsIncluded == BOOLEAN
    input.Body.name == STRING
    input.Body.releaseConfig == STRING
    input.Body.timeZone == STRING
    input.ReqMap.parent == STRING
    input.Qs.workflowConfigId == 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
}

enum_InvocationConfigQueryPriority := [ "QUERY_PRIORITY_UNSPECIFIED", "INTERACTIVE", "BATCH" ]

valid {
    input.Body.cronSchedule == STRING
    input.Body.disabled == BOOLEAN
    input.Body.invocationConfig.fullyRefreshIncrementalTablesEnabled == BOOLEAN
    input.Body.invocationConfig.includedTags[_] == STRING
    input.Body.invocationConfig.includedTargets[_].database == STRING
    input.Body.invocationConfig.includedTargets[_].name == STRING
    input.Body.invocationConfig.includedTargets[_].schema == STRING
    input.Body.invocationConfig.queryPriority == enum_InvocationConfigQueryPriority[_]
    input.Body.invocationConfig.serviceAccount == STRING
    input.Body.invocationConfig.transitiveDependenciesIncluded == BOOLEAN
    input.Body.invocationConfig.transitiveDependentsIncluded == BOOLEAN
    input.Body.name == STRING
    input.Body.releaseConfig == STRING
    input.Body.timeZone == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_InvocationConfigQueryPriority := [ "QUERY_PRIORITY_UNSPECIFIED", "INTERACTIVE", "BATCH" ]

valid {
    input.Body.compilationResult == STRING
    input.Body.invocationConfig.fullyRefreshIncrementalTablesEnabled == BOOLEAN
    input.Body.invocationConfig.includedTags[_] == STRING
    input.Body.invocationConfig.includedTargets[_].database == STRING
    input.Body.invocationConfig.includedTargets[_].name == STRING
    input.Body.invocationConfig.includedTargets[_].schema == STRING
    input.Body.invocationConfig.queryPriority == enum_InvocationConfigQueryPriority[_]
    input.Body.invocationConfig.serviceAccount == STRING
    input.Body.invocationConfig.transitiveDependenciesIncluded == BOOLEAN
    input.Body.invocationConfig.transitiveDependentsIncluded == BOOLEAN
    input.Body.workflowConfig == 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
}

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

valid {
    input.Body.author.emailAddress == STRING
    input.Body.author.name == STRING
    input.Body.commitMessage == STRING
    input.Body.paths[_] == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

valid {
    input.ReqMap.workspace == STRING
    input.Qs.path == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

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

valid {
    input.ReqMap.resource == STRING
    input.Qs.options.requestedPolicyVersion == INTEGER
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.STRING == STRING
    input.ReqMap.workspace == 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
}

valid {
    input.Body.path == STRING
    input.ReqMap.workspace == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.newPath == STRING
    input.Body.path == STRING
    input.ReqMap.workspace == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.newPath == STRING
    input.Body.path == STRING
    input.ReqMap.workspace == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

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

valid {
    input.ReqMap.workspace == STRING
    input.Qs.path == STRING
    input.Qs.revision == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.path == STRING
    input.ReqMap.workspace == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.path == STRING
    input.ReqMap.workspace == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.clean == BOOLEAN
    input.Body.paths[_] == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.policy.bindings[_].condition.description == STRING
    input.Body.policy.bindings[_].condition.expression == STRING
    input.Body.policy.bindings[_].condition.location == STRING
    input.Body.policy.bindings[_].condition.title == STRING
    input.Body.policy.bindings[_].members[_] == STRING
    input.Body.policy.bindings[_].role == STRING
    input.Body.policy.etag == STRING
    input.Body.policy.version == INTEGER
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.permissions[_] == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.contents == STRING
    input.Body.path == STRING
    input.ReqMap.workspace == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.resource == STRING
    input.Qs.options.requestedPolicyVersion == INTEGER
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.policy.bindings[_].condition.description == STRING
    input.Body.policy.bindings[_].condition.expression == STRING
    input.Body.policy.bindings[_].condition.location == STRING
    input.Body.policy.bindings[_].condition.title == STRING
    input.Body.policy.bindings[_].members[_] == STRING
    input.Body.policy.bindings[_].role == STRING
    input.Body.policy.etag == STRING
    input.Body.policy.version == INTEGER
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.permissions[_] == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

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