FA-66578 / Airline fare rule evaluation / Member archive

Unit ceiling computed in binary floating point · case 03

A 100.00 NUC fare at ROE 1.1 is collected as 111 instead of 110.

Member previewVariant 3 · 3 implementations · 10 checks per implementation

Case contract

Input {'nuc':[component amounts],'roe','currency'}. Sum components exactly, truncate the NUC total to 2 decimals, multiply by ROE, and round UP to the currency unit (USD/EUR/GBP 1, JPY 100, KWD 0.1) in exact decimal arithmetic; other currencies -> 'ERR_CURRENCY'. Return [NUC string, local string].

Why this case matters

Fare construction sums neutral units, converts with a rate of exchange, and rounds to currency-specific units in a prescribed direction.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
float product trap	`["400.00", "441"]`	`["400.00", "440"]`	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.