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.Body.STRING == STRING
    input.ReqMap.parent == 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
}

enum_AcceleratorConfigType := [ "TYPE_UNSPECIFIED", "V2", "V3", "V4", "V5LITE_POD", "V5P", "V6E" ]
enum_AttachedDiskMode := [ "DISK_MODE_UNSPECIFIED", "READ_WRITE", "READ_ONLY" ]
enum_NodeHealth := [ "HEALTH_UNSPECIFIED", "HEALTHY", "TIMEOUT", "UNHEALTHY_TENSORFLOW", "UNHEALTHY_MAINTENANCE" ]

valid {
    input.Body.acceleratorConfig.topology == STRING
    input.Body.acceleratorConfig.type == enum_AcceleratorConfigType[_]
    input.Body.acceleratorType == STRING
    input.Body.cidrBlock == STRING
    input.Body.dataDisks[_].mode == enum_AttachedDiskMode[_]
    input.Body.dataDisks[_].sourceDisk == STRING
    input.Body.description == STRING
    input.Body.health == enum_NodeHealth[_]
    input.Body.labels.STRING == STRING
    input.Body.metadata.STRING == STRING
    input.Body.networkConfig.canIpForward == BOOLEAN
    input.Body.networkConfig.enableExternalIps == BOOLEAN
    input.Body.networkConfig.network == STRING
    input.Body.networkConfig.queueCount == INTEGER
    input.Body.networkConfig.subnetwork == STRING
    input.Body.runtimeVersion == STRING
    input.Body.schedulingConfig.preemptible == BOOLEAN
    input.Body.schedulingConfig.reserved == BOOLEAN
    input.Body.schedulingConfig.spot == BOOLEAN
    input.Body.serviceAccount.email == STRING
    input.Body.serviceAccount.scope[_] == STRING
    input.Body.shieldedInstanceConfig.enableSecureBoot == BOOLEAN
    input.Body.tags[_] == STRING
    input.ReqMap.parent == STRING
    input.Qs.nodeId == 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.Body.queryPath == STRING
    input.Body.workerIds[_] == STRING
    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_AcceleratorConfigType := [ "TYPE_UNSPECIFIED", "V2", "V3", "V4", "V5LITE_POD", "V5P", "V6E" ]
enum_AttachedDiskMode := [ "DISK_MODE_UNSPECIFIED", "READ_WRITE", "READ_ONLY" ]
enum_NodeHealth := [ "HEALTH_UNSPECIFIED", "HEALTHY", "TIMEOUT", "UNHEALTHY_TENSORFLOW", "UNHEALTHY_MAINTENANCE" ]

valid {
    input.Body.acceleratorConfig.topology == STRING
    input.Body.acceleratorConfig.type == enum_AcceleratorConfigType[_]
    input.Body.acceleratorType == STRING
    input.Body.cidrBlock == STRING
    input.Body.dataDisks[_].mode == enum_AttachedDiskMode[_]
    input.Body.dataDisks[_].sourceDisk == STRING
    input.Body.description == STRING
    input.Body.health == enum_NodeHealth[_]
    input.Body.labels.STRING == STRING
    input.Body.metadata.STRING == STRING
    input.Body.networkConfig.canIpForward == BOOLEAN
    input.Body.networkConfig.enableExternalIps == BOOLEAN
    input.Body.networkConfig.network == STRING
    input.Body.networkConfig.queueCount == INTEGER
    input.Body.networkConfig.subnetwork == STRING
    input.Body.runtimeVersion == STRING
    input.Body.schedulingConfig.preemptible == BOOLEAN
    input.Body.schedulingConfig.reserved == BOOLEAN
    input.Body.schedulingConfig.spot == BOOLEAN
    input.Body.serviceAccount.email == STRING
    input.Body.serviceAccount.scope[_] == STRING
    input.Body.shieldedInstanceConfig.enableSecureBoot == BOOLEAN
    input.Body.tags[_] == 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
}

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

valid {
    input.Body.workerIds[_] == 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.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.ProviderMetadata.Region == STRING
}

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

enum_AcceleratorConfigType := [ "TYPE_UNSPECIFIED", "V2", "V3", "V4", "V5LITE_POD", "V5P", "V6E" ]
enum_AttachedDiskMode := [ "DISK_MODE_UNSPECIFIED", "READ_WRITE", "READ_ONLY" ]
enum_NodeHealth := [ "HEALTH_UNSPECIFIED", "HEALTHY", "TIMEOUT", "UNHEALTHY_TENSORFLOW", "UNHEALTHY_MAINTENANCE" ]

valid {
    input.Body.guaranteed.minDuration == STRING
    input.Body.queueingPolicy.validAfterDuration == STRING
    input.Body.queueingPolicy.validAfterTime == STRING
    input.Body.queueingPolicy.validInterval.endTime == STRING
    input.Body.queueingPolicy.validInterval.startTime == STRING
    input.Body.queueingPolicy.validUntilDuration == STRING
    input.Body.queueingPolicy.validUntilTime == STRING
    input.Body.reservationName == STRING
    input.Body.spot.STRING == STRING
    input.Body.tpu.nodeSpec[_].multisliceParams.nodeCount == INTEGER
    input.Body.tpu.nodeSpec[_].multisliceParams.nodeIdPrefix == STRING
    input.Body.tpu.nodeSpec[_].node.acceleratorConfig.topology == STRING
    input.Body.tpu.nodeSpec[_].node.acceleratorConfig.type == enum_AcceleratorConfigType[_]
    input.Body.tpu.nodeSpec[_].node.acceleratorType == STRING
    input.Body.tpu.nodeSpec[_].node.cidrBlock == STRING
    input.Body.tpu.nodeSpec[_].node.dataDisks[_].mode == enum_AttachedDiskMode[_]
    input.Body.tpu.nodeSpec[_].node.dataDisks[_].sourceDisk == STRING
    input.Body.tpu.nodeSpec[_].node.description == STRING
    input.Body.tpu.nodeSpec[_].node.health == enum_NodeHealth[_]
    input.Body.tpu.nodeSpec[_].node.labels.STRING == STRING
    input.Body.tpu.nodeSpec[_].node.metadata.STRING == STRING
    input.Body.tpu.nodeSpec[_].node.networkConfig.canIpForward == BOOLEAN
    input.Body.tpu.nodeSpec[_].node.networkConfig.enableExternalIps == BOOLEAN
    input.Body.tpu.nodeSpec[_].node.networkConfig.network == STRING
    input.Body.tpu.nodeSpec[_].node.networkConfig.queueCount == INTEGER
    input.Body.tpu.nodeSpec[_].node.networkConfig.subnetwork == STRING
    input.Body.tpu.nodeSpec[_].node.runtimeVersion == STRING
    input.Body.tpu.nodeSpec[_].node.schedulingConfig.preemptible == BOOLEAN
    input.Body.tpu.nodeSpec[_].node.schedulingConfig.reserved == BOOLEAN
    input.Body.tpu.nodeSpec[_].node.schedulingConfig.spot == BOOLEAN
    input.Body.tpu.nodeSpec[_].node.serviceAccount.email == STRING
    input.Body.tpu.nodeSpec[_].node.serviceAccount.scope[_] == STRING
    input.Body.tpu.nodeSpec[_].node.shieldedInstanceConfig.enableSecureBoot == BOOLEAN
    input.Body.tpu.nodeSpec[_].node.tags[_] == STRING
    input.Body.tpu.nodeSpec[_].nodeId == STRING
    input.Body.tpu.nodeSpec[_].parent == STRING
    input.ReqMap.parent == STRING
    input.Qs.queuedResourceId == STRING
    input.Qs.requestId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.force == BOOLEAN
    input.Qs.requestId == 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.nodeNames[_] == 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.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.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.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
}