{"abstract":"An ordinary-mail filing received late is treated as timely by its postmark.","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.","evaluation_group":"w2-legal-deadline-computation-mailbox-rule-filing-date","failed_approach":"The partial repair `method not in ('electronic', 'mail') and mailed is not None` excludes ordinary mail but lets private courier shipments use the ship date.","family":"w2-legal-deadline-computation-mailbox-rule-filing-date-postmark-scope","id":"FA-77456","implementations":{"attempt":{"sha256":"86018f67119b7de5a9c6e2021054d97ec20c2d498839d0409cdd7e9c79933acd","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 not in ('electronic', 'mail') and mailed is not None:\n            deemed = mailed\n        else:\n            deemed = received\n        dd = dt.date.fromisoformat(deemed)\n        late = max(0, (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  ('ordinary mail postmarked early',\n   ['2024-04-15', [['mail', '2024-04-17', '2024-04-14', 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  ('courier ship date',\n   ['2024-04-15', [['courier', '2024-04-17', '2024-04-15', False]]],\n   [['2024-04-17', False, 2]])],\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  ('courier ship date',\n   ['2024-04-15', [['courier', '2024-04-17', '2024-04-15', 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":"1ed59d919da2a957910610280de2daeb31f629a4296c1a431091fe8cca91f15a","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 in ('certified', 'mail') and mailed is not None:\n            deemed = mailed\n        else:\n            deemed = received\n        dd = dt.date.fromisoformat(deemed)\n        late = max(0, (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  ('ordinary mail postmarked early',\n   ['2024-04-15', [['mail', '2024-04-17', '2024-04-14', 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  ('courier ship date',\n   ['2024-04-15', [['courier', '2024-04-17', '2024-04-15', False]]],\n   [['2024-04-17', False, 2]])],\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  ('courier ship date',\n   ['2024-04-15', [['courier', '2024-04-17', '2024-04-15', 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"},"fixed":{"sha256":"b949e3e53aeba11252358d590c3b2049fcea198296227f2673c3d5552d2ec514","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 = max(0, (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  ('ordinary mail postmarked early',\n   ['2024-04-15', [['mail', '2024-04-17', '2024-04-14', 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  ('courier ship date',\n   ['2024-04-15', [['courier', '2024-04-17', '2024-04-15', False]]],\n   [['2024-04-17', False, 2]])],\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  ('courier ship date',\n   ['2024-04-15', [['courier', '2024-04-17', '2024-04-15', 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-postmark-scope","generated_at":"2026-09-29T14:49:25.761492+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.","repair":"At the postmark scope decision use `method == 'certified' and mailed is not None`, leaving the other decision sites of the model unchanged.","root_cause":"The postmark rule is extended to ordinary mail.","sha256":"3142f508f05fc1c614a32c9ce7eb755206f93d8c3caac6e77369c46ae08de567","title":"Deemed filing dates under mailbox and postmark rules: postmark scope · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.827,"exit_code":1,"observations":[{"actual":[["2024-04-12",true,0]],"check":"regression: prisoner ordinary mail","expected":[["2024-04-12",true,0]],"passed":true},{"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-15",true,0]],"check":"courier ship date","expected":[["2024-04-17",false,2]],"passed":false},{"actual":[["2024-04-15",true,0]],"check":"electronic on deadline","expected":[["2024-04-15",true,0]],"passed":true},{"actual":[["2024-04-10",true,0],["2024-04-16",false,1]],"check":"early and late mix","expected":[["2024-04-10",true,0],["2024-04-16",false,1]],"passed":true},{"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, 0]], \"expected\": [[\"2024-04-12\", true, 0]], \"passed\": true}, {\"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-15\", true, 0]], \"expected\": [[\"2024-04-17\", false, 2]], \"passed\": false}, {\"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, 0], [\"2024-04-16\", false, 1]], \"expected\": [[\"2024-04-10\", true, 0], [\"2024-04-16\", false, 1]], \"passed\": true}, {\"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.202,"exit_code":1,"observations":[{"actual":[["2024-04-12",true,0]],"check":"regression: prisoner ordinary mail","expected":[["2024-04-12",true,0]],"passed":true},{"actual":[["2024-04-14",true,0]],"check":"ordinary mail postmarked early","expected":[["2024-04-17",false,2]],"passed":false},{"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,0],["2024-04-16",false,1]],"check":"early and late mix","expected":[["2024-04-10",true,0],["2024-04-16",false,1]],"passed":true},{"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, 0]], \"expected\": [[\"2024-04-12\", true, 0]], \"passed\": true}, {\"check\": \"ordinary mail postmarked early\", \"actual\": [[\"2024-04-14\", true, 0]], \"expected\": [[\"2024-04-17\", false, 2]], \"passed\": false}, {\"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, 0], [\"2024-04-16\", false, 1]], \"expected\": [[\"2024-04-10\", true, 0], [\"2024-04-16\", false, 1]], \"passed\": true}, {\"check\": \"prisoner mailed late\", \"actual\": [[\"2024-04-18\", false, 3]], \"expected\": [[\"2024-04-18\", false, 3]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":38.794,"exit_code":0,"observations":[{"actual":[["2024-04-12",true,0]],"check":"regression: prisoner ordinary mail","expected":[["2024-04-12",true,0]],"passed":true},{"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,0],["2024-04-16",false,1]],"check":"early and late mix","expected":[["2024-04-10",true,0],["2024-04-16",false,1]],"passed":true},{"actual":[["2024-04-18",false,3]],"check":"prisoner mailed late","expected":[["2024-04-18",false,3]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: prisoner ordinary mail\", \"actual\": [[\"2024-04-12\", true, 0]], \"expected\": [[\"2024-04-12\", true, 0]], \"passed\": true}, {\"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, 0], [\"2024-04-16\", false, 1]], \"expected\": [[\"2024-04-10\", true, 0], [\"2024-04-16\", false, 1]], \"passed\": true}, {\"check\": \"prisoner mailed late\", \"actual\": [[\"2024-04-18\", false, 3]], \"expected\": [[\"2024-04-18\", false, 3]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}