TAXSETTINGS

BatchDeleteTaxRegistration

valid {
    input.Body.accountIds[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

BatchGetTaxExemptions

valid {
    input.Body.accountIds[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

BatchPutTaxRegistration

enum_Industries := [ "CirculatingOrg", "ProfessionalOrg", "Banks", "Insurance", "PensionAndBenefitFunds", "DevelopmentAgencies" ]
enum_IsraelCustomerType := [ "Business", "Individual" ]
enum_IsraelDealerType := [ "Authorized", "Non-authorized" ]
enum_MalaysiaServiceTaxCode := [ "Consultancy", "Digital Service And Electronic Medium", "IT Services", "Training Or Coaching" ]
enum_PersonType := [ "Legal Person", "Physical Person", "Business" ]
enum_RegistrationType := [ "Intra-EU", "Local" ]
enum_SaudiArabiaTaxRegistrationNumberType := [ "TaxRegistrationNumber", "TaxIdentificationNumber", "CommercialRegistrationNumber" ]
enum_Sector := [ "Business", "Individual", "Government" ]
enum_TaxRegistrationNumberType := [ "TaxRegistrationNumber", "LocalRegistrationNumber" ]
enum_TaxRegistrationType := [ "VAT", "GST", "CPF", "CNPJ", "SST", "TIN", "NRIC" ]
enum_UkraineTrnType := [ "Business", "Individual" ]

valid {
    input.Body.accountIds[_] == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.canadaAdditionalInfo.canadaQuebecSalesTaxNumber == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.canadaAdditionalInfo.canadaRetailSalesTaxNumber == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.canadaAdditionalInfo.isResellerAccount == BOOLEAN
    input.Body.taxRegistrationEntry.additionalTaxInformation.canadaAdditionalInfo.provincialSalesTaxId == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.estoniaAdditionalInfo.registryCommercialCode == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.georgiaAdditionalInfo.personType == enum_PersonType[_]
    input.Body.taxRegistrationEntry.additionalTaxInformation.israelAdditionalInfo.customerType == enum_IsraelCustomerType[_]
    input.Body.taxRegistrationEntry.additionalTaxInformation.israelAdditionalInfo.dealerType == enum_IsraelDealerType[_]
    input.Body.taxRegistrationEntry.additionalTaxInformation.italyAdditionalInfo.cigNumber == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.italyAdditionalInfo.cupNumber == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.italyAdditionalInfo.sdiAccountId == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.italyAdditionalInfo.taxCode == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.kenyaAdditionalInfo.personType == enum_PersonType[_]
    input.Body.taxRegistrationEntry.additionalTaxInformation.malaysiaAdditionalInfo.businessRegistrationNumber == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.malaysiaAdditionalInfo.serviceTaxCodes[_] == enum_MalaysiaServiceTaxCode[_]
    input.Body.taxRegistrationEntry.additionalTaxInformation.malaysiaAdditionalInfo.taxInformationNumber == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.polandAdditionalInfo.individualRegistrationNumber == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.polandAdditionalInfo.isGroupVatEnabled == BOOLEAN
    input.Body.taxRegistrationEntry.additionalTaxInformation.romaniaAdditionalInfo.taxRegistrationNumberType == enum_TaxRegistrationNumberType[_]
    input.Body.taxRegistrationEntry.additionalTaxInformation.saudiArabiaAdditionalInfo.taxRegistrationNumberType == enum_SaudiArabiaTaxRegistrationNumberType[_]
    input.Body.taxRegistrationEntry.additionalTaxInformation.southKoreaAdditionalInfo.businessRepresentativeName == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.southKoreaAdditionalInfo.itemOfBusiness == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.southKoreaAdditionalInfo.lineOfBusiness == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.spainAdditionalInfo.registrationType == enum_RegistrationType[_]
    input.Body.taxRegistrationEntry.additionalTaxInformation.turkeyAdditionalInfo.industries == enum_Industries[_]
    input.Body.taxRegistrationEntry.additionalTaxInformation.turkeyAdditionalInfo.kepEmailId == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.turkeyAdditionalInfo.secondaryTaxId == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.turkeyAdditionalInfo.taxOffice == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.ukraineAdditionalInfo.ukraineTrnType == enum_UkraineTrnType[_]
    input.Body.taxRegistrationEntry.certifiedEmailId == STRING
    input.Body.taxRegistrationEntry.legalAddress.addressLine1 == STRING
    input.Body.taxRegistrationEntry.legalAddress.addressLine2 == STRING
    input.Body.taxRegistrationEntry.legalAddress.addressLine3 == STRING
    input.Body.taxRegistrationEntry.legalAddress.city == STRING
    input.Body.taxRegistrationEntry.legalAddress.countryCode == STRING
    input.Body.taxRegistrationEntry.legalAddress.districtOrCounty == STRING
    input.Body.taxRegistrationEntry.legalAddress.postalCode == STRING
    input.Body.taxRegistrationEntry.legalAddress.stateOrRegion == STRING
    input.Body.taxRegistrationEntry.legalName == STRING
    input.Body.taxRegistrationEntry.registrationId == STRING
    input.Body.taxRegistrationEntry.registrationType == enum_TaxRegistrationType[_]
    input.Body.taxRegistrationEntry.sector == enum_Sector[_]
    input.Body.taxRegistrationEntry.verificationDetails.dateOfBirth == STRING
    input.Body.taxRegistrationEntry.verificationDetails.taxRegistrationDocuments[_].file.fileContent == BLOB
    input.Body.taxRegistrationEntry.verificationDetails.taxRegistrationDocuments[_].file.fileName == STRING
    input.Body.taxRegistrationEntry.verificationDetails.taxRegistrationDocuments[_].s3Location.bucket == STRING
    input.Body.taxRegistrationEntry.verificationDetails.taxRegistrationDocuments[_].s3Location.key == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteSupplementalTaxRegistration

valid {
    input.Body.authorityId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteTaxRegistration

valid {
    input.Body.accountId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetTaxExemptionTypes

valid {
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetTaxInheritance

valid {
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetTaxRegistration

valid {
    input.Body.accountId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetTaxRegistrationDocument

valid {
    input.Body.destinationS3Location.bucket == STRING
    input.Body.destinationS3Location.prefix == STRING
    input.Body.taxDocumentMetadata.taxDocumentAccessToken == STRING
    input.Body.taxDocumentMetadata.taxDocumentName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListSupplementalTaxRegistrations

valid {
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTaxExemptions

valid {
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTaxRegistrations

valid {
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

PutSupplementalTaxRegistration

enum_SupplementalTaxRegistrationType := [ "VAT" ]

valid {
    input.Body.taxRegistrationEntry.address.addressLine1 == STRING
    input.Body.taxRegistrationEntry.address.addressLine2 == STRING
    input.Body.taxRegistrationEntry.address.addressLine3 == STRING
    input.Body.taxRegistrationEntry.address.city == STRING
    input.Body.taxRegistrationEntry.address.countryCode == STRING
    input.Body.taxRegistrationEntry.address.districtOrCounty == STRING
    input.Body.taxRegistrationEntry.address.postalCode == STRING
    input.Body.taxRegistrationEntry.address.stateOrRegion == STRING
    input.Body.taxRegistrationEntry.legalName == STRING
    input.Body.taxRegistrationEntry.registrationId == STRING
    input.Body.taxRegistrationEntry.registrationType == enum_SupplementalTaxRegistrationType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

PutTaxExemption

valid {
    input.Body.accountIds[_] == STRING
    input.Body.authority.country == STRING
    input.Body.authority.state == STRING
    input.Body.exemptionCertificate.documentFile == BLOB
    input.Body.exemptionCertificate.documentName == STRING
    input.Body.exemptionType == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

PutTaxInheritance

enum_HeritageStatus := [ "OptIn", "OptOut" ]

valid {
    input.Body.heritageStatus == enum_HeritageStatus[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

PutTaxRegistration

enum_Industries := [ "CirculatingOrg", "ProfessionalOrg", "Banks", "Insurance", "PensionAndBenefitFunds", "DevelopmentAgencies" ]
enum_IsraelCustomerType := [ "Business", "Individual" ]
enum_IsraelDealerType := [ "Authorized", "Non-authorized" ]
enum_MalaysiaServiceTaxCode := [ "Consultancy", "Digital Service And Electronic Medium", "IT Services", "Training Or Coaching" ]
enum_PersonType := [ "Legal Person", "Physical Person", "Business" ]
enum_RegistrationType := [ "Intra-EU", "Local" ]
enum_SaudiArabiaTaxRegistrationNumberType := [ "TaxRegistrationNumber", "TaxIdentificationNumber", "CommercialRegistrationNumber" ]
enum_Sector := [ "Business", "Individual", "Government" ]
enum_TaxRegistrationNumberType := [ "TaxRegistrationNumber", "LocalRegistrationNumber" ]
enum_TaxRegistrationType := [ "VAT", "GST", "CPF", "CNPJ", "SST", "TIN", "NRIC" ]
enum_UkraineTrnType := [ "Business", "Individual" ]

valid {
    input.Body.accountId == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.canadaAdditionalInfo.canadaQuebecSalesTaxNumber == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.canadaAdditionalInfo.canadaRetailSalesTaxNumber == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.canadaAdditionalInfo.isResellerAccount == BOOLEAN
    input.Body.taxRegistrationEntry.additionalTaxInformation.canadaAdditionalInfo.provincialSalesTaxId == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.estoniaAdditionalInfo.registryCommercialCode == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.georgiaAdditionalInfo.personType == enum_PersonType[_]
    input.Body.taxRegistrationEntry.additionalTaxInformation.israelAdditionalInfo.customerType == enum_IsraelCustomerType[_]
    input.Body.taxRegistrationEntry.additionalTaxInformation.israelAdditionalInfo.dealerType == enum_IsraelDealerType[_]
    input.Body.taxRegistrationEntry.additionalTaxInformation.italyAdditionalInfo.cigNumber == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.italyAdditionalInfo.cupNumber == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.italyAdditionalInfo.sdiAccountId == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.italyAdditionalInfo.taxCode == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.kenyaAdditionalInfo.personType == enum_PersonType[_]
    input.Body.taxRegistrationEntry.additionalTaxInformation.malaysiaAdditionalInfo.businessRegistrationNumber == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.malaysiaAdditionalInfo.serviceTaxCodes[_] == enum_MalaysiaServiceTaxCode[_]
    input.Body.taxRegistrationEntry.additionalTaxInformation.malaysiaAdditionalInfo.taxInformationNumber == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.polandAdditionalInfo.individualRegistrationNumber == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.polandAdditionalInfo.isGroupVatEnabled == BOOLEAN
    input.Body.taxRegistrationEntry.additionalTaxInformation.romaniaAdditionalInfo.taxRegistrationNumberType == enum_TaxRegistrationNumberType[_]
    input.Body.taxRegistrationEntry.additionalTaxInformation.saudiArabiaAdditionalInfo.taxRegistrationNumberType == enum_SaudiArabiaTaxRegistrationNumberType[_]
    input.Body.taxRegistrationEntry.additionalTaxInformation.southKoreaAdditionalInfo.businessRepresentativeName == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.southKoreaAdditionalInfo.itemOfBusiness == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.southKoreaAdditionalInfo.lineOfBusiness == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.spainAdditionalInfo.registrationType == enum_RegistrationType[_]
    input.Body.taxRegistrationEntry.additionalTaxInformation.turkeyAdditionalInfo.industries == enum_Industries[_]
    input.Body.taxRegistrationEntry.additionalTaxInformation.turkeyAdditionalInfo.kepEmailId == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.turkeyAdditionalInfo.secondaryTaxId == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.turkeyAdditionalInfo.taxOffice == STRING
    input.Body.taxRegistrationEntry.additionalTaxInformation.ukraineAdditionalInfo.ukraineTrnType == enum_UkraineTrnType[_]
    input.Body.taxRegistrationEntry.certifiedEmailId == STRING
    input.Body.taxRegistrationEntry.legalAddress.addressLine1 == STRING
    input.Body.taxRegistrationEntry.legalAddress.addressLine2 == STRING
    input.Body.taxRegistrationEntry.legalAddress.addressLine3 == STRING
    input.Body.taxRegistrationEntry.legalAddress.city == STRING
    input.Body.taxRegistrationEntry.legalAddress.countryCode == STRING
    input.Body.taxRegistrationEntry.legalAddress.districtOrCounty == STRING
    input.Body.taxRegistrationEntry.legalAddress.postalCode == STRING
    input.Body.taxRegistrationEntry.legalAddress.stateOrRegion == STRING
    input.Body.taxRegistrationEntry.legalName == STRING
    input.Body.taxRegistrationEntry.registrationId == STRING
    input.Body.taxRegistrationEntry.registrationType == enum_TaxRegistrationType[_]
    input.Body.taxRegistrationEntry.sector == enum_Sector[_]
    input.Body.taxRegistrationEntry.verificationDetails.dateOfBirth == STRING
    input.Body.taxRegistrationEntry.verificationDetails.taxRegistrationDocuments[_].file.fileContent == BLOB
    input.Body.taxRegistrationEntry.verificationDetails.taxRegistrationDocuments[_].file.fileName == STRING
    input.Body.taxRegistrationEntry.verificationDetails.taxRegistrationDocuments[_].s3Location.bucket == STRING
    input.Body.taxRegistrationEntry.verificationDetails.taxRegistrationDocuments[_].s3Location.key == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}