53 cards in the blueprint's section Offers, prices and conditions: 43 are in Lean, 7 are open questions and 6 need a business decision.
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.
In each consumption tax entry, the tax is the rate applied to the taxable base, and the entry's total tax is the sum of its line taxes. A gross amount equals its net amount plus every consumption tax charged on it. All amounts in an entry are in the price's currency. Case to check: Italian example: line tax 1.82 against entry total 1.80. Canadian example: line tax 0.93 against entry total 4.55. Australian example: gross in AUD with tax in EUR. Tahiti example: two taxes on one base, so a per-line check that gross equals net plus that line's tax fails.
Open point: The source shows these relations only through examples, several of which break them, and gives no rounding rule. The business must decide which figure is authoritative when a line and its total disagree, and how to round.
1 card depends on it, directly or through other cards, in 1 area.
Each offer item is mandatory or optional, and its services and price are fixed once offered. Accepting an offer takes every mandatory item whole plus the optional items chosen; a-la-carte items are all optional, priced per unit, and bought in a chosen quantity. Every offer other than an a-la-carte offer should hold at least one mandatory item. Case to check: thm:c02-item-per-offer-item creates one order item per offer item, which fails when the customer skips an optional item. The source's own figure shows an offer total of 80 USD equal to one item while a second item is listed.
Open point: The source does not say whether an offer's total price counts its optional items. The business must decide that, and how acceptance records the chosen items and quantities.
1 card depends on it, directly or through other cards, in 1 area.
Every amount carries a currency, zero included. Amounts that add into an offer's totals are in the offer's currency and use that currency's number of decimals (two for GBP, three for TND, none for JPY). Local or equivalent amounts in another currency stay out of totals. Case to check: The source's Tahiti example states XPF amounts to two decimals, although ISO 4217 gives XPF none. A minor-unit model reads 100000.00 XPF as either 100000 or 10000000 units depending on which rule it trusts.
Open point: The source lets a seller request a currency and lets a fee carry a local amount, but never says which amount binds or whether a conversion rate is guaranteed. The business must decide what the customer pays when the requested currency differs from the airline's pricing currency.
No card depends on it yet.
checks ONE-503.5!Open questionWhile a journey is in a stage for which an action has rules, a rule is in force for that action.
Counterexample: a journey paid at 10:00 on 1 January whose only flight change rule before departure starts on 2 January has no rule in force at 18:00 on 1 January, under either reading. Under the reading that expiration dates end rules, a rule whose effective and expiration dates are equal is never in force. The example noRuleInForce computes both.
Open point: what applies to a change or cancellation when no rule of the current stage is in force?
No card depends on it yet.
checks ONE-501.5!Open questionUnder every reading, an offer item's price is guaranteed only at instants at which the offer can still be accepted.
Counterexample: an offer valid until 12:00 whose flight's price guarantee also ends at 12:00. At 12:00 the offer is rejected as expired. Under the reading that a guarantee still holds at its instant, the price is guaranteed at that instant. The example guaranteeAtExpiry computes both.
Open point: does a price guarantee still hold at the instant its time limit names?
No card depends on it yet.
When an item has a price guarantee time limit, that limit is at or after every separate guarantee limit on its base amount, each tax and each fee. Those part limits count only when the overall limit is present. The price guarantee should also end no later than the payment time limit. Case to check: The source's table guarantees the base amount and one tax for 5 days in the order. If the order item's overall guarantee stays at the 30 minutes carried from the offer, the parts outlive the whole.
Open point: The source calls the overall limit the maximum of the parts, which reads either as equal to the latest part or as an upper bound, and the payment limit bound is only a recommendation. The business must pick one reading and decide whether a price guarantee past the payment limit is cut back or refused.
No card depends on it yet.
checks ONE-502.4!Open questionUnder every reading, no order is created at the offered price while the price guarantee of one of the offer's items has lapsed.
Counterexample: an offer valid from 10:00 to 12:00 whose flight's price is guaranteed until 10:30, accepted at 11:59. Under the reading that keeps the offered price, the order is created with the flight at 300.00 EUR. The example lapsedGuaranteeAccepted computes both readings.
Open point: is acceptance after a lapsed price guarantee refused, sent back for a new offer, or honoured at the offered price?
No card depends on it yet.
checks ONE-502.5!Open questionNo order item starts with a payment time limit before the order's creation.
Counterexample: an offer valid until 12:00 whose bag must be paid by 10:30, accepted at 11:00. The bag's order item must be paid half an hour before the order existed. The example fixedLimitBeforeCreation computes it.
Open point: is an acceptance after a fixed payment time limit refused, or does the order item get a new payment time limit?
No card depends on it yet.
checks ONE-502.6!Open questionAn order item whose offer item's payment time limit is a duration of zero can be paid at the instant the order is created.
Counterexample: a flight at 300.00 EUR with a payment time limit of zero, accepted at 11:00 and paid in full by card at 11:00. The order item's limit is 11:00, and the payment rule of ONE-304 rejects a payment made at or after the limit. The example zeroDurationPayment computes it.
Open point: is a payment made at the creation instant on time, or must it come with the request that creates the order?
No card depends on it yet.
A price's total equals its base amount plus surcharges, fees, the tax summary total and any consumption tax not already included. The base amount is stated after discounts: the pre-discount amount minus the discount, where a percentage discount is that share of the pre-discount amount. Case to check: In the Canadian example every HST line is marked as not included, yet each reports zero excluded tax. Adding the excluded tax raises the total by 58.78 CAD; trusting the zero totals leaves it unchanged.
Counterexample: a base of 452.15 with an HST line of 58.78 marked as not included and a stated total of excluded tax of zero, in US dollars since the model has no Canadian dollar. Taking the tax from the lines gives a total of 510.93; trusting the stated total gives 452.15. The example excludedTaxReadings computes both.
Open point: The source names the parts and gives one example that adds up (95.00 base and 20.00 tax give 115.00), but states no formula. The business must decide whether fees and surcharges sit inside the tax summary or add separately, whether a discount applies before taxes are computed, and whether excluded consumption tax adds to the total. The model states discounts as amounts, so a percentage discount and its rounding are not modelled.
No card depends on it yet.
Each tax, fee and charge on a price carries its own refund flag. When an unused item is cancelled under a rule that forfeits the fare, the customer is still owed the taxes, fees and charges flagged refundable.
Counterexample: a trip at 500.00 EUR with a refundable airport tax of 25.00 EUR, cancelled on 25 January under a rule that forbids cancellation, returns nothing; so does a cancellation after a no show. Under the reading that a refund marked full with a fixed amount of 1.00 EUR returns the fixed amount, the cancellation returns 1.00 EUR. The examples nonRefundableFareTaxes and fullMarkedWithAmount compute them.
Open point: The source gives refund flags per tax and per fee and refund rules per offer item, but never says how they combine. The business must decide whether a no-refund cancel rule also keeps refundable taxes, and whether a no show changes the answer.
No card depends on it yet.
When the Offer Responsible Airline combines a participating airline's offer item into its own offer, it keeps that item whole and accepts the item's settlement value, settlement terms and sales conditions. It sets the customer price itself, and the settlement value, held per service, stays between the two airlines. Case to check: A participating airline's segment is non-refundable while the combined offer item is shown as fully refundable. The customer gets a full refund and the Offer Responsible Airline still owes the settlement value.
Open point: The source does not say how the participating airline's change and cancel rules become the restrictions shown to the customer, or whether the customer price must cover the settlement values. The business must decide both.
No card depends on it yet.
Every time limit on an offer or order resolves to one UTC instant before it is compared with the current time. Flight times are local to their airport and need its offset to resolve. Case to check: A payment limit of 2018-01-01 read as midnight UTC and read as the end of that day in a seller zone of UTC-12 differ by 36 hours, so one payment is on time under one reading and late under the other.
Open point: The source prefers UTC, but its own time limit examples include a bare date and a date and time with no offset. The business must decide which instant such a limit denotes, for example the end of that day at the point of sale.
No card depends on it yet.
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.
Open point: The source names the parts and gives one example that adds up (95.00 base and 20.00 tax give 115.00), but states no formula. The business must decide whether fees and surcharges sit inside the tax summary or add separately, whether a discount applies before taxes are computed, and whether excluded consumption tax adds to the total. The model states discounts as amounts, so a percentage discount and its rounding are not modelled.
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 takes the excluded consumption tax from the tax lines, a totalled price adds the tax of every line marked as not included.
Proven as price_adds_excluded_lines_of_lines; open as price_adds_excluded_lines.
The requirements whose rules or guarantees are on this area's cards. Each opens its chapter in the review document.
The capabilities of IATA's Airline Retailing Maturity Index that this area's candidate cards belong to. The codes and
names are IATA's.