{"abstract":"A collection deadline with the stay still in force is given a computed date.","category":"Legal deadline computation","checks":7,"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.","evaluation_group":"w2-legal-deadline-computation-bankruptcy-deadline-extension","failed_approach":"The partial repair `p + dt.timedelta(days=60)` defaults the unknown stay end to petition + 60 days, still inventing an end date.","family":"w2-legal-deadline-computation-bankruptcy-deadline-extension-stay-default","id":"FA-77751","implementations":{"attempt":{"sha256":"8ec93dcbb459ba3ebe4a6045530a44533c561b2b3919ae96b704555d0c1b90cd","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime as dt\nimport calendar\nN = 1\nobservations = []\ndef solve(petition, stay_end, deadlines):\n    p = dt.date.fromisoformat(petition)\n    out = []\n    stay = dt.date.fromisoformat(stay_end) if stay_end else p + dt.timedelta(days=60)\n    for kind, due in deadlines:\n        d = dt.date.fromisoformat(due)\n        if d < p:\n            out.append([due, 'expired'])\n            continue\n        if kind == 'act':\n            new = max(d, p + dt.timedelta(days=60))\n        elif stay is None:\n            out.append([None, 'stayed'])\n            continue\n        else:\n            new = max(d, stay + dt.timedelta(days=30))\n        out.append([new.isoformat(), 'extended' if new != d else 'unchanged'])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: late act deadline',\n   ['2024-03-01', '2024-06-01', [['act', '2024-07-15']]],\n   [['2024-07-15', 'unchanged']]),\n  ('act soon after petition',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-10']]],\n   [['2024-04-30', 'extended']]),\n  ('deadline on petition date',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-01']]],\n   [['2024-04-30', 'extended']]),\n  ('expired day before', ['2024-03-01', '2024-06-01', [['act', '2024-02-29']]], [['2024-02-29', 'expired']]),\n  ('collection after stay',\n   ['2024-03-01', '2024-06-01', [['collection', '2024-03-15']]],\n   [['2024-07-01', 'extended']]),\n  ('collection stay pending',\n   ['2024-03-01', None, [['collection', '2024-03-15'], ['act', '2024-03-20']]],\n   [[None, 'stayed'], ['2024-04-30', 'extended']]),\n  ('collection late anyway',\n   ['2024-03-01', '2024-04-01', [['collection', '2024-06-30']]],\n   [['2024-06-30', 'unchanged']])],\n [('deadline on petition date',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-01']]],\n   [['2024-04-30', 'extended']]),\n  ('expired day before', ['2024-03-01', '2024-06-01', [['act', '2024-02-29']]], [['2024-02-29', 'expired']]),\n  ('collection after stay',\n   ['2024-03-01', '2024-06-01', [['collection', '2024-03-15']]],\n   [['2024-07-01', 'extended']]),\n  ('collection stay pending',\n   ['2024-03-01', None, [['collection', '2024-03-15'], ['act', '2024-03-20']]],\n   [[None, 'stayed'], ['2024-04-30', 'extended']]),\n  ('collection late anyway',\n   ['2024-03-01', '2024-04-01', [['collection', '2024-06-30']]],\n   [['2024-06-30', 'unchanged']]),\n  ('mixed list',\n   ['2024-05-10', '2024-05-20', [['act', '2024-05-01'], ['collection', '2024-05-12'], ['act', '2024-08-01']]],\n   [['2024-05-01', 'expired'], ['2024-06-19', 'extended'], ['2024-08-01', 'unchanged']]),\n  ('collection due after petition before stay end',\n   ['2024-01-10', '2024-02-05', [['collection', '2024-02-01']]],\n   [['2024-03-06', 'extended']])],\n [('collection after stay',\n   ['2024-03-01', '2024-06-01', [['collection', '2024-03-15']]],\n   [['2024-07-01', 'extended']]),\n  ('collection stay pending',\n   ['2024-03-01', None, [['collection', '2024-03-15'], ['act', '2024-03-20']]],\n   [[None, 'stayed'], ['2024-04-30', 'extended']]),\n  ('collection late anyway',\n   ['2024-03-01', '2024-04-01', [['collection', '2024-06-30']]],\n   [['2024-06-30', 'unchanged']]),\n  ('mixed list',\n   ['2024-05-10', '2024-05-20', [['act', '2024-05-01'], ['collection', '2024-05-12'], ['act', '2024-08-01']]],\n   [['2024-05-01', 'expired'], ['2024-06-19', 'extended'], ['2024-08-01', 'unchanged']]),\n  ('collection due after petition before stay end',\n   ['2024-01-10', '2024-02-05', [['collection', '2024-02-01']]],\n   [['2024-03-06', 'extended']]),\n  ('stay pending act only', ['2024-02-01', None, [['act', '2024-02-02']]], [['2024-04-01', 'extended']]),\n  ('regression: late act deadline',\n   ['2024-03-01', '2024-06-01', [['act', '2024-07-15']]],\n   [['2024-07-15', 'unchanged']])],\n [('collection late anyway',\n   ['2024-03-01', '2024-04-01', [['collection', '2024-06-30']]],\n   [['2024-06-30', 'unchanged']]),\n  ('mixed list',\n   ['2024-05-10', '2024-05-20', [['act', '2024-05-01'], ['collection', '2024-05-12'], ['act', '2024-08-01']]],\n   [['2024-05-01', 'expired'], ['2024-06-19', 'extended'], ['2024-08-01', 'unchanged']]),\n  ('collection due after petition before stay end',\n   ['2024-01-10', '2024-02-05', [['collection', '2024-02-01']]],\n   [['2024-03-06', 'extended']]),\n  ('stay pending act only', ['2024-02-01', None, [['act', '2024-02-02']]], [['2024-04-01', 'extended']]),\n  ('regression: late act deadline',\n   ['2024-03-01', '2024-06-01', [['act', '2024-07-15']]],\n   [['2024-07-15', 'unchanged']]),\n  ('act soon after petition',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-10']]],\n   [['2024-04-30', 'extended']]),\n  ('deadline on petition date',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-01']]],\n   [['2024-04-30', 'extended']]),\n  ('collection stay pending',\n   ['2024-03-01', None, [['collection', '2024-03-15'], ['act', '2024-03-20']]],\n   [[None, 'stayed'], ['2024-04-30', 'extended']])],\n [('collection due after petition before stay end',\n   ['2024-01-10', '2024-02-05', [['collection', '2024-02-01']]],\n   [['2024-03-06', 'extended']]),\n  ('stay pending act only', ['2024-02-01', None, [['act', '2024-02-02']]], [['2024-04-01', 'extended']]),\n  ('regression: late act deadline',\n   ['2024-03-01', '2024-06-01', [['act', '2024-07-15']]],\n   [['2024-07-15', 'unchanged']]),\n  ('act soon after petition',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-10']]],\n   [['2024-04-30', 'extended']]),\n  ('deadline on petition date',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-01']]],\n   [['2024-04-30', 'extended']]),\n  ('expired day before', ['2024-03-01', '2024-06-01', [['act', '2024-02-29']]], [['2024-02-29', 'expired']]),\n  ('collection after stay',\n   ['2024-03-01', '2024-06-01', [['collection', '2024-03-15']]],\n   [['2024-07-01', 'extended']]),\n  ('collection stay pending',\n   ['2024-03-01', None, [['collection', '2024-03-15'], ['act', '2024-03-20']]],\n   [[None, 'stayed'], ['2024-04-30', 'extended']])]]\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":"c29592b375b2530d90352b36a831b0f90baa330811f5a3585010aa41ea45e0fb","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime as dt\nimport calendar\nN = 1\nobservations = []\ndef solve(petition, stay_end, deadlines):\n    p = dt.date.fromisoformat(petition)\n    out = []\n    stay = dt.date.fromisoformat(stay_end) if stay_end else p\n    for kind, due in deadlines:\n        d = dt.date.fromisoformat(due)\n        if d < p:\n            out.append([due, 'expired'])\n            continue\n        if kind == 'act':\n            new = max(d, p + dt.timedelta(days=60))\n        elif stay is None:\n            out.append([None, 'stayed'])\n            continue\n        else:\n            new = max(d, stay + dt.timedelta(days=30))\n        out.append([new.isoformat(), 'extended' if new != d else 'unchanged'])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: late act deadline',\n   ['2024-03-01', '2024-06-01', [['act', '2024-07-15']]],\n   [['2024-07-15', 'unchanged']]),\n  ('act soon after petition',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-10']]],\n   [['2024-04-30', 'extended']]),\n  ('deadline on petition date',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-01']]],\n   [['2024-04-30', 'extended']]),\n  ('expired day before', ['2024-03-01', '2024-06-01', [['act', '2024-02-29']]], [['2024-02-29', 'expired']]),\n  ('collection after stay',\n   ['2024-03-01', '2024-06-01', [['collection', '2024-03-15']]],\n   [['2024-07-01', 'extended']]),\n  ('collection stay pending',\n   ['2024-03-01', None, [['collection', '2024-03-15'], ['act', '2024-03-20']]],\n   [[None, 'stayed'], ['2024-04-30', 'extended']]),\n  ('collection late anyway',\n   ['2024-03-01', '2024-04-01', [['collection', '2024-06-30']]],\n   [['2024-06-30', 'unchanged']])],\n [('deadline on petition date',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-01']]],\n   [['2024-04-30', 'extended']]),\n  ('expired day before', ['2024-03-01', '2024-06-01', [['act', '2024-02-29']]], [['2024-02-29', 'expired']]),\n  ('collection after stay',\n   ['2024-03-01', '2024-06-01', [['collection', '2024-03-15']]],\n   [['2024-07-01', 'extended']]),\n  ('collection stay pending',\n   ['2024-03-01', None, [['collection', '2024-03-15'], ['act', '2024-03-20']]],\n   [[None, 'stayed'], ['2024-04-30', 'extended']]),\n  ('collection late anyway',\n   ['2024-03-01', '2024-04-01', [['collection', '2024-06-30']]],\n   [['2024-06-30', 'unchanged']]),\n  ('mixed list',\n   ['2024-05-10', '2024-05-20', [['act', '2024-05-01'], ['collection', '2024-05-12'], ['act', '2024-08-01']]],\n   [['2024-05-01', 'expired'], ['2024-06-19', 'extended'], ['2024-08-01', 'unchanged']]),\n  ('collection due after petition before stay end',\n   ['2024-01-10', '2024-02-05', [['collection', '2024-02-01']]],\n   [['2024-03-06', 'extended']])],\n [('collection after stay',\n   ['2024-03-01', '2024-06-01', [['collection', '2024-03-15']]],\n   [['2024-07-01', 'extended']]),\n  ('collection stay pending',\n   ['2024-03-01', None, [['collection', '2024-03-15'], ['act', '2024-03-20']]],\n   [[None, 'stayed'], ['2024-04-30', 'extended']]),\n  ('collection late anyway',\n   ['2024-03-01', '2024-04-01', [['collection', '2024-06-30']]],\n   [['2024-06-30', 'unchanged']]),\n  ('mixed list',\n   ['2024-05-10', '2024-05-20', [['act', '2024-05-01'], ['collection', '2024-05-12'], ['act', '2024-08-01']]],\n   [['2024-05-01', 'expired'], ['2024-06-19', 'extended'], ['2024-08-01', 'unchanged']]),\n  ('collection due after petition before stay end',\n   ['2024-01-10', '2024-02-05', [['collection', '2024-02-01']]],\n   [['2024-03-06', 'extended']]),\n  ('stay pending act only', ['2024-02-01', None, [['act', '2024-02-02']]], [['2024-04-01', 'extended']]),\n  ('regression: late act deadline',\n   ['2024-03-01', '2024-06-01', [['act', '2024-07-15']]],\n   [['2024-07-15', 'unchanged']])],\n [('collection late anyway',\n   ['2024-03-01', '2024-04-01', [['collection', '2024-06-30']]],\n   [['2024-06-30', 'unchanged']]),\n  ('mixed list',\n   ['2024-05-10', '2024-05-20', [['act', '2024-05-01'], ['collection', '2024-05-12'], ['act', '2024-08-01']]],\n   [['2024-05-01', 'expired'], ['2024-06-19', 'extended'], ['2024-08-01', 'unchanged']]),\n  ('collection due after petition before stay end',\n   ['2024-01-10', '2024-02-05', [['collection', '2024-02-01']]],\n   [['2024-03-06', 'extended']]),\n  ('stay pending act only', ['2024-02-01', None, [['act', '2024-02-02']]], [['2024-04-01', 'extended']]),\n  ('regression: late act deadline',\n   ['2024-03-01', '2024-06-01', [['act', '2024-07-15']]],\n   [['2024-07-15', 'unchanged']]),\n  ('act soon after petition',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-10']]],\n   [['2024-04-30', 'extended']]),\n  ('deadline on petition date',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-01']]],\n   [['2024-04-30', 'extended']]),\n  ('collection stay pending',\n   ['2024-03-01', None, [['collection', '2024-03-15'], ['act', '2024-03-20']]],\n   [[None, 'stayed'], ['2024-04-30', 'extended']])],\n [('collection due after petition before stay end',\n   ['2024-01-10', '2024-02-05', [['collection', '2024-02-01']]],\n   [['2024-03-06', 'extended']]),\n  ('stay pending act only', ['2024-02-01', None, [['act', '2024-02-02']]], [['2024-04-01', 'extended']]),\n  ('regression: late act deadline',\n   ['2024-03-01', '2024-06-01', [['act', '2024-07-15']]],\n   [['2024-07-15', 'unchanged']]),\n  ('act soon after petition',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-10']]],\n   [['2024-04-30', 'extended']]),\n  ('deadline on petition date',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-01']]],\n   [['2024-04-30', 'extended']]),\n  ('expired day before', ['2024-03-01', '2024-06-01', [['act', '2024-02-29']]], [['2024-02-29', 'expired']]),\n  ('collection after stay',\n   ['2024-03-01', '2024-06-01', [['collection', '2024-03-15']]],\n   [['2024-07-01', 'extended']]),\n  ('collection stay pending',\n   ['2024-03-01', None, [['collection', '2024-03-15'], ['act', '2024-03-20']]],\n   [[None, 'stayed'], ['2024-04-30', 'extended']])]]\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":"4fb2d162dd50712aa6c99a3d0ecea884503a1eb8f3370e98c5cd42927f3e7eb3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime as dt\nimport calendar\nN = 1\nobservations = []\ndef solve(petition, stay_end, deadlines):\n    p = dt.date.fromisoformat(petition)\n    out = []\n    stay = dt.date.fromisoformat(stay_end) if stay_end else None\n    for kind, due in deadlines:\n        d = dt.date.fromisoformat(due)\n        if d < p:\n            out.append([due, 'expired'])\n            continue\n        if kind == 'act':\n            new = max(d, p + dt.timedelta(days=60))\n        elif stay is None:\n            out.append([None, 'stayed'])\n            continue\n        else:\n            new = max(d, stay + dt.timedelta(days=30))\n        out.append([new.isoformat(), 'extended' if new != d else 'unchanged'])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: late act deadline',\n   ['2024-03-01', '2024-06-01', [['act', '2024-07-15']]],\n   [['2024-07-15', 'unchanged']]),\n  ('act soon after petition',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-10']]],\n   [['2024-04-30', 'extended']]),\n  ('deadline on petition date',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-01']]],\n   [['2024-04-30', 'extended']]),\n  ('expired day before', ['2024-03-01', '2024-06-01', [['act', '2024-02-29']]], [['2024-02-29', 'expired']]),\n  ('collection after stay',\n   ['2024-03-01', '2024-06-01', [['collection', '2024-03-15']]],\n   [['2024-07-01', 'extended']]),\n  ('collection stay pending',\n   ['2024-03-01', None, [['collection', '2024-03-15'], ['act', '2024-03-20']]],\n   [[None, 'stayed'], ['2024-04-30', 'extended']]),\n  ('collection late anyway',\n   ['2024-03-01', '2024-04-01', [['collection', '2024-06-30']]],\n   [['2024-06-30', 'unchanged']])],\n [('deadline on petition date',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-01']]],\n   [['2024-04-30', 'extended']]),\n  ('expired day before', ['2024-03-01', '2024-06-01', [['act', '2024-02-29']]], [['2024-02-29', 'expired']]),\n  ('collection after stay',\n   ['2024-03-01', '2024-06-01', [['collection', '2024-03-15']]],\n   [['2024-07-01', 'extended']]),\n  ('collection stay pending',\n   ['2024-03-01', None, [['collection', '2024-03-15'], ['act', '2024-03-20']]],\n   [[None, 'stayed'], ['2024-04-30', 'extended']]),\n  ('collection late anyway',\n   ['2024-03-01', '2024-04-01', [['collection', '2024-06-30']]],\n   [['2024-06-30', 'unchanged']]),\n  ('mixed list',\n   ['2024-05-10', '2024-05-20', [['act', '2024-05-01'], ['collection', '2024-05-12'], ['act', '2024-08-01']]],\n   [['2024-05-01', 'expired'], ['2024-06-19', 'extended'], ['2024-08-01', 'unchanged']]),\n  ('collection due after petition before stay end',\n   ['2024-01-10', '2024-02-05', [['collection', '2024-02-01']]],\n   [['2024-03-06', 'extended']])],\n [('collection after stay',\n   ['2024-03-01', '2024-06-01', [['collection', '2024-03-15']]],\n   [['2024-07-01', 'extended']]),\n  ('collection stay pending',\n   ['2024-03-01', None, [['collection', '2024-03-15'], ['act', '2024-03-20']]],\n   [[None, 'stayed'], ['2024-04-30', 'extended']]),\n  ('collection late anyway',\n   ['2024-03-01', '2024-04-01', [['collection', '2024-06-30']]],\n   [['2024-06-30', 'unchanged']]),\n  ('mixed list',\n   ['2024-05-10', '2024-05-20', [['act', '2024-05-01'], ['collection', '2024-05-12'], ['act', '2024-08-01']]],\n   [['2024-05-01', 'expired'], ['2024-06-19', 'extended'], ['2024-08-01', 'unchanged']]),\n  ('collection due after petition before stay end',\n   ['2024-01-10', '2024-02-05', [['collection', '2024-02-01']]],\n   [['2024-03-06', 'extended']]),\n  ('stay pending act only', ['2024-02-01', None, [['act', '2024-02-02']]], [['2024-04-01', 'extended']]),\n  ('regression: late act deadline',\n   ['2024-03-01', '2024-06-01', [['act', '2024-07-15']]],\n   [['2024-07-15', 'unchanged']])],\n [('collection late anyway',\n   ['2024-03-01', '2024-04-01', [['collection', '2024-06-30']]],\n   [['2024-06-30', 'unchanged']]),\n  ('mixed list',\n   ['2024-05-10', '2024-05-20', [['act', '2024-05-01'], ['collection', '2024-05-12'], ['act', '2024-08-01']]],\n   [['2024-05-01', 'expired'], ['2024-06-19', 'extended'], ['2024-08-01', 'unchanged']]),\n  ('collection due after petition before stay end',\n   ['2024-01-10', '2024-02-05', [['collection', '2024-02-01']]],\n   [['2024-03-06', 'extended']]),\n  ('stay pending act only', ['2024-02-01', None, [['act', '2024-02-02']]], [['2024-04-01', 'extended']]),\n  ('regression: late act deadline',\n   ['2024-03-01', '2024-06-01', [['act', '2024-07-15']]],\n   [['2024-07-15', 'unchanged']]),\n  ('act soon after petition',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-10']]],\n   [['2024-04-30', 'extended']]),\n  ('deadline on petition date',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-01']]],\n   [['2024-04-30', 'extended']]),\n  ('collection stay pending',\n   ['2024-03-01', None, [['collection', '2024-03-15'], ['act', '2024-03-20']]],\n   [[None, 'stayed'], ['2024-04-30', 'extended']])],\n [('collection due after petition before stay end',\n   ['2024-01-10', '2024-02-05', [['collection', '2024-02-01']]],\n   [['2024-03-06', 'extended']]),\n  ('stay pending act only', ['2024-02-01', None, [['act', '2024-02-02']]], [['2024-04-01', 'extended']]),\n  ('regression: late act deadline',\n   ['2024-03-01', '2024-06-01', [['act', '2024-07-15']]],\n   [['2024-07-15', 'unchanged']]),\n  ('act soon after petition',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-10']]],\n   [['2024-04-30', 'extended']]),\n  ('deadline on petition date',\n   ['2024-03-01', '2024-06-01', [['act', '2024-03-01']]],\n   [['2024-04-30', 'extended']]),\n  ('expired day before', ['2024-03-01', '2024-06-01', [['act', '2024-02-29']]], [['2024-02-29', 'expired']]),\n  ('collection after stay',\n   ['2024-03-01', '2024-06-01', [['collection', '2024-03-15']]],\n   [['2024-07-01', 'extended']]),\n  ('collection stay pending',\n   ['2024-03-01', None, [['collection', '2024-03-15'], ['act', '2024-03-20']]],\n   [[None, 'stayed'], ['2024-04-30', 'extended']])]]\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-bankruptcy-deadline-extension-stay-default","generated_at":"2026-09-29T14:49:28.650702+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 stay default decision use `None`, leaving the other decision sites of the model unchanged.","root_cause":"An unknown stay end defaults to the petition date, as if the stay had already ended.","sha256":"54546d93ea4f968fc22c7d0d0f2d14cc16bd4d1942a2279d916f65d49b908e5c","title":"Deadlines extended by a bankruptcy filing and automatic stay: stay default · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":46.239,"exit_code":1,"observations":[{"actual":[["2024-07-15","unchanged"]],"check":"regression: late act deadline","expected":[["2024-07-15","unchanged"]],"passed":true},{"actual":[["2024-04-30","extended"]],"check":"act soon after petition","expected":[["2024-04-30","extended"]],"passed":true},{"actual":[["2024-04-30","extended"]],"check":"deadline on petition date","expected":[["2024-04-30","extended"]],"passed":true},{"actual":[["2024-02-29","expired"]],"check":"expired day before","expected":[["2024-02-29","expired"]],"passed":true},{"actual":[["2024-07-01","extended"]],"check":"collection after stay","expected":[["2024-07-01","extended"]],"passed":true},{"actual":[["2024-05-30","extended"],["2024-04-30","extended"]],"check":"collection stay pending","expected":[[null,"stayed"],["2024-04-30","extended"]],"passed":false},{"actual":[["2024-06-30","unchanged"]],"check":"collection late anyway","expected":[["2024-06-30","unchanged"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: late act deadline\", \"actual\": [[\"2024-07-15\", \"unchanged\"]], \"expected\": [[\"2024-07-15\", \"unchanged\"]], \"passed\": true}, {\"check\": \"act soon after petition\", \"actual\": [[\"2024-04-30\", \"extended\"]], \"expected\": [[\"2024-04-30\", \"extended\"]], \"passed\": true}, {\"check\": \"deadline on petition date\", \"actual\": [[\"2024-04-30\", \"extended\"]], \"expected\": [[\"2024-04-30\", \"extended\"]], \"passed\": true}, {\"check\": \"expired day before\", \"actual\": [[\"2024-02-29\", \"expired\"]], \"expected\": [[\"2024-02-29\", \"expired\"]], \"passed\": true}, {\"check\": \"collection after stay\", \"actual\": [[\"2024-07-01\", \"extended\"]], \"expected\": [[\"2024-07-01\", \"extended\"]], \"passed\": true}, {\"check\": \"collection stay pending\", \"actual\": [[\"2024-05-30\", \"extended\"], [\"2024-04-30\", \"extended\"]], \"expected\": [[null, \"stayed\"], [\"2024-04-30\", \"extended\"]], \"passed\": false}, {\"check\": \"collection late anyway\", \"actual\": [[\"2024-06-30\", \"unchanged\"]], \"expected\": [[\"2024-06-30\", \"unchanged\"]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":47.236,"exit_code":1,"observations":[{"actual":[["2024-07-15","unchanged"]],"check":"regression: late act deadline","expected":[["2024-07-15","unchanged"]],"passed":true},{"actual":[["2024-04-30","extended"]],"check":"act soon after petition","expected":[["2024-04-30","extended"]],"passed":true},{"actual":[["2024-04-30","extended"]],"check":"deadline on petition date","expected":[["2024-04-30","extended"]],"passed":true},{"actual":[["2024-02-29","expired"]],"check":"expired day before","expected":[["2024-02-29","expired"]],"passed":true},{"actual":[["2024-07-01","extended"]],"check":"collection after stay","expected":[["2024-07-01","extended"]],"passed":true},{"actual":[["2024-03-31","extended"],["2024-04-30","extended"]],"check":"collection stay pending","expected":[[null,"stayed"],["2024-04-30","extended"]],"passed":false},{"actual":[["2024-06-30","unchanged"]],"check":"collection late anyway","expected":[["2024-06-30","unchanged"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: late act deadline\", \"actual\": [[\"2024-07-15\", \"unchanged\"]], \"expected\": [[\"2024-07-15\", \"unchanged\"]], \"passed\": true}, {\"check\": \"act soon after petition\", \"actual\": [[\"2024-04-30\", \"extended\"]], \"expected\": [[\"2024-04-30\", \"extended\"]], \"passed\": true}, {\"check\": \"deadline on petition date\", \"actual\": [[\"2024-04-30\", \"extended\"]], \"expected\": [[\"2024-04-30\", \"extended\"]], \"passed\": true}, {\"check\": \"expired day before\", \"actual\": [[\"2024-02-29\", \"expired\"]], \"expected\": [[\"2024-02-29\", \"expired\"]], \"passed\": true}, {\"check\": \"collection after stay\", \"actual\": [[\"2024-07-01\", \"extended\"]], \"expected\": [[\"2024-07-01\", \"extended\"]], \"passed\": true}, {\"check\": \"collection stay pending\", \"actual\": [[\"2024-03-31\", \"extended\"], [\"2024-04-30\", \"extended\"]], \"expected\": [[null, \"stayed\"], [\"2024-04-30\", \"extended\"]], \"passed\": false}, {\"check\": \"collection late anyway\", \"actual\": [[\"2024-06-30\", \"unchanged\"]], \"expected\": [[\"2024-06-30\", \"unchanged\"]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":47.445,"exit_code":0,"observations":[{"actual":[["2024-07-15","unchanged"]],"check":"regression: late act deadline","expected":[["2024-07-15","unchanged"]],"passed":true},{"actual":[["2024-04-30","extended"]],"check":"act soon after petition","expected":[["2024-04-30","extended"]],"passed":true},{"actual":[["2024-04-30","extended"]],"check":"deadline on petition date","expected":[["2024-04-30","extended"]],"passed":true},{"actual":[["2024-02-29","expired"]],"check":"expired day before","expected":[["2024-02-29","expired"]],"passed":true},{"actual":[["2024-07-01","extended"]],"check":"collection after stay","expected":[["2024-07-01","extended"]],"passed":true},{"actual":[[null,"stayed"],["2024-04-30","extended"]],"check":"collection stay pending","expected":[[null,"stayed"],["2024-04-30","extended"]],"passed":true},{"actual":[["2024-06-30","unchanged"]],"check":"collection late anyway","expected":[["2024-06-30","unchanged"]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: late act deadline\", \"actual\": [[\"2024-07-15\", \"unchanged\"]], \"expected\": [[\"2024-07-15\", \"unchanged\"]], \"passed\": true}, {\"check\": \"act soon after petition\", \"actual\": [[\"2024-04-30\", \"extended\"]], \"expected\": [[\"2024-04-30\", \"extended\"]], \"passed\": true}, {\"check\": \"deadline on petition date\", \"actual\": [[\"2024-04-30\", \"extended\"]], \"expected\": [[\"2024-04-30\", \"extended\"]], \"passed\": true}, {\"check\": \"expired day before\", \"actual\": [[\"2024-02-29\", \"expired\"]], \"expected\": [[\"2024-02-29\", \"expired\"]], \"passed\": true}, {\"check\": \"collection after stay\", \"actual\": [[\"2024-07-01\", \"extended\"]], \"expected\": [[\"2024-07-01\", \"extended\"]], \"passed\": true}, {\"check\": \"collection stay pending\", \"actual\": [[null, \"stayed\"], [\"2024-04-30\", \"extended\"]], \"expected\": [[null, \"stayed\"], [\"2024-04-30\", \"extended\"]], \"passed\": true}, {\"check\": \"collection late anyway\", \"actual\": [[\"2024-06-30\", \"unchanged\"]], \"expected\": [[\"2024-06-30\", \"unchanged\"]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}