valid {
    input.ReqMap.hash == STRING
    input.ReqMap.instanceName == STRING
    input.ReqMap.sizeBytes == STRING
    input.Qs.inlineOutputFiles == STRING
    input.Qs.inlineStderr == BOOLEAN
    input.Qs.inlineStdout == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.executionMetadata.auxiliaryMetadata[_].STRING == ANY
    input.Body.executionMetadata.executionCompletedTimestamp == STRING
    input.Body.executionMetadata.executionStartTimestamp == STRING
    input.Body.executionMetadata.inputFetchCompletedTimestamp == STRING
    input.Body.executionMetadata.inputFetchStartTimestamp == STRING
    input.Body.executionMetadata.outputUploadCompletedTimestamp == STRING
    input.Body.executionMetadata.outputUploadStartTimestamp == STRING
    input.Body.executionMetadata.queuedTimestamp == STRING
    input.Body.executionMetadata.worker == STRING
    input.Body.executionMetadata.workerCompletedTimestamp == STRING
    input.Body.executionMetadata.workerStartTimestamp == STRING
    input.Body.exitCode == INTEGER
    input.Body.outputDirectories[_].path == STRING
    input.Body.outputDirectories[_].treeDigest.hash == STRING
    input.Body.outputDirectories[_].treeDigest.sizeBytes == STRING
    input.Body.outputDirectorySymlinks[_].nodeProperties.mtime == STRING
    input.Body.outputDirectorySymlinks[_].nodeProperties.properties[_].name == STRING
    input.Body.outputDirectorySymlinks[_].nodeProperties.properties[_].value == STRING
    input.Body.outputDirectorySymlinks[_].nodeProperties.unixMode == INTEGER
    input.Body.outputDirectorySymlinks[_].path == STRING
    input.Body.outputDirectorySymlinks[_].target == STRING
    input.Body.outputFileSymlinks[_].nodeProperties.mtime == STRING
    input.Body.outputFileSymlinks[_].nodeProperties.properties[_].name == STRING
    input.Body.outputFileSymlinks[_].nodeProperties.properties[_].value == STRING
    input.Body.outputFileSymlinks[_].nodeProperties.unixMode == INTEGER
    input.Body.outputFileSymlinks[_].path == STRING
    input.Body.outputFileSymlinks[_].target == STRING
    input.Body.outputFiles[_].contents == STRING
    input.Body.outputFiles[_].digest.hash == STRING
    input.Body.outputFiles[_].digest.sizeBytes == STRING
    input.Body.outputFiles[_].isExecutable == BOOLEAN
    input.Body.outputFiles[_].nodeProperties.mtime == STRING
    input.Body.outputFiles[_].nodeProperties.properties[_].name == STRING
    input.Body.outputFiles[_].nodeProperties.properties[_].value == STRING
    input.Body.outputFiles[_].nodeProperties.unixMode == INTEGER
    input.Body.outputFiles[_].path == STRING
    input.Body.outputSymlinks[_].nodeProperties.mtime == STRING
    input.Body.outputSymlinks[_].nodeProperties.properties[_].name == STRING
    input.Body.outputSymlinks[_].nodeProperties.properties[_].value == STRING
    input.Body.outputSymlinks[_].nodeProperties.unixMode == INTEGER
    input.Body.outputSymlinks[_].path == STRING
    input.Body.outputSymlinks[_].target == STRING
    input.Body.stderrDigest.hash == STRING
    input.Body.stderrDigest.sizeBytes == STRING
    input.Body.stderrRaw == STRING
    input.Body.stdoutDigest.hash == STRING
    input.Body.stdoutDigest.sizeBytes == STRING
    input.Body.stdoutRaw == STRING
    input.ReqMap.hash == STRING
    input.ReqMap.instanceName == STRING
    input.ReqMap.sizeBytes == STRING
    input.Qs.resultsCachePolicy.priority == INTEGER
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.actionDigest.hash == STRING
    input.Body.actionDigest.sizeBytes == STRING
    input.Body.executionPolicy.priority == INTEGER
    input.Body.resultsCachePolicy.priority == INTEGER
    input.Body.skipCacheLookup == BOOLEAN
    input.ReqMap.instanceName == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.digests[_].hash == STRING
    input.Body.digests[_].sizeBytes == STRING
    input.ReqMap.instanceName == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.requests[_].data == STRING
    input.Body.requests[_].digest.hash == STRING
    input.Body.requests[_].digest.sizeBytes == STRING
    input.ReqMap.instanceName == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.blobDigests[_].hash == STRING
    input.Body.blobDigests[_].sizeBytes == STRING
    input.ReqMap.instanceName == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.hash == STRING
    input.ReqMap.instanceName == STRING
    input.ReqMap.sizeBytes == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

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

enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyFeaturePolicy := [ "POLICY_UNSPECIFIED", "ALLOWED", "FORBIDDEN", "RESTRICTED" ]
enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyLinuxIsolation := [ "LINUX_ISOLATION_UNSPECIFIED", "GVISOR", "OFF" ]
enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaInstanceState := [ "STATE_UNSPECIFIED", "CREATING", "RUNNING", "INACTIVE" ]

valid {
    input.Body.instance.featurePolicy.containerImageSources.allowedValues[_] == STRING
    input.Body.instance.featurePolicy.containerImageSources.policy == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyFeaturePolicy[_]
    input.Body.instance.featurePolicy.dockerAddCapabilities.allowedValues[_] == STRING
    input.Body.instance.featurePolicy.dockerAddCapabilities.policy == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyFeaturePolicy[_]
    input.Body.instance.featurePolicy.dockerChrootPath.allowedValues[_] == STRING
    input.Body.instance.featurePolicy.dockerChrootPath.policy == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyFeaturePolicy[_]
    input.Body.instance.featurePolicy.dockerNetwork.allowedValues[_] == STRING
    input.Body.instance.featurePolicy.dockerNetwork.policy == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyFeaturePolicy[_]
    input.Body.instance.featurePolicy.dockerPrivileged.allowedValues[_] == STRING
    input.Body.instance.featurePolicy.dockerPrivileged.policy == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyFeaturePolicy[_]
    input.Body.instance.featurePolicy.dockerRunAsRoot.allowedValues[_] == STRING
    input.Body.instance.featurePolicy.dockerRunAsRoot.policy == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyFeaturePolicy[_]
    input.Body.instance.featurePolicy.dockerRuntime.allowedValues[_] == STRING
    input.Body.instance.featurePolicy.dockerRuntime.policy == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyFeaturePolicy[_]
    input.Body.instance.featurePolicy.dockerSiblingContainers.allowedValues[_] == STRING
    input.Body.instance.featurePolicy.dockerSiblingContainers.policy == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyFeaturePolicy[_]
    input.Body.instance.featurePolicy.linuxIsolation == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyLinuxIsolation[_]
    input.Body.instance.location == STRING
    input.Body.instance.loggingEnabled == BOOLEAN
    input.Body.instance.name == STRING
    input.Body.instance.state == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaInstanceState[_]
    input.Body.instanceId == STRING
    input.Body.parent == 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.ProviderMetadata.Region == STRING
}

enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyFeaturePolicy := [ "POLICY_UNSPECIFIED", "ALLOWED", "FORBIDDEN", "RESTRICTED" ]
enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyLinuxIsolation := [ "LINUX_ISOLATION_UNSPECIFIED", "GVISOR", "OFF" ]
enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaInstanceState := [ "STATE_UNSPECIFIED", "CREATING", "RUNNING", "INACTIVE" ]

valid {
    input.Body.featurePolicy.containerImageSources.allowedValues[_] == STRING
    input.Body.featurePolicy.containerImageSources.policy == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyFeaturePolicy[_]
    input.Body.featurePolicy.dockerAddCapabilities.allowedValues[_] == STRING
    input.Body.featurePolicy.dockerAddCapabilities.policy == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyFeaturePolicy[_]
    input.Body.featurePolicy.dockerChrootPath.allowedValues[_] == STRING
    input.Body.featurePolicy.dockerChrootPath.policy == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyFeaturePolicy[_]
    input.Body.featurePolicy.dockerNetwork.allowedValues[_] == STRING
    input.Body.featurePolicy.dockerNetwork.policy == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyFeaturePolicy[_]
    input.Body.featurePolicy.dockerPrivileged.allowedValues[_] == STRING
    input.Body.featurePolicy.dockerPrivileged.policy == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyFeaturePolicy[_]
    input.Body.featurePolicy.dockerRunAsRoot.allowedValues[_] == STRING
    input.Body.featurePolicy.dockerRunAsRoot.policy == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyFeaturePolicy[_]
    input.Body.featurePolicy.dockerRuntime.allowedValues[_] == STRING
    input.Body.featurePolicy.dockerRuntime.policy == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyFeaturePolicy[_]
    input.Body.featurePolicy.dockerSiblingContainers.allowedValues[_] == STRING
    input.Body.featurePolicy.dockerSiblingContainers.policy == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyFeaturePolicy[_]
    input.Body.featurePolicy.linuxIsolation == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaFeaturePolicyLinuxIsolation[_]
    input.Body.location == STRING
    input.Body.loggingEnabled == BOOLEAN
    input.Body.name == STRING
    input.Body.state == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaInstanceState[_]
    input.ReqMap.name == STRING
    input.Qs.loggingEnabled == BOOLEAN
    input.Qs.name1 == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaWorkerPoolState := [ "STATE_UNSPECIFIED", "CREATING", "RUNNING", "UPDATING", "DELETING", "INACTIVE" ]

valid {
    input.Body.parent == STRING
    input.Body.poolId == STRING
    input.Body.workerPool.autoscale.maxSize == STRING
    input.Body.workerPool.autoscale.minSize == STRING
    input.Body.workerPool.channel == STRING
    input.Body.workerPool.name == STRING
    input.Body.workerPool.state == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaWorkerPoolState[_]
    input.Body.workerPool.workerConfig.accelerator.acceleratorCount == STRING
    input.Body.workerPool.workerConfig.accelerator.acceleratorType == STRING
    input.Body.workerPool.workerConfig.diskSizeGb == STRING
    input.Body.workerPool.workerConfig.diskType == STRING
    input.Body.workerPool.workerConfig.labels.STRING == STRING
    input.Body.workerPool.workerConfig.machineType == STRING
    input.Body.workerPool.workerConfig.maxConcurrentActions == STRING
    input.Body.workerPool.workerConfig.minCpuPlatform == STRING
    input.Body.workerPool.workerConfig.networkAccess == STRING
    input.Body.workerPool.workerConfig.reserved == BOOLEAN
    input.Body.workerPool.workerConfig.soleTenantNodeType == STRING
    input.Body.workerPool.workerConfig.vmImage == STRING
    input.Body.workerPool.workerCount == 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.ProviderMetadata.Region == STRING
}

enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaWorkerPoolState := [ "STATE_UNSPECIFIED", "CREATING", "RUNNING", "UPDATING", "DELETING", "INACTIVE" ]

valid {
    input.Body.updateMask == STRING
    input.Body.workerPool.autoscale.maxSize == STRING
    input.Body.workerPool.autoscale.minSize == STRING
    input.Body.workerPool.channel == STRING
    input.Body.workerPool.name == STRING
    input.Body.workerPool.state == enum_GoogleDevtoolsRemotebuildexecutionAdminV1alphaWorkerPoolState[_]
    input.Body.workerPool.workerConfig.accelerator.acceleratorCount == STRING
    input.Body.workerPool.workerConfig.accelerator.acceleratorType == STRING
    input.Body.workerPool.workerConfig.diskSizeGb == STRING
    input.Body.workerPool.workerConfig.diskType == STRING
    input.Body.workerPool.workerConfig.labels.STRING == STRING
    input.Body.workerPool.workerConfig.machineType == STRING
    input.Body.workerPool.workerConfig.maxConcurrentActions == STRING
    input.Body.workerPool.workerConfig.minCpuPlatform == STRING
    input.Body.workerPool.workerConfig.networkAccess == STRING
    input.Body.workerPool.workerConfig.reserved == BOOLEAN
    input.Body.workerPool.workerConfig.soleTenantNodeType == STRING
    input.Body.workerPool.workerConfig.vmImage == STRING
    input.Body.workerPool.workerCount == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

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