FA-77465 / Legal deadline computation / Member archive

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

Early filings report negative days late.

Member previewVariant 5 · 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
prisoner certified	`[["2024-06-01", true, 0], ["2024-05-20", true, -12]]`	`[["2024-06-01", true, 0], ["2024-05-20", true, 0]]`	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.