{"abstract":"The configured maximum delay is never used and some chargers start earlier than intended.","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].","contract_signature":"cid, tariff_start, now, depart, dur, max_delay","evaluation_group":"w2-ev_charging_session_scheduling-staggered-tariff-start","failed_approach":"Shrinking the modulus further removes two possible delays.","family":"w2-ev_charging_session_scheduling-staggered-tariff-start-delay-modulus-range","id":"FA-93291","implementations":{"attempt":{"sha256":"5a5e602c5381202fd2387397150f913a95c8bf410a23460b8478dabb7622dd4b","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) if max_delay > 1 else 0\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: delay modulus range', ['CP278', 28, 172, 319, 97, 30], [181, 9, 'ok']],\n  ['regression: delay modulus range (partial repair)', ['CP201', 49, 94, 552, 247, 5],\n   [98, 4, 'ok']],\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: delay modulus range', ['CP272', 217, 184, 482, 298, 15], [184, 15, 'ok']],\n  ['regression: delay modulus range (partial repair)', ['CP363', 205, 166, 509, 88, 10],\n   [209, 4, 'ok']],\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: delay modulus range', ['CP201', 269, 83, 492, 35, 10], [269, 0, 'ok']],\n  ['regression: delay modulus range (partial repair)', ['CP896', 198, 47, 277, 26, 15],\n   [211, 13, 'ok']],\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: delay modulus range', ['CP996', 26, 122, 444, 207, 5], [124, 2, 'ok']],\n  ['regression: delay modulus range (partial repair)', ['CP267', 210, 178, 655, 84, 5],\n   [214, 4, 'ok']],\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: delay modulus range', ['CP353', 241, 118, 320, 150, 5], [170, 1, 'ok']],\n  ['regression: delay modulus range (partial repair)', ['CP168', 85, 91, 538, 99, 30],\n   [93, 2, 'ok']],\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":"f44046565cceccef41d09aacb1a90b915fe42a81be9ea34cae7a8dd023825588","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 if max_delay else 0\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: delay modulus range', ['CP278', 28, 172, 319, 97, 30], [181, 9, 'ok']],\n  ['regression: delay modulus range (partial repair)', ['CP201', 49, 94, 552, 247, 5],\n   [98, 4, 'ok']],\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: delay modulus range', ['CP272', 217, 184, 482, 298, 15], [184, 15, 'ok']],\n  ['regression: delay modulus range (partial repair)', ['CP363', 205, 166, 509, 88, 10],\n   [209, 4, 'ok']],\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: delay modulus range', ['CP201', 269, 83, 492, 35, 10], [269, 0, 'ok']],\n  ['regression: delay modulus range (partial repair)', ['CP896', 198, 47, 277, 26, 15],\n   [211, 13, 'ok']],\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: delay modulus range', ['CP996', 26, 122, 444, 207, 5], [124, 2, 'ok']],\n  ['regression: delay modulus range (partial repair)', ['CP267', 210, 178, 655, 84, 5],\n   [214, 4, 'ok']],\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: delay modulus range', ['CP353', 241, 118, 320, 150, 5], [170, 1, 'ok']],\n  ['regression: delay modulus range (partial repair)', ['CP168', 85, 91, 538, 99, 30],\n   [93, 2, 'ok']],\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-delay-modulus-range","generated_at":"2026-09-29T14:51:53.760869+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.","root_cause":"The spread modulus excludes max_delay itself.","sha256":"af7a37aa575639d59c4cc89ac504af146613c4e5429e985568f73dc17992b4d5","title":"Staggered start after tariff switch: delay modulus range · 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":38.734,"exit_code":1,"observations":[{"actual":[100,0,"ok"],"check":"boundary: no stagger configured","expected":[100,0,"ok"],"passed":true},{"actual":[50,23,"ok"],"check":"boundary: deadline forces immediate start","expected":[50,16,"ok"],"passed":false},{"actual":[52,2,"ok"],"check":"boundary: tariff already active","expected":[56,6,"ok"],"passed":false},{"actual":[179,7,"ok"],"check":"regression: delay modulus range","expected":[181,9,"ok"],"passed":false},{"actual":[96,2,"ok"],"check":"regression: delay modulus range (partial repair)","expected":[98,4,"ok"],"passed":false},{"actual":[40,0,"ok"],"check":"control 1","expected":[40,0,"ok"],"passed":true},{"actual":[150,8,"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\": [50, 23, \"ok\"], \"expected\": [50, 16, \"ok\"], \"passed\": false}, {\"check\": \"boundary: tariff already active\", \"actual\": [52, 2, \"ok\"], \"expected\": [56, 6, \"ok\"], \"passed\": false}, {\"check\": \"regression: delay modulus range\", \"actual\": [179, 7, \"ok\"], \"expected\": [181, 9, \"ok\"], \"passed\": false}, {\"check\": \"regression: delay modulus range (partial repair)\", \"actual\": [96, 2, \"ok\"], \"expected\": [98, 4, \"ok\"], \"passed\": false}, {\"check\": \"control 1\", \"actual\": [40, 0, \"ok\"], \"expected\": [40, 0, \"ok\"], \"passed\": true}, {\"check\": \"control 2\", \"actual\": [150, 8, \"late\"], \"expected\": [150, 10, \"late\"], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.069,"exit_code":1,"observations":[{"actual":[100,0,"ok"],"check":"boundary: no stagger configured","expected":[100,0,"ok"],"passed":true},{"actual":[50,4,"ok"],"check":"boundary: deadline forces immediate start","expected":[50,16,"ok"],"passed":false},{"actual":[50,0,"ok"],"check":"boundary: tariff already active","expected":[56,6,"ok"],"passed":false},{"actual":[179,7,"ok"],"check":"regression: delay modulus range","expected":[181,9,"ok"],"passed":false},{"actual":[98,4,"ok"],"check":"regression: delay modulus range (partial repair)","expected":[98,4,"ok"],"passed":true},{"actual":[40,0,"ok"],"check":"control 1","expected":[40,0,"ok"],"passed":true},{"actual":[150,8,"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\": [50, 4, \"ok\"], \"expected\": [50, 16, \"ok\"], \"passed\": false}, {\"check\": \"boundary: tariff already active\", \"actual\": [50, 0, \"ok\"], \"expected\": [56, 6, \"ok\"], \"passed\": false}, {\"check\": \"regression: delay modulus range\", \"actual\": [179, 7, \"ok\"], \"expected\": [181, 9, \"ok\"], \"passed\": false}, {\"check\": \"regression: delay modulus range (partial repair)\", \"actual\": [98, 4, \"ok\"], \"expected\": [98, 4, \"ok\"], \"passed\": true}, {\"check\": \"control 1\", \"actual\": [40, 0, \"ok\"], \"expected\": [40, 0, \"ok\"], \"passed\": true}, {\"check\": \"control 2\", \"actual\": [150, 8, \"late\"], \"expected\": [150, 10, \"late\"], \"passed\": false}], \"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."}}