FA-66378 / Airline fare rule evaluation / Member archive

Maximum stay months approximated as 30 days · case 03

A one-month maximum stay departing 1 January expires on 31 January instead of 1 February.

Member previewVariant 3 · 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 month arithmetic	`["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.