valid {
    input.Body.integrityToken == STRING
    input.ReqMap.packageName == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.integrityToken == STRING
    input.Body.newValues.bitFirst == BOOLEAN
    input.Body.newValues.bitSecond == BOOLEAN
    input.Body.newValues.bitThird == BOOLEAN
    input.ReqMap.packageName == STRING
    input.ProviderMetadata.Region == STRING
}