Verified Air

Explore · area summary

Airline-initiated change

39 cards in the blueprint's section Airline-initiated change: 36 are in Lean, 9 are open questions and 3 need a business decision.

8
modelled
19
proven
9
open question
3
needs a decision
0
ready to build
0
waiting

Areas it builds on

The number of times a card here uses a card in that area.

Areas that build on it

The number of times a card in that area uses a card here.

Open questions and decisions

Each with the number of cards that depend on it, directly or through other cards, most first. Click one to see what it depends on and what builds on it.

C-110Needs a decision

Who is told of a change

A service provider reports every service status change to the airline that owns the order. That airline notifies the seller of airline-initiated changes and the seller acknowledges. The seller is expected to inform the customer when a change needs action. Case to check: Agency A creates the order and agency B services it later. The disruption notice goes only to A, and B keeps selling changes against an old version.

Open point: The sources do not say which seller is notified when several sellers have serviced the order, whether the airline must reach the customer when the seller does not acknowledge, or whether the seller's duty to inform the customer is binding.

1 card depends on it, directly or through other cards, in 1 area.

C-111Open question

Cancelled service in an active item

A service with status CANCELLED belongs to an order item with status CANCELLED. The model checks that a flight the airline cancels keeps this true when it held before. Case to check: In the flight cancellation worked example the second segment's flight and bag services become CANCELLED while their order item gets no status change.

Counterexample: a paid return trip whose inbound flight the airline cancels keeps its item ACTIVE, with the inbound flight and its bag CANCELLED, under both readings of value (Lean example cancelInboundFlight). When both flights are cancelled, the item is CANCELLED under the strict reading and stays ACTIVE under the cautious one, where UNABLE TO DELIVER holds value (cancelBothFlights).

Open point: The Order concept ties a CANCELLED service to a cancelled item, and the cancellation page treats cancelling some services of an item as a change. The flight cancellation example cancels one segment's services and leaves the item untouched, so the business must decide which model holds.

No card depends on it yet.

checks ONE-704.6Open question

No live service is left on a cancelled flight

When the airline cancels a flight and does not move the customer to another one, no live service is left on that flight.

Counterexample: a paid return trip at 1,000.00 EUR whose bag on the inbound flight is still REQUESTED from the airline. When the airline cancels the inbound flight, the flight becomes CANCELLED with UNABLE TO DELIVER, and the bag stays REQUESTED and live, because the delivery status table has no move from REQUESTED to UNABLE TO DELIVER (Lean example cancelFlightWhileRequested).

Open point: The business must decide what delivery status a service takes when its flight is cancelled while it is REQUESTED, IN PROGRESS or SUSPENDED. The open point on the delivery status table asks the same question for every area.

No card depends on it yet.

checks ONE-702.4Open question

Notices are resolved before departure

A notice that offers follow-up actions is resolved before the affected flight departs, even if the seller never answers.

Counterexample: a notice that offers Cancel with neither a time limit nor a consequence, like the guide's Cancel example, never lapses. A notice that offers Accept with Auto-acceptance and a time limit a day after departure lapses too late. Both are unresolved when the flight departs, under either reading (Lean example noticesAtDeparture).

Open point: The sources make the time limit and the consequence optional and do not tie the time limit to the departure. The business must decide what applies when either is missing, and whether the time limit must fall before the affected flight departs.

No card depends on it yet.

checks ONE-705.4Open question

Original item kept while Accept is pending

While the seller's Accept of an airline change is pending, the original order item keeps the status it had.

Counterexample: a paid return trip at 1,000.00 EUR whose two flights the airline moves is at version 2 with its original item CANCELLED while Accept is pending, under the reading where the change takes effect at notice (Lean example itineraryReaccommodated).

Open point: The business must decide whether a change awaiting acceptance is provisional, and whether declining it restores the original item.

No card depends on it yet.

C-104Open question

Paid status after re-accommodation

A service the airline creates to replace a paid service, with no price difference owed, starts with delivery status READY TO PROCEED. Case to check: If CONFIRMED is read as unpaid, a payment time limit could apply to a re-accommodated trip the customer already paid for in full.

