MICROSOFT.TESTBASE

ActionRequests_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.actionRequestName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ActionRequests_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.actionRequestName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ActionRequests_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.Qs.requestType == STRING
    input.Qs.top == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ActionRequests_Put

enum_PreReleaseAccessRequestSpecEngagements := [ "MVI", "MVP", "SUVP", "MAPP", "Other" ]
enum_RequestTypes := [ "PreReleaseAccess" ]

valid {
    input.Body.properties.requestType == enum_RequestTypes[_]
    input.Body.properties.preReleaseAccessRequestSpec.organizationName == STRING
    input.Body.properties.preReleaseAccessRequestSpec.email == STRING
    input.Body.properties.preReleaseAccessRequestSpec.engagements[_] == enum_PreReleaseAccessRequestSpecEngagements[_]
    input.Body.properties.preReleaseAccessRequestSpec.streetAddress == STRING
    input.Body.properties.preReleaseAccessRequestSpec.city == STRING
    input.Body.properties.preReleaseAccessRequestSpec.stateOrProvince == STRING
    input.Body.properties.preReleaseAccessRequestSpec.zipCode == STRING
    input.Body.properties.preReleaseAccessRequestSpec.countryAndRegion == STRING
    input.Body.properties.preReleaseAccessRequestSpec.companyWebsite == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.actionRequestName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AnalysisResults_Get

enum_AnalysisResultNameParameter := [ "scriptExecution", "reliability", "memoryUtilization", "cpuUtilization", "memoryRegression", "cpuRegression", "testAnalysis" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.packageName == STRING
    input.ReqMap.testResultName == STRING
    input.ReqMap.analysisResultName == enum_AnalysisResultNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AnalysisResults_List

enum_AnalysisResultTypeParameter := [ "ScriptExecution", "Reliability", "MemoryUtilization", "CPUUtilization", "MemoryRegression", "CPURegression", "TestAnalysis" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.packageName == STRING
    input.ReqMap.testResultName == STRING
    input.Qs.analysisResultType == enum_AnalysisResultTypeParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AvailableInplaceUpgradeOS_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.availableInplaceUpgradeOSResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AvailableInplaceUpgradeOS_List

enum_OSUpdateTypeParameter := [ "SecurityUpdate", "FeatureUpdate", "InplaceUpgrade" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.osUpdateType == enum_OSUpdateTypeParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AvailableOS_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.availableOSResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AvailableOS_List

enum_OSUpdateTypeParameter := [ "SecurityUpdate", "FeatureUpdate", "InplaceUpgrade" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.osUpdateType == enum_OSUpdateTypeParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BillingHubService_GetFreeHourBalance

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BillingHubService_GetUsage

valid {
    input.Body.startTimeStamp == STRING
    input.Body.endTimeStamp == STRING
    input.Body.pageSize == INTEGER
    input.Body.pageIndex == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ChatSession_Chat

valid {
    input.Body.question == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.chatSessionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ChatSessions_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.chatSessionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ChatSessions_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Credential_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.credentialName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Credential_ListByTestBaseAccount

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Credentials_Create

enum_CredentialPropertiesCredentialType := [ "IntuneAccount" ]

valid {
    input.Body.properties.credentialType == enum_CredentialPropertiesCredentialType[_]
    input.Body.properties.displayName == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.credentialName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Credentials_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.credentialName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Credentials_Update

enum_CredentialPropertiesCredentialType := [ "IntuneAccount" ]

valid {
    input.Body.properties.credentialType == enum_CredentialPropertiesCredentialType[_]
    input.Body.properties.displayName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.credentialName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CustomImages_CheckImageNameAvailability

valid {
    input.Body.definitionName == STRING
    input.Body.versionName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CustomImages_Create

enum_CustomImagePropertiesSource := [ "Unknown", "VHD" ]

valid {
    input.Body.properties.vhdId == STRING
    input.Body.properties.definitionName == STRING
    input.Body.properties.versionName == STRING
    input.Body.properties.source == enum_CustomImagePropertiesSource[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.customImageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CustomImages_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.customImageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CustomImages_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.customImageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CustomImages_ListByTestBaseAccount

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CustomerEvents_Create

valid {
    input.Body.properties.eventName == STRING
    input.Body.properties.receivers[_].receiverType == STRING
    input.Body.properties.receivers[_].receiverValue.userObjectReceiverValue.userObjectIds[_] == STRING
    input.Body.properties.receivers[_].receiverValue.subscriptionReceiverValue.subscriptionId == STRING
    input.Body.properties.receivers[_].receiverValue.subscriptionReceiverValue.subscriptionName == STRING
    input.Body.properties.receivers[_].receiverValue.subscriptionReceiverValue.role == STRING
    input.Body.properties.receivers[_].receiverValue.distributionGroupListReceiverValue.distributionGroups[_] == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.customerEventName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CustomerEvents_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.customerEventName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CustomerEvents_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.customerEventName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CustomerEvents_ListByTestBaseAccount

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DraftPackages_CopyFromPackage

valid {
    input.Body.packageId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.draftPackageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DraftPackages_Create

enum_Architecture := [ "x86", "x64", "arm64" ]
enum_CommandAction := [ "Install", "Launch", "Close", "Uninstall", "Custom", "FlowDrivenCustom" ]
enum_CommandContentType := [ "Inline", "File", "Path" ]
enum_DraftPackageIntuneAppMetadataItemStatus := [ "Ready", "Uploading", "UploadFailed", "ExtractFailed", "NoDependencyApp" ]
enum_DraftPackageSourceType := [ "Native", "IntuneWin", "TestBasePackage", "GalleryApp", "IntuneEnrollment" ]
enum_FirstPartyAppDefinitionInteropExecutionMode := [ "firstPartyAppWithTests", "firstPartyApp" ]
enum_Tabs := [ "Unspecified", "BasicsTab", "ConfigureTestTab", "EditPackageTab", "TestMatrixTab", "TagsTab", "ReviewAndCreateTab" ]
enum_TestType := [ "OutOfBoxTest", "FunctionalTest", "FlowDrivenTest" ]

valid {
    input.Body.properties.applicationName == STRING
    input.Body.properties.version == STRING
    input.Body.properties.appFileName == STRING
    input.Body.properties.sourceType == enum_DraftPackageSourceType[_]
    input.Body.properties.useSample == BOOLEAN
    input.Body.properties.comments == STRING
    input.Body.properties.intuneMetadata.intuneApp.appName == STRING
    input.Body.properties.intuneMetadata.intuneApp.version == STRING
    input.Body.properties.intuneMetadata.intuneApp.appId == STRING
    input.Body.properties.intuneMetadata.intuneApp.publisher == STRING
    input.Body.properties.intuneMetadata.intuneApp.description == STRING
    input.Body.properties.intuneMetadata.intuneApp.owner == STRING
    input.Body.properties.intuneMetadata.intuneApp.createDate == STRING
    input.Body.properties.intuneMetadata.intuneApp.dependentAppCount == INTEGER
    input.Body.properties.intuneMetadata.intuneApp.installCommand == STRING
    input.Body.properties.intuneMetadata.intuneApp.uninstallCommand == STRING
    input.Body.properties.intuneMetadata.intuneApp.lastProcessed == INTEGER
    input.Body.properties.intuneMetadata.intuneApp.dependencyIds[_] == STRING
    input.Body.properties.intuneMetadata.intuneApp.setupFile == STRING
    input.Body.properties.intuneMetadata.intuneApp.minimumSupportedOS == STRING
    input.Body.properties.intuneMetadata.intuneApp.status == enum_DraftPackageIntuneAppMetadataItemStatus[_]
    input.Body.properties.intuneMetadata.intuneApp.expectedExitCodes[_] == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].appName == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].version == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].appId == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].publisher == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].description == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].owner == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].createDate == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].dependentAppCount == INTEGER
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].installCommand == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].uninstallCommand == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].lastProcessed == INTEGER
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].dependencyIds[_] == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].setupFile == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].minimumSupportedOS == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].status == enum_DraftPackageIntuneAppMetadataItemStatus[_]
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].expectedExitCodes[_] == STRING
    input.Body.properties.highlightedFiles[_].path == STRING
    input.Body.properties.highlightedFiles[_].visited == BOOLEAN
    input.Body.properties.highlightedFiles[_].sections[_] == STRING
    input.Body.properties.packageTags.STRING == STRING
    input.Body.properties.editPackage == BOOLEAN
    input.Body.properties.packageId == STRING
    input.Body.properties.useAutofill == BOOLEAN
    input.Body.properties.executableLaunchCommand == STRING
    input.Body.properties.processName == STRING
    input.Body.properties.tabState.currentTab == enum_Tabs[_]
    input.Body.properties.tabState.visitedTabs[_] == enum_Tabs[_]
    input.Body.properties.testTypes[_] == enum_TestType[_]
    input.Body.properties.targetOSList[_].osUpdateType == STRING
    input.Body.properties.targetOSList[_].targetOSs[_] == STRING
    input.Body.properties.targetOSList[_].insiderChannelIds[_] == STRING
    input.Body.properties.targetOSList[_].baselineOSs[_] == STRING
    input.Body.properties.targetOSList[_].targetOSImageIds[_] == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.osName == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.customImageId == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.releaseProperties.releaseName == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.releaseProperties.buildNumber == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.releaseProperties.buildRevision == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.releaseProperties.releaseVersionDate == STRING
    input.Body.properties.inplaceUpgradeOSPair.targetOS == STRING
    input.Body.properties.flightingRing == STRING
    input.Body.properties.firstPartyApps[_].name == STRING
    input.Body.properties.firstPartyApps[_].architecture == enum_Architecture[_]
    input.Body.properties.firstPartyApps[_].channel == STRING
    input.Body.properties.firstPartyApps[_].ring == STRING
    input.Body.properties.firstPartyApps[_].interopExecutionMode == enum_FirstPartyAppDefinitionInteropExecutionMode[_]
    input.Body.properties.galleryApps[_].skuId == STRING
    input.Body.properties.galleryApps[_].isConsented == BOOLEAN
    input.Body.properties.tests[_].testType == enum_TestType[_]
    input.Body.properties.tests[_].isActive == BOOLEAN
    input.Body.properties.tests[_].commands[_].name == STRING
    input.Body.properties.tests[_].commands[_].action == enum_CommandAction[_]
    input.Body.properties.tests[_].commands[_].contentType == enum_CommandContentType[_]
    input.Body.properties.tests[_].commands[_].content == STRING
    input.Body.properties.tests[_].commands[_].runElevated == BOOLEAN
    input.Body.properties.tests[_].commands[_].restartAfter == BOOLEAN
    input.Body.properties.tests[_].commands[_].maxRunTime == INTEGER
    input.Body.properties.tests[_].commands[_].runAsInteractive == BOOLEAN
    input.Body.properties.tests[_].commands[_].alwaysRun == BOOLEAN
    input.Body.properties.tests[_].commands[_].applyUpdateBefore == BOOLEAN
    input.Body.properties.tests[_].commands[_].install1PAppBefore == BOOLEAN
    input.Body.properties.tests[_].commands[_].preUpgrade == BOOLEAN
    input.Body.properties.tests[_].commands[_].postUpgrade == BOOLEAN
    input.Body.properties.tests[_].commands[_].enrollIntuneBefore == BOOLEAN
    input.Body.properties.intuneEnrollmentMetadata.appList[_].appName == STRING
    input.Body.properties.intuneEnrollmentMetadata.appList[_].appId == STRING
    input.Body.properties.intuneEnrollmentMetadata.appList[_].expectedInstallationPath == STRING
    input.Body.properties.intuneEnrollmentMetadata.credentialId == STRING
    input.Body.properties.intuneEnrollmentMetadata.expectedDeploymentDurationInMinute == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.draftPackageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DraftPackages_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.draftPackageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DraftPackages_ExtractFile

