FAILURE MAP
← Case archive

FA-93131 / EV charging session scheduling / Open access

Weekly recurring charging windows: same-day end exclusivity · case 01

Charging is allowed during the minute the window closes.

Verified by executionVariant 1 · 7 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The same-day window end is inclusive.

VERIFIED REPAIR

Use [start, end) for same-day windows.

Unsuccessful approach: Shifting both bounds excludes the opening minute instead.

Case contract

rules are [day_mask, start, end] with bit 0 = Monday .. bit 6 = Sunday. start < end is a same-day window [start, end); start == end means the whole selected day; start > end crosses midnight and belongs to its start day (Sunday continues into Monday). Return the sorted indices of rules allowing charging at (day 0..6, minute 0..1439).

Why this case matters

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.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(rules, day, minute):
    hits = []
    for i, (mask, s, e) in enumerate(rules):
        today = mask >> day & 1
        yday = mask >> (day - 1) % 7 & 1
        if s == e:
            if today:
                hits.append(i)
        elif s < e:
            if today and s <= minute <= e:
                hits.append(i)
        elif (today and minute >= s) or (yday and minute < e):
            hits.append(i)
    return hits
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['boundary: Monday morning after Sunday night window', [[[64, 1320, 360]], 0, 100], [0]],
  ['boundary: same-day window end minute', [[[127, 60, 360]], 3, 360], []],
  ['boundary: whole-day rule', [[[4, 420, 420]], 2, 5], [0]],
  ['regression: same-day end exclusivity', [[[44, 420, 1320], [44, 360, 420]], 5, 420], [0]],
  ['regression: same-day end exclusivity (partial repair)',
   [[[45, 360, 60], [46, 1080, 1080], [85, 360, 1320], [7, 60, 1320]], 4, 360], [2]],
  ['control 1', [[[75, 1380, 360]], 0, 1379], []],
  ['control 2', [[[26, 1380, 420], [118, 360, 0], [104, 1080, 1080]], 3, 0], [2]]],
 [['boundary: Monday morning after Sunday night window', [[[64, 1320, 360]], 0, 100], [0]],
  ['boundary: same-day window end minute', [[[127, 60, 360]], 3, 360], []],
  ['boundary: whole-day rule', [[[4, 420, 420]], 2, 5], [0]],
  ['regression: same-day end exclusivity',
   [[[101, 60, 1080], [53, 1320, 1380], [63, 0, 1080]], 5, 1080], []],
  ['regression: same-day end exclusivity (partial repair)',
   [[[77, 1080, 60], [20, 1380, 60], [45, 60, 1320], [86, 60, 360]], 5, 60], [2]],
  ['control 1', [[[18, 60, 0], [118, 1080, 0], [124, 60, 360], [93, 1080, 60]], 4, 0], [3]],
  ['control 2', [[[28, 1320, 1080], [123, 420, 1380], [9, 1380, 0]], 6, 359], []]],
 [['boundary: Monday morning after Sunday night window', [[[64, 1320, 360]], 0, 100], [0]],
  ['boundary: same-day window end minute', [[[127, 60, 360]], 3, 360], []],
  ['boundary: whole-day rule', [[[4, 420, 420]], 2, 5], [0]],
  ['regression: same-day end exclusivity',
   [[[58, 0, 1320], [117, 60, 1380], [37, 360, 1320]], 6, 1380], []],
  ['regression: same-day end exclusivity (partial repair)',
   [[[77, 1080, 60], [20, 1380, 60], [45, 60, 1320], [86, 60, 360]], 5, 60], [2]],
  ['control 1', [[[103, 0, 360], [65, 360, 1380], [37, 1080, 1080]], 4, 60], []],
  ['control 2', [[[52, 420, 1320], [97, 1080, 360]], 0, 0], [1]]],
 [['boundary: Monday morning after Sunday night window', [[[64, 1320, 360]], 0, 100], [0]],
  ['boundary: same-day window end minute', [[[127, 60, 360]], 3, 360], []],
  ['boundary: whole-day rule', [[[4, 420, 420]], 2, 5], [0]],
  ['regression: same-day end exclusivity',
   [[[108, 1380, 1320], [113, 1320, 60], [79, 420, 1080], [20, 1320, 360]], 1, 1080], []],
  ['regression: same-day end exclusivity (partial repair)',
   [[[93, 420, 60], [119, 1320, 1380]], 6, 1320], [0, 1]],
  ['control 1', [[[105, 420, 360], [31, 1380, 1320], [47, 1080, 1320]], 4, 60], [0, 1]],
  ['control 2', [[[59, 360, 60], [45, 420, 60]], 5, 360], [0]]],
 [['boundary: Monday morning after Sunday night window', [[[64, 1320, 360]], 0, 100], [0]],
  ['boundary: same-day window end minute', [[[127, 60, 360]], 3, 360], []],
  ['boundary: whole-day rule', [[[4, 420, 420]], 2, 5], [0]],
  ['regression: same-day end exclusivity',
   [[[97, 360, 1080], [72, 0, 360], [120, 360, 1380]], 6, 1380], []],
  ['regression: same-day end exclusivity (partial repair)',
   [[[21, 0, 1080], [9, 1080, 360], [96, 1380, 0]], 2, 0], [0]],
  ['control 1', [[[51, 360, 60], [78, 1080, 1080], [25, 1320, 360], [11, 360, 0]], 2, 1380], [1]],
  ['control 2', [[[16, 1380, 0]], 1, 360], []]]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
