FA-66397 / Airline fare rule evaluation / Member archive

Year carry computed from one-based month · case 02

A November departure with a one-month maximum stay gets a December limit in the following year.

Member previewVariant 2 · 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: maximum stay year rollover	`[]`	`["MAX"]`	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.