valid {
    input.Body.bigQueryDestination.createNewResultsTable == BOOLEAN
    input.Body.bigQueryDestination.destinationDataset == STRING
    input.Body.customRulesBucket == STRING
    input.Body.description == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.resourceFilter.gceInstanceFilter.serviceAccounts[_] == STRING
    input.Body.resourceFilter.inclusionLabels.STRING == STRING
    input.Body.resourceFilter.resourceIdPatterns[_] == STRING
    input.Body.resourceFilter.scopes[_] == STRING
    input.Body.ruleNames[_] == STRING
    input.Body.schedule == STRING
    input.ReqMap.parent == STRING
    input.Qs.evaluationId == 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.Qs.requestId == 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.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ExecutionRunType := [ "TYPE_UNSPECIFIED", "ONE_TIME", "SCHEDULED" ]

valid {
    input.Body.execution.labels.STRING == STRING
    input.Body.execution.name == STRING
    input.Body.execution.runType == enum_ExecutionRunType[_]
    input.Body.executionId == STRING
    input.Body.requestId == STRING
    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.Qs.rule == 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
}

enum_SapDiscoveryComponentApplicationPropertiesApplicationType := [ "APPLICATION_TYPE_UNSPECIFIED", "NETWEAVER" ]
enum_SapDiscoveryComponentDatabasePropertiesDatabaseType := [ "DATABASE_TYPE_UNSPECIFIED", "HANA", "MAX_DB", "DB2" ]
enum_SapDiscoveryComponentTopologyType := [ "TOPOLOGY_TYPE_UNSPECIFIED", "TOPOLOGY_SCALE_UP", "TOPOLOGY_SCALE_OUT" ]
enum_SapDiscoveryResourceResourceKind := [ "RESOURCE_KIND_UNSPECIFIED", "RESOURCE_KIND_INSTANCE", "RESOURCE_KIND_DISK", "RESOURCE_KIND_ADDRESS", "RESOURCE_KIND_FILESTORE", "RESOURCE_KIND_HEALTH_CHECK", "RESOURCE_KIND_FORWARDING_RULE", "RESOURCE_KIND_BACKEND_SERVICE", "RESOURCE_KIND_SUBNETWORK", "RESOURCE_KIND_NETWORK", "RESOURCE_KIND_PUBLIC_ADDRESS", "RESOURCE_KIND_INSTANCE_GROUP" ]
enum_SapDiscoveryResourceResourceType := [ "RESOURCE_TYPE_UNSPECIFIED", "RESOURCE_TYPE_COMPUTE", "RESOURCE_TYPE_STORAGE", "RESOURCE_TYPE_NETWORK" ]
enum_SapValidationValidationDetailSapValidationType := [ "SAP_VALIDATION_TYPE_UNSPECIFIED", "SYSTEM", "COROSYNC", "PACEMAKER", "HANA", "NETWEAVER", "HANA_SECURITY", "CUSTOM" ]
enum_SqlserverValidationValidationDetailType := [ "SQLSERVER_VALIDATION_TYPE_UNSPECIFIED", "OS", "DB_LOG_DISK_SEPARATION", "DB_MAX_PARALLELISM", "DB_CXPACKET_WAITS", "DB_TRANSACTION_LOG_HANDLING", "DB_VIRTUAL_LOG_FILE_COUNT", "DB_BUFFER_POOL_EXTENSION", "DB_MAX_SERVER_MEMORY", "INSTANCE_METRICS", "DB_INDEX_FRAGMENTATION", "DB_TABLE_INDEX_COMPRESSION", "DB_BACKUP_POLICY" ]

valid {
    input.Body.agentVersion == STRING
    input.Body.insight.instanceId == STRING
    input.Body.insight.sapDiscovery.applicationLayer.applicationProperties.abap == BOOLEAN
    input.Body.insight.sapDiscovery.applicationLayer.applicationProperties.appInstanceNumber == STRING
    input.Body.insight.sapDiscovery.applicationLayer.applicationProperties.applicationType == enum_SapDiscoveryComponentApplicationPropertiesApplicationType[_]
    input.Body.insight.sapDiscovery.applicationLayer.applicationProperties.ascsInstanceNumber == STRING
    input.Body.insight.sapDiscovery.applicationLayer.applicationProperties.ascsUri == STRING
    input.Body.insight.sapDiscovery.applicationLayer.applicationProperties.kernelVersion == STRING
    input.Body.insight.sapDiscovery.applicationLayer.applicationProperties.nfsUri == STRING
    input.Body.insight.sapDiscovery.applicationLayer.databaseProperties.databaseSid == STRING
    input.Body.insight.sapDiscovery.applicationLayer.databaseProperties.databaseType == enum_SapDiscoveryComponentDatabasePropertiesDatabaseType[_]
    input.Body.insight.sapDiscovery.applicationLayer.databaseProperties.databaseVersion == STRING
    input.Body.insight.sapDiscovery.applicationLayer.databaseProperties.instanceNumber == STRING
    input.Body.insight.sapDiscovery.applicationLayer.databaseProperties.primaryInstanceUri == STRING
    input.Body.insight.sapDiscovery.applicationLayer.databaseProperties.sharedNfsUri == STRING
    input.Body.insight.sapDiscovery.applicationLayer.haHosts[_] == STRING
    input.Body.insight.sapDiscovery.applicationLayer.hostProject == STRING
    input.Body.insight.sapDiscovery.applicationLayer.resources[_].instanceProperties.clusterInstances[_] == STRING
    input.Body.insight.sapDiscovery.applicationLayer.resources[_].instanceProperties.instanceNumber == STRING
    input.Body.insight.sapDiscovery.applicationLayer.resources[_].instanceProperties.virtualHostname == STRING
    input.Body.insight.sapDiscovery.applicationLayer.resources[_].relatedResources[_] == STRING
    input.Body.insight.sapDiscovery.applicationLayer.resources[_].resourceKind == enum_SapDiscoveryResourceResourceKind[_]
    input.Body.insight.sapDiscovery.applicationLayer.resources[_].resourceType == enum_SapDiscoveryResourceResourceType[_]
    input.Body.insight.sapDiscovery.applicationLayer.resources[_].resourceUri == STRING
    input.Body.insight.sapDiscovery.applicationLayer.resources[_].updateTime == STRING
    input.Body.insight.sapDiscovery.applicationLayer.sid == STRING
    input.Body.insight.sapDiscovery.applicationLayer.topologyType == enum_SapDiscoveryComponentTopologyType[_]
    input.Body.insight.sapDiscovery.databaseLayer.applicationProperties.abap == BOOLEAN
    input.Body.insight.sapDiscovery.databaseLayer.applicationProperties.appInstanceNumber == STRING
    input.Body.insight.sapDiscovery.databaseLayer.applicationProperties.applicationType == enum_SapDiscoveryComponentApplicationPropertiesApplicationType[_]
    input.Body.insight.sapDiscovery.databaseLayer.applicationProperties.ascsInstanceNumber == STRING
    input.Body.insight.sapDiscovery.databaseLayer.applicationProperties.ascsUri == STRING
    input.Body.insight.sapDiscovery.databaseLayer.applicationProperties.kernelVersion == STRING
    input.Body.insight.sapDiscovery.databaseLayer.applicationProperties.nfsUri == STRING
    input.Body.insight.sapDiscovery.databaseLayer.databaseProperties.databaseSid == STRING
    input.Body.insight.sapDiscovery.databaseLayer.databaseProperties.databaseType == enum_SapDiscoveryComponentDatabasePropertiesDatabaseType[_]
    input.Body.insight.sapDiscovery.databaseLayer.databaseProperties.databaseVersion == STRING
    input.Body.insight.sapDiscovery.databaseLayer.databaseProperties.instanceNumber == STRING
    input.Body.insight.sapDiscovery.databaseLayer.databaseProperties.primaryInstanceUri == STRING
    input.Body.insight.sapDiscovery.databaseLayer.databaseProperties.sharedNfsUri == STRING
    input.Body.insight.sapDiscovery.databaseLayer.haHosts[_] == STRING
    input.Body.insight.sapDiscovery.databaseLayer.hostProject == STRING
    input.Body.insight.sapDiscovery.databaseLayer.resources[_].instanceProperties.clusterInstances[_] == STRING
    input.Body.insight.sapDiscovery.databaseLayer.resources[_].instanceProperties.instanceNumber == STRING
    input.Body.insight.sapDiscovery.databaseLayer.resources[_].instanceProperties.virtualHostname == STRING
    input.Body.insight.sapDiscovery.databaseLayer.resources[_].relatedResources[_] == STRING
    input.Body.insight.sapDiscovery.databaseLayer.resources[_].resourceKind == enum_SapDiscoveryResourceResourceKind[_]
    input.Body.insight.sapDiscovery.databaseLayer.resources[_].resourceType == enum_SapDiscoveryResourceResourceType[_]
    input.Body.insight.sapDiscovery.databaseLayer.resources[_].resourceUri == STRING
    input.Body.insight.sapDiscovery.databaseLayer.resources[_].updateTime == STRING
    input.Body.insight.sapDiscovery.databaseLayer.sid == STRING
    input.Body.insight.sapDiscovery.databaseLayer.topologyType == enum_SapDiscoveryComponentTopologyType[_]
    input.Body.insight.sapDiscovery.metadata.customerRegion == STRING
    input.Body.insight.sapDiscovery.metadata.definedSystem == STRING
    input.Body.insight.sapDiscovery.metadata.environmentType == STRING
    input.Body.insight.sapDiscovery.metadata.sapProduct == STRING
    input.Body.insight.sapDiscovery.projectNumber == STRING
    input.Body.insight.sapDiscovery.updateTime == STRING
    input.Body.insight.sapDiscovery.workloadProperties.productVersions[_].name == STRING
    input.Body.insight.sapDiscovery.workloadProperties.productVersions[_].version == STRING
    input.Body.insight.sapDiscovery.workloadProperties.softwareComponentVersions[_].extVersion == STRING
    input.Body.insight.sapDiscovery.workloadProperties.softwareComponentVersions[_].name == STRING
    input.Body.insight.sapDiscovery.workloadProperties.softwareComponentVersions[_].type == STRING
    input.Body.insight.sapDiscovery.workloadProperties.softwareComponentVersions[_].version == STRING
    input.Body.insight.sapValidation.projectId == STRING
    input.Body.insight.sapValidation.validationDetails[_].details.STRING == STRING
    input.Body.insight.sapValidation.validationDetails[_].isPresent == BOOLEAN
    input.Body.insight.sapValidation.validationDetails[_].sapValidationType == enum_SapValidationValidationDetailSapValidationType[_]
    input.Body.insight.sapValidation.zone == STRING
    input.Body.insight.sqlserverValidation.agentVersion == STRING
    input.Body.insight.sqlserverValidation.instance == STRING
    input.Body.insight.sqlserverValidation.projectId == STRING
    input.Body.insight.sqlserverValidation.validationDetails[_].details[_].fields.STRING == STRING
    input.Body.insight.sqlserverValidation.validationDetails[_].type == enum_SqlserverValidationValidationDetailType[_]
    input.Body.requestId == STRING
    input.ReqMap.location == 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
}

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.ReqMap.parent == STRING
    input.Qs.customRulesBucket == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}