boundary: Monday morning after Sunday night window[0][0]Passed
boundary: same-day window end minute[0][]Failed
boundary: whole-day rule[0][0]Passed
regression: same-day end exclusivity[0, 1][0]Failed
regression: same-day end exclusivity (partial repair)[2][2]Passed
control 1[][]Passed
control 2[2][2]Passed

SHA-256 / 01f0294b15544a15596342c9308656650188f20fa3e5caa6047762891ad12313

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(rules, day, minute):
    hits = []
    for i, (mask, s, e) in enumerate(rules):
        today = mask >> day & 1
        yday = mask >> (day - 1) % 7 & 1
        if s == e:
            if today:
                hits.append(i)
        elif s < e:
            if today and s < minute <= e:
                hits.append(i)
        elif (today and minute >= s) or (yday and minute < e):
            hits.append(i)
    return hits
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['boundary: Monday morning after Sunday night window', [[[64, 1320, 360]], 0, 100], [0]],
  ['boundary: same-day window end minute', [[[127, 60, 360]], 3, 360], []],
  ['boundary: whole-day rule', [[[4, 420, 420]], 2, 5], [0]],
  ['regression: same-day end exclusivity', [[[44, 420, 1320], [44, 360, 420]], 5, 420], [0]],
  ['regression: same-day end exclusivity (partial repair)',
   [[[45, 360, 60], [46, 1080, 1080], [85, 360, 1320], [7, 60, 1320]], 4, 360], [2]],
  ['control 1', [[[75, 1380, 360]], 0, 1379], []],
  ['control 2', [[[26, 1380, 420], [118, 360, 0], [104, 1080, 1080]], 3, 0], [2]]],
 [['boundary: Monday morning after Sunday night window', [[[64, 1320, 360]], 0, 100], [0]],
  ['boundary: same-day window end minute', [[[127, 60, 360]], 3, 360], []],
  ['boundary: whole-day rule', [[[4, 420, 420]], 2, 5], [0]],
  ['regression: same-day end exclusivity',
   [[[101, 60, 1080], [53, 1320, 1380], [63, 0, 1080]], 5, 1080], []],
  ['regression: same-day end exclusivity (partial repair)',
   [[[77, 1080, 60], [20, 1380, 60], [45, 60, 1320], [86, 60, 360]], 5, 60], [2]],
  ['control 1', [[[18, 60, 0], [118, 1080, 0], [124, 60, 360], [93, 1080, 60]], 4, 0], [3]],
  ['control 2', [[[28, 1320, 1080], [123, 420, 1380], [9, 1380, 0]], 6, 359], []]],
 [['boundary: Monday morning after Sunday night window', [[[64, 1320, 360]], 0, 100], [0]],
  ['boundary: same-day window end minute', [[[127, 60, 360]], 3, 360], []],
  ['boundary: whole-day rule', [[[4, 420, 420]], 2, 5], [0]],
  ['regression: same-day end exclusivity',
   [[[58, 0, 1320], [117, 60, 1380], [37, 360, 1320]], 6, 1380], []],
  ['regression: same-day end exclusivity (partial repair)',
   [[[77, 1080, 60], [20, 1380, 60], [45, 60, 1320], [86, 60, 360]], 5, 60], [2]],
  ['control 1', [[[103, 0, 360], [65, 360, 1380], [37, 1080, 1080]], 4, 60], []],
  ['control 2', [[[52, 420, 1320], [97, 1080, 360]], 0, 0], [1]]],
 [['boundary: Monday morning after Sunday night window', [[[64, 1320, 360]], 0, 100], [0]],
  ['boundary: same-day window end minute', [[[127, 60, 360]], 3, 360], []],
  ['boundary: whole-day rule', [[[4, 420, 420]], 2, 5], [0]],
  ['regression: same-day end exclusivity',
   [[[108, 1380, 1320], [113, 1320, 60], [79, 420, 1080], [20, 1320, 360]], 1, 1080], []],
  ['regression: same-day end exclusivity (partial repair)',
   [[[93, 420, 60], [119, 1320, 1380]], 6, 1320], [0, 1]],
  ['control 1', [[[105, 420, 360], [31, 1380, 1320], [47, 1080, 1320]], 4, 60], [0, 1]],
  ['control 2', [[[59, 360, 60], [45, 420, 60]], 5, 360], [0]]],
 [['boundary: Monday morning after Sunday night window', [[[64, 1320, 360]], 0, 100], [0]],
  ['boundary: same-day window end minute', [[[127, 60, 360]], 3, 360], []],
  ['boundary: whole-day rule', [[[4, 420, 420]], 2, 5], [0]],
  ['regression: same-day end exclusivity',
   [[[97, 360, 1080], [72, 0, 360], [120, 360, 1380]], 6, 1380], []],
  ['regression: same-day end exclusivity (partial repair)',
   [[[21, 0, 1080], [9, 1080, 360], [96, 1380, 0]], 2, 0], [0]],
  ['control 1', [[[51, 360, 60], [78, 1080, 1080], [25, 1320, 360], [11, 360, 0]], 2, 1380], [1]],
  ['control 2', [[[16, 1380, 0]], 1, 360], []]]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
