FA-66504 / Airline fare rule evaluation / Member archive

Discounted fare rounded half-to-even · case 04

A child fare of 75.075 is quoted as 75.07 instead of 75.08.

Member previewVariant 4 · 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
infant turns two on travel day	`["CHD", 299.92]`	`["CHD", 299.93]`	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.