acmedns.acmeChallengeSets.get

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

acmedns.acmeChallengeSets.rotateChallenges

valid {
    input.Body.accessToken == STRING
    input.Body.keepExpiredRecords == BOOLEAN
    input.Body.recordsToAdd[_].digest == STRING
    input.Body.recordsToAdd[_].fqdn == STRING
    input.Body.recordsToRemove[_].digest == STRING
    input.Body.recordsToRemove[_].fqdn == STRING
    input.ReqMap.rootDomain == STRING
    input.ProviderMetadata.Region == STRING
}