Counterexample: a paid return trip at 1,000.00 EUR whose two flights the airline moves at no price difference gets a new item whose services have delivery status CONFIRMED (Lean example itineraryReaccommodated).

Open point: The itinerary worked example gives such services delivery status CONFIRMED, which the Order concept reserves for services still awaiting payment, although the exchange is even. The business must decide whether paid status carries across an airline-initiated change.

No card depends on it yet.

C-100Open question

Penalty when declining an airline change

A customer who declines an airline-initiated change through the Cancel follow-up action pays no cancellation penalty. Case to check: In the itinerary change worked example the new order item carries a 50 EUR cancellation fee. Applying it to a Cancel follow-up charges the customer for the airline's own change.

Counterexample: a paid trip at 1,000.00 EUR that the airline moved to other flights, declined through Cancel under the reading where the airline's fees apply, is charged the 50.00 EUR cancellation fee and refunded 950.00 EUR (Lean example declineByCancel). A notice that pairs Accept with Auto-cancellation, left unanswered, leads to the same charge (autoCancellation).

Open point: The sources offer Cancel as a response to an airline change but never say whether penalties apply. The cancellation page covers only customer-initiated cancellation and leaves penalties to the airline.

No card depends on it yet.

C-108Open question

Pending follow-up actions

A follow-up action the seller has not performed appears in every order view until it is resolved. Performing any one of the actions offered for a change resolves all of them. The model checks the second sentence for ContactAirline; order views are not modelled. Case to check: The itinerary example offers Accept, Cancel, Reshop and ContactAirline under one time limit with Auto-acceptance. The seller phones the airline, nothing in the order records it, and auto-acceptance fires.

Counterexample: the seller phones the airline two days before the time limit of the itinerary change notice. Under a reading where the order does not record contacting the airline, Auto-acceptance applies when the limit passes (Lean example contactThenAutoAccept).

Open point: The source says pending actions are shown but not when they stop being pending. The business must decide whether one response clears the rest, and whether ContactAirline, which happens offline, ever clears a pending Accept.

No card depends on it yet.

C-112Open question

Price of reshopping after airline change

A customer who declines an airline-initiated change through the Reshop follow-up action pays no change fee. Case to check: The new item in the itinerary example carries a 40 EUR change fee. A natural reading charges it when the customer reshops away from flights the airline moved.

Counterexample: a paid trip at 1,000.00 EUR that the airline moved, reshopped to other flights at 1,000.00 EUR under the reading where the airline's fees apply, is charged the 40.00 EUR change fee (Lean example declineByReshop).

Open point: The guide says such a reshop may or may not lead to additional payment and gives no rule. The business must decide whether change fees and fare differences apply, and which alternatives the airline must offer.

No card depends on it yet.

C-101Open question

Refund for a cancelled flight

When the airline cancels a flight and does not re-accommodate, the flight service and its dependent services become CANCELLED with delivery status UNABLE TO DELIVER. The customer is then owed a refund of the value of those services. Case to check: A two-segment item costs 1000 EUR and the airline cancels the second segment. The item stays ACTIVE because the first segment still holds value, and no rule returns any part of the 1000 EUR.

Counterexample: a paid return trip at 1,000.00 EUR whose inbound flight the airline cancels gets nothing back under the reading the worked example shows, while its item stays ACTIVE at the full price (Lean example cancelInboundFlight). A reading that refunds an equal share per flight returns 500.00 EUR.

Open point: The worked example offers no follow-up action and no refund, and no source says whether UNABLE TO DELIVER caused by the airline entitles the customer to money back. Because price is set per order item, the business must also decide how much of an item's price belongs to one cancelled segment.

No card depends on it yet.

C-109Needs a decision

Repricing after waitlist confirmation

When a waitlisted service is confirmed, the airline may ask the seller to reprice the order item and accept. The guide's example pairs this with Auto-acceptance if the seller does not act. Case to check: The waitlist clears at a higher fare. The seller misses the deadline, auto-acceptance confirms the service, and the customer is bound to a price never quoted.

