FA-66389 / Airline fare rule evaluation / Member archive

Saturday-night rule applied when disabled · case 04

Fares whose rule explicitly sets sat_night to false still report SAT failures.

Member previewVariant 4 · 3 implementations · 13 checks per implementation

Case contract

Input {'depart','return' ISO dates,'rule':{'sat_night','min_days','max_months'}}. Saturday-night rule: return on or after the Sunday following the first Saturday on or after departure. Min stay: return - depart >= min_days. Max stay: return <= departure date plus max_months calendar months; a month-end departure maps to the target month end, otherwise day clamps to month length. Return failed rule names in order SAT, MIN, MAX.

Why this case matters

Stay restrictions mix weekday logic and calendar-month arithmetic with month-end and year-rollover rules.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
regression: Saturday rule applicability	`["SAT"]`	`[]`	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.