valid {
    input.Body.defaultRelation == STRING
    input.Body.defaultSource.androidApp.certificate.sha256Fingerprint == STRING
    input.Body.defaultSource.androidApp.packageName == STRING
    input.Body.defaultSource.web.site == STRING
    input.Body.defaultTarget.androidApp.certificate.sha256Fingerprint == STRING
    input.Body.defaultTarget.androidApp.packageName == STRING
    input.Body.defaultTarget.web.site == STRING
    input.Body.returnRelationExtensions == BOOLEAN
    input.Body.statements[_].relation == STRING
    input.Body.statements[_].source.androidApp.certificate.sha256Fingerprint == STRING
    input.Body.statements[_].source.androidApp.packageName == STRING
    input.Body.statements[_].source.web.site == STRING
    input.Body.statements[_].target.androidApp.certificate.sha256Fingerprint == STRING
    input.Body.statements[_].target.androidApp.packageName == STRING
    input.Body.statements[_].target.web.site == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.relation == STRING
    input.Qs.returnRelationExtensions == BOOLEAN
    input.Qs.source.androidApp.certificate.sha256Fingerprint == STRING
    input.Qs.source.androidApp.packageName == STRING
    input.Qs.source.web.site == STRING
    input.Qs.target.androidApp.certificate.sha256Fingerprint == STRING
    input.Qs.target.androidApp.packageName == STRING
    input.Qs.target.web.site == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.relation == STRING
    input.Qs.returnRelationExtensions == BOOLEAN
    input.Qs.source.androidApp.certificate.sha256Fingerprint == STRING
    input.Qs.source.androidApp.packageName == STRING
    input.Qs.source.web.site == STRING
    input.ProviderMetadata.Region == STRING
}