{"abstract":"A staggered start pushes a short-dwell session past its departure.","category":"EV charging session scheduling","checks":7,"contract":"To avoid a demand spike at a tariff switch each charger delays its start by delay = sum((i+1)*ord(c) for i, c in enumerate(cid)) % (max_delay+1) minutes after max(tariff_start, now). If that start is later than depart - dur it is pulled back to max(depart - dur, now). Status is 'ok' when start + dur <= depart else 'late'. Return [start, delay, status].","evaluation_group":"w2-ev_charging_session_scheduling-staggered-tariff-start","failed_approach":"Pulling back to depart - dur without the now bound schedules starts in the past.","family":"w2-ev_charging_session_scheduling-staggered-tariff-start-deadline-pull-back","id":"FA-93301","implementations":{"attempt":{"sha256":"f4a048b5cd5c574b5b09e53d353e33e670278341c3d58d10575eb1d54de2450b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cid, tariff_start, now, depart, dur, max_delay):\n    delay = sum((i + 1) * ord(c) for i, c in enumerate(cid)) % (max_delay + 1)\n    start = max(tariff_start, now) + delay\n    latest = depart - dur\n    if start > latest:\n        start = latest\n    status = 'ok' if start + dur <= depart else 'late'\n    return [start, delay, status]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['boundary: no stagger configured', ['CP7', 100, 50, 400, 60, 0], [100, 0, 'ok']],\n  ['boundary: deadline forces immediate start', ['CP12', 100, 50, 120, 70, 30], [50, 16, 'ok']],\n  ['boundary: tariff already active', ['CP3', 10, 50, 400, 60, 10], [56, 6, 'ok']],\n  ['regression: deadline pull-back', ['CP495', 117, 47, 359, 266, 0], [93, 0, 'ok']],\n  ['regression: deadline pull-back (partial repair)', ['CP294', 180, 7, 58, 277, 5],\n   [7, 1, 'late']],\n  ['control 1', ['CP310', 208, 18, 199, 159, 0], [40, 0, 'ok']],\n  ['control 2', ['CP766', 294, 150, 208, 201, 30], [150, 10, 'late']]],\n [['boundary: no stagger configured', ['CP7', 100, 50, 400, 60, 0], [100, 0, 'ok']],\n  ['boundary: deadline forces immediate start', ['CP12', 100, 50, 120, 70, 30], [50, 16, 'ok']],\n  ['boundary: tariff already active', ['CP3', 10, 50, 400, 60, 10], [56, 6, 'ok']],\n  ['regression: deadline pull-back', ['CP272', 217, 184, 482, 298, 15], [184, 15, 'ok']],\n  ['regression: deadline pull-back (partial repair)', ['CP811', 93, 183, 218, 113, 30],\n   [183, 30, 'late']],\n  ['control 1', ['CP883', 235, 120, 211, 80, 5], [131, 4, 'ok']],\n  ['control 2', ['CP742', 19, 177, 199, 247, 10], [177, 3, 'late']]],\n [['boundary: no stagger configured', ['CP7', 100, 50, 400, 60, 0], [100, 0, 'ok']],\n  ['boundary: deadline forces immediate start', ['CP12', 100, 50, 120, 70, 30], [50, 16, 'ok']],\n  ['boundary: tariff already active', ['CP3', 10, 50, 400, 60, 10], [56, 6, 'ok']],\n  ['regression: deadline pull-back', ['CP803', 164, 112, 215, 145, 5], [112, 2, 'late']],\n  ['regression: deadline pull-back (partial repair)', ['CP542', 144, 130, 131, 254, 30],\n   [130, 7, 'late']],\n  ['control 1', ['CP783', 204, 99, 341, 202, 5], [139, 1, 'ok']],\n  ['control 2', ['CP490', 211, 107, 512, 167, 10], [215, 4, 'ok']]],\n [['boundary: no stagger configured', ['CP7', 100, 50, 400, 60, 0], [100, 0, 'ok']],\n  ['boundary: deadline forces immediate start', ['CP12', 100, 50, 120, 70, 30], [50, 16, 'ok']],\n  ['boundary: tariff already active', ['CP3', 10, 50, 400, 60, 10], [56, 6, 'ok']],\n  ['regression: deadline pull-back', ['CP174', 226, 53, 139, 171, 5], [53, 2, 'late']],\n  ['regression: deadline pull-back (partial repair)', ['CP172', 184, 1, 37, 143, 30],\n   [1, 7, 'late']],\n  ['control 1', ['CP137', 10, 19, 66, 6, 15], [24, 5, 'ok']],\n  ['control 2', ['CP783', 210, 193, 350, 267, 30], [193, 3, 'late']]],\n [['boundary: no stagger configured', ['CP7', 100, 50, 400, 60, 0], [100, 0, 'ok']],\n  ['boundary: deadline forces immediate start', ['CP12', 100, 50, 120, 70, 30], [50, 16, 'ok']],\n  ['boundary: tariff already active', ['CP3', 10, 50, 400, 60, 10], [56, 6, 'ok']],\n  ['regression: deadline pull-back', ['CP353', 241, 118, 320, 150, 5], [170, 1, 'ok']],\n  ['regression: deadline pull-back (partial repair)', ['CP776', 104, 179, 210, 259, 30],\n   [179, 14, 'late']],\n  ['control 1', ['CP873', 194, 7, 146, 117, 15], [29, 6, 'ok']],\n  ['control 2', ['CP733', 56, 136, 418, 4, 0], [136, 0, 'ok']]]]\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":"bfc1200081d5ec664e98bc4b44761a35f9ccaf7a9e2b359bcd11c331b01010ad","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cid, tariff_start, now, depart, dur, max_delay):\n    delay = sum((i + 1) * ord(c) for i, c in enumerate(cid)) % (max_delay + 1)\n    start = max(tariff_start, now) + delay\n    latest = depart - dur\n    status = 'ok' if start + dur <= depart else 'late'\n    return [start, delay, status]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['boundary: no stagger configured', ['CP7', 100, 50, 400, 60, 0], [100, 0, 'ok']],\n  ['boundary: deadline forces immediate start', ['CP12', 100, 50, 120, 70, 30], [50, 16, 'ok']],\n  ['boundary: tariff already active', ['CP3', 10, 50, 400, 60, 10], [56, 6, 'ok']],\n  ['regression: deadline pull-back', ['CP495', 117, 47, 359, 266, 0], [93, 0, 'ok']],\n  ['regression: deadline pull-back (partial repair)', ['CP294', 180, 7, 58, 277, 5],\n   [7, 1, 'late']],\n  ['control 1', ['CP310', 208, 18, 199, 159, 0], [40, 0, 'ok']],\n  ['control 2', ['CP766', 294, 150, 208, 201, 30], [150, 10, 'late']]],\n [['boundary: no stagger configured', ['CP7', 100, 50, 400, 60, 0], [100, 0, 'ok']],\n  ['boundary: deadline forces immediate start', ['CP12', 100, 50, 120, 70, 30], [50, 16, 'ok']],\n  ['boundary: tariff already active', ['CP3', 10, 50, 400, 60, 10], [56, 6, 'ok']],\n  ['regression: deadline pull-back', ['CP272', 217, 184, 482, 298, 15], [184, 15, 'ok']],\n  ['regression: deadline pull-back (partial repair)', ['CP811', 93, 183, 218, 113, 30],\n   [183, 30, 'late']],\n  ['control 1', ['CP883', 235, 120, 211, 80, 5], [131, 4, 'ok']],\n  ['control 2', ['CP742', 19, 177, 199, 247, 10], [177, 3, 'late']]],\n [['boundary: no stagger configured', ['CP7', 100, 50, 400, 60, 0], [100, 0, 'ok']],\n  ['boundary: deadline forces immediate start', ['CP12', 100, 50, 120, 70, 30], [50, 16, 'ok']],\n  ['boundary: tariff already active', ['CP3', 10, 50, 400, 60, 10], [56, 6, 'ok']],\n  ['regression: deadline pull-back', ['CP803', 164, 112, 215, 145, 5], [112, 2, 'late']],\n  ['regression: deadline pull-back (partial repair)', ['CP542', 144, 130, 131, 254, 30],\n   [130, 7, 'late']],\n  ['control 1', ['CP783', 204, 99, 341, 202, 5], [139, 1, 'ok']],\n  ['control 2', ['CP490', 211, 107, 512, 167, 10], [215, 4, 'ok']]],\n [['boundary: no stagger configured', ['CP7', 100, 50, 400, 60, 0], [100, 0, 'ok']],\n  ['boundary: deadline forces immediate start', ['CP12', 100, 50, 120, 70, 30], [50, 16, 'ok']],\n  ['boundary: tariff already active', ['CP3', 10, 50, 400, 60, 10], [56, 6, 'ok']],\n  ['regression: deadline pull-back', ['CP174', 226, 53, 139, 171, 5], [53, 2, 'late']],\n  ['regression: deadline pull-back (partial repair)', ['CP172', 184, 1, 37, 143, 30],\n   [1, 7, 'late']],\n  ['control 1', ['CP137', 10, 19, 66, 6, 15], [24, 5, 'ok']],\n  ['control 2', ['CP783', 210, 193, 350, 267, 30], [193, 3, 'late']]],\n [['boundary: no stagger configured', ['CP7', 100, 50, 400, 60, 0], [100, 0, 'ok']],\n  ['boundary: deadline forces immediate start', ['CP12', 100, 50, 120, 70, 30], [50, 16, 'ok']],\n  ['boundary: tariff already active', ['CP3', 10, 50, 400, 60, 10], [56, 6, 'ok']],\n  ['regression: deadline pull-back', ['CP353', 241, 118, 320, 150, 5], [170, 1, 'ok']],\n  ['regression: deadline pull-back (partial repair)', ['CP776', 104, 179, 210, 259, 30],\n   [179, 14, 'late']],\n  ['control 1', ['CP873', 194, 7, 146, 117, 15], [29, 6, 'ok']],\n  ['control 2', ['CP733', 56, 136, 418, 4, 0], [136, 0, 'ok']]]]\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":"fd120e693ed2a8ab8f0caf02a9c5ce1760e6bb1084fe2a676294e660e405d05c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cid, tariff_start, now, depart, dur, max_delay):\n    delay = sum((i + 1) * ord(c) for i, c in enumerate(cid)) % (max_delay + 1)\n    start = max(tariff_start, now) + delay\n    latest = depart - dur\n    if start > latest:\n        start = max(latest, now)\n    status = 'ok' if start + dur <= depart else 'late'\n    return [start, delay, status]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['boundary: no stagger configured', ['CP7', 100, 50, 400, 60, 0], [100, 0, 'ok']],\n  ['boundary: deadline forces immediate start', ['CP12', 100, 50, 120, 70, 30], [50, 16, 'ok']],\n  ['boundary: tariff already active', ['CP3', 10, 50, 400, 60, 10], [56, 6, 'ok']],\n  ['regression: deadline pull-back', ['CP495', 117, 47, 359, 266, 0], [93, 0, 'ok']],\n  ['regression: deadline pull-back (partial repair)', ['CP294', 180, 7, 58, 277, 5],\n   [7, 1, 'late']],\n  ['control 1', ['CP310', 208, 18, 199, 159, 0], [40, 0, 'ok']],\n  ['control 2', ['CP766', 294, 150, 208, 201, 30], [150, 10, 'late']]],\n [['boundary: no stagger configured', ['CP7', 100, 50, 400, 60, 0], [100, 0, 'ok']],\n  ['boundary: deadline forces immediate start', ['CP12', 100, 50, 120, 70, 30], [50, 16, 'ok']],\n  ['boundary: tariff already active', ['CP3', 10, 50, 400, 60, 10], [56, 6, 'ok']],\n  ['regression: deadline pull-back', ['CP272', 217, 184, 482, 298, 15], [184, 15, 'ok']],\n  ['regression: deadline pull-back (partial repair)', ['CP811', 93, 183, 218, 113, 30],\n   [183, 30, 'late']],\n  ['control 1', ['CP883', 235, 120, 211, 80, 5], [131, 4, 'ok']],\n  ['control 2', ['CP742', 19, 177, 199, 247, 10], [177, 3, 'late']]],\n [['boundary: no stagger configured', ['CP7', 100, 50, 400, 60, 0], [100, 0, 'ok']],\n  ['boundary: deadline forces immediate start', ['CP12', 100, 50, 120, 70, 30], [50, 16, 'ok']],\n  ['boundary: tariff already active', ['CP3', 10, 50, 400, 60, 10], [56, 6, 'ok']],\n  ['regression: deadline pull-back', ['CP803', 164, 112, 215, 145, 5], [112, 2, 'late']],\n  ['regression: deadline pull-back (partial repair)', ['CP542', 144, 130, 131, 254, 30],\n   [130, 7, 'late']],\n  ['control 1', ['CP783', 204, 99, 341, 202, 5], [139, 1, 'ok']],\n  ['control 2', ['CP490', 211, 107, 512, 167, 10], [215, 4, 'ok']]],\n [['boundary: no stagger configured', ['CP7', 100, 50, 400, 60, 0], [100, 0, 'ok']],\n  ['boundary: deadline forces immediate start', ['CP12', 100, 50, 120, 70, 30], [50, 16, 'ok']],\n  ['boundary: tariff already active', ['CP3', 10, 50, 400, 60, 10], [56, 6, 'ok']],\n  ['regression: deadline pull-back', ['CP174', 226, 53, 139, 171, 5], [53, 2, 'late']],\n  ['regression: deadline pull-back (partial repair)', ['CP172', 184, 1, 37, 143, 30],\n   [1, 7, 'late']],\n  ['control 1', ['CP137', 10, 19, 66, 6, 15], [24, 5, 'ok']],\n  ['control 2', ['CP783', 210, 193, 350, 267, 30], [193, 3, 'late']]],\n [['boundary: no stagger configured', ['CP7', 100, 50, 400, 60, 0], [100, 0, 'ok']],\n  ['boundary: deadline forces immediate start', ['CP12', 100, 50, 120, 70, 30], [50, 16, 'ok']],\n  ['boundary: tariff already active', ['CP3', 10, 50, 400, 60, 10], [56, 6, 'ok']],\n  ['regression: deadline pull-back', ['CP353', 241, 118, 320, 150, 5], [170, 1, 'ok']],\n  ['regression: deadline pull-back (partial repair)', ['CP776', 104, 179, 210, 259, 30],\n   [179, 14, 'late']],\n  ['control 1', ['CP873', 194, 7, 146, 117, 15], [29, 6, 'ok']],\n  ['control 2', ['CP733', 56, 136, 418, 4, 0], [136, 0, 'ok']]]]\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":"Deterministic stipulated toy contract for teaching; no claim of conformance with any standard, vendor protocol or production controller. 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-ev_charging_session_scheduling-staggered-tariff-start-deadline-pull-back","generated_at":"2026-09-29T14:51:53.844792+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Depot, workplace and public EV chargers schedule sessions against prices, circuit limits and departure deadlines; a wrong decision silently strands a driver or overloads a feeder.","repair":"Pull the start back to max(depart - dur, now) when needed.","root_cause":"The start is never pulled back toward the departure deadline.","sha256":"9acb66bc22ecb44999bcf1db6ca6867fc2a36e76f123a700991bc9b315196a3f","title":"Staggered start after tariff switch: deadline pull-back · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.805,"exit_code":1,"observations":[{"actual":[100,0,"ok"],"check":"boundary: no stagger configured","expected":[100,0,"ok"],"passed":true},{"actual":[50,16,"ok"],"check":"boundary: deadline forces immediate start","expected":[50,16,"ok"],"passed":true},{"actual":[56,6,"ok"],"check":"boundary: tariff already active","expected":[56,6,"ok"],"passed":true},{"actual":[93,0,"ok"],"check":"regression: deadline pull-back","expected":[93,0,"ok"],"passed":true},{"actual":[-219,1,"ok"],"check":"regression: deadline pull-back (partial repair)","expected":[7,1,"late"],"passed":false},{"actual":[40,0,"ok"],"check":"control 1","expected":[40,0,"ok"],"passed":true},{"actual":[7,10,"ok"],"check":"control 2","expected":[150,10,"late"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"boundary: no stagger configured\", \"actual\": [100, 0, \"ok\"], \"expected\": [100, 0, \"ok\"], \"passed\": true}, {\"check\": \"boundary: deadline forces immediate start\", \"actual\": [50, 16, \"ok\"], \"expected\": [50, 16, \"ok\"], \"passed\": true}, {\"check\": \"boundary: tariff already active\", \"actual\": [56, 6, \"ok\"], \"expected\": [56, 6, \"ok\"], \"passed\": true}, {\"check\": \"regression: deadline pull-back\", \"actual\": [93, 0, \"ok\"], \"expected\": [93, 0, \"ok\"], \"passed\": true}, {\"check\": \"regression: deadline pull-back (partial repair)\", \"actual\": [-219, 1, \"ok\"], \"expected\": [7, 1, \"late\"], \"passed\": false}, {\"check\": \"control 1\", \"actual\": [40, 0, \"ok\"], \"expected\": [40, 0, \"ok\"], \"passed\": true}, {\"check\": \"control 2\", \"actual\": [7, 10, \"ok\"], \"expected\": [150, 10, \"late\"], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.277,"exit_code":1,"observations":[{"actual":[100,0,"ok"],"check":"boundary: no stagger configured","expected":[100,0,"ok"],"passed":true},{"actual":[116,16,"late"],"check":"boundary: deadline forces immediate start","expected":[50,16,"ok"],"passed":false},{"actual":[56,6,"ok"],"check":"boundary: tariff already active","expected":[56,6,"ok"],"passed":true},{"actual":[117,0,"late"],"check":"regression: deadline pull-back","expected":[93,0,"ok"],"passed":false},{"actual":[181,1,"late"],"check":"regression: deadline pull-back (partial repair)","expected":[7,1,"late"],"passed":false},{"actual":[208,0,"late"],"check":"control 1","expected":[40,0,"ok"],"passed":false},{"actual":[304,10,"late"],"check":"control 2","expected":[150,10,"late"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"boundary: no stagger configured\", \"actual\": [100, 0, \"ok\"], \"expected\": [100, 0, \"ok\"], \"passed\": true}, {\"check\": \"boundary: deadline forces immediate start\", \"actual\": [116, 16, \"late\"], \"expected\": [50, 16, \"ok\"], \"passed\": false}, {\"check\": \"boundary: tariff already active\", \"actual\": [56, 6, \"ok\"], \"expected\": [56, 6, \"ok\"], \"passed\": true}, {\"check\": \"regression: deadline pull-back\", \"actual\": [117, 0, \"late\"], \"expected\": [93, 0, \"ok\"], \"passed\": false}, {\"check\": \"regression: deadline pull-back (partial repair)\", \"actual\": [181, 1, \"late\"], \"expected\": [7, 1, \"late\"], \"passed\": false}, {\"check\": \"control 1\", \"actual\": [208, 0, \"late\"], \"expected\": [40, 0, \"ok\"], \"passed\": false}, {\"check\": \"control 2\", \"actual\": [304, 10, \"late\"], \"expected\": [150, 10, \"late\"], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.178,"exit_code":0,"observations":[{"actual":[100,0,"ok"],"check":"boundary: no stagger configured","expected":[100,0,"ok"],"passed":true},{"actual":[50,16,"ok"],"check":"boundary: deadline forces immediate start","expected":[50,16,"ok"],"passed":true},{"actual":[56,6,"ok"],"check":"boundary: tariff already active","expected":[56,6,"ok"],"passed":true},{"actual":[93,0,"ok"],"check":"regression: deadline pull-back","expected":[93,0,"ok"],"passed":true},{"actual":[7,1,"late"],"check":"regression: deadline pull-back (partial repair)","expected":[7,1,"late"],"passed":true},{"actual":[40,0,"ok"],"check":"control 1","expected":[40,0,"ok"],"passed":true},{"actual":[150,10,"late"],"check":"control 2","expected":[150,10,"late"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"boundary: no stagger configured\", \"actual\": [100, 0, \"ok\"], \"expected\": [100, 0, \"ok\"], \"passed\": true}, {\"check\": \"boundary: deadline forces immediate start\", \"actual\": [50, 16, \"ok\"], \"expected\": [50, 16, \"ok\"], \"passed\": true}, {\"check\": \"boundary: tariff already active\", \"actual\": [56, 6, \"ok\"], \"expected\": [56, 6, \"ok\"], \"passed\": true}, {\"check\": \"regression: deadline pull-back\", \"actual\": [93, 0, \"ok\"], \"expected\": [93, 0, \"ok\"], \"passed\": true}, {\"check\": \"regression: deadline pull-back (partial repair)\", \"actual\": [7, 1, \"late\"], \"expected\": [7, 1, \"late\"], \"passed\": true}, {\"check\": \"control 1\", \"actual\": [40, 0, \"ok\"], \"expected\": [40, 0, \"ok\"], \"passed\": true}, {\"check\": \"control 2\", \"actual\": [150, 10, \"late\"], \"expected\": [150, 10, \"late\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}