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

valid {
    input.Body.kmsKey == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.privateConfig.caPool == STRING
    input.Body.privateConfig.isPrivate == BOOLEAN
    input.Body.privateConfig.pscAllowedProjects[_] == STRING
    input.Body.workforceIdentityFederationConfig.enabled == BOOLEAN
    input.ReqMap.parent == STRING
    input.Qs.instanceId == STRING
    input.Qs.requestId == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_AuditLogConfigLogType := [ "LOG_TYPE_UNSPECIFIED", "ADMIN_READ", "DATA_WRITE", "DATA_READ" ]

valid {
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].exemptedMembers[_] == STRING
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].logType == enum_AuditLogConfigLogType[_]
    input.Body.policy.auditConfigs[_].service == STRING
    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.Body.updateMask == STRING
    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.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.ProviderMetadata.Region == STRING
}

valid {
    input.Body.allowStaleReviews == BOOLEAN
    input.Body.annotations.STRING == STRING
    input.Body.disabled == BOOLEAN
    input.Body.etag == STRING
    input.Body.includePattern == STRING
    input.Body.minimumApprovalsCount == INTEGER
    input.Body.minimumReviewsCount == INTEGER
    input.Body.name == STRING
    input.Body.requireCommentsResolved == BOOLEAN
    input.Body.requireLinearHistory == BOOLEAN
    input.Body.requirePullRequest == BOOLEAN
    input.Body.requiredStatusChecks[_].context == STRING
    input.ReqMap.parent == STRING
    input.Qs.branchRuleId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.allowMissing == BOOLEAN
    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.allowStaleReviews == BOOLEAN
    input.Body.annotations.STRING == STRING
    input.Body.disabled == BOOLEAN
    input.Body.etag == STRING
    input.Body.includePattern == STRING
    input.Body.minimumApprovalsCount == INTEGER
    input.Body.minimumReviewsCount == INTEGER
    input.Body.name == STRING
    input.Body.requireCommentsResolved == BOOLEAN
    input.Body.requireLinearHistory == BOOLEAN
    input.Body.requirePullRequest == BOOLEAN
    input.Body.requiredStatusChecks[_].context == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.Qs.validateOnly == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.description == STRING
    input.Body.etag == STRING
    input.Body.initialConfig.defaultBranch == STRING
    input.Body.initialConfig.gitignores[_] == STRING
    input.Body.initialConfig.license == STRING
    input.Body.initialConfig.readme == STRING
    input.Body.instance == STRING
    input.Body.name == STRING
    input.ReqMap.parent == STRING
    input.Qs.repositoryId == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.repository == STRING
    input.Qs.sha == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.repository == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.recursive == BOOLEAN
    input.Qs.ref == 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
}

enum_HookEvents := [ "UNSPECIFIED", "PUSH", "PULL_REQUEST" ]

valid {
    input.Body.disabled == BOOLEAN
    input.Body.events[_] == enum_HookEvents[_]
    input.Body.name == STRING
    input.Body.pushOption.branchFilter == STRING
    input.Body.sensitiveQueryString == STRING
    input.Body.targetUri == STRING
    input.ReqMap.parent == STRING
    input.Qs.hookId == 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_HookEvents := [ "UNSPECIFIED", "PUSH", "PULL_REQUEST" ]

valid {
    input.Body.disabled == BOOLEAN
    input.Body.events[_] == enum_HookEvents[_]
    input.Body.name == STRING
    input.Body.pushOption.branchFilter == STRING
    input.Body.sensitiveQueryString == STRING
    input.Body.targetUri == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.body == STRING
    input.Body.etag == STRING
    input.Body.name == STRING
    input.Body.title == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

valid {
    input.Body.body == STRING
    input.Body.name == 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.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.body == STRING
    input.Body.name == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == 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
}

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

valid {
    input.Body.body == STRING
    input.Body.etag == STRING
    input.Body.name == STRING
    input.Body.title == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.description == STRING
    input.Body.etag == STRING
    input.Body.initialConfig.defaultBranch == STRING
    input.Body.initialConfig.gitignores[_] == STRING
    input.Body.initialConfig.license == STRING
    input.Body.initialConfig.readme == STRING
    input.Body.instance == STRING
    input.Body.name == 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.base.ref == STRING
    input.Body.body == STRING
    input.Body.head.ref == STRING
    input.Body.title == 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.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.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.Body.base.ref == STRING
    input.Body.body == STRING
    input.Body.head.ref == STRING
    input.Body.title == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ReviewActionType := [ "ACTION_TYPE_UNSPECIFIED", "COMMENT", "CHANGE_REQUESTED", "APPROVED" ]

valid {
    input.Body.requests[_].parent == STRING
    input.Body.requests[_].pullRequestComment.code.body == STRING
    input.Body.requests[_].pullRequestComment.code.position.line == STRING
    input.Body.requests[_].pullRequestComment.code.position.path == STRING
    input.Body.requests[_].pullRequestComment.code.reply == STRING
    input.Body.requests[_].pullRequestComment.comment.body == STRING
    input.Body.requests[_].pullRequestComment.name == STRING
    input.Body.requests[_].pullRequestComment.review.actionType == enum_ReviewActionType[_]
    input.Body.requests[_].pullRequestComment.review.body == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ReviewActionType := [ "ACTION_TYPE_UNSPECIFIED", "COMMENT", "CHANGE_REQUESTED", "APPROVED" ]

valid {
    input.Body.code.body == STRING
    input.Body.code.position.line == STRING
    input.Body.code.position.path == STRING
    input.Body.code.reply == STRING
    input.Body.comment.body == STRING
    input.Body.name == STRING
    input.Body.review.actionType == enum_ReviewActionType[_]
    input.Body.review.body == 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.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ReviewActionType := [ "ACTION_TYPE_UNSPECIFIED", "COMMENT", "CHANGE_REQUESTED", "APPROVED" ]

valid {
    input.Body.code.body == STRING
    input.Body.code.position.line == STRING
    input.Body.code.position.path == STRING
    input.Body.code.reply == STRING
    input.Body.comment.body == STRING
    input.Body.name == STRING
    input.Body.review.actionType == enum_ReviewActionType[_]
    input.Body.review.body == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.autoFill == BOOLEAN
    input.Body.names[_] == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.autoFill == BOOLEAN
    input.Body.names[_] == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AuditLogConfigLogType := [ "LOG_TYPE_UNSPECIFIED", "ADMIN_READ", "DATA_WRITE", "DATA_READ" ]

valid {
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].exemptedMembers[_] == STRING
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].logType == enum_AuditLogConfigLogType[_]
    input.Body.policy.auditConfigs[_].service == STRING
    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.Body.updateMask == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

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