Open point: The source does not say at what price an auto-accepted waitlist confirmation stands, or whether the customer must pay a difference before the service becomes READY TO PROCEED.

No card depends on it yet.

C-105Needs a decision

Unacknowledged change notice

A follow-up consequence takes effect only after the seller has acknowledged the notice that carried it. Case to check: A notice carrying Accept with Auto-cancellation is lost. The seller sees the pending action only if it retrieves the order, and the order may be cancelled before it does.

Open point: The guide names an unreceived or unacknowledged notice as the failure case but attaches no rule to it: no retry, no fallback, and no effect on the time limit. The business must decide whether the time limit runs from sending or from acknowledgement.

No card depends on it yet.

If we decide this

An open guarantee fails under some reading of the sources. For these, Lean proves a version under one reading, named with _of_. The model leaves the choice of reading to the business.

Pending follow-up actions

Open point: The source says pending actions are shown but not when they stop being pending. The business must decide whether one response clears the rest, and whether ContactAirline, which happens offline, ever clears a pending Accept.

Lean proves the guarantee for one reading of the sources. If the business settles the question this way, it holds for every input:

Under a reading where the order records contacting the airline, a seller who contacts the airline before any consequence of inaction applies is never overtaken by one.

Proven as contact_airline_answers_of_recorded; open as contact_airline_answers.

Penalty when declining an airline change

Open point: The sources offer Cancel as a response to an airline change but never say whether penalties apply. The cancellation page covers only customer-initiated cancellation and leaves penalties to the airline.

Lean proves the guarantee for one reading of the sources. If the business settles the question this way, it holds for every input:

Under the reading that waives the airline's fees on involuntary changes, declining an involuntary change through Cancel, or letting it lapse into Auto-cancellation, carries no cancellation penalty.

Proven as decline_cancel_no_penalty_of_waived; open as decline_cancel_no_penalty.

Price of reshopping after airline change

Open point: The guide says such a reshop may or may not lead to additional payment and gives no rule. The business must decide whether change fees and fare differences apply, and which alternatives the airline must offer.

Lean proves the guarantee for one reading of the sources. If the business settles the question this way, it holds for every input:

Under the reading that waives the airline's fees on involuntary changes, declining an involuntary change through Reshop carries no change fee.

Proven as decline_reshop_no_fee_of_waived; open as decline_reshop_no_fee.

Original item kept while Accept is pending

Open point: The business must decide whether a change awaiting acceptance is provisional, and whether declining it restores the original item.

Lean proves the guarantee for one reading of the sources. If the business settles the question this way, it holds for every input:

Under the reading where a change waits for the seller's Accept, the original order item keeps its status when the change is notified.

Proven as accept_pending_keeps_original_of_acceptance; open as accept_pending_keeps_original.

Requirements

The requirements whose rules or guarantees are on this area's cards. Each opens its chapter in the review document.

IDRequirementRuleAcceptance criteria
ONE-701Answering a change noticeWhen an airline change notice offers follow-up actions, the system shall keep them pending until the seller answers with one of them or a consequence of inaction applies.4 proven · 1 open
ONE-702Consequence of a missed time limitWhen a time limit of a change notice passes and the seller has not answered, the system shall apply the consequence of inaction of the follow-up action whose time limit passed first.3 proven · 1 open
ONE-703Declining an airline changeWhen a customer declines an airline change through Cancel or Reshop, the system shall price it as a cancellation or change of the affected order items, with the airline's cancellation or change fee as the penalty.2 proven · 2 open
ONE-704Cancelling a flight without re-accommodationWhen the airline cancels a flight and does not re-accommodate the customer, the system shall cancel every live service on that flight with delivery status UNABLE TO DELIVER.3 proven · 3 open
ONE-705Re-accommodation before the seller answersWhen the airline moves a customer to other flights, the system shall replace the affected order item with a new item at the same price, holding a service for each passenger on each new flight.3 proven · 2 open

IATA capabilities

The capabilities of IATA's Airline Retailing Maturity Index that this area's candidate cards belong to. The codes and names are IATA's.