FA-66525 / Airline fare rule evaluation / Member archive

Routings beyond 25% priced at the top band · case 05

A routing 40% over MPM is sold with a 25M surcharge instead of being rejected.

Member previewVariant 5 · 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
beyond 25 percent	`["25M", 25]`	`"ERR_EXCEEDS"`	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.