{"abstract":"Early filings report negative days late.","category":"Legal deadline computation","checks":7,"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.","contract_signature":"deadline, filings","evaluation_group":"w2-legal-deadline-computation-mailbox-rule-filing-date","failed_approach":"The partial repair `abs((dd - dl).days)` reports early filings as late by the number of days early.","family":"w2-legal-deadline-computation-mailbox-rule-filing-date-lateness","id":"FA-77461","implementations":{"attempt":{"sha256":"39408956a7ea89f93a2fa28f25df6068f54ece94efcef940baf96b8e5b576dfe","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime as dt\nimport calendar\nN = 1\nobservations = []\ndef solve(deadline, filings):\n    dl = dt.date.fromisoformat(deadline)\n    out = []\n    for method, received, mailed, prisoner in filings:\n        if prisoner and mailed is not None:\n            deemed = mailed\n        elif method == 'certified' and mailed is not None:\n            deemed = mailed\n        else:\n            deemed = received\n        dd = dt.date.fromisoformat(deemed)\n        late = abs((dd - dl).days)\n        out.append([deemed, dd <= dl, late])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: prisoner ordinary mail',\n   ['2024-04-15', [['mail', '2024-04-19', '2024-04-12', True]]],\n   [['2024-04-12', True, 0]]),\n  ('ordinary mail postmarked early',\n   ['2024-04-15', [['mail', '2024-04-17', '2024-04-14', False]]],\n   [['2024-04-17', False, 2]]),\n  ('certified mail postmark',\n   ['2024-04-15', [['certified', '2024-04-18', '2024-04-15', False]]],\n   [['2024-04-15', True, 0]]),\n  ('courier ship date',\n   ['2024-04-15', [['courier', '2024-04-17', '2024-04-15', False]]],\n   [['2024-04-17', False, 2]]),\n  ('electronic on deadline',\n   ['2024-04-15', [['electronic', '2024-04-15', None, False]]],\n   [['2024-04-15', True, 0]]),\n  ('early and late mix',\n   ['2024-04-15', [['electronic', '2024-04-10', None, False], ['electronic', '2024-04-16', None, False]]],\n   [['2024-04-10', True, 0], ['2024-04-16', False, 1]]),\n  ('prisoner mailed late',\n   ['2024-04-15', [['mail', '2024-04-22', '2024-04-18', True]]],\n   [['2024-04-18', False, 3]])],\n [('certified mail postmark',\n   ['2024-04-15', [['certified', '2024-04-18', '2024-04-15', False]]],\n   [['2024-04-15', True, 0]]),\n  ('courier ship date',\n   ['2024-04-15', [['courier', '2024-04-17', '2024-04-15', False]]],\n   [['2024-04-17', False, 2]]),\n  ('electronic on deadline',\n   ['2024-04-15', [['electronic', '2024-04-15', None, False]]],\n   [['2024-04-15', True, 0]]),\n  ('early and late mix',\n   ['2024-04-15', [['electronic', '2024-04-10', None, False], ['electronic', '2024-04-16', None, False]]],\n   [['2024-04-10', True, 0], ['2024-04-16', False, 1]]),\n  ('prisoner mailed late',\n   ['2024-04-15', [['mail', '2024-04-22', '2024-04-18', True]]],\n   [['2024-04-18', False, 3]]),\n  ('prisoner without mailed date',\n   ['2024-04-15', [['mail', '2024-04-16', None, True]]],\n   [['2024-04-16', False, 1]]),\n  ('certified late postmark',\n   ['2024-04-15', [['certified', '2024-04-20', '2024-04-17', False]]],\n   [['2024-04-17', False, 2]])],\n [('electronic on deadline',\n   ['2024-04-15', [['electronic', '2024-04-15', None, False]]],\n   [['2024-04-15', True, 0]]),\n  ('early and late mix',\n   ['2024-04-15', [['electronic', '2024-04-10', None, False], ['electronic', '2024-04-16', None, False]]],\n   [['2024-04-10', True, 0], ['2024-04-16', False, 1]]),\n  ('prisoner mailed late',\n   ['2024-04-15', [['mail', '2024-04-22', '2024-04-18', True]]],\n   [['2024-04-18', False, 3]]),\n  ('prisoner without mailed date',\n   ['2024-04-15', [['mail', '2024-04-16', None, True]]],\n   [['2024-04-16', False, 1]]),\n  ('certified late postmark',\n   ['2024-04-15', [['certified', '2024-04-20', '2024-04-17', False]]],\n   [['2024-04-17', False, 2]]),\n  ('one day late electronic',\n   ['2024-04-15', [['electronic', '2024-04-16', None, False]]],\n   [['2024-04-16', False, 1]]),\n  ('prisoner certified',\n   ['2024-06-01',\n    [['certified', '2024-06-05', '2024-06-01', True], ['mail', '2024-05-20', '2024-05-18', False]]],\n   [['2024-06-01', True, 0], ['2024-05-20', True, 0]])],\n [('prisoner mailed late',\n   ['2024-04-15', [['mail', '2024-04-22', '2024-04-18', True]]],\n   [['2024-04-18', False, 3]]),\n  ('prisoner without mailed date',\n   ['2024-04-15', [['mail', '2024-04-16', None, True]]],\n   [['2024-04-16', False, 1]]),\n  ('certified late postmark',\n   ['2024-04-15', [['certified', '2024-04-20', '2024-04-17', False]]],\n   [['2024-04-17', False, 2]]),\n  ('one day late electronic',\n   ['2024-04-15', [['electronic', '2024-04-16', None, False]]],\n   [['2024-04-16', False, 1]]),\n  ('prisoner certified',\n   ['2024-06-01',\n    [['certified', '2024-06-05', '2024-06-01', True], ['mail', '2024-05-20', '2024-05-18', False]]],\n   [['2024-06-01', True, 0], ['2024-05-20', True, 0]]),\n  ('regression: prisoner ordinary mail',\n   ['2024-04-15', [['mail', '2024-04-19', '2024-04-12', True]]],\n   [['2024-04-12', True, 0]]),\n  ('ordinary mail postmarked early',\n   ['2024-04-15', [['mail', '2024-04-17', '2024-04-14', False]]],\n   [['2024-04-17', False, 2]])],\n [('certified late postmark',\n   ['2024-04-15', [['certified', '2024-04-20', '2024-04-17', False]]],\n   [['2024-04-17', False, 2]]),\n  ('one day late electronic',\n   ['2024-04-15', [['electronic', '2024-04-16', None, False]]],\n   [['2024-04-16', False, 1]]),\n  ('prisoner certified',\n   ['2024-06-01',\n    [['certified', '2024-06-05', '2024-06-01', True], ['mail', '2024-05-20', '2024-05-18', False]]],\n   [['2024-06-01', True, 0], ['2024-05-20', True, 0]]),\n  ('regression: prisoner ordinary mail',\n   ['2024-04-15', [['mail', '2024-04-19', '2024-04-12', True]]],\n   [['2024-04-12', True, 0]]),\n  ('ordinary mail postmarked early',\n   ['2024-04-15', [['mail', '2024-04-17', '2024-04-14', False]]],\n   [['2024-04-17', False, 2]]),\n  ('certified mail postmark',\n   ['2024-04-15', [['certified', '2024-04-18', '2024-04-15', False]]],\n   [['2024-04-15', True, 0]]),\n  ('courier ship date',\n   ['2024-04-15', [['courier', '2024-04-17', '2024-04-15', False]]],\n   [['2024-04-17', False, 2]])]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"71a3519db7d7d57b256a8a19ebde438e88fda88b547c52e839e7e48d042b7ca2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime as dt\nimport calendar\nN = 1\nobservations = []\ndef solve(deadline, filings):\n    dl = dt.date.fromisoformat(deadline)\n    out = []\n    for method, received, mailed, prisoner in filings:\n        if prisoner and mailed is not None:\n            deemed = mailed\n        elif method == 'certified' and mailed is not None:\n            deemed = mailed\n        else:\n            deemed = received\n        dd = dt.date.fromisoformat(deemed)\n        late = (dd - dl).days\n        out.append([deemed, dd <= dl, late])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: prisoner ordinary mail',\n   ['2024-04-15', [['mail', '2024-04-19', '2024-04-12', True]]],\n   [['2024-04-12', True, 0]]),\n  ('ordinary mail postmarked early',\n   ['2024-04-15', [['mail', '2024-04-17', '2024-04-14', False]]],\n   [['2024-04-17', False, 2]]),\n  ('certified mail postmark',\n   ['2024-04-15', [['certified', '2024-04-18', '2024-04-15', False]]],\n   [['2024-04-15', True, 0]]),\n  ('courier ship date',\n   ['2024-04-15', [['courier', '2024-04-17', '2024-04-15', False]]],\n   [['2024-04-17', False, 2]]),\n  ('electronic on deadline',\n   ['2024-04-15', [['electronic', '2024-04-15', None, False]]],\n   [['2024-04-15', True, 0]]),\n  ('early and late mix',\n   ['2024-04-15', [['electronic', '2024-04-10', None, False], ['electronic', '2024-04-16', None, False]]],\n   [['2024-04-10', True, 0], ['2024-04-16', False, 1]]),\n  ('prisoner mailed late',\n   ['2024-04-15', [['mail', '2024-04-22', '2024-04-18', True]]],\n   [['2024-04-18', False, 3]])],\n [('certified mail postmark',\n   ['2024-04-15', [['certified', '2024-04-18', '2024-04-15', False]]],\n   [['2024-04-15', True, 0]]),\n  ('courier ship date',\n   ['2024-04-15', [['courier', '2024-04-17', '2024-04-15', False]]],\n   [['2024-04-17', False, 2]]),\n  ('electronic on deadline',\n   ['2024-04-15', [['electronic', '2024-04-15', None, False]]],\n   [['2024-04-15', True, 0]]),\n  ('early and late mix',\n   ['2024-04-15', [['electronic', '2024-04-10', None, False], ['electronic', '2024-04-16', None, False]]],\n   [['2024-04-10', True, 0], ['2024-04-16', False, 1]]),\n  ('prisoner mailed late',\n   ['2024-04-15', [['mail', '2024-04-22', '2024-04-18', True]]],\n   [['2024-04-18', False, 3]]),\n  ('prisoner without mailed date',\n   ['2024-04-15', [['mail', '2024-04-16', None, True]]],\n   [['2024-04-16', False, 1]]),\n  ('certified late postmark',\n   ['2024-04-15', [['certified', '2024-04-20', '2024-04-17', False]]],\n   [['2024-04-17', False, 2]])],\n [('electronic on deadline',\n   ['2024-04-15', [['electronic', '2024-04-15', None, False]]],\n   [['2024-04-15', True, 0]]),\n  ('early and late mix',\n   ['2024-04-15', [['electronic', '2024-04-10', None, False], ['electronic', '2024-04-16', None, False]]],\n   [['2024-04-10', True, 0], ['2024-04-16', False, 1]]),\n  ('prisoner mailed late',\n   ['2024-04-15', [['mail', '2024-04-22', '2024-04-18', True]]],\n   [['2024-04-18', False, 3]]),\n  ('prisoner without mailed date',\n   ['2024-04-15', [['mail', '2024-04-16', None, True]]],\n   [['2024-04-16', False, 1]]),\n  ('certified late postmark',\n   ['2024-04-15', [['certified', '2024-04-20', '2024-04-17', False]]],\n   [['2024-04-17', False, 2]]),\n  ('one day late electronic',\n   ['2024-04-15', [['electronic', '2024-04-16', None, False]]],\n   [['2024-04-16', False, 1]]),\n  ('prisoner certified',\n   ['2024-06-01',\n    [['certified', '2024-06-05', '2024-06-01', True], ['mail', '2024-05-20', '2024-05-18', False]]],\n   [['2024-06-01', True, 0], ['2024-05-20', True, 0]])],\n [('prisoner mailed late',\n   ['2024-04-15', [['mail', '2024-04-22', '2024-04-18', True]]],\n   [['2024-04-18', False, 3]]),\n  ('prisoner without mailed date',\n   ['2024-04-15', [['mail', '2024-04-16', None, True]]],\n   [['2024-04-16', False, 1]]),\n  ('certified late postmark',\n   ['2024-04-15', [['certified', '2024-04-20', '2024-04-17', False]]],\n   [['2024-04-17', False, 2]]),\n  ('one day late electronic',\n   ['2024-04-15', [['electronic', '2024-04-16', None, False]]],\n   [['2024-04-16', False, 1]]),\n  ('prisoner certified',\n   ['2024-06-01',\n    [['certified', '2024-06-05', '2024-06-01', True], ['mail', '2024-05-20', '2024-05-18', False]]],\n   [['2024-06-01', True, 0], ['2024-05-20', True, 0]]),\n  ('regression: prisoner ordinary mail',\n   ['2024-04-15', [['mail', '2024-04-19', '2024-04-12', True]]],\n   [['2024-04-12', True, 0]]),\n  ('ordinary mail postmarked early',\n   ['2024-04-15', [['mail', '2024-04-17', '2024-04-14', False]]],\n   [['2024-04-17', False, 2]])],\n [('certified late postmark',\n   ['2024-04-15', [['certified', '2024-04-20', '2024-04-17', False]]],\n   [['2024-04-17', False, 2]]),\n  ('one day late electronic',\n   ['2024-04-15', [['electronic', '2024-04-16', None, False]]],\n   [['2024-04-16', False, 1]]),\n  ('prisoner certified',\n   ['2024-06-01',\n    [['certified', '2024-06-05', '2024-06-01', True], ['mail', '2024-05-20', '2024-05-18', False]]],\n   [['2024-06-01', True, 0], ['2024-05-20', True, 0]]),\n  ('regression: prisoner ordinary mail',\n   ['2024-04-15', [['mail', '2024-04-19', '2024-04-12', True]]],\n   [['2024-04-12', True, 0]]),\n  ('ordinary mail postmarked early',\n   ['2024-04-15', [['mail', '2024-04-17', '2024-04-14', False]]],\n   [['2024-04-17', False, 2]]),\n  ('certified mail postmark',\n   ['2024-04-15', [['certified', '2024-04-18', '2024-04-15', False]]],\n   [['2024-04-15', True, 0]]),\n  ('courier ship date',\n   ['2024-04-15', [['courier', '2024-04-17', '2024-04-15', False]]],\n   [['2024-04-17', False, 2]])]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-legal-deadline-computation-mailbox-rule-filing-date-lateness","generated_at":"2026-09-29T14:49:25.806961+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Docketing systems compute filing and response deadlines from trigger events; a wrong date can forfeit a right.","root_cause":"Days late is the raw signed difference.","sha256":"3bb84f9fc39bcfba899e133f6866945c946fe9dbd0d82b3b14b84c0d3e037c59","title":"Deemed filing dates under mailbox and postmark rules: lateness · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":37.861,"exit_code":1,"observations":[{"actual":[["2024-04-12",true,3]],"check":"regression: prisoner ordinary mail","expected":[["2024-04-12",true,0]],"passed":false},{"actual":[["2024-04-17",false,2]],"check":"ordinary mail postmarked early","expected":[["2024-04-17",false,2]],"passed":true},{"actual":[["2024-04-15",true,0]],"check":"certified mail postmark","expected":[["2024-04-15",true,0]],"passed":true},{"actual":[["2024-04-17",false,2]],"check":"courier ship date","expected":[["2024-04-17",false,2]],"passed":true},{"actual":[["2024-04-15",true,0]],"check":"electronic on deadline","expected":[["2024-04-15",true,0]],"passed":true},{"actual":[["2024-04-10",true,5],["2024-04-16",false,1]],"check":"early and late mix","expected":[["2024-04-10",true,0],["2024-04-16",false,1]],"passed":false},{"actual":[["2024-04-18",false,3]],"check":"prisoner mailed late","expected":[["2024-04-18",false,3]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: prisoner ordinary mail\", \"actual\": [[\"2024-04-12\", true, 3]], \"expected\": [[\"2024-04-12\", true, 0]], \"passed\": false}, {\"check\": \"ordinary mail postmarked early\", \"actual\": [[\"2024-04-17\", false, 2]], \"expected\": [[\"2024-04-17\", false, 2]], \"passed\": true}, {\"check\": \"certified mail postmark\", \"actual\": [[\"2024-04-15\", true, 0]], \"expected\": [[\"2024-04-15\", true, 0]], \"passed\": true}, {\"check\": \"courier ship date\", \"actual\": [[\"2024-04-17\", false, 2]], \"expected\": [[\"2024-04-17\", false, 2]], \"passed\": true}, {\"check\": \"electronic on deadline\", \"actual\": [[\"2024-04-15\", true, 0]], \"expected\": [[\"2024-04-15\", true, 0]], \"passed\": true}, {\"check\": \"early and late mix\", \"actual\": [[\"2024-04-10\", true, 5], [\"2024-04-16\", false, 1]], \"expected\": [[\"2024-04-10\", true, 0], [\"2024-04-16\", false, 1]], \"passed\": false}, {\"check\": \"prisoner mailed late\", \"actual\": [[\"2024-04-18\", false, 3]], \"expected\": [[\"2024-04-18\", false, 3]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.346,"exit_code":1,"observations":[{"actual":[["2024-04-12",true,-3]],"check":"regression: prisoner ordinary mail","expected":[["2024-04-12",true,0]],"passed":false},{"actual":[["2024-04-17",false,2]],"check":"ordinary mail postmarked early","expected":[["2024-04-17",false,2]],"passed":true},{"actual":[["2024-04-15",true,0]],"check":"certified mail postmark","expected":[["2024-04-15",true,0]],"passed":true},{"actual":[["2024-04-17",false,2]],"check":"courier ship date","expected":[["2024-04-17",false,2]],"passed":true},{"actual":[["2024-04-15",true,0]],"check":"electronic on deadline","expected":[["2024-04-15",true,0]],"passed":true},{"actual":[["2024-04-10",true,-5],["2024-04-16",false,1]],"check":"early and late mix","expected":[["2024-04-10",true,0],["2024-04-16",false,1]],"passed":false},{"actual":[["2024-04-18",false,3]],"check":"prisoner mailed late","expected":[["2024-04-18",false,3]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: prisoner ordinary mail\", \"actual\": [[\"2024-04-12\", true, -3]], \"expected\": [[\"2024-04-12\", true, 0]], \"passed\": false}, {\"check\": \"ordinary mail postmarked early\", \"actual\": [[\"2024-04-17\", false, 2]], \"expected\": [[\"2024-04-17\", false, 2]], \"passed\": true}, {\"check\": \"certified mail postmark\", \"actual\": [[\"2024-04-15\", true, 0]], \"expected\": [[\"2024-04-15\", true, 0]], \"passed\": true}, {\"check\": \"courier ship date\", \"actual\": [[\"2024-04-17\", false, 2]], \"expected\": [[\"2024-04-17\", false, 2]], \"passed\": true}, {\"check\": \"electronic on deadline\", \"actual\": [[\"2024-04-15\", true, 0]], \"expected\": [[\"2024-04-15\", true, 0]], \"passed\": true}, {\"check\": \"early and late mix\", \"actual\": [[\"2024-04-10\", true, -5], [\"2024-04-16\", false, 1]], \"expected\": [[\"2024-04-10\", true, 0], [\"2024-04-16\", false, 1]], \"passed\": false}, {\"check\": \"prisoner mailed late\", \"actual\": [[\"2024-04-18\", false, 3]], \"expected\": [[\"2024-04-18\", false, 3]], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}