FA-77643 / Legal deadline computation / Member archive

Deemed receipt of a contract notice and a business-day response window: deemed roll · case 03

A notice received on a public holiday is deemed received that day.

Member previewVariant 3 · 3 implementations · 7 checks per implementation

Case contract

Stipulated: a notice is sent at a local time in the sender zone (sender_offset_min east of UTC) and is received at the same instant in the recipient zone (recipient_offset_min). Received at or after the cutoff time (recipient local) it is deemed received the next day; a deemed day that is not a business day (weekday, not a listed holiday) moves to the next business day. The response window ends after n business days counted from the day after deemed receipt. Return [deemed receipt, response deadline].

Why this case matters

Docketing systems compute filing and response deadlines from trigger events; a wrong date can forfeit a right.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
received on holiday	`["2024-07-04", "2024-07-08"]`	`["2024-07-05", "2024-07-09"]`	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.