boundary: Monday morning after Sunday night window[0][0]Passed
boundary: same-day window end minute[0][]Failed
boundary: whole-day rule[0][0]Passed
regression: same-day end exclusivity[1][0]Failed
regression: same-day end exclusivity (partial repair)[][2]Failed
control 1[][]Passed
control 2[2][2]Passed

SHA-256 / b163a8499e09004d7909bcf7d7ccba025a5d7b3d50069d0247a0579bc2b14547

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(rules, day, minute):
    hits = []
    for i, (mask, s, e) in enumerate(rules):
        today = mask >> day & 1
        yday = mask >> (day - 1) % 7 & 1
        if s == e:
            if today:
                hits.append(i)
        elif s < e:
            if today and s <= minute < e:
                hits.append(i)
        elif (today and minute >= s) or (yday and minute < e):
            hits.append(i)
    return hits
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['boundary: Monday morning after Sunday night window', [[[64, 1320, 360]], 0, 100], [0]],
  ['boundary: same-day window end minute', [[[127, 60, 360]], 3, 360], []],
  ['boundary: whole-day rule', [[[4, 420, 420]], 2, 5], [0]],
  ['regression: same-day end exclusivity', [[[44, 420, 1320], [44, 360, 420]], 5, 420], [0]],
  ['regression: same-day end exclusivity (partial repair)',
   [[[45, 360, 60], [46, 1080, 1080], [85, 360, 1320], [7, 60, 1320]], 4, 360], [2]],
  ['control 1', [[[75, 1380, 360]], 0, 1379], []],
  ['control 2', [[[26, 1380, 420], [118, 360, 0], [104, 1080, 1080]], 3, 0], [2]]],
 [['boundary: Monday morning after Sunday night window', [[[64, 1320, 360]], 0, 100], [0]],
  ['boundary: same-day window end minute', [[[127, 60, 360]], 3, 360], []],
  ['boundary: whole-day rule', [[[4, 420, 420]], 2, 5], [0]],
  ['regression: same-day end exclusivity',
   [[[101, 60, 1080], [53, 1320, 1380], [63, 0, 1080]], 5, 1080], []],
  ['regression: same-day end exclusivity (partial repair)',
   [[[77, 1080, 60], [20, 1380, 60], [45, 60, 1320], [86, 60, 360]], 5, 60], [2]],
  ['control 1', [[[18, 60, 0], [118, 1080, 0], [124, 60, 360], [93, 1080, 60]], 4, 0], [3]],
  ['control 2', [[[28, 1320, 1080], [123, 420, 1380], [9, 1380, 0]], 6, 359], []]],
 [['boundary: Monday morning after Sunday night window', [[[64, 1320, 360]], 0, 100], [0]],
  ['boundary: same-day window end minute', [[[127, 60, 360]], 3, 360], []],
  ['boundary: whole-day rule', [[[4, 420, 420]], 2, 5], [0]],
  ['regression: same-day end exclusivity',
   [[[58, 0, 1320], [117, 60, 1380], [37, 360, 1320]], 6, 1380], []],
  ['regression: same-day end exclusivity (partial repair)',
   [[[77, 1080, 60], [20, 1380, 60], [45, 60, 1320], [86, 60, 360]], 5, 60], [2]],
  ['control 1', [[[103, 0, 360], [65, 360, 1380], [37, 1080, 1080]], 4, 60], []],
  ['control 2', [[[52, 420, 1320], [97, 1080, 360]], 0, 0], [1]]],
 [['boundary: Monday morning after Sunday night window', [[[64, 1320, 360]], 0, 100], [0]],
  ['boundary: same-day window end minute', [[[127, 60, 360]], 3, 360], []],
  ['boundary: whole-day rule', [[[4, 420, 420]], 2, 5], [0]],
  ['regression: same-day end exclusivity',
   [[[108, 1380, 1320], [113, 1320, 60], [79, 420, 1080], [20, 1320, 360]], 1, 1080], []],
  ['regression: same-day end exclusivity (partial repair)',
   [[[93, 420, 60], [119, 1320, 1380]], 6, 1320], [0, 1]],
  ['control 1', [[[105, 420, 360], [31, 1380, 1320], [47, 1080, 1320]], 4, 60], [0, 1]],
  ['control 2', [[[59, 360, 60], [45, 420, 60]], 5, 360], [0]]],
 [['boundary: Monday morning after Sunday night window', [[[64, 1320, 360]], 0, 100], [0]],
  ['boundary: same-day window end minute', [[[127, 60, 360]], 3, 360], []],
  ['boundary: whole-day rule', [[[4, 420, 420]], 2, 5], [0]],
  ['regression: same-day end exclusivity',
   [[[97, 360, 1080], [72, 0, 360], [120, 360, 1380]], 6, 1380], []],
  ['regression: same-day end exclusivity (partial repair)',
   [[[21, 0, 1080], [9, 1080, 360], [96, 1380, 0]], 2, 0], [0]],
  ['control 1', [[[51, 360, 60], [78, 1080, 1080], [25, 1320, 360], [11, 360, 0]], 2, 1380], [1]],
  ['control 2', [[[16, 1380, 0]], 1, 360], []]]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
boundary: Monday morning after Sunday night window[0][0]Passed
boundary: same-day window end minute[][]Passed
boundary: whole-day rule[0][0]Passed
regression: same-day end exclusivity[0][0]Passed
regression: same-day end exclusivity (partial repair)[2][2]Passed
control 1[][]Passed
control 2[2][2]Passed

SHA-256 / b3353eb6c7a4a4d1af858b31642fbabe0a5f2665a8ecc1d0eb1ee2947f1995fe

Verification & scope

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.

Observations recorded using Python 3.12.14 at 2026-09-29T14:51:52.313753+00:00.

Case digest / ad87d2f50d50dd872489d2e081b6936ed6be1afef8bf01bae15c817c8183afa3