FA-66700 / Airline fare rule evaluation / Member archive

Half fares rounded once on the combined total · case 05

Two odd round-trip fares combine one unit cheaper than their rounded halves.

Member previewVariant 5 · 3 implementations · 9 checks per implementation

Case contract

Input {'components':[[RT amount, carrier, tariff]],'interline_ok'}. Each component contributes half its RT amount rounded up to a whole unit. All components must share one tariff ('ERR_TARIFF', checked first); multiple carriers require interline_ok ('ERR_CARRIER'). Return the summed halves.

Why this case matters

Open-jaw and end-on-end pricing combines half round-trip fares, subject to combinability conditions and per-component rounding.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
odd RT fares open jaw	`734`	`735`	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.