FA-77463 / Legal deadline computation / Member archive

Deemed filing dates under mailbox and postmark rules: lateness · case 03

Early filings report negative days late.

Member previewVariant 3 · 3 implementations · 7 checks per implementation

Case contract

Each filing is [method, received, mailed, prisoner]. Stipulated: a prisoner filing with a mailed date is deemed filed when delivered to the prison mail system (mailed), regardless of method; otherwise a certified-mail filing with a mailed date is deemed filed on its postmark (mailed); every other filing (ordinary mail, courier, electronic) is filed when received. Return [deemed date, timely (deemed on or before the deadline), days late (0 if timely)] per filing.

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
early and late mix	`[["2024-04-10", true, -5], ["2024-04-16", false, 1]]`	`[["2024-04-10", true, 0], ["2024-04-16", false, 1]]`	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.