FA-77621 / Legal deadline computation / Open access
Limitations period tolled during minority: cap base · case 01
The absolute cap is measured from majority, letting tolled claims run past the cap.
ROOT CAUSE
The cap is anchored at the majority date instead of accrual.
THE FAILURE
The cap is anchored at the majority date instead of accrual.
Unsuccessful approach: The partial repair `start` anchors the cap at the tolled start, which is majority for minors.
Case contract
Stipulated: a claimant reaches majority on the 18th birthday; someone born February 29 reaches it on March 1 in a common year. If the claim accrues before majority, the period starts at majority, otherwise at accrual. The deadline is the anniversary of the start after years (a missing February 29 becomes February 28). Regardless of minority, the deadline may not exceed cap_years after accrual (same anniversary rule).
Why this case matters
Docketing systems compute filing and response deadlines from trigger events; a wrong date can forfeit a right.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import datetime as dt
import calendar
N = 1
observations = []
def solve(birth, accrual, years, cap_years):
b = dt.date.fromisoformat(birth)
acc = dt.date.fromisoformat(accrual)
def anniversary(d, n):
y = d.year + n
return dt.date(y, d.month, min(d.day, calendar.monthrange(y, d.month)[1]))
y18 = b.year + 18
maj = dt.date(y18, 3, 1) if (b.month, b.day) == (2, 29) and not calendar.isleap(y18) else dt.date(y18, b.month, b.day)
start = maj if acc < maj else acc
deadline = anniversary(start, years)
cap = anniversary(maj, cap_years)
return (min(deadline, cap)).isoformat()
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: accrual days before 18th birthday', ['2006-06-20', '2024-06-17', 2, 8], '2026-06-20'),
('leap birthday common majority year', ['2004-02-29', '2020-05-01', 2, 8], '2024-03-01'),
('leap birthday leap majority year', ['2008-02-29', '2025-01-01', 1, 8], '2027-03-01'),
('young child capped', ['2015-03-10', '2016-04-01', 3, 8], '2024-04-01'),
('adult claim', ['1990-01-01', '2024-01-01', 2, 8], '2026-01-01'),
('accrual in majority year before birthday', ['2006-11-30', '2024-02-01', 2, 6], '2026-11-30'),
('accrual on majority date', ['2006-05-05', '2024-05-05', 2, 8], '2026-05-05')],
[('leap birthday leap majority year', ['2008-02-29', '2025-01-01', 1, 8], '2027-03-01'),
('young child capped', ['2015-03-10', '2016-04-01', 3, 8], '2024-04-01'),
('adult claim', ['1990-01-01', '2024-01-01', 2, 8], '2026-01-01'),
('accrual in majority year before birthday', ['2006-11-30', '2024-02-01', 2, 6], '2026-11-30'),
('accrual on majority date', ['2006-05-05', '2024-05-05', 2, 8], '2026-05-05'),
('teen within cap', ['2009-09-09', '2024-01-15', 2, 10], '2029-09-09'),
('leap birthday accrual early', ['2004-02-29', '2021-12-01', 3, 10], '2025-03-01')],
[('adult claim', ['1990-01-01', '2024-01-01', 2, 8], '2026-01-01'),
('accrual in majority year before birthday', ['2006-11-30', '2024-02-01', 2, 6], '2026-11-30'),
('accrual on majority date', ['2006-05-05', '2024-05-05', 2, 8], '2026-05-05'),
('teen within cap', ['2009-09-09', '2024-01-15', 2, 10], '2029-09-09'),
('leap birthday accrual early', ['2004-02-29', '2021-12-01', 3, 10], '2025-03-01'),
('cap equals tolled', ['2010-07-07', '2020-07-07', 2, 10], '2030-07-07'),
('regression: accrual days before 18th birthday', ['2006-06-20', '2024-06-17', 2, 8], '2026-06-20'),
('young child capped', ['2015-03-10', '2016-04-01', 3, 8], '2024-04-01')],
[('accrual on majority date', ['2006-05-05', '2024-05-05', 2, 8], '2026-05-05'),
('teen within cap', ['2009-09-09', '2024-01-15', 2, 10], '2029-09-09'),
('leap birthday accrual early', ['2004-02-29', '2021-12-01', 3, 10], '2025-03-01'),
('cap equals tolled', ['2010-07-07', '2020-07-07', 2, 10], '2030-07-07'),
('regression: accrual days before 18th birthday', ['2006-06-20', '2024-06-17', 2, 8], '2026-06-20'),
('leap birthday common majority year', ['2004-02-29', '2020-05-01', 2, 8], '2024-03-01'),
('leap birthday leap majority year', ['2008-02-29', '2025-01-01', 1, 8], '2027-03-01'),
('young child capped', ['2015-03-10', '2016-04-01', 3, 8], '2024-04-01'),
('adult claim', ['1990-01-01', '2024-01-01', 2, 8], '2026-01-01')],
[('leap birthday accrual early', ['2004-02-29', '2021-12-01', 3, 10], '2025-03-01'),
('cap equals tolled', ['2010-07-07', '2020-07-07', 2, 10], '2030-07-07'),
('regression: accrual days before 18th birthday', ['2006-06-20', '2024-06-17', 2, 8], '2026-06-20'),
('leap birthday common majority year', ['2004-02-29', '2020-05-01', 2, 8], '2024-03-01'),
('leap birthday leap majority year', ['2008-02-29', '2025-01-01', 1, 8], '2027-03-01'),
('young child capped', ['2015-03-10', '2016-04-01', 3, 8], '2024-04-01'),
('adult claim', ['1990-01-01', '2024-01-01', 2, 8], '2026-01-01')]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: accrual days before 18th birthday | 2026-06-20 | 2026-06-20 | Passed |
| leap birthday common majority year | 2024-03-01 | 2024-03-01 | Passed |
| leap birthday leap majority year | 2027-03-01 | 2027-03-01 | Passed |
| young child capped | 2036-03-10 | 2024-04-01 | Failed |
| adult claim | 2016-01-01 | 2026-01-01 | Failed |
| accrual in majority year before birthday | 2026-11-30 | 2026-11-30 | Passed |
| accrual on majority date | 2026-05-05 | 2026-05-05 | Passed |
SHA-256 / ea5fe132a1c5d7eab49e7787bb6387899738e4305621e0a21a9261b68bd7c6a5
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import datetime as dt
import calendar
N = 1
observations = []
def solve(birth, accrual, years, cap_years):
b = dt.date.fromisoformat(birth)
acc = dt.date.fromisoformat(accrual)
def anniversary(d, n):
y = d.year + n
return dt.date(y, d.month, min(d.day, calendar.monthrange(y, d.month)[1]))
y18 = b.year + 18
maj = dt.date(y18, 3, 1) if (b.month, b.day) == (2, 29) and not calendar.isleap(y18) else dt.date(y18, b.month, b.day)
start = maj if acc < maj else acc
deadline = anniversary(start, years)
cap = anniversary(start, cap_years)
return (min(deadline, cap)).isoformat()
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: accrual days before 18th birthday', ['2006-06-20', '2024-06-17', 2, 8], '2026-06-20'),
('leap birthday common majority year', ['2004-02-29', '2020-05-01', 2, 8], '2024-03-01'),
('leap birthday leap majority year', ['2008-02-29', '2025-01-01', 1, 8], '2027-03-01'),
('young child capped', ['2015-03-10', '2016-04-01', 3, 8], '2024-04-01'),
('adult claim', ['1990-01-01', '2024-01-01', 2, 8], '2026-01-01'),
('accrual in majority year before birthday', ['2006-11-30', '2024-02-01', 2, 6], '2026-11-30'),
('accrual on majority date', ['2006-05-05', '2024-05-05', 2, 8], '2026-05-05')],
[('leap birthday leap majority year', ['2008-02-29', '2025-01-01', 1, 8], '2027-03-01'),
('young child capped', ['2015-03-10', '2016-04-01', 3, 8], '2024-04-01'),
('adult claim', ['1990-01-01', '2024-01-01', 2, 8], '2026-01-01'),
('accrual in majority year before birthday', ['2006-11-30', '2024-02-01', 2, 6], '2026-11-30'),
('accrual on majority date', ['2006-05-05', '2024-05-05', 2, 8], '2026-05-05'),
('teen within cap', ['2009-09-09', '2024-01-15', 2, 10], '2029-09-09'),
('leap birthday accrual early', ['2004-02-29', '2021-12-01', 3, 10], '2025-03-01')],
[('adult claim', ['1990-01-01', '2024-01-01', 2, 8], '2026-01-01'),
('accrual in majority year before birthday', ['2006-11-30', '2024-02-01', 2, 6], '2026-11-30'),
('accrual on majority date', ['2006-05-05', '2024-05-05', 2, 8], '2026-05-05'),
('teen within cap', ['2009-09-09', '2024-01-15', 2, 10], '2029-09-09'),
('leap birthday accrual early', ['2004-02-29', '2021-12-01', 3, 10], '2025-03-01'),
('cap equals tolled', ['2010-07-07', '2020-07-07', 2, 10], '2030-07-07'),
('regression: accrual days before 18th birthday', ['2006-06-20', '2024-06-17', 2, 8], '2026-06-20'),
('young child capped', ['2015-03-10', '2016-04-01', 3, 8], '2024-04-01')],
[('accrual on majority date', ['2006-05-05', '2024-05-05', 2, 8], '2026-05-05'),
('teen within cap', ['2009-09-09', '2024-01-15', 2, 10], '2029-09-09'),
('leap birthday accrual early', ['2004-02-29', '2021-12-01', 3, 10], '2025-03-01'),
('cap equals tolled', ['2010-07-07', '2020-07-07', 2, 10], '2030-07-07'),
('regression: accrual days before 18th birthday', ['2006-06-20', '2024-06-17', 2, 8], '2026-06-20'),
('leap birthday common majority year', ['2004-02-29', '2020-05-01', 2, 8], '2024-03-01'),
('leap birthday leap majority year', ['2008-02-29', '2025-01-01', 1, 8], '2027-03-01'),
('young child capped', ['2015-03-10', '2016-04-01', 3, 8], '2024-04-01'),
('adult claim', ['1990-01-01', '2024-01-01', 2, 8], '2026-01-01')],
[('leap birthday accrual early', ['2004-02-29', '2021-12-01', 3, 10], '2025-03-01'),
('cap equals tolled', ['2010-07-07', '2020-07-07', 2, 10], '2030-07-07'),
('regression: accrual days before 18th birthday', ['2006-06-20', '2024-06-17', 2, 8], '2026-06-20'),
('leap birthday common majority year', ['2004-02-29', '2020-05-01', 2, 8], '2024-03-01'),
('leap birthday leap majority year', ['2008-02-29', '2025-01-01', 1, 8], '2027-03-01'),
('young child capped', ['2015-03-10', '2016-04-01', 3, 8], '2024-04-01'),
('adult claim', ['1990-01-01', '2024-01-01', 2, 8], '2026-01-01')]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: accrual days before 18th birthday | 2026-06-20 | 2026-06-20 | Passed |
| leap birthday common majority year | 2024-03-01 | 2024-03-01 | Passed |
| leap birthday leap majority year | 2027-03-01 | 2027-03-01 | Passed |
| young child capped | 2036-03-10 | 2024-04-01 | Failed |
| adult claim | 2026-01-01 | 2026-01-01 | Passed |
| accrual in majority year before birthday | 2026-11-30 | 2026-11-30 | Passed |
| accrual on majority date | 2026-05-05 | 2026-05-05 | Passed |
SHA-256 / 82ace972e2cc7d4224b8f208fb118cef4a95ddbd6d955d18b845ce0c3428393b
HELD IN THE MEMBER ARCHIVE
The verified repair and its recorded checks are member-only.
This mechanism has 7 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.
Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.
Member access is invitation-based. Sign in with your invited account to inspect the repair.
Sign in to the archive ↗Verification & scope
Stipulated toy deadline rules evaluated offline on explicit fixtures. The contract is inspired by common court-rule structures but is not legal advice and makes no claim to reproduce any jurisdiction's rules. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.
Observations recorded using Python 3.12.14 at 2026-09-29T14:49:27.216458+00:00.
Case digest / ee3685d184d9691ddfcd006ff8edafec3d05183c7505c536706aba62cf0f761b