enum_ExtractFileType := [ "TestBasePackage", "IntuneWinPackage" ]

valid {
    input.Body.fileType == enum_ExtractFileType[_]
    input.Body.sourceFile == STRING
    input.Body.intuneAppId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.draftPackageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DraftPackages_GenerateFoldersAndScripts

valid {
    input.Body.forceGenerate == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.draftPackageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DraftPackages_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.draftPackageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DraftPackages_GetPath

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.draftPackageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DraftPackages_ListByTestBaseAccount

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.packageName == STRING
    input.Qs.editPackage == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DraftPackages_Update

enum_Architecture := [ "x86", "x64", "arm64" ]
enum_CommandAction := [ "Install", "Launch", "Close", "Uninstall", "Custom", "FlowDrivenCustom" ]
enum_CommandContentType := [ "Inline", "File", "Path" ]
enum_DraftPackageIntuneAppMetadataItemStatus := [ "Ready", "Uploading", "UploadFailed", "ExtractFailed", "NoDependencyApp" ]
enum_DraftPackageSourceType := [ "Native", "IntuneWin", "TestBasePackage", "GalleryApp", "IntuneEnrollment" ]
enum_FirstPartyAppDefinitionInteropExecutionMode := [ "firstPartyAppWithTests", "firstPartyApp" ]
enum_Tabs := [ "Unspecified", "BasicsTab", "ConfigureTestTab", "EditPackageTab", "TestMatrixTab", "TagsTab", "ReviewAndCreateTab" ]
enum_TestType := [ "OutOfBoxTest", "FunctionalTest", "FlowDrivenTest" ]

valid {
    input.Body.properties.applicationName == STRING
    input.Body.properties.version == STRING
    input.Body.properties.appFileName == STRING
    input.Body.properties.sourceType == enum_DraftPackageSourceType[_]
    input.Body.properties.useSample == BOOLEAN
    input.Body.properties.comments == STRING
    input.Body.properties.intuneMetadata.intuneApp.appName == STRING
    input.Body.properties.intuneMetadata.intuneApp.version == STRING
    input.Body.properties.intuneMetadata.intuneApp.appId == STRING
    input.Body.properties.intuneMetadata.intuneApp.publisher == STRING
    input.Body.properties.intuneMetadata.intuneApp.description == STRING
    input.Body.properties.intuneMetadata.intuneApp.owner == STRING
    input.Body.properties.intuneMetadata.intuneApp.createDate == STRING
    input.Body.properties.intuneMetadata.intuneApp.dependentAppCount == INTEGER
    input.Body.properties.intuneMetadata.intuneApp.installCommand == STRING
    input.Body.properties.intuneMetadata.intuneApp.uninstallCommand == STRING
    input.Body.properties.intuneMetadata.intuneApp.lastProcessed == INTEGER
    input.Body.properties.intuneMetadata.intuneApp.dependencyIds[_] == STRING
    input.Body.properties.intuneMetadata.intuneApp.setupFile == STRING
    input.Body.properties.intuneMetadata.intuneApp.minimumSupportedOS == STRING
    input.Body.properties.intuneMetadata.intuneApp.status == enum_DraftPackageIntuneAppMetadataItemStatus[_]
    input.Body.properties.intuneMetadata.intuneApp.expectedExitCodes[_] == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].appName == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].version == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].appId == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].publisher == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].description == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].owner == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].createDate == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].dependentAppCount == INTEGER
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].installCommand == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].uninstallCommand == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].lastProcessed == INTEGER
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].dependencyIds[_] == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].setupFile == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].minimumSupportedOS == STRING
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].status == enum_DraftPackageIntuneAppMetadataItemStatus[_]
    input.Body.properties.intuneMetadata.intuneAppDependencies[_].expectedExitCodes[_] == STRING
    input.Body.properties.highlightedFiles[_].path == STRING
    input.Body.properties.highlightedFiles[_].visited == BOOLEAN
    input.Body.properties.highlightedFiles[_].sections[_] == STRING
    input.Body.properties.packageTags.STRING == STRING
    input.Body.properties.packageId == STRING
    input.Body.properties.useAutofill == BOOLEAN
    input.Body.properties.executableLaunchCommand == STRING
    input.Body.properties.processName == STRING
    input.Body.properties.tabState.currentTab == enum_Tabs[_]
    input.Body.properties.tabState.visitedTabs[_] == enum_Tabs[_]
    input.Body.properties.testTypes[_] == enum_TestType[_]
    input.Body.properties.targetOSList[_].osUpdateType == STRING
    input.Body.properties.targetOSList[_].targetOSs[_] == STRING
    input.Body.properties.targetOSList[_].insiderChannelIds[_] == STRING
    input.Body.properties.targetOSList[_].baselineOSs[_] == STRING
    input.Body.properties.targetOSList[_].targetOSImageIds[_] == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.osName == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.customImageId == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.releaseProperties.releaseName == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.releaseProperties.buildNumber == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.releaseProperties.buildRevision == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.releaseProperties.releaseVersionDate == STRING
    input.Body.properties.inplaceUpgradeOSPair.targetOS == STRING
    input.Body.properties.flightingRing == STRING
    input.Body.properties.firstPartyApps[_].name == STRING
    input.Body.properties.firstPartyApps[_].architecture == enum_Architecture[_]
    input.Body.properties.firstPartyApps[_].channel == STRING
    input.Body.properties.firstPartyApps[_].ring == STRING
    input.Body.properties.firstPartyApps[_].interopExecutionMode == enum_FirstPartyAppDefinitionInteropExecutionMode[_]
    input.Body.properties.galleryApps[_].skuId == STRING
    input.Body.properties.galleryApps[_].isConsented == BOOLEAN
    input.Body.properties.tests[_].testType == enum_TestType[_]
    input.Body.properties.tests[_].isActive == BOOLEAN
    input.Body.properties.tests[_].commands[_].name == STRING
    input.Body.properties.tests[_].commands[_].action == enum_CommandAction[_]
    input.Body.properties.tests[_].commands[_].contentType == enum_CommandContentType[_]
    input.Body.properties.tests[_].commands[_].content == STRING
    input.Body.properties.tests[_].commands[_].runElevated == BOOLEAN
    input.Body.properties.tests[_].commands[_].restartAfter == BOOLEAN
    input.Body.properties.tests[_].commands[_].maxRunTime == INTEGER
    input.Body.properties.tests[_].commands[_].runAsInteractive == BOOLEAN
    input.Body.properties.tests[_].commands[_].alwaysRun == BOOLEAN
    input.Body.properties.tests[_].commands[_].applyUpdateBefore == BOOLEAN
    input.Body.properties.tests[_].commands[_].install1PAppBefore == BOOLEAN
    input.Body.properties.tests[_].commands[_].preUpgrade == BOOLEAN
    input.Body.properties.tests[_].commands[_].postUpgrade == BOOLEAN
    input.Body.properties.tests[_].commands[_].enrollIntuneBefore == BOOLEAN
    input.Body.properties.intuneEnrollmentMetadata.appList[_].appName == STRING
    input.Body.properties.intuneEnrollmentMetadata.appList[_].appId == STRING
    input.Body.properties.intuneEnrollmentMetadata.appList[_].expectedInstallationPath == STRING
    input.Body.properties.intuneEnrollmentMetadata.credentialId == STRING
    input.Body.properties.intuneEnrollmentMetadata.expectedDeploymentDurationInMinute == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.draftPackageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

