FA-66487 / Airline fare rule evaluation / Member archive

Twelve-year-olds priced as children · case 02

Travellers on or after their 12th birthday still receive the child discount.

Member previewVariant 2 · 3 implementations · 12 checks per implementation

Case contract

Input {'birth','depart' ISO dates,'fare'}. Age is completed years on the departure date; a 29 February birthday falls on 1 March in non-leap years. Under 2 -> INF 10%; 2 to 11 -> CHD 75%; otherwise ADT 100%. Amount = fare*pct/100 rounded half-up to cents. Return [ptc, amount].

Why this case matters

Passenger type discounts depend on exact age at travel, with birthday and leap-day edge cases and currency rounding.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
12th birthday on departure	`["CHD", 310.88]`	`["ADT", 414.5]`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.