FA-66518 / Airline fare rule evaluation / Member archive

Ticketed point deduction added to mileage · case 03

Routings entitled to a mileage deduction are surcharged more heavily.

Member previewVariant 3 · 3 implementations · 10 checks per implementation

Case contract

Input {'tpm':[segment miles],'tpd':deduction miles,'mpm'}. Total = sum(TPM) - TPD. Total <= MPM -> ['M',0]; else the smallest band b in 5,10,15,20,25 with total <= MPM*(1+b/100) -> ['bM', b]; beyond 25% -> 'ERR_EXCEEDS'. Comparisons are exact integer arithmetic.

Why this case matters

The mileage system surcharges fares in 5% bands when the ticketed routing exceeds the maximum permitted mileage.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
deduction brings within	`["25M", 25]`	`["M", 0]`	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.