EmailEvents_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.emailEventResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

EmailEvents_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FavoriteProcesses_Create

valid {
    input.Body.properties.actualProcessName == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.packageName == STRING
    input.ReqMap.favoriteProcessResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FavoriteProcesses_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.packageName == STRING
    input.ReqMap.favoriteProcessResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FavoriteProcesses_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.packageName == STRING
    input.ReqMap.favoriteProcessResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FavoriteProcesses_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.packageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FeatureUpdateSupportedOses_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FirstPartyApps_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.firstPartyAppResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FirstPartyApps_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FlightingRings_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.flightingRingResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FlightingRings_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FreeHourBalances_Get

enum_FreeHourBalanceNameParameter := [ "TenantLevel", "SubscriptionLevel" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.freeHourBalanceName == enum_FreeHourBalanceNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FreeHourBalances_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GalleryAppSkus_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.galleryAppName == STRING
    input.ReqMap.galleryAppSkuName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GalleryAppSkus_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.galleryAppName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GalleryApps_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.galleryAppName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GalleryApps_List

enum_ApplicationTypeParameter := [ "Winget" ]
enum_OrderByParameter := [ "popularity", "relevance" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.Qs.keyword == STRING
    input.Qs.applicationType == enum_ApplicationTypeParameter[_]
    input.Qs.orderBy == enum_OrderByParameter[_]
    input.Qs.top == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ImageDefinitions_Create

enum_ImageDefinitionPropertiesArchitecture := [ "x64" ]
enum_ImageDefinitionPropertiesOsState := [ "Generalized", "Specialized" ]
enum_ImageDefinitionPropertiesSecurityType := [ "Standard", "TrustedLaunch" ]

valid {
    input.Body.properties.architecture == enum_ImageDefinitionPropertiesArchitecture[_]
    input.Body.properties.osState == enum_ImageDefinitionPropertiesOsState[_]
    input.Body.properties.securityType == enum_ImageDefinitionPropertiesSecurityType[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.imageDefinitionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ImageDefinitions_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.imageDefinitionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ImageDefinitions_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.imageDefinitionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ImageDefinitions_ListByTestBaseAccount

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

OSUpdates_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.packageName == STRING
    input.ReqMap.osUpdateResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

OSUpdates_List

enum_OSUpdateTypeParameter := [ "SecurityUpdate", "FeatureUpdate", "InplaceUpgrade" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.packageName == STRING
    input.Qs.osUpdateType == enum_OSUpdateTypeParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Operations_List

valid {
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Packages_Create

enum_Architecture := [ "x86", "x64", "arm64" ]
enum_CommandAction := [ "Install", "Launch", "Close", "Uninstall", "Custom", "FlowDrivenCustom" ]
enum_CommandContentType := [ "Inline", "File", "Path" ]
enum_FirstPartyAppDefinitionInteropExecutionMode := [ "firstPartyAppWithTests", "firstPartyApp" ]
enum_TestType := [ "OutOfBoxTest", "FunctionalTest", "FlowDrivenTest" ]

valid {
    input.Body.properties.applicationName == STRING
    input.Body.properties.version == STRING
    input.Body.properties.draftPackageId == STRING
    input.Body.properties.blobPath == STRING
    input.Body.properties.targetOSList[_].osUpdateType == STRING
    input.Body.properties.targetOSList[_].targetOSs[_] == STRING
    input.Body.properties.targetOSList[_].insiderChannelIds[_] == STRING
    input.Body.properties.targetOSList[_].baselineOSs[_] == STRING
    input.Body.properties.targetOSList[_].targetOSImageIds[_] == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.osName == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.customImageId == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.releaseProperties.releaseName == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.releaseProperties.buildNumber == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.releaseProperties.buildRevision == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.releaseProperties.releaseVersionDate == STRING
    input.Body.properties.inplaceUpgradeOSPair.targetOS == STRING
    input.Body.properties.flightingRing == STRING
    input.Body.properties.firstPartyApps[_].name == STRING
    input.Body.properties.firstPartyApps[_].architecture == enum_Architecture[_]
    input.Body.properties.firstPartyApps[_].channel == STRING
    input.Body.properties.firstPartyApps[_].ring == STRING
    input.Body.properties.firstPartyApps[_].interopExecutionMode == enum_FirstPartyAppDefinitionInteropExecutionMode[_]
    input.Body.properties.tests[_].testType == enum_TestType[_]
    input.Body.properties.tests[_].isActive == BOOLEAN
    input.Body.properties.tests[_].commands[_].name == STRING
    input.Body.properties.tests[_].commands[_].action == enum_CommandAction[_]
    input.Body.properties.tests[_].commands[_].contentType == enum_CommandContentType[_]
    input.Body.properties.tests[_].commands[_].content == STRING
    input.Body.properties.tests[_].commands[_].runElevated == BOOLEAN
    input.Body.properties.tests[_].commands[_].restartAfter == BOOLEAN
    input.Body.properties.tests[_].commands[_].maxRunTime == INTEGER
    input.Body.properties.tests[_].commands[_].runAsInteractive == BOOLEAN
    input.Body.properties.tests[_].commands[_].alwaysRun == BOOLEAN
    input.Body.properties.tests[_].commands[_].applyUpdateBefore == BOOLEAN
    input.Body.properties.tests[_].commands[_].install1PAppBefore == BOOLEAN
    input.Body.properties.tests[_].commands[_].preUpgrade == BOOLEAN
    input.Body.properties.tests[_].commands[_].postUpgrade == BOOLEAN
    input.Body.properties.tests[_].commands[_].enrollIntuneBefore == BOOLEAN
    input.Body.properties.intuneEnrollmentMetadata.appList[_].appName == STRING
    input.Body.properties.intuneEnrollmentMetadata.appList[_].appId == STRING
    input.Body.properties.intuneEnrollmentMetadata.appList[_].expectedInstallationPath == STRING
    input.Body.properties.intuneEnrollmentMetadata.credentialId == STRING
    input.Body.properties.intuneEnrollmentMetadata.expectedDeploymentDurationInMinute == INTEGER
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.packageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Packages_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.packageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Packages_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.packageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Packages_GetDownloadURL

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.packageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Packages_HardDelete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.packageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Packages_ListByTestBaseAccount

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Packages_RunTest

enum_PackageRunTestParametersOsUpdateType := [ "SecurityUpdate", "FeatureUpdate", "InplaceUpgrade" ]
enum_TestType := [ "OutOfBoxTest", "FunctionalTest", "FlowDrivenTest" ]

valid {
    input.Body.testType == enum_TestType[_]
    input.Body.osUpdateType == enum_PackageRunTestParametersOsUpdateType[_]
    input.Body.osName == STRING
    input.Body.releaseName == STRING
    input.Body.flightingRing == STRING
    input.Body.customImageId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.packageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Packages_Update

enum_Architecture := [ "x86", "x64", "arm64" ]
enum_CommandAction := [ "Install", "Launch", "Close", "Uninstall", "Custom", "FlowDrivenCustom" ]
enum_CommandContentType := [ "Inline", "File", "Path" ]
enum_FirstPartyAppDefinitionInteropExecutionMode := [ "firstPartyAppWithTests", "firstPartyApp" ]
enum_TestType := [ "OutOfBoxTest", "FunctionalTest", "FlowDrivenTest" ]

valid {
    input.Body.properties.draftPackageId == STRING
    input.Body.properties.isEnabled == BOOLEAN
    input.Body.properties.blobPath == STRING
    input.Body.properties.targetOSList[_].osUpdateType == STRING
    input.Body.properties.targetOSList[_].targetOSs[_] == STRING
    input.Body.properties.targetOSList[_].insiderChannelIds[_] == STRING
    input.Body.properties.targetOSList[_].baselineOSs[_] == STRING
    input.Body.properties.targetOSList[_].targetOSImageIds[_] == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.osName == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.customImageId == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.releaseProperties.releaseName == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.releaseProperties.buildNumber == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.releaseProperties.buildRevision == STRING
    input.Body.properties.inplaceUpgradeOSPair.baselineOS.releaseProperties.releaseVersionDate == STRING
    input.Body.properties.inplaceUpgradeOSPair.targetOS == STRING
    input.Body.properties.flightingRing == STRING
    input.Body.properties.firstPartyApps[_].name == STRING
    input.Body.properties.firstPartyApps[_].architecture == enum_Architecture[_]
    input.Body.properties.firstPartyApps[_].channel == STRING
    input.Body.properties.firstPartyApps[_].ring == STRING
    input.Body.properties.firstPartyApps[_].interopExecutionMode == enum_FirstPartyAppDefinitionInteropExecutionMode[_]
    input.Body.properties.tests[_].testType == enum_TestType[_]
    input.Body.properties.tests[_].isActive == BOOLEAN
    input.Body.properties.tests[_].commands[_].name == STRING
    input.Body.properties.tests[_].commands[_].action == enum_CommandAction[_]
    input.Body.properties.tests[_].commands[_].contentType == enum_CommandContentType[_]
    input.Body.properties.tests[_].commands[_].content == STRING
    input.Body.properties.tests[_].commands[_].runElevated == BOOLEAN
    input.Body.properties.tests[_].commands[_].restartAfter == BOOLEAN
    input.Body.properties.tests[_].commands[_].maxRunTime == INTEGER
    input.Body.properties.tests[_].commands[_].runAsInteractive == BOOLEAN
    input.Body.properties.tests[_].commands[_].alwaysRun == BOOLEAN
    input.Body.properties.tests[_].commands[_].applyUpdateBefore == BOOLEAN
    input.Body.properties.tests[_].commands[_].install1PAppBefore == BOOLEAN
    input.Body.properties.tests[_].commands[_].preUpgrade == BOOLEAN
    input.Body.properties.tests[_].commands[_].postUpgrade == BOOLEAN
    input.Body.properties.tests[_].commands[_].enrollIntuneBefore == BOOLEAN
    input.Body.properties.intuneEnrollmentMetadata.appList[_].appName == STRING
    input.Body.properties.intuneEnrollmentMetadata.appList[_].appId == STRING
    input.Body.properties.intuneEnrollmentMetadata.appList[_].expectedInstallationPath == STRING
    input.Body.properties.intuneEnrollmentMetadata.credentialId == STRING
    input.Body.properties.intuneEnrollmentMetadata.expectedDeploymentDurationInMinute == INTEGER
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.packageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Skus_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

TestBaseAccounts_CheckPackageNameAvailability

valid {
    input.Body.name == STRING
    input.Body.applicationName == STRING
    input.Body.version == STRING
    input.Body.type == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TestBaseAccounts_Create

enum_SystemAssignedServiceIdentityType := [ "None", "SystemAssigned" ]
enum_TestBaseAccountSKUTier := [ "Standard" ]

valid {
    input.Body.properties.sku.resourceType == STRING
    input.Body.properties.sku.name == STRING
    input.Body.properties.sku.tier == enum_TestBaseAccountSKUTier[_]
    input.Body.properties.sku.locations[_] == STRING
    input.Body.identity.type == enum_SystemAssignedServiceIdentityType[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.restore == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TestBaseAccounts_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TestBaseAccounts_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TestBaseAccounts_GetFileUploadUrl

enum_GetFileUploadURLParametersResourceType := [ "Package", "VHD" ]

valid {
    input.Body.blobName == STRING
    input.Body.resourceType == enum_GetFileUploadURLParametersResourceType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TestBaseAccounts_ListByResourceGroup

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.getDeleted == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TestBaseAccounts_ListBySubscription

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.getDeleted == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

TestBaseAccounts_Offboard

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TestBaseAccounts_Update

enum_SystemAssignedServiceIdentityType := [ "None", "SystemAssigned" ]
enum_TestBaseAccountSKUTier := [ "Standard" ]

valid {
    input.Body.properties.sku.resourceType == STRING
    input.Body.properties.sku.name == STRING
    input.Body.properties.sku.tier == enum_TestBaseAccountSKUTier[_]
    input.Body.properties.sku.locations[_] == STRING
    input.Body.identity.type == enum_SystemAssignedServiceIdentityType[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TestResults_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.packageName == STRING
    input.ReqMap.testResultName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TestResults_GetConsoleLogDownloadURL

valid {
    input.Body.logFileName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.packageName == STRING
    input.ReqMap.testResultName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TestResults_GetDownloadURL

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.packageName == STRING
    input.ReqMap.testResultName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TestResults_GetVideoDownloadURL

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.packageName == STRING
    input.ReqMap.testResultName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TestResults_List

enum_OSUpdateTypeParameter := [ "SecurityUpdate", "FeatureUpdate", "InplaceUpgrade" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.packageName == STRING
    input.Qs.osUpdateType == enum_OSUpdateTypeParameter[_]
    input.Qs.$filter == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TestSummaries_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.testSummaryName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TestSummaries_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TestTypes_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.testTypeResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TestTypes_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Usage_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.$filter == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VHDs_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.vhdName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VHDs_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.ReqMap.vhdName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VHDs_ListByTestBaseAccount

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.testBaseAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}