FA-77764 / Legal deadline computation / Member archive
Deadlines extended by a bankruptcy filing and automatic stay: collection days · case 04
Collection deadlines receive the 60-day act extension.
Case contract
Stipulated: for each deadline [kind, date] and petition date p: a deadline before p had already expired and is returned as [date, "expired"]. An "act" deadline becomes the later of its date and p + 60 days. A "collection" deadline becomes the later of its date and stay_end + 30 days; if stay_end is None it is "stayed". Return [date or None, status] per deadline, status "extended" when the date moved and "unchanged" otherwise.
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 fixtureThis sample comes from the broken implementation of a controlled reproducer.
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| mixed list | [["2024-05-01", "expired"], ["2024-07-19", "extended"], ["2024-08-01", "unchanged"]] | [["2024-05-01", "expired"], ["2024-06-19", "extended"], ["2024-08-01", "unchanged"]] | 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.
Sign in to the archive ↗