FAILURE MAP
← Case archive

FA-93141 / EV charging session scheduling / Open access

Weekly recurring charging windows: overnight tail end · case 01

Overnight windows stay open one minute past their end time.

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

ROOT CAUSE

The after-midnight tail end is inclusive.

VERIFIED REPAIR

The tail covers minutes < end.

Unsuccessful approach: Ending one minute earlier closes the window prematurely.

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: overnight tail end',
   [[[62, 60, 0], [123, 1080, 0], [66, 60, 60], [42, 360, 1080]], 5, 0], []],
  ['regression: overnight tail end (partial repair)', [[[111, 1320, 60], [47, 360, 1080]], 3, 59],
   [0]],
  ['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: overnight tail end',
   [[[77, 1080, 60], [20, 1380, 60], [45, 60, 1320], [86, 60, 360]], 5, 60], [2]],
  ['regression: overnight tail end (partial repair)', [[[111, 1320, 60], [47, 360, 1080]], 3, 59],
   [0]],
  ['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: overnight tail end',
   [[[77, 1080, 60], [20, 1380, 60], [45, 60, 1320], [86, 60, 360]], 5, 60], [2]],
  ['regression: overnight tail end (partial repair)',
   [[[113, 60, 360], [56, 1320, 360], [54, 0, 0]], 4, 359], [0, 1, 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: overnight tail end', [[[78, 1380, 420], [113, 1320, 420]], 4, 420], []],
  ['regression: overnight tail end (partial repair)',
   [[[5, 0, 420], [59, 1080, 360], [114, 420, 420], [82, 1320, 1320]], 4, 359], [1, 2, 3]],
  ['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: overnight tail end',
   [[[62, 60, 0], [123, 1080, 0], [66, 60, 60], [42, 360, 1080]], 5, 0], []],
  ['regression: overnight tail end (partial repair)',
   [[[68, 1320, 360], [42, 360, 360], [95, 0, 360], [40, 1380, 60]], 0, 359], [0, 2]],
  ['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: overnight tail end[0, 1][]Failed
regression: overnight tail end (partial repair)[0][0]Passed
control 1[][]Passed
control 2[1, 2][2]Failed

SHA-256 / 5bd319f2c280d68f0d517a7075a091d2f97a6cb5fda4fb067e984a5b940ceadf

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 - 1):
            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: overnight tail end',
   [[[62, 60, 0], [123, 1080, 0], [66, 60, 60], [42, 360, 1080]], 5, 0], []],
  ['regression: overnight tail end (partial repair)', [[[111, 1320, 60], [47, 360, 1080]], 3, 59],
   [0]],
  ['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: overnight tail end',
   [[[77, 1080, 60], [20, 1380, 60], [45, 60, 1320], [86, 60, 360]], 5, 60], [2]],
  ['regression: overnight tail end (partial repair)', [[[111, 1320, 60], [47, 360, 1080]], 3, 59],
   [0]],
  ['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: overnight tail end',
   [[[77, 1080, 60], [20, 1380, 60], [45, 60, 1320], [86, 60, 360]], 5, 60], [2]],
  ['regression: overnight tail end (partial repair)',
   [[[113, 60, 360], [56, 1320, 360], [54, 0, 0]], 4, 359], [0, 1, 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: overnight tail end', [[[78, 1380, 420], [113, 1320, 420]], 4, 420], []],
  ['regression: overnight tail end (partial repair)',
   [[[5, 0, 420], [59, 1080, 360], [114, 420, 420], [82, 1320, 1320]], 4, 359], [1, 2, 3]],
  ['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: overnight tail end',
   [[[62, 60, 0], [123, 1080, 0], [66, 60, 60], [42, 360, 1080]], 5, 0], []],
  ['regression: overnight tail end (partial repair)',
   [[[68, 1320, 360], [42, 360, 360], [95, 0, 360], [40, 1380, 60]], 0, 359], [0, 2]],
  ['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: overnight tail end[][]Passed
regression: overnight tail end (partial repair)[][0]Failed
control 1[][]Passed
control 2[2][2]Passed

SHA-256 / 7666039e0d1a4d577488ea72f8c14201a895cb6390f13bf056fbc9a3fd67d6cb

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: overnight tail end',
   [[[62, 60, 0], [123, 1080, 0], [66, 60, 60], [42, 360, 1080]], 5, 0], []],
  ['regression: overnight tail end (partial repair)', [[[111, 1320, 60], [47, 360, 1080]], 3, 59],
   [0]],
  ['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: overnight tail end',
   [[[77, 1080, 60], [20, 1380, 60], [45, 60, 1320], [86, 60, 360]], 5, 60], [2]],
  ['regression: overnight tail end (partial repair)', [[[111, 1320, 60], [47, 360, 1080]], 3, 59],
   [0]],
  ['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: overnight tail end',
   [[[77, 1080, 60], [20, 1380, 60], [45, 60, 1320], [86, 60, 360]], 5, 60], [2]],
  ['regression: overnight tail end (partial repair)',
   [[[113, 60, 360], [56, 1320, 360], [54, 0, 0]], 4, 359], [0, 1, 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: overnight tail end', [[[78, 1380, 420], [113, 1320, 420]], 4, 420], []],
  ['regression: overnight tail end (partial repair)',
   [[[5, 0, 420], [59, 1080, 360], [114, 420, 420], [82, 1320, 1320]], 4, 359], [1, 2, 3]],
  ['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: overnight tail end',
   [[[62, 60, 0], [123, 1080, 0], [66, 60, 60], [42, 360, 1080]], 5, 0], []],
  ['regression: overnight tail end (partial repair)',
   [[[68, 1320, 360], [42, 360, 360], [95, 0, 360], [40, 1380, 60]], 0, 359], [0, 2]],
  ['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: overnight tail end[][]Passed
regression: overnight tail end (partial repair)[0][0]Passed
control 1[][]Passed
control 2[2][2]Passed

SHA-256 / 5a9535fe0516ddd7bf687b3c5dc2de9a58a19ef8b07011e40e9b8ed4672bd4b5

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.375241+00:00.

Case digest / 80a6eb1791de9d0bdd8c6baea2365b1cdfe172db267989773fe1e3dd48a3020f