travelimpactmodel.flights.computeFlightEmissions

valid {
    input.Body.flights[_].departureDate.day == INTEGER
    input.Body.flights[_].departureDate.month == INTEGER
    input.Body.flights[_].departureDate.year == INTEGER
    input.Body.flights[_].destination == STRING
    input.Body.flights[_].flightNumber == INTEGER
    input.Body.flights[_].operatingCarrierCode == STRING
    input.Body.flights[_].origin == STRING
    input.ProviderMetadata.Region == STRING
}

travelimpactmodel.flights.computeScope3FlightEmissions

enum_Scope3FlightSegmentCabinClass := [ "CABIN_CLASS_UNSPECIFIED", "ECONOMY", "PREMIUM_ECONOMY", "BUSINESS", "FIRST" ]

valid {
    input.Body.flights[_].cabinClass == enum_Scope3FlightSegmentCabinClass[_]
    input.Body.flights[_].carrierCode == STRING
    input.Body.flights[_].departureDate.day == INTEGER
    input.Body.flights[_].departureDate.month == INTEGER
    input.Body.flights[_].departureDate.year == INTEGER
    input.Body.flights[_].destination == STRING
    input.Body.flights[_].distanceKm == STRING
    input.Body.flights[_].flightNumber == INTEGER
    input.Body.flights[_].origin == STRING
    input.Body.modelVersion.dated == STRING
    input.Body.modelVersion.major == INTEGER
    input.Body.modelVersion.minor == INTEGER
    input.Body.modelVersion.patch == INTEGER
    input.ProviderMetadata.Region == STRING
}

travelimpactmodel.flights.computeTypicalFlightEmissions

valid {
    input.Body.markets[_].destination == STRING
    input.Body.markets[_].origin == STRING
    input.ProviderMetadata.Region == STRING
}