Guides

SASPORTAL

Suggest Edits
cloud.google.com
GCP documentation

sasportal.customers.deployments.create

valid {
    input.Body.displayName == STRING
    input.Body.sasUserIds[_] == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.deployments.delete

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

sasportal.customers.deployments.devices.create

enum_SasPortalDeviceAirInterfaceRadioTechnology := [ "RADIO_TECHNOLOGY_UNSPECIFIED", "E_UTRA", "CAMBIUM_NETWORKS", "FOUR_G_BBW_SAA_1", "NR", "DOODLE_CBRS", "CW", "REDLINE", "TARANA_WIRELESS", "FAROS" ]
enum_SasPortalDeviceConfigCategory := [ "DEVICE_CATEGORY_UNSPECIFIED", "DEVICE_CATEGORY_A", "DEVICE_CATEGORY_B" ]
enum_SasPortalDeviceConfigMeasurementCapabilities := [ "MEASUREMENT_CAPABILITY_UNSPECIFIED", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITH_GRANT", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITHOUT_GRANT" ]
enum_SasPortalDeviceConfigState := [ "DEVICE_CONFIG_STATE_UNSPECIFIED", "DRAFT", "FINAL" ]
enum_SasPortalDeviceGrantChannelType := [ "CHANNEL_TYPE_UNSPECIFIED", "CHANNEL_TYPE_GAA", "CHANNEL_TYPE_PAL" ]
enum_SasPortalDeviceGrantState := [ "GRANT_STATE_UNSPECIFIED", "GRANT_STATE_GRANTED", "GRANT_STATE_TERMINATED", "GRANT_STATE_SUSPENDED", "GRANT_STATE_AUTHORIZED", "GRANT_STATE_EXPIRED" ]
enum_SasPortalDeviceState := [ "DEVICE_STATE_UNSPECIFIED", "RESERVED", "REGISTERED", "DEREGISTERED" ]
enum_SasPortalInstallationParamsHeightType := [ "HEIGHT_TYPE_UNSPECIFIED", "HEIGHT_TYPE_AGL", "HEIGHT_TYPE_AMSL" ]

valid {
    input.Body.activeConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.activeConfig.airInterface.supportedSpec == STRING
    input.Body.activeConfig.callSign == STRING
    input.Body.activeConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.activeConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.activeConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.activeConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.activeConfig.installationParams.antennaGain == NUMBER
    input.Body.activeConfig.installationParams.antennaModel == STRING
    input.Body.activeConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.activeConfig.installationParams.eirpCapability == INTEGER
    input.Body.activeConfig.installationParams.height == NUMBER
    input.Body.activeConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.activeConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.activeConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.activeConfig.installationParams.latitude == NUMBER
    input.Body.activeConfig.installationParams.longitude == NUMBER
    input.Body.activeConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.activeConfig.isSigned == BOOLEAN
    input.Body.activeConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.activeConfig.model.firmwareVersion == STRING
    input.Body.activeConfig.model.hardwareVersion == STRING
    input.Body.activeConfig.model.name == STRING
    input.Body.activeConfig.model.softwareVersion == STRING
    input.Body.activeConfig.model.vendor == STRING
    input.Body.activeConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.activeConfig.updateTime == STRING
    input.Body.activeConfig.userId == STRING
    input.Body.deviceMetadata.antennaModel == STRING
    input.Body.deviceMetadata.commonChannelGroup == STRING
    input.Body.deviceMetadata.interferenceCoordinationGroup == STRING
    input.Body.displayName == STRING
    input.Body.fccId == STRING
    input.Body.grantRangeAllowlists[_].highFrequencyMhz == NUMBER
    input.Body.grantRangeAllowlists[_].lowFrequencyMhz == NUMBER
    input.Body.grants[_].channelType == enum_SasPortalDeviceGrantChannelType[_]
    input.Body.grants[_].expireTime == STRING
    input.Body.grants[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.grants[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.grants[_].grantId == STRING
    input.Body.grants[_].lastHeartbeatTransmitExpireTime == STRING
    input.Body.grants[_].maxEirp == NUMBER
    input.Body.grants[_].moveList[_].dpaId == STRING
    input.Body.grants[_].moveList[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.grants[_].moveList[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.grants[_].state == enum_SasPortalDeviceGrantState[_]
    input.Body.grants[_].suspensionReason[_] == STRING
    input.Body.name == STRING
    input.Body.preloadedConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.preloadedConfig.airInterface.supportedSpec == STRING
    input.Body.preloadedConfig.callSign == STRING
    input.Body.preloadedConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.preloadedConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.preloadedConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.preloadedConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.preloadedConfig.installationParams.antennaGain == NUMBER
    input.Body.preloadedConfig.installationParams.antennaModel == STRING
    input.Body.preloadedConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.preloadedConfig.installationParams.eirpCapability == INTEGER
    input.Body.preloadedConfig.installationParams.height == NUMBER
    input.Body.preloadedConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.preloadedConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.preloadedConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.preloadedConfig.installationParams.latitude == NUMBER
    input.Body.preloadedConfig.installationParams.longitude == NUMBER
    input.Body.preloadedConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.preloadedConfig.isSigned == BOOLEAN
    input.Body.preloadedConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.preloadedConfig.model.firmwareVersion == STRING
    input.Body.preloadedConfig.model.hardwareVersion == STRING
    input.Body.preloadedConfig.model.name == STRING
    input.Body.preloadedConfig.model.softwareVersion == STRING
    input.Body.preloadedConfig.model.vendor == STRING
    input.Body.preloadedConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.preloadedConfig.updateTime == STRING
    input.Body.preloadedConfig.userId == STRING
    input.Body.serialNumber == STRING
    input.Body.state == enum_SasPortalDeviceState[_]
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.deployments.devices.createSigned

valid {
    input.Body.encodedDevice == STRING
    input.Body.installerId == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.deployments.devices.list

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.deployments.get

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

sasportal.customers.deployments.list

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.deployments.move

valid {
    input.Body.destination == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.deployments.patch

valid {
    input.Body.displayName == STRING
    input.Body.sasUserIds[_] == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.devices.create

enum_SasPortalDeviceAirInterfaceRadioTechnology := [ "RADIO_TECHNOLOGY_UNSPECIFIED", "E_UTRA", "CAMBIUM_NETWORKS", "FOUR_G_BBW_SAA_1", "NR", "DOODLE_CBRS", "CW", "REDLINE", "TARANA_WIRELESS", "FAROS" ]
enum_SasPortalDeviceConfigCategory := [ "DEVICE_CATEGORY_UNSPECIFIED", "DEVICE_CATEGORY_A", "DEVICE_CATEGORY_B" ]
enum_SasPortalDeviceConfigMeasurementCapabilities := [ "MEASUREMENT_CAPABILITY_UNSPECIFIED", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITH_GRANT", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITHOUT_GRANT" ]
enum_SasPortalDeviceConfigState := [ "DEVICE_CONFIG_STATE_UNSPECIFIED", "DRAFT", "FINAL" ]
enum_SasPortalDeviceGrantChannelType := [ "CHANNEL_TYPE_UNSPECIFIED", "CHANNEL_TYPE_GAA", "CHANNEL_TYPE_PAL" ]
enum_SasPortalDeviceGrantState := [ "GRANT_STATE_UNSPECIFIED", "GRANT_STATE_GRANTED", "GRANT_STATE_TERMINATED", "GRANT_STATE_SUSPENDED", "GRANT_STATE_AUTHORIZED", "GRANT_STATE_EXPIRED" ]
enum_SasPortalDeviceState := [ "DEVICE_STATE_UNSPECIFIED", "RESERVED", "REGISTERED", "DEREGISTERED" ]
enum_SasPortalInstallationParamsHeightType := [ "HEIGHT_TYPE_UNSPECIFIED", "HEIGHT_TYPE_AGL", "HEIGHT_TYPE_AMSL" ]

valid {
    input.Body.activeConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.activeConfig.airInterface.supportedSpec == STRING
    input.Body.activeConfig.callSign == STRING
    input.Body.activeConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.activeConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.activeConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.activeConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.activeConfig.installationParams.antennaGain == NUMBER
    input.Body.activeConfig.installationParams.antennaModel == STRING
    input.Body.activeConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.activeConfig.installationParams.eirpCapability == INTEGER
    input.Body.activeConfig.installationParams.height == NUMBER
    input.Body.activeConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.activeConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.activeConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.activeConfig.installationParams.latitude == NUMBER
    input.Body.activeConfig.installationParams.longitude == NUMBER
    input.Body.activeConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.activeConfig.isSigned == BOOLEAN
    input.Body.activeConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.activeConfig.model.firmwareVersion == STRING
    input.Body.activeConfig.model.hardwareVersion == STRING
    input.Body.activeConfig.model.name == STRING
    input.Body.activeConfig.model.softwareVersion == STRING
    input.Body.activeConfig.model.vendor == STRING
    input.Body.activeConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.activeConfig.updateTime == STRING
    input.Body.activeConfig.userId == STRING
    input.Body.deviceMetadata.antennaModel == STRING
    input.Body.deviceMetadata.commonChannelGroup == STRING
    input.Body.deviceMetadata.interferenceCoordinationGroup == STRING
    input.Body.displayName == STRING
    input.Body.fccId == STRING
    input.Body.grantRangeAllowlists[_].highFrequencyMhz == NUMBER
    input.Body.grantRangeAllowlists[_].lowFrequencyMhz == NUMBER
    input.Body.grants[_].channelType == enum_SasPortalDeviceGrantChannelType[_]
    input.Body.grants[_].expireTime == STRING
    input.Body.grants[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.grants[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.grants[_].grantId == STRING
    input.Body.grants[_].lastHeartbeatTransmitExpireTime == STRING
    input.Body.grants[_].maxEirp == NUMBER
    input.Body.grants[_].moveList[_].dpaId == STRING
    input.Body.grants[_].moveList[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.grants[_].moveList[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.grants[_].state == enum_SasPortalDeviceGrantState[_]
    input.Body.grants[_].suspensionReason[_] == STRING
    input.Body.name == STRING
    input.Body.preloadedConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.preloadedConfig.airInterface.supportedSpec == STRING
    input.Body.preloadedConfig.callSign == STRING
    input.Body.preloadedConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.preloadedConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.preloadedConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.preloadedConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.preloadedConfig.installationParams.antennaGain == NUMBER
    input.Body.preloadedConfig.installationParams.antennaModel == STRING
    input.Body.preloadedConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.preloadedConfig.installationParams.eirpCapability == INTEGER
    input.Body.preloadedConfig.installationParams.height == NUMBER
    input.Body.preloadedConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.preloadedConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.preloadedConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.preloadedConfig.installationParams.latitude == NUMBER
    input.Body.preloadedConfig.installationParams.longitude == NUMBER
    input.Body.preloadedConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.preloadedConfig.isSigned == BOOLEAN
    input.Body.preloadedConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.preloadedConfig.model.firmwareVersion == STRING
    input.Body.preloadedConfig.model.hardwareVersion == STRING
    input.Body.preloadedConfig.model.name == STRING
    input.Body.preloadedConfig.model.softwareVersion == STRING
    input.Body.preloadedConfig.model.vendor == STRING
    input.Body.preloadedConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.preloadedConfig.updateTime == STRING
    input.Body.preloadedConfig.userId == STRING
    input.Body.serialNumber == STRING
    input.Body.state == enum_SasPortalDeviceState[_]
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.devices.createSigned

valid {
    input.Body.encodedDevice == STRING
    input.Body.installerId == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.devices.delete

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

sasportal.customers.devices.get

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

sasportal.customers.devices.list

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.devices.move

valid {
    input.Body.destination == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.devices.patch

enum_SasPortalDeviceAirInterfaceRadioTechnology := [ "RADIO_TECHNOLOGY_UNSPECIFIED", "E_UTRA", "CAMBIUM_NETWORKS", "FOUR_G_BBW_SAA_1", "NR", "DOODLE_CBRS", "CW", "REDLINE", "TARANA_WIRELESS", "FAROS" ]
enum_SasPortalDeviceConfigCategory := [ "DEVICE_CATEGORY_UNSPECIFIED", "DEVICE_CATEGORY_A", "DEVICE_CATEGORY_B" ]
enum_SasPortalDeviceConfigMeasurementCapabilities := [ "MEASUREMENT_CAPABILITY_UNSPECIFIED", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITH_GRANT", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITHOUT_GRANT" ]
enum_SasPortalDeviceConfigState := [ "DEVICE_CONFIG_STATE_UNSPECIFIED", "DRAFT", "FINAL" ]
enum_SasPortalDeviceGrantChannelType := [ "CHANNEL_TYPE_UNSPECIFIED", "CHANNEL_TYPE_GAA", "CHANNEL_TYPE_PAL" ]
enum_SasPortalDeviceGrantState := [ "GRANT_STATE_UNSPECIFIED", "GRANT_STATE_GRANTED", "GRANT_STATE_TERMINATED", "GRANT_STATE_SUSPENDED", "GRANT_STATE_AUTHORIZED", "GRANT_STATE_EXPIRED" ]
enum_SasPortalDeviceState := [ "DEVICE_STATE_UNSPECIFIED", "RESERVED", "REGISTERED", "DEREGISTERED" ]
enum_SasPortalInstallationParamsHeightType := [ "HEIGHT_TYPE_UNSPECIFIED", "HEIGHT_TYPE_AGL", "HEIGHT_TYPE_AMSL" ]

valid {
    input.Body.activeConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.activeConfig.airInterface.supportedSpec == STRING
    input.Body.activeConfig.callSign == STRING
    input.Body.activeConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.activeConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.activeConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.activeConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.activeConfig.installationParams.antennaGain == NUMBER
    input.Body.activeConfig.installationParams.antennaModel == STRING
    input.Body.activeConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.activeConfig.installationParams.eirpCapability == INTEGER
    input.Body.activeConfig.installationParams.height == NUMBER
    input.Body.activeConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.activeConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.activeConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.activeConfig.installationParams.latitude == NUMBER
    input.Body.activeConfig.installationParams.longitude == NUMBER
    input.Body.activeConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.activeConfig.isSigned == BOOLEAN
    input.Body.activeConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.activeConfig.model.firmwareVersion == STRING
    input.Body.activeConfig.model.hardwareVersion == STRING
    input.Body.activeConfig.model.name == STRING
    input.Body.activeConfig.model.softwareVersion == STRING
    input.Body.activeConfig.model.vendor == STRING
    input.Body.activeConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.activeConfig.updateTime == STRING
    input.Body.activeConfig.userId == STRING
    input.Body.deviceMetadata.antennaModel == STRING
    input.Body.deviceMetadata.commonChannelGroup == STRING
    input.Body.deviceMetadata.interferenceCoordinationGroup == STRING
    input.Body.displayName == STRING
    input.Body.fccId == STRING
    input.Body.grantRangeAllowlists[_].highFrequencyMhz == NUMBER
    input.Body.grantRangeAllowlists[_].lowFrequencyMhz == NUMBER
    input.Body.grants[_].channelType == enum_SasPortalDeviceGrantChannelType[_]
    input.Body.grants[_].expireTime == STRING
    input.Body.grants[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.grants[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.grants[_].grantId == STRING
    input.Body.grants[_].lastHeartbeatTransmitExpireTime == STRING
    input.Body.grants[_].maxEirp == NUMBER
    input.Body.grants[_].moveList[_].dpaId == STRING
    input.Body.grants[_].moveList[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.grants[_].moveList[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.grants[_].state == enum_SasPortalDeviceGrantState[_]
    input.Body.grants[_].suspensionReason[_] == STRING
    input.Body.name == STRING
    input.Body.preloadedConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.preloadedConfig.airInterface.supportedSpec == STRING
    input.Body.preloadedConfig.callSign == STRING
    input.Body.preloadedConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.preloadedConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.preloadedConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.preloadedConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.preloadedConfig.installationParams.antennaGain == NUMBER
    input.Body.preloadedConfig.installationParams.antennaModel == STRING
    input.Body.preloadedConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.preloadedConfig.installationParams.eirpCapability == INTEGER
    input.Body.preloadedConfig.installationParams.height == NUMBER
    input.Body.preloadedConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.preloadedConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.preloadedConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.preloadedConfig.installationParams.latitude == NUMBER
    input.Body.preloadedConfig.installationParams.longitude == NUMBER
    input.Body.preloadedConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.preloadedConfig.isSigned == BOOLEAN
    input.Body.preloadedConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.preloadedConfig.model.firmwareVersion == STRING
    input.Body.preloadedConfig.model.hardwareVersion == STRING
    input.Body.preloadedConfig.model.name == STRING
    input.Body.preloadedConfig.model.softwareVersion == STRING
    input.Body.preloadedConfig.model.vendor == STRING
    input.Body.preloadedConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.preloadedConfig.updateTime == STRING
    input.Body.preloadedConfig.userId == STRING
    input.Body.serialNumber == STRING
    input.Body.state == enum_SasPortalDeviceState[_]
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.devices.signDevice

enum_SasPortalDeviceAirInterfaceRadioTechnology := [ "RADIO_TECHNOLOGY_UNSPECIFIED", "E_UTRA", "CAMBIUM_NETWORKS", "FOUR_G_BBW_SAA_1", "NR", "DOODLE_CBRS", "CW", "REDLINE", "TARANA_WIRELESS", "FAROS" ]
enum_SasPortalDeviceConfigCategory := [ "DEVICE_CATEGORY_UNSPECIFIED", "DEVICE_CATEGORY_A", "DEVICE_CATEGORY_B" ]
enum_SasPortalDeviceConfigMeasurementCapabilities := [ "MEASUREMENT_CAPABILITY_UNSPECIFIED", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITH_GRANT", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITHOUT_GRANT" ]
enum_SasPortalDeviceConfigState := [ "DEVICE_CONFIG_STATE_UNSPECIFIED", "DRAFT", "FINAL" ]
enum_SasPortalDeviceGrantChannelType := [ "CHANNEL_TYPE_UNSPECIFIED", "CHANNEL_TYPE_GAA", "CHANNEL_TYPE_PAL" ]
enum_SasPortalDeviceGrantState := [ "GRANT_STATE_UNSPECIFIED", "GRANT_STATE_GRANTED", "GRANT_STATE_TERMINATED", "GRANT_STATE_SUSPENDED", "GRANT_STATE_AUTHORIZED", "GRANT_STATE_EXPIRED" ]
enum_SasPortalDeviceState := [ "DEVICE_STATE_UNSPECIFIED", "RESERVED", "REGISTERED", "DEREGISTERED" ]
enum_SasPortalInstallationParamsHeightType := [ "HEIGHT_TYPE_UNSPECIFIED", "HEIGHT_TYPE_AGL", "HEIGHT_TYPE_AMSL" ]

valid {
    input.Body.device.activeConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.device.activeConfig.airInterface.supportedSpec == STRING
    input.Body.device.activeConfig.callSign == STRING
    input.Body.device.activeConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.device.activeConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.device.activeConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.device.activeConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.device.activeConfig.installationParams.antennaGain == NUMBER
    input.Body.device.activeConfig.installationParams.antennaModel == STRING
    input.Body.device.activeConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.device.activeConfig.installationParams.eirpCapability == INTEGER
    input.Body.device.activeConfig.installationParams.height == NUMBER
    input.Body.device.activeConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.device.activeConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.device.activeConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.device.activeConfig.installationParams.latitude == NUMBER
    input.Body.device.activeConfig.installationParams.longitude == NUMBER
    input.Body.device.activeConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.device.activeConfig.isSigned == BOOLEAN
    input.Body.device.activeConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.device.activeConfig.model.firmwareVersion == STRING
    input.Body.device.activeConfig.model.hardwareVersion == STRING
    input.Body.device.activeConfig.model.name == STRING
    input.Body.device.activeConfig.model.softwareVersion == STRING
    input.Body.device.activeConfig.model.vendor == STRING
    input.Body.device.activeConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.device.activeConfig.updateTime == STRING
    input.Body.device.activeConfig.userId == STRING
    input.Body.device.deviceMetadata.antennaModel == STRING
    input.Body.device.deviceMetadata.commonChannelGroup == STRING
    input.Body.device.deviceMetadata.interferenceCoordinationGroup == STRING
    input.Body.device.displayName == STRING
    input.Body.device.fccId == STRING
    input.Body.device.grantRangeAllowlists[_].highFrequencyMhz == NUMBER
    input.Body.device.grantRangeAllowlists[_].lowFrequencyMhz == NUMBER
    input.Body.device.grants[_].channelType == enum_SasPortalDeviceGrantChannelType[_]
    input.Body.device.grants[_].expireTime == STRING
    input.Body.device.grants[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.device.grants[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.device.grants[_].grantId == STRING
    input.Body.device.grants[_].lastHeartbeatTransmitExpireTime == STRING
    input.Body.device.grants[_].maxEirp == NUMBER
    input.Body.device.grants[_].moveList[_].dpaId == STRING
    input.Body.device.grants[_].moveList[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.device.grants[_].moveList[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.device.grants[_].state == enum_SasPortalDeviceGrantState[_]
    input.Body.device.grants[_].suspensionReason[_] == STRING
    input.Body.device.name == STRING
    input.Body.device.preloadedConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.device.preloadedConfig.airInterface.supportedSpec == STRING
    input.Body.device.preloadedConfig.callSign == STRING
    input.Body.device.preloadedConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.device.preloadedConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.device.preloadedConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.device.preloadedConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.device.preloadedConfig.installationParams.antennaGain == NUMBER
    input.Body.device.preloadedConfig.installationParams.antennaModel == STRING
    input.Body.device.preloadedConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.device.preloadedConfig.installationParams.eirpCapability == INTEGER
    input.Body.device.preloadedConfig.installationParams.height == NUMBER
    input.Body.device.preloadedConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.device.preloadedConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.device.preloadedConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.device.preloadedConfig.installationParams.latitude == NUMBER
    input.Body.device.preloadedConfig.installationParams.longitude == NUMBER
    input.Body.device.preloadedConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.device.preloadedConfig.isSigned == BOOLEAN
    input.Body.device.preloadedConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.device.preloadedConfig.model.firmwareVersion == STRING
    input.Body.device.preloadedConfig.model.hardwareVersion == STRING
    input.Body.device.preloadedConfig.model.name == STRING
    input.Body.device.preloadedConfig.model.softwareVersion == STRING
    input.Body.device.preloadedConfig.model.vendor == STRING
    input.Body.device.preloadedConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.device.preloadedConfig.updateTime == STRING
    input.Body.device.preloadedConfig.userId == STRING
    input.Body.device.serialNumber == STRING
    input.Body.device.state == enum_SasPortalDeviceState[_]
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.devices.updateSigned

valid {
    input.Body.encodedDevice == STRING
    input.Body.installerId == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.get

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

sasportal.customers.list

valid {
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.listGcpProjectDeployments

valid {
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.listLegacyOrganizations

valid {
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.migrateOrganization

valid {
    input.Body.organizationId == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.nodes.create

valid {
    input.Body.displayName == STRING
    input.Body.name == STRING
    input.Body.sasUserIds[_] == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.nodes.delete

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

sasportal.customers.nodes.deployments.create

valid {
    input.Body.displayName == STRING
    input.Body.sasUserIds[_] == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.nodes.deployments.list

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.nodes.devices.create

enum_SasPortalDeviceAirInterfaceRadioTechnology := [ "RADIO_TECHNOLOGY_UNSPECIFIED", "E_UTRA", "CAMBIUM_NETWORKS", "FOUR_G_BBW_SAA_1", "NR", "DOODLE_CBRS", "CW", "REDLINE", "TARANA_WIRELESS", "FAROS" ]
enum_SasPortalDeviceConfigCategory := [ "DEVICE_CATEGORY_UNSPECIFIED", "DEVICE_CATEGORY_A", "DEVICE_CATEGORY_B" ]
enum_SasPortalDeviceConfigMeasurementCapabilities := [ "MEASUREMENT_CAPABILITY_UNSPECIFIED", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITH_GRANT", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITHOUT_GRANT" ]
enum_SasPortalDeviceConfigState := [ "DEVICE_CONFIG_STATE_UNSPECIFIED", "DRAFT", "FINAL" ]
enum_SasPortalDeviceGrantChannelType := [ "CHANNEL_TYPE_UNSPECIFIED", "CHANNEL_TYPE_GAA", "CHANNEL_TYPE_PAL" ]
enum_SasPortalDeviceGrantState := [ "GRANT_STATE_UNSPECIFIED", "GRANT_STATE_GRANTED", "GRANT_STATE_TERMINATED", "GRANT_STATE_SUSPENDED", "GRANT_STATE_AUTHORIZED", "GRANT_STATE_EXPIRED" ]
enum_SasPortalDeviceState := [ "DEVICE_STATE_UNSPECIFIED", "RESERVED", "REGISTERED", "DEREGISTERED" ]
enum_SasPortalInstallationParamsHeightType := [ "HEIGHT_TYPE_UNSPECIFIED", "HEIGHT_TYPE_AGL", "HEIGHT_TYPE_AMSL" ]

valid {
    input.Body.activeConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.activeConfig.airInterface.supportedSpec == STRING
    input.Body.activeConfig.callSign == STRING
    input.Body.activeConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.activeConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.activeConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.activeConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.activeConfig.installationParams.antennaGain == NUMBER
    input.Body.activeConfig.installationParams.antennaModel == STRING
    input.Body.activeConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.activeConfig.installationParams.eirpCapability == INTEGER
    input.Body.activeConfig.installationParams.height == NUMBER
    input.Body.activeConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.activeConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.activeConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.activeConfig.installationParams.latitude == NUMBER
    input.Body.activeConfig.installationParams.longitude == NUMBER
    input.Body.activeConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.activeConfig.isSigned == BOOLEAN
    input.Body.activeConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.activeConfig.model.firmwareVersion == STRING
    input.Body.activeConfig.model.hardwareVersion == STRING
    input.Body.activeConfig.model.name == STRING
    input.Body.activeConfig.model.softwareVersion == STRING
    input.Body.activeConfig.model.vendor == STRING
    input.Body.activeConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.activeConfig.updateTime == STRING
    input.Body.activeConfig.userId == STRING
    input.Body.deviceMetadata.antennaModel == STRING
    input.Body.deviceMetadata.commonChannelGroup == STRING
    input.Body.deviceMetadata.interferenceCoordinationGroup == STRING
    input.Body.displayName == STRING
    input.Body.fccId == STRING
    input.Body.grantRangeAllowlists[_].highFrequencyMhz == NUMBER
    input.Body.grantRangeAllowlists[_].lowFrequencyMhz == NUMBER
    input.Body.grants[_].channelType == enum_SasPortalDeviceGrantChannelType[_]
    input.Body.grants[_].expireTime == STRING
    input.Body.grants[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.grants[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.grants[_].grantId == STRING
    input.Body.grants[_].lastHeartbeatTransmitExpireTime == STRING
    input.Body.grants[_].maxEirp == NUMBER
    input.Body.grants[_].moveList[_].dpaId == STRING
    input.Body.grants[_].moveList[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.grants[_].moveList[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.grants[_].state == enum_SasPortalDeviceGrantState[_]
    input.Body.grants[_].suspensionReason[_] == STRING
    input.Body.name == STRING
    input.Body.preloadedConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.preloadedConfig.airInterface.supportedSpec == STRING
    input.Body.preloadedConfig.callSign == STRING
    input.Body.preloadedConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.preloadedConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.preloadedConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.preloadedConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.preloadedConfig.installationParams.antennaGain == NUMBER
    input.Body.preloadedConfig.installationParams.antennaModel == STRING
    input.Body.preloadedConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.preloadedConfig.installationParams.eirpCapability == INTEGER
    input.Body.preloadedConfig.installationParams.height == NUMBER
    input.Body.preloadedConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.preloadedConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.preloadedConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.preloadedConfig.installationParams.latitude == NUMBER
    input.Body.preloadedConfig.installationParams.longitude == NUMBER
    input.Body.preloadedConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.preloadedConfig.isSigned == BOOLEAN
    input.Body.preloadedConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.preloadedConfig.model.firmwareVersion == STRING
    input.Body.preloadedConfig.model.hardwareVersion == STRING
    input.Body.preloadedConfig.model.name == STRING
    input.Body.preloadedConfig.model.softwareVersion == STRING
    input.Body.preloadedConfig.model.vendor == STRING
    input.Body.preloadedConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.preloadedConfig.updateTime == STRING
    input.Body.preloadedConfig.userId == STRING
    input.Body.serialNumber == STRING
    input.Body.state == enum_SasPortalDeviceState[_]
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.nodes.devices.createSigned

valid {
    input.Body.encodedDevice == STRING
    input.Body.installerId == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.nodes.devices.list

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.nodes.get

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

sasportal.customers.nodes.list

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.nodes.move

valid {
    input.Body.destination == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.nodes.nodes.create

valid {
    input.Body.displayName == STRING
    input.Body.name == STRING
    input.Body.sasUserIds[_] == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.nodes.nodes.list

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.nodes.patch

valid {
    input.Body.displayName == STRING
    input.Body.name == STRING
    input.Body.sasUserIds[_] == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.patch

valid {
    input.Body.displayName == STRING
    input.Body.name == STRING
    input.Body.sasUserIds[_] == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.provisionDeployment

valid {
    input.Body.newDeploymentDisplayName == STRING
    input.Body.newOrganizationDisplayName == STRING
    input.Body.organizationId == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.customers.setupSasAnalytics

valid {
    input.Body.userId == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.deployments.devices.delete

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

sasportal.deployments.devices.get

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

sasportal.deployments.devices.move

valid {
    input.Body.destination == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.deployments.devices.patch

enum_SasPortalDeviceAirInterfaceRadioTechnology := [ "RADIO_TECHNOLOGY_UNSPECIFIED", "E_UTRA", "CAMBIUM_NETWORKS", "FOUR_G_BBW_SAA_1", "NR", "DOODLE_CBRS", "CW", "REDLINE", "TARANA_WIRELESS", "FAROS" ]
enum_SasPortalDeviceConfigCategory := [ "DEVICE_CATEGORY_UNSPECIFIED", "DEVICE_CATEGORY_A", "DEVICE_CATEGORY_B" ]
enum_SasPortalDeviceConfigMeasurementCapabilities := [ "MEASUREMENT_CAPABILITY_UNSPECIFIED", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITH_GRANT", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITHOUT_GRANT" ]
enum_SasPortalDeviceConfigState := [ "DEVICE_CONFIG_STATE_UNSPECIFIED", "DRAFT", "FINAL" ]
enum_SasPortalDeviceGrantChannelType := [ "CHANNEL_TYPE_UNSPECIFIED", "CHANNEL_TYPE_GAA", "CHANNEL_TYPE_PAL" ]
enum_SasPortalDeviceGrantState := [ "GRANT_STATE_UNSPECIFIED", "GRANT_STATE_GRANTED", "GRANT_STATE_TERMINATED", "GRANT_STATE_SUSPENDED", "GRANT_STATE_AUTHORIZED", "GRANT_STATE_EXPIRED" ]
enum_SasPortalDeviceState := [ "DEVICE_STATE_UNSPECIFIED", "RESERVED", "REGISTERED", "DEREGISTERED" ]
enum_SasPortalInstallationParamsHeightType := [ "HEIGHT_TYPE_UNSPECIFIED", "HEIGHT_TYPE_AGL", "HEIGHT_TYPE_AMSL" ]

valid {
    input.Body.activeConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.activeConfig.airInterface.supportedSpec == STRING
    input.Body.activeConfig.callSign == STRING
    input.Body.activeConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.activeConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.activeConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.activeConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.activeConfig.installationParams.antennaGain == NUMBER
    input.Body.activeConfig.installationParams.antennaModel == STRING
    input.Body.activeConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.activeConfig.installationParams.eirpCapability == INTEGER
    input.Body.activeConfig.installationParams.height == NUMBER
    input.Body.activeConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.activeConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.activeConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.activeConfig.installationParams.latitude == NUMBER
    input.Body.activeConfig.installationParams.longitude == NUMBER
    input.Body.activeConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.activeConfig.isSigned == BOOLEAN
    input.Body.activeConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.activeConfig.model.firmwareVersion == STRING
    input.Body.activeConfig.model.hardwareVersion == STRING
    input.Body.activeConfig.model.name == STRING
    input.Body.activeConfig.model.softwareVersion == STRING
    input.Body.activeConfig.model.vendor == STRING
    input.Body.activeConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.activeConfig.updateTime == STRING
    input.Body.activeConfig.userId == STRING
    input.Body.deviceMetadata.antennaModel == STRING
    input.Body.deviceMetadata.commonChannelGroup == STRING
    input.Body.deviceMetadata.interferenceCoordinationGroup == STRING
    input.Body.displayName == STRING
    input.Body.fccId == STRING
    input.Body.grantRangeAllowlists[_].highFrequencyMhz == NUMBER
    input.Body.grantRangeAllowlists[_].lowFrequencyMhz == NUMBER
    input.Body.grants[_].channelType == enum_SasPortalDeviceGrantChannelType[_]
    input.Body.grants[_].expireTime == STRING
    input.Body.grants[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.grants[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.grants[_].grantId == STRING
    input.Body.grants[_].lastHeartbeatTransmitExpireTime == STRING
    input.Body.grants[_].maxEirp == NUMBER
    input.Body.grants[_].moveList[_].dpaId == STRING
    input.Body.grants[_].moveList[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.grants[_].moveList[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.grants[_].state == enum_SasPortalDeviceGrantState[_]
    input.Body.grants[_].suspensionReason[_] == STRING
    input.Body.name == STRING
    input.Body.preloadedConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.preloadedConfig.airInterface.supportedSpec == STRING
    input.Body.preloadedConfig.callSign == STRING
    input.Body.preloadedConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.preloadedConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.preloadedConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.preloadedConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.preloadedConfig.installationParams.antennaGain == NUMBER
    input.Body.preloadedConfig.installationParams.antennaModel == STRING
    input.Body.preloadedConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.preloadedConfig.installationParams.eirpCapability == INTEGER
    input.Body.preloadedConfig.installationParams.height == NUMBER
    input.Body.preloadedConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.preloadedConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.preloadedConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.preloadedConfig.installationParams.latitude == NUMBER
    input.Body.preloadedConfig.installationParams.longitude == NUMBER
    input.Body.preloadedConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.preloadedConfig.isSigned == BOOLEAN
    input.Body.preloadedConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.preloadedConfig.model.firmwareVersion == STRING
    input.Body.preloadedConfig.model.hardwareVersion == STRING
    input.Body.preloadedConfig.model.name == STRING
    input.Body.preloadedConfig.model.softwareVersion == STRING
    input.Body.preloadedConfig.model.vendor == STRING
    input.Body.preloadedConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.preloadedConfig.updateTime == STRING
    input.Body.preloadedConfig.userId == STRING
    input.Body.serialNumber == STRING
    input.Body.state == enum_SasPortalDeviceState[_]
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.deployments.devices.signDevice

enum_SasPortalDeviceAirInterfaceRadioTechnology := [ "RADIO_TECHNOLOGY_UNSPECIFIED", "E_UTRA", "CAMBIUM_NETWORKS", "FOUR_G_BBW_SAA_1", "NR", "DOODLE_CBRS", "CW", "REDLINE", "TARANA_WIRELESS", "FAROS" ]
enum_SasPortalDeviceConfigCategory := [ "DEVICE_CATEGORY_UNSPECIFIED", "DEVICE_CATEGORY_A", "DEVICE_CATEGORY_B" ]
enum_SasPortalDeviceConfigMeasurementCapabilities := [ "MEASUREMENT_CAPABILITY_UNSPECIFIED", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITH_GRANT", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITHOUT_GRANT" ]
enum_SasPortalDeviceConfigState := [ "DEVICE_CONFIG_STATE_UNSPECIFIED", "DRAFT", "FINAL" ]
enum_SasPortalDeviceGrantChannelType := [ "CHANNEL_TYPE_UNSPECIFIED", "CHANNEL_TYPE_GAA", "CHANNEL_TYPE_PAL" ]
enum_SasPortalDeviceGrantState := [ "GRANT_STATE_UNSPECIFIED", "GRANT_STATE_GRANTED", "GRANT_STATE_TERMINATED", "GRANT_STATE_SUSPENDED", "GRANT_STATE_AUTHORIZED", "GRANT_STATE_EXPIRED" ]
enum_SasPortalDeviceState := [ "DEVICE_STATE_UNSPECIFIED", "RESERVED", "REGISTERED", "DEREGISTERED" ]
enum_SasPortalInstallationParamsHeightType := [ "HEIGHT_TYPE_UNSPECIFIED", "HEIGHT_TYPE_AGL", "HEIGHT_TYPE_AMSL" ]

valid {
    input.Body.device.activeConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.device.activeConfig.airInterface.supportedSpec == STRING
    input.Body.device.activeConfig.callSign == STRING
    input.Body.device.activeConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.device.activeConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.device.activeConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.device.activeConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.device.activeConfig.installationParams.antennaGain == NUMBER
    input.Body.device.activeConfig.installationParams.antennaModel == STRING
    input.Body.device.activeConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.device.activeConfig.installationParams.eirpCapability == INTEGER
    input.Body.device.activeConfig.installationParams.height == NUMBER
    input.Body.device.activeConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.device.activeConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.device.activeConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.device.activeConfig.installationParams.latitude == NUMBER
    input.Body.device.activeConfig.installationParams.longitude == NUMBER
    input.Body.device.activeConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.device.activeConfig.isSigned == BOOLEAN
    input.Body.device.activeConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.device.activeConfig.model.firmwareVersion == STRING
    input.Body.device.activeConfig.model.hardwareVersion == STRING
    input.Body.device.activeConfig.model.name == STRING
    input.Body.device.activeConfig.model.softwareVersion == STRING
    input.Body.device.activeConfig.model.vendor == STRING
    input.Body.device.activeConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.device.activeConfig.updateTime == STRING
    input.Body.device.activeConfig.userId == STRING
    input.Body.device.deviceMetadata.antennaModel == STRING
    input.Body.device.deviceMetadata.commonChannelGroup == STRING
    input.Body.device.deviceMetadata.interferenceCoordinationGroup == STRING
    input.Body.device.displayName == STRING
    input.Body.device.fccId == STRING
    input.Body.device.grantRangeAllowlists[_].highFrequencyMhz == NUMBER
    input.Body.device.grantRangeAllowlists[_].lowFrequencyMhz == NUMBER
    input.Body.device.grants[_].channelType == enum_SasPortalDeviceGrantChannelType[_]
    input.Body.device.grants[_].expireTime == STRING
    input.Body.device.grants[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.device.grants[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.device.grants[_].grantId == STRING
    input.Body.device.grants[_].lastHeartbeatTransmitExpireTime == STRING
    input.Body.device.grants[_].maxEirp == NUMBER
    input.Body.device.grants[_].moveList[_].dpaId == STRING
    input.Body.device.grants[_].moveList[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.device.grants[_].moveList[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.device.grants[_].state == enum_SasPortalDeviceGrantState[_]
    input.Body.device.grants[_].suspensionReason[_] == STRING
    input.Body.device.name == STRING
    input.Body.device.preloadedConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.device.preloadedConfig.airInterface.supportedSpec == STRING
    input.Body.device.preloadedConfig.callSign == STRING
    input.Body.device.preloadedConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.device.preloadedConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.device.preloadedConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.device.preloadedConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.device.preloadedConfig.installationParams.antennaGain == NUMBER
    input.Body.device.preloadedConfig.installationParams.antennaModel == STRING
    input.Body.device.preloadedConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.device.preloadedConfig.installationParams.eirpCapability == INTEGER
    input.Body.device.preloadedConfig.installationParams.height == NUMBER
    input.Body.device.preloadedConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.device.preloadedConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.device.preloadedConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.device.preloadedConfig.installationParams.latitude == NUMBER
    input.Body.device.preloadedConfig.installationParams.longitude == NUMBER
    input.Body.device.preloadedConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.device.preloadedConfig.isSigned == BOOLEAN
    input.Body.device.preloadedConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.device.preloadedConfig.model.firmwareVersion == STRING
    input.Body.device.preloadedConfig.model.hardwareVersion == STRING
    input.Body.device.preloadedConfig.model.name == STRING
    input.Body.device.preloadedConfig.model.softwareVersion == STRING
    input.Body.device.preloadedConfig.model.vendor == STRING
    input.Body.device.preloadedConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.device.preloadedConfig.updateTime == STRING
    input.Body.device.preloadedConfig.userId == STRING
    input.Body.device.serialNumber == STRING
    input.Body.device.state == enum_SasPortalDeviceState[_]
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.deployments.devices.updateSigned

valid {
    input.Body.encodedDevice == STRING
    input.Body.installerId == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.deployments.get

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

sasportal.installer.generateSecret

valid {
    input.Body.STRING == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.installer.validate

valid {
    input.Body.encodedSecret == STRING
    input.Body.installerId == STRING
    input.Body.secret == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.deployments.delete

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

sasportal.nodes.deployments.devices.create

enum_SasPortalDeviceAirInterfaceRadioTechnology := [ "RADIO_TECHNOLOGY_UNSPECIFIED", "E_UTRA", "CAMBIUM_NETWORKS", "FOUR_G_BBW_SAA_1", "NR", "DOODLE_CBRS", "CW", "REDLINE", "TARANA_WIRELESS", "FAROS" ]
enum_SasPortalDeviceConfigCategory := [ "DEVICE_CATEGORY_UNSPECIFIED", "DEVICE_CATEGORY_A", "DEVICE_CATEGORY_B" ]
enum_SasPortalDeviceConfigMeasurementCapabilities := [ "MEASUREMENT_CAPABILITY_UNSPECIFIED", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITH_GRANT", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITHOUT_GRANT" ]
enum_SasPortalDeviceConfigState := [ "DEVICE_CONFIG_STATE_UNSPECIFIED", "DRAFT", "FINAL" ]
enum_SasPortalDeviceGrantChannelType := [ "CHANNEL_TYPE_UNSPECIFIED", "CHANNEL_TYPE_GAA", "CHANNEL_TYPE_PAL" ]
enum_SasPortalDeviceGrantState := [ "GRANT_STATE_UNSPECIFIED", "GRANT_STATE_GRANTED", "GRANT_STATE_TERMINATED", "GRANT_STATE_SUSPENDED", "GRANT_STATE_AUTHORIZED", "GRANT_STATE_EXPIRED" ]
enum_SasPortalDeviceState := [ "DEVICE_STATE_UNSPECIFIED", "RESERVED", "REGISTERED", "DEREGISTERED" ]
enum_SasPortalInstallationParamsHeightType := [ "HEIGHT_TYPE_UNSPECIFIED", "HEIGHT_TYPE_AGL", "HEIGHT_TYPE_AMSL" ]

valid {
    input.Body.activeConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.activeConfig.airInterface.supportedSpec == STRING
    input.Body.activeConfig.callSign == STRING
    input.Body.activeConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.activeConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.activeConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.activeConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.activeConfig.installationParams.antennaGain == NUMBER
    input.Body.activeConfig.installationParams.antennaModel == STRING
    input.Body.activeConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.activeConfig.installationParams.eirpCapability == INTEGER
    input.Body.activeConfig.installationParams.height == NUMBER
    input.Body.activeConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.activeConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.activeConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.activeConfig.installationParams.latitude == NUMBER
    input.Body.activeConfig.installationParams.longitude == NUMBER
    input.Body.activeConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.activeConfig.isSigned == BOOLEAN
    input.Body.activeConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.activeConfig.model.firmwareVersion == STRING
    input.Body.activeConfig.model.hardwareVersion == STRING
    input.Body.activeConfig.model.name == STRING
    input.Body.activeConfig.model.softwareVersion == STRING
    input.Body.activeConfig.model.vendor == STRING
    input.Body.activeConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.activeConfig.updateTime == STRING
    input.Body.activeConfig.userId == STRING
    input.Body.deviceMetadata.antennaModel == STRING
    input.Body.deviceMetadata.commonChannelGroup == STRING
    input.Body.deviceMetadata.interferenceCoordinationGroup == STRING
    input.Body.displayName == STRING
    input.Body.fccId == STRING
    input.Body.grantRangeAllowlists[_].highFrequencyMhz == NUMBER
    input.Body.grantRangeAllowlists[_].lowFrequencyMhz == NUMBER
    input.Body.grants[_].channelType == enum_SasPortalDeviceGrantChannelType[_]
    input.Body.grants[_].expireTime == STRING
    input.Body.grants[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.grants[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.grants[_].grantId == STRING
    input.Body.grants[_].lastHeartbeatTransmitExpireTime == STRING
    input.Body.grants[_].maxEirp == NUMBER
    input.Body.grants[_].moveList[_].dpaId == STRING
    input.Body.grants[_].moveList[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.grants[_].moveList[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.grants[_].state == enum_SasPortalDeviceGrantState[_]
    input.Body.grants[_].suspensionReason[_] == STRING
    input.Body.name == STRING
    input.Body.preloadedConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.preloadedConfig.airInterface.supportedSpec == STRING
    input.Body.preloadedConfig.callSign == STRING
    input.Body.preloadedConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.preloadedConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.preloadedConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.preloadedConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.preloadedConfig.installationParams.antennaGain == NUMBER
    input.Body.preloadedConfig.installationParams.antennaModel == STRING
    input.Body.preloadedConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.preloadedConfig.installationParams.eirpCapability == INTEGER
    input.Body.preloadedConfig.installationParams.height == NUMBER
    input.Body.preloadedConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.preloadedConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.preloadedConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.preloadedConfig.installationParams.latitude == NUMBER
    input.Body.preloadedConfig.installationParams.longitude == NUMBER
    input.Body.preloadedConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.preloadedConfig.isSigned == BOOLEAN
    input.Body.preloadedConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.preloadedConfig.model.firmwareVersion == STRING
    input.Body.preloadedConfig.model.hardwareVersion == STRING
    input.Body.preloadedConfig.model.name == STRING
    input.Body.preloadedConfig.model.softwareVersion == STRING
    input.Body.preloadedConfig.model.vendor == STRING
    input.Body.preloadedConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.preloadedConfig.updateTime == STRING
    input.Body.preloadedConfig.userId == STRING
    input.Body.serialNumber == STRING
    input.Body.state == enum_SasPortalDeviceState[_]
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.deployments.devices.createSigned

valid {
    input.Body.encodedDevice == STRING
    input.Body.installerId == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.deployments.devices.list

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.deployments.get

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

sasportal.nodes.deployments.list

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.deployments.move

valid {
    input.Body.destination == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.deployments.patch

valid {
    input.Body.displayName == STRING
    input.Body.sasUserIds[_] == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.devices.create

enum_SasPortalDeviceAirInterfaceRadioTechnology := [ "RADIO_TECHNOLOGY_UNSPECIFIED", "E_UTRA", "CAMBIUM_NETWORKS", "FOUR_G_BBW_SAA_1", "NR", "DOODLE_CBRS", "CW", "REDLINE", "TARANA_WIRELESS", "FAROS" ]
enum_SasPortalDeviceConfigCategory := [ "DEVICE_CATEGORY_UNSPECIFIED", "DEVICE_CATEGORY_A", "DEVICE_CATEGORY_B" ]
enum_SasPortalDeviceConfigMeasurementCapabilities := [ "MEASUREMENT_CAPABILITY_UNSPECIFIED", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITH_GRANT", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITHOUT_GRANT" ]
enum_SasPortalDeviceConfigState := [ "DEVICE_CONFIG_STATE_UNSPECIFIED", "DRAFT", "FINAL" ]
enum_SasPortalDeviceGrantChannelType := [ "CHANNEL_TYPE_UNSPECIFIED", "CHANNEL_TYPE_GAA", "CHANNEL_TYPE_PAL" ]
enum_SasPortalDeviceGrantState := [ "GRANT_STATE_UNSPECIFIED", "GRANT_STATE_GRANTED", "GRANT_STATE_TERMINATED", "GRANT_STATE_SUSPENDED", "GRANT_STATE_AUTHORIZED", "GRANT_STATE_EXPIRED" ]
enum_SasPortalDeviceState := [ "DEVICE_STATE_UNSPECIFIED", "RESERVED", "REGISTERED", "DEREGISTERED" ]
enum_SasPortalInstallationParamsHeightType := [ "HEIGHT_TYPE_UNSPECIFIED", "HEIGHT_TYPE_AGL", "HEIGHT_TYPE_AMSL" ]

valid {
    input.Body.activeConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.activeConfig.airInterface.supportedSpec == STRING
    input.Body.activeConfig.callSign == STRING
    input.Body.activeConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.activeConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.activeConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.activeConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.activeConfig.installationParams.antennaGain == NUMBER
    input.Body.activeConfig.installationParams.antennaModel == STRING
    input.Body.activeConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.activeConfig.installationParams.eirpCapability == INTEGER
    input.Body.activeConfig.installationParams.height == NUMBER
    input.Body.activeConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.activeConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.activeConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.activeConfig.installationParams.latitude == NUMBER
    input.Body.activeConfig.installationParams.longitude == NUMBER
    input.Body.activeConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.activeConfig.isSigned == BOOLEAN
    input.Body.activeConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.activeConfig.model.firmwareVersion == STRING
    input.Body.activeConfig.model.hardwareVersion == STRING
    input.Body.activeConfig.model.name == STRING
    input.Body.activeConfig.model.softwareVersion == STRING
    input.Body.activeConfig.model.vendor == STRING
    input.Body.activeConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.activeConfig.updateTime == STRING
    input.Body.activeConfig.userId == STRING
    input.Body.deviceMetadata.antennaModel == STRING
    input.Body.deviceMetadata.commonChannelGroup == STRING
    input.Body.deviceMetadata.interferenceCoordinationGroup == STRING
    input.Body.displayName == STRING
    input.Body.fccId == STRING
    input.Body.grantRangeAllowlists[_].highFrequencyMhz == NUMBER
    input.Body.grantRangeAllowlists[_].lowFrequencyMhz == NUMBER
    input.Body.grants[_].channelType == enum_SasPortalDeviceGrantChannelType[_]
    input.Body.grants[_].expireTime == STRING
    input.Body.grants[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.grants[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.grants[_].grantId == STRING
    input.Body.grants[_].lastHeartbeatTransmitExpireTime == STRING
    input.Body.grants[_].maxEirp == NUMBER
    input.Body.grants[_].moveList[_].dpaId == STRING
    input.Body.grants[_].moveList[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.grants[_].moveList[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.grants[_].state == enum_SasPortalDeviceGrantState[_]
    input.Body.grants[_].suspensionReason[_] == STRING
    input.Body.name == STRING
    input.Body.preloadedConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.preloadedConfig.airInterface.supportedSpec == STRING
    input.Body.preloadedConfig.callSign == STRING
    input.Body.preloadedConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.preloadedConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.preloadedConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.preloadedConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.preloadedConfig.installationParams.antennaGain == NUMBER
    input.Body.preloadedConfig.installationParams.antennaModel == STRING
    input.Body.preloadedConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.preloadedConfig.installationParams.eirpCapability == INTEGER
    input.Body.preloadedConfig.installationParams.height == NUMBER
    input.Body.preloadedConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.preloadedConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.preloadedConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.preloadedConfig.installationParams.latitude == NUMBER
    input.Body.preloadedConfig.installationParams.longitude == NUMBER
    input.Body.preloadedConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.preloadedConfig.isSigned == BOOLEAN
    input.Body.preloadedConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.preloadedConfig.model.firmwareVersion == STRING
    input.Body.preloadedConfig.model.hardwareVersion == STRING
    input.Body.preloadedConfig.model.name == STRING
    input.Body.preloadedConfig.model.softwareVersion == STRING
    input.Body.preloadedConfig.model.vendor == STRING
    input.Body.preloadedConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.preloadedConfig.updateTime == STRING
    input.Body.preloadedConfig.userId == STRING
    input.Body.serialNumber == STRING
    input.Body.state == enum_SasPortalDeviceState[_]
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.devices.createSigned

valid {
    input.Body.encodedDevice == STRING
    input.Body.installerId == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.devices.delete

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

sasportal.nodes.devices.get

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

sasportal.nodes.devices.list

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.devices.move

valid {
    input.Body.destination == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.devices.patch

enum_SasPortalDeviceAirInterfaceRadioTechnology := [ "RADIO_TECHNOLOGY_UNSPECIFIED", "E_UTRA", "CAMBIUM_NETWORKS", "FOUR_G_BBW_SAA_1", "NR", "DOODLE_CBRS", "CW", "REDLINE", "TARANA_WIRELESS", "FAROS" ]
enum_SasPortalDeviceConfigCategory := [ "DEVICE_CATEGORY_UNSPECIFIED", "DEVICE_CATEGORY_A", "DEVICE_CATEGORY_B" ]
enum_SasPortalDeviceConfigMeasurementCapabilities := [ "MEASUREMENT_CAPABILITY_UNSPECIFIED", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITH_GRANT", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITHOUT_GRANT" ]
enum_SasPortalDeviceConfigState := [ "DEVICE_CONFIG_STATE_UNSPECIFIED", "DRAFT", "FINAL" ]
enum_SasPortalDeviceGrantChannelType := [ "CHANNEL_TYPE_UNSPECIFIED", "CHANNEL_TYPE_GAA", "CHANNEL_TYPE_PAL" ]
enum_SasPortalDeviceGrantState := [ "GRANT_STATE_UNSPECIFIED", "GRANT_STATE_GRANTED", "GRANT_STATE_TERMINATED", "GRANT_STATE_SUSPENDED", "GRANT_STATE_AUTHORIZED", "GRANT_STATE_EXPIRED" ]
enum_SasPortalDeviceState := [ "DEVICE_STATE_UNSPECIFIED", "RESERVED", "REGISTERED", "DEREGISTERED" ]
enum_SasPortalInstallationParamsHeightType := [ "HEIGHT_TYPE_UNSPECIFIED", "HEIGHT_TYPE_AGL", "HEIGHT_TYPE_AMSL" ]

valid {
    input.Body.activeConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.activeConfig.airInterface.supportedSpec == STRING
    input.Body.activeConfig.callSign == STRING
    input.Body.activeConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.activeConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.activeConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.activeConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.activeConfig.installationParams.antennaGain == NUMBER
    input.Body.activeConfig.installationParams.antennaModel == STRING
    input.Body.activeConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.activeConfig.installationParams.eirpCapability == INTEGER
    input.Body.activeConfig.installationParams.height == NUMBER
    input.Body.activeConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.activeConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.activeConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.activeConfig.installationParams.latitude == NUMBER
    input.Body.activeConfig.installationParams.longitude == NUMBER
    input.Body.activeConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.activeConfig.isSigned == BOOLEAN
    input.Body.activeConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.activeConfig.model.firmwareVersion == STRING
    input.Body.activeConfig.model.hardwareVersion == STRING
    input.Body.activeConfig.model.name == STRING
    input.Body.activeConfig.model.softwareVersion == STRING
    input.Body.activeConfig.model.vendor == STRING
    input.Body.activeConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.activeConfig.updateTime == STRING
    input.Body.activeConfig.userId == STRING
    input.Body.deviceMetadata.antennaModel == STRING
    input.Body.deviceMetadata.commonChannelGroup == STRING
    input.Body.deviceMetadata.interferenceCoordinationGroup == STRING
    input.Body.displayName == STRING
    input.Body.fccId == STRING
    input.Body.grantRangeAllowlists[_].highFrequencyMhz == NUMBER
    input.Body.grantRangeAllowlists[_].lowFrequencyMhz == NUMBER
    input.Body.grants[_].channelType == enum_SasPortalDeviceGrantChannelType[_]
    input.Body.grants[_].expireTime == STRING
    input.Body.grants[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.grants[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.grants[_].grantId == STRING
    input.Body.grants[_].lastHeartbeatTransmitExpireTime == STRING
    input.Body.grants[_].maxEirp == NUMBER
    input.Body.grants[_].moveList[_].dpaId == STRING
    input.Body.grants[_].moveList[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.grants[_].moveList[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.grants[_].state == enum_SasPortalDeviceGrantState[_]
    input.Body.grants[_].suspensionReason[_] == STRING
    input.Body.name == STRING
    input.Body.preloadedConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.preloadedConfig.airInterface.supportedSpec == STRING
    input.Body.preloadedConfig.callSign == STRING
    input.Body.preloadedConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.preloadedConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.preloadedConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.preloadedConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.preloadedConfig.installationParams.antennaGain == NUMBER
    input.Body.preloadedConfig.installationParams.antennaModel == STRING
    input.Body.preloadedConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.preloadedConfig.installationParams.eirpCapability == INTEGER
    input.Body.preloadedConfig.installationParams.height == NUMBER
    input.Body.preloadedConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.preloadedConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.preloadedConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.preloadedConfig.installationParams.latitude == NUMBER
    input.Body.preloadedConfig.installationParams.longitude == NUMBER
    input.Body.preloadedConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.preloadedConfig.isSigned == BOOLEAN
    input.Body.preloadedConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.preloadedConfig.model.firmwareVersion == STRING
    input.Body.preloadedConfig.model.hardwareVersion == STRING
    input.Body.preloadedConfig.model.name == STRING
    input.Body.preloadedConfig.model.softwareVersion == STRING
    input.Body.preloadedConfig.model.vendor == STRING
    input.Body.preloadedConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.preloadedConfig.updateTime == STRING
    input.Body.preloadedConfig.userId == STRING
    input.Body.serialNumber == STRING
    input.Body.state == enum_SasPortalDeviceState[_]
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.devices.signDevice

enum_SasPortalDeviceAirInterfaceRadioTechnology := [ "RADIO_TECHNOLOGY_UNSPECIFIED", "E_UTRA", "CAMBIUM_NETWORKS", "FOUR_G_BBW_SAA_1", "NR", "DOODLE_CBRS", "CW", "REDLINE", "TARANA_WIRELESS", "FAROS" ]
enum_SasPortalDeviceConfigCategory := [ "DEVICE_CATEGORY_UNSPECIFIED", "DEVICE_CATEGORY_A", "DEVICE_CATEGORY_B" ]
enum_SasPortalDeviceConfigMeasurementCapabilities := [ "MEASUREMENT_CAPABILITY_UNSPECIFIED", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITH_GRANT", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITHOUT_GRANT" ]
enum_SasPortalDeviceConfigState := [ "DEVICE_CONFIG_STATE_UNSPECIFIED", "DRAFT", "FINAL" ]
enum_SasPortalDeviceGrantChannelType := [ "CHANNEL_TYPE_UNSPECIFIED", "CHANNEL_TYPE_GAA", "CHANNEL_TYPE_PAL" ]
enum_SasPortalDeviceGrantState := [ "GRANT_STATE_UNSPECIFIED", "GRANT_STATE_GRANTED", "GRANT_STATE_TERMINATED", "GRANT_STATE_SUSPENDED", "GRANT_STATE_AUTHORIZED", "GRANT_STATE_EXPIRED" ]
enum_SasPortalDeviceState := [ "DEVICE_STATE_UNSPECIFIED", "RESERVED", "REGISTERED", "DEREGISTERED" ]
enum_SasPortalInstallationParamsHeightType := [ "HEIGHT_TYPE_UNSPECIFIED", "HEIGHT_TYPE_AGL", "HEIGHT_TYPE_AMSL" ]

valid {
    input.Body.device.activeConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.device.activeConfig.airInterface.supportedSpec == STRING
    input.Body.device.activeConfig.callSign == STRING
    input.Body.device.activeConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.device.activeConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.device.activeConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.device.activeConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.device.activeConfig.installationParams.antennaGain == NUMBER
    input.Body.device.activeConfig.installationParams.antennaModel == STRING
    input.Body.device.activeConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.device.activeConfig.installationParams.eirpCapability == INTEGER
    input.Body.device.activeConfig.installationParams.height == NUMBER
    input.Body.device.activeConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.device.activeConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.device.activeConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.device.activeConfig.installationParams.latitude == NUMBER
    input.Body.device.activeConfig.installationParams.longitude == NUMBER
    input.Body.device.activeConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.device.activeConfig.isSigned == BOOLEAN
    input.Body.device.activeConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.device.activeConfig.model.firmwareVersion == STRING
    input.Body.device.activeConfig.model.hardwareVersion == STRING
    input.Body.device.activeConfig.model.name == STRING
    input.Body.device.activeConfig.model.softwareVersion == STRING
    input.Body.device.activeConfig.model.vendor == STRING
    input.Body.device.activeConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.device.activeConfig.updateTime == STRING
    input.Body.device.activeConfig.userId == STRING
    input.Body.device.deviceMetadata.antennaModel == STRING
    input.Body.device.deviceMetadata.commonChannelGroup == STRING
    input.Body.device.deviceMetadata.interferenceCoordinationGroup == STRING
    input.Body.device.displayName == STRING
    input.Body.device.fccId == STRING
    input.Body.device.grantRangeAllowlists[_].highFrequencyMhz == NUMBER
    input.Body.device.grantRangeAllowlists[_].lowFrequencyMhz == NUMBER
    input.Body.device.grants[_].channelType == enum_SasPortalDeviceGrantChannelType[_]
    input.Body.device.grants[_].expireTime == STRING
    input.Body.device.grants[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.device.grants[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.device.grants[_].grantId == STRING
    input.Body.device.grants[_].lastHeartbeatTransmitExpireTime == STRING
    input.Body.device.grants[_].maxEirp == NUMBER
    input.Body.device.grants[_].moveList[_].dpaId == STRING
    input.Body.device.grants[_].moveList[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.device.grants[_].moveList[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.device.grants[_].state == enum_SasPortalDeviceGrantState[_]
    input.Body.device.grants[_].suspensionReason[_] == STRING
    input.Body.device.name == STRING
    input.Body.device.preloadedConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.device.preloadedConfig.airInterface.supportedSpec == STRING
    input.Body.device.preloadedConfig.callSign == STRING
    input.Body.device.preloadedConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.device.preloadedConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.device.preloadedConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.device.preloadedConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.device.preloadedConfig.installationParams.antennaGain == NUMBER
    input.Body.device.preloadedConfig.installationParams.antennaModel == STRING
    input.Body.device.preloadedConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.device.preloadedConfig.installationParams.eirpCapability == INTEGER
    input.Body.device.preloadedConfig.installationParams.height == NUMBER
    input.Body.device.preloadedConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.device.preloadedConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.device.preloadedConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.device.preloadedConfig.installationParams.latitude == NUMBER
    input.Body.device.preloadedConfig.installationParams.longitude == NUMBER
    input.Body.device.preloadedConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.device.preloadedConfig.isSigned == BOOLEAN
    input.Body.device.preloadedConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.device.preloadedConfig.model.firmwareVersion == STRING
    input.Body.device.preloadedConfig.model.hardwareVersion == STRING
    input.Body.device.preloadedConfig.model.name == STRING
    input.Body.device.preloadedConfig.model.softwareVersion == STRING
    input.Body.device.preloadedConfig.model.vendor == STRING
    input.Body.device.preloadedConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.device.preloadedConfig.updateTime == STRING
    input.Body.device.preloadedConfig.userId == STRING
    input.Body.device.serialNumber == STRING
    input.Body.device.state == enum_SasPortalDeviceState[_]
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.devices.updateSigned

valid {
    input.Body.encodedDevice == STRING
    input.Body.installerId == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.get

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

sasportal.nodes.nodes.create

valid {
    input.Body.displayName == STRING
    input.Body.name == STRING
    input.Body.sasUserIds[_] == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.nodes.delete

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

sasportal.nodes.nodes.deployments.create

valid {
    input.Body.displayName == STRING
    input.Body.sasUserIds[_] == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.nodes.deployments.list

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.nodes.devices.create

enum_SasPortalDeviceAirInterfaceRadioTechnology := [ "RADIO_TECHNOLOGY_UNSPECIFIED", "E_UTRA", "CAMBIUM_NETWORKS", "FOUR_G_BBW_SAA_1", "NR", "DOODLE_CBRS", "CW", "REDLINE", "TARANA_WIRELESS", "FAROS" ]
enum_SasPortalDeviceConfigCategory := [ "DEVICE_CATEGORY_UNSPECIFIED", "DEVICE_CATEGORY_A", "DEVICE_CATEGORY_B" ]
enum_SasPortalDeviceConfigMeasurementCapabilities := [ "MEASUREMENT_CAPABILITY_UNSPECIFIED", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITH_GRANT", "MEASUREMENT_CAPABILITY_RECEIVED_POWER_WITHOUT_GRANT" ]
enum_SasPortalDeviceConfigState := [ "DEVICE_CONFIG_STATE_UNSPECIFIED", "DRAFT", "FINAL" ]
enum_SasPortalDeviceGrantChannelType := [ "CHANNEL_TYPE_UNSPECIFIED", "CHANNEL_TYPE_GAA", "CHANNEL_TYPE_PAL" ]
enum_SasPortalDeviceGrantState := [ "GRANT_STATE_UNSPECIFIED", "GRANT_STATE_GRANTED", "GRANT_STATE_TERMINATED", "GRANT_STATE_SUSPENDED", "GRANT_STATE_AUTHORIZED", "GRANT_STATE_EXPIRED" ]
enum_SasPortalDeviceState := [ "DEVICE_STATE_UNSPECIFIED", "RESERVED", "REGISTERED", "DEREGISTERED" ]
enum_SasPortalInstallationParamsHeightType := [ "HEIGHT_TYPE_UNSPECIFIED", "HEIGHT_TYPE_AGL", "HEIGHT_TYPE_AMSL" ]

valid {
    input.Body.activeConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.activeConfig.airInterface.supportedSpec == STRING
    input.Body.activeConfig.callSign == STRING
    input.Body.activeConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.activeConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.activeConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.activeConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.activeConfig.installationParams.antennaGain == NUMBER
    input.Body.activeConfig.installationParams.antennaModel == STRING
    input.Body.activeConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.activeConfig.installationParams.eirpCapability == INTEGER
    input.Body.activeConfig.installationParams.height == NUMBER
    input.Body.activeConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.activeConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.activeConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.activeConfig.installationParams.latitude == NUMBER
    input.Body.activeConfig.installationParams.longitude == NUMBER
    input.Body.activeConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.activeConfig.isSigned == BOOLEAN
    input.Body.activeConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.activeConfig.model.firmwareVersion == STRING
    input.Body.activeConfig.model.hardwareVersion == STRING
    input.Body.activeConfig.model.name == STRING
    input.Body.activeConfig.model.softwareVersion == STRING
    input.Body.activeConfig.model.vendor == STRING
    input.Body.activeConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.activeConfig.updateTime == STRING
    input.Body.activeConfig.userId == STRING
    input.Body.deviceMetadata.antennaModel == STRING
    input.Body.deviceMetadata.commonChannelGroup == STRING
    input.Body.deviceMetadata.interferenceCoordinationGroup == STRING
    input.Body.displayName == STRING
    input.Body.fccId == STRING
    input.Body.grantRangeAllowlists[_].highFrequencyMhz == NUMBER
    input.Body.grantRangeAllowlists[_].lowFrequencyMhz == NUMBER
    input.Body.grants[_].channelType == enum_SasPortalDeviceGrantChannelType[_]
    input.Body.grants[_].expireTime == STRING
    input.Body.grants[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.grants[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.grants[_].grantId == STRING
    input.Body.grants[_].lastHeartbeatTransmitExpireTime == STRING
    input.Body.grants[_].maxEirp == NUMBER
    input.Body.grants[_].moveList[_].dpaId == STRING
    input.Body.grants[_].moveList[_].frequencyRange.highFrequencyMhz == NUMBER
    input.Body.grants[_].moveList[_].frequencyRange.lowFrequencyMhz == NUMBER
    input.Body.grants[_].state == enum_SasPortalDeviceGrantState[_]
    input.Body.grants[_].suspensionReason[_] == STRING
    input.Body.name == STRING
    input.Body.preloadedConfig.airInterface.radioTechnology == enum_SasPortalDeviceAirInterfaceRadioTechnology[_]
    input.Body.preloadedConfig.airInterface.supportedSpec == STRING
    input.Body.preloadedConfig.callSign == STRING
    input.Body.preloadedConfig.category == enum_SasPortalDeviceConfigCategory[_]
    input.Body.preloadedConfig.installationParams.antennaAzimuth == INTEGER
    input.Body.preloadedConfig.installationParams.antennaBeamwidth == INTEGER
    input.Body.preloadedConfig.installationParams.antennaDowntilt == INTEGER
    input.Body.preloadedConfig.installationParams.antennaGain == NUMBER
    input.Body.preloadedConfig.installationParams.antennaModel == STRING
    input.Body.preloadedConfig.installationParams.cpeCbsdIndication == BOOLEAN
    input.Body.preloadedConfig.installationParams.eirpCapability == INTEGER
    input.Body.preloadedConfig.installationParams.height == NUMBER
    input.Body.preloadedConfig.installationParams.heightType == enum_SasPortalInstallationParamsHeightType[_]
    input.Body.preloadedConfig.installationParams.horizontalAccuracy == NUMBER
    input.Body.preloadedConfig.installationParams.indoorDeployment == BOOLEAN
    input.Body.preloadedConfig.installationParams.latitude == NUMBER
    input.Body.preloadedConfig.installationParams.longitude == NUMBER
    input.Body.preloadedConfig.installationParams.verticalAccuracy == NUMBER
    input.Body.preloadedConfig.isSigned == BOOLEAN
    input.Body.preloadedConfig.measurementCapabilities[_] == enum_SasPortalDeviceConfigMeasurementCapabilities[_]
    input.Body.preloadedConfig.model.firmwareVersion == STRING
    input.Body.preloadedConfig.model.hardwareVersion == STRING
    input.Body.preloadedConfig.model.name == STRING
    input.Body.preloadedConfig.model.softwareVersion == STRING
    input.Body.preloadedConfig.model.vendor == STRING
    input.Body.preloadedConfig.state == enum_SasPortalDeviceConfigState[_]
    input.Body.preloadedConfig.updateTime == STRING
    input.Body.preloadedConfig.userId == STRING
    input.Body.serialNumber == STRING
    input.Body.state == enum_SasPortalDeviceState[_]
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.nodes.devices.createSigned

valid {
    input.Body.encodedDevice == STRING
    input.Body.installerId == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.nodes.devices.list

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.nodes.get

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

sasportal.nodes.nodes.list

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.nodes.move

valid {
    input.Body.destination == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.nodes.nodes.create

valid {
    input.Body.displayName == STRING
    input.Body.name == STRING
    input.Body.sasUserIds[_] == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.nodes.nodes.list

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.nodes.nodes.patch

valid {
    input.Body.displayName == STRING
    input.Body.name == STRING
    input.Body.sasUserIds[_] == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.policies.get

valid {
    input.Body.resource == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.policies.set

valid {
    input.Body.disableNotification == BOOLEAN
    input.Body.policy.assignments[_].members[_] == STRING
    input.Body.policy.assignments[_].role == STRING
    input.Body.policy.etag == STRING
    input.Body.resource == STRING
    input.ProviderMetadata.Region == STRING
}

sasportal.policies.test

valid {
    input.Body.permissions[_] == STRING
    input.Body.resource == STRING
    input.ProviderMetadata.Region == STRING
}

Updated 4 days ago