FAILURE MAP
← Case archive

FA-94611 / Exam timetabling constraints / Open access

Travel gap measured between exam starts · case 01

Back-to-back sittings on different campuses pass because starts are far apart.

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

ROOT CAUSE

The gap ignores the duration of the earlier sitting.

THE FAILURE

The gap ignores the duration of the earlier sitting.

Unsuccessful approach: Measuring between ends ignores the next start.

Case contract

sits [student, exam, start, end], campus exam -> campus, travel "X|Y" -> minutes stored in either order. For each student's consecutive sittings by start, the needed gap is the travel time between different campuses (0 for the same campus); if the gap from previous end to next start is smaller, report [student, previous exam, next exam, shortfall].

Why this case matters

Multi-campus exam timetables must leave travel time between a student's consecutive sittings.

1 / The failure

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

N = 1
observations = []
def solve(sits, campus, travel):
    by = {}
    for st, ex, s, e in sits:
        by.setdefault(st, []).append((s, e, ex))
    out = []
    for st in sorted(by):
        seq = sorted(by[st])
        for (s1, e1, x1), (s2, e2, x2) in zip(seq, seq[1:]):
            gap = s2 - s1
            c1, c2 = campus[x1], campus[x2]
            need = 0
            if c1 != c2:
                need = travel.get(c1 + '|' + c2, travel.get(c2 + '|' + c1, 0))
            if gap < need:
                out.append([st, x1, x2, need - gap])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: gap reference 1',
   [[['s1', 'A', 540, 600], ['s1', 'B', 629, 700]], {'A': 'south', 'B': 'north'}, {'north|south': 30}],
   [['s1', 'A', 'B', 1]]),
  ('regression variant: gap reference 2',
   [[['s5', 'HIST140', 943, 1003], ['s5', 'MATH101H', 689, 809], ['s5', 'ECON150', 540, 660],
     ['s4', 'PHYS110', 600, 660], ['s2', 'PHYS110', 750, 840], ['s2', 'ECON150', 870, 960],
     ['s4', 'MATH101', 750, 840], ['s2', 'MATH101H', 600, 660], ['s5', 'MATH101', 838, 928],
     ['s4', 'MATH101H', 690, 750]],
    {'MATH101': 'south',
     'MATH101H': 'city',
     'PHYS110': 'north',
     'CHEM120': 'city',
     'BIO130': 'south',
     'HIST140': 'city',
     'ECON150': 'north'},
    {'north|south': 45, 'city|north': 60}],
   [['s4', 'PHYS110', 'MATH101H', 30], ['s5', 'ECON150', 'MATH101H', 31]]),
  ('partial repair guard 3',
   [[['s5', 'MATH101', 750, 870], ['s2', 'ECON150', 690, 780], ['s5', 'CHEM120', 540, 660],
     ['s5', 'ECON150', 630, 750], ['s2', 'MATH101', 540, 660], ['s5', 'PHYS110', 960, 1020]],
    {'MATH101': 'city',
     'MATH101H': 'north',
     'PHYS110': 'city',
     'CHEM120': 'city',
     'BIO130': 'north',
     'HIST140': 'city',
     'ECON150': 'north'},
    {'north|south': 30, 'city|north': 60}],
   [['s2', 'MATH101', 'ECON150', 30], ['s5', 'CHEM120', 'ECON150', 90], ['s5', 'ECON150', 'MATH101', 60]]),
  ('boundary control 4',
   [[['s1', 'B', 700, 760], ['s1', 'A', 540, 600]], {'A': 'north', 'B': 'city'}, {'city|north': 60}], []),
  ('boundary control 5',
   [[['s1', 'A', 540, 600], ['s1', 'B', 630, 700]], {'A': 'north', 'B': 'south'}, {'north|south': 30}], []),
  ('normal control 6',
   [[['s1', 'MATH101H', 631, 691], ['s1', 'HIST140', 901, 961], ['s1', 'PHYS110', 721, 841],
     ['s1', 'CHEM120', 540, 600]],
    {'MATH101': 'city',
     'MATH101H': 'south',
     'PHYS110': 'south',
     'CHEM120': 'north',
     'BIO130': 'city',
     'HIST140': 'north',
     'ECON150': 'city'},
    {'north|south': 45, 'city|north': 60}],
   [['s1', 'CHEM120', 'MATH101H', 14]]),
  ('normal control 7',
   [[['s5', 'ECON150', 600, 660], ['s4', 'CHEM120', 540, 660], ['s5', 'BIO130', 1049, 1109],
     ['s4', 'ECON150', 1035, 1095], ['s4', 'BIO130', 705, 795], ['s4', 'PHYS110', 855, 975],
     ['s5', 'MATH101', 689, 779], ['s5', 'MATH101H', 839, 959]],
    {'MATH101': 'north',
     'MATH101H': 'north',
     'PHYS110': 'north',
     'CHEM120': 'south',
     'BIO130': 'south',
     'HIST140': 'south',
     'ECON150': 'south'},
    {'north|south': 45, 'city|north': 60}],
   [['s5', 'ECON150', 'MATH101', 16]]),
  ('normal control 8',
   [[['s4', 'CHEM120', 720, 810], ['s2', 'BIO130', 600, 660], ['s4', 'BIO130', 600, 660],
     ['s5', 'ECON150', 631, 691], ['s5', 'PHYS110', 540, 600], ['s2', 'MATH101', 720, 780],
     ['s2', 'HIST140', 780, 840]],
    {'MATH101': 'city',
     'MATH101H': 'south',
     'PHYS110': 'city',
     'CHEM120': 'north',
     'BIO130': 'north',
     'HIST140': 'city',
     'ECON150': 'south'},
    {'north|south': 45, 'city|north': 60}],
   [])],
 [('regression: gap reference 1',
   [[['s1', 'A', 540, 600], ['s1', 'B', 590, 700]], {'A': 'north', 'B': 'north'}, {}],
   [['s1', 'A', 'B', 10]]),
  ('regression variant: gap reference 2',
   [[['s2', 'BIO130', 540, 660], ['s1', 'MATH101H', 719, 839], ['s1', 'HIST140', 689, 749],
     ['s4', 'ECON150', 870, 930], ['s4', 'HIST140', 600, 690], ['s4', 'CHEM120', 735, 855],
     ['s2', 'MATH101H', 660, 750], ['s2', 'MATH101', 720, 810], ['s4', 'BIO130', 930, 1020],
     ['s1', 'MATH101', 540, 660]],
    {'MATH101': 'south',
     'MATH101H': 'north',
     'PHYS110': 'city',
     'CHEM120': 'north',
     'BIO130': 'city',
     'HIST140': 'city',
     'ECON150': 'north'},
    {'north|south': 45, 'city|north': 30}],
   [['s1', 'HIST140', 'MATH101H', 60], ['s2', 'BIO130', 'MATH101H', 30], ['s2', 'MATH101H', 'MATH101', 75],
    ['s4', 'ECON150', 'BIO130', 30]]),
  ('partial repair guard 3',
   [[['s1', 'ECON150', 600, 720], ['s4', 'PHYS110', 600, 720], ['s4', 'BIO130', 765, 825],
     ['s4', 'CHEM120', 854, 974], ['s1', 'MATH101', 540, 630], ['s4', 'MATH101H', 989, 1109]],
    {'MATH101': 'city',
     'MATH101H': 'city',
     'PHYS110': 'north',
     'CHEM120': 'north',
     'BIO130': 'south',
     'HIST140': 'south',
     'ECON150': 'north'},
    {'north|south': 45, 'city|north': 60}],
   [['s1', 'MATH101', 'ECON150', 90], ['s4', 'BIO130', 'CHEM120', 16], ['s4', 'CHEM120', 'MATH101H', 45]]),
  ('boundary control 4',
   [[['s1', 'B', 700, 760], ['s1', 'A', 540, 600]], {'A': 'north', 'B': 'city'}, {'city|north': 60}], []),
  ('normal control 5',
   [[['s4', 'MATH101H', 540, 600], ['s4', 'ECON150', 615, 675], ['s4', 'CHEM120', 765, 825]],
    {'MATH101': 'north',
     'MATH101H': 'south',
     'PHYS110': 'south',
     'CHEM120': 'city',
     'BIO130': 'south',
     'HIST140': 'south',
     'ECON150': 'north'},
    {'north|south': 30, 'city|north': 60}],
   [['s4', 'MATH101H', 'ECON150', 15]]),
  ('normal control 6',
   [[['s1', 'BIO130', 780, 840], ['s3', 'MATH101H', 705, 825], ['s1', 'MATH101', 540, 660],
     ['s1', 'ECON150', 689, 749], ['s3', 'ECON150', 600, 690]],
    {'MATH101': 'north',
     'MATH101H': 'south',
     'PHYS110': 'city',
     'CHEM120': 'south',
     'BIO130': 'north',
     'HIST140': 'city',
     'ECON150': 'north'},
    {'north|south': 45, 'city|north': 60}],
   [['s3', 'ECON150', 'MATH101H', 30]]),
  ('normal control 7',
   [[['s3', 'CHEM120', 630, 720], ['s3', 'PHYS110', 750, 810], ['s1', 'BIO130', 615, 735],
     ['s1', 'CHEM120', 540, 600], ['s1', 'MATH101', 780, 870], ['s3', 'ECON150', 540, 600]],
    {'MATH101': 'north',
     'MATH101H': 'north',
     'PHYS110': 'city',
     'CHEM120': 'north',
     'BIO130': 'north',
     'HIST140': 'south',
     'ECON150': 'city'},
    {'north|south': 45, 'city|north': 60}],
   [['s3', 'ECON150', 'CHEM120', 30], ['s3', 'CHEM120', 'PHYS110', 30]]),
  ('normal control 8',
   [[['s2', 'PHYS110', 600, 690], ['s2', 'BIO130', 719, 779], ['s4', 'PHYS110', 931, 1021],
     ['s1', 'MATH101H', 840, 960], ['s4', 'MATH101', 810, 900], ['s1', 'ECON150', 600, 720],
     ['s4', 'ECON150', 540, 660], ['s1', 'BIO130', 765, 825], ['s4', 'HIST140', 720, 810]],
    {'MATH101': 'city',
     'MATH101H': 'north',
     'PHYS110': 'north',
     'CHEM120': 'city',
     'BIO130': 'city',
     'HIST140': 'south',
     'ECON150': 'city'},
    {'north|south': 45, 'city|north': 30}],
   [['s1', 'BIO130', 'MATH101H', 15], ['s2', 'PHYS110', 'BIO130', 1]])],
 [('regression: gap reference 1',
   [[['s3', 'ECON150', 839, 929], ['s1', 'MATH101H', 540, 660], ['s3', 'CHEM120', 960, 1050],
     ['s1', 'ECON150', 765, 885], ['s4', 'BIO130', 600, 660], ['s1', 'HIST140', 630, 750],
     ['s3', 'MATH101', 750, 810], ['s4', 'ECON150', 660, 720], ['s3', 'BIO130', 600, 660]],
    {'MATH101': 'north',
     'MATH101H': 'north',
     'PHYS110': 'north',
     'CHEM120': 'south',
     'BIO130': 'north',
     'HIST140': 'city',
     'ECON150': 'north'},
    {'north|south': 30, 'city|north': 30}],
   [['s1', 'MATH101H', 'HIST140', 60], ['s1', 'HIST140', 'ECON150', 15]]),
  ('regression variant: gap reference 2',
   [[['s1', 'MATH101H', 751, 811], ['s2', 'MATH101', 540, 630], ['s1', 'MATH101', 826, 946],
     ['s2', 'HIST140', 749, 869], ['s2', 'PHYS110', 659, 779], ['s1', 'BIO130', 600, 720],
     ['s1', 'CHEM120', 961, 1021]],
    {'MATH101': 'city',
     'MATH101H': 'city',
     'PHYS110': 'north',
     'CHEM120': 'north',
     'BIO130': 'city',
     'HIST140': 'north',
     'ECON150': 'city'},
    {'north|south': 45, 'city|north': 30}],
   [['s1', 'MATH101', 'CHEM120', 15], ['s2', 'MATH101', 'PHYS110', 1], ['s2', 'PHYS110', 'HIST140', 30]]),
  ('partial repair guard 3',
   [[['s3', 'PHYS110', 854, 914], ['s3', 'ECON150', 600, 690], ['s3', 'MATH101', 884, 1004],
     ['s3', 'BIO130', 735, 825]],
    {'MATH101': 'south',
     'MATH101H': 'north',
     'PHYS110': 'city',
     'CHEM120': 'north',
     'BIO130': 'north',
     'HIST140': 'city',
     'ECON150': 'city'},
    {'north|south': 45, 'city|north': 60}],
   [['s3', 'ECON150', 'BIO130', 15], ['s3', 'BIO130', 'PHYS110', 31], ['s3', 'PHYS110', 'MATH101', 30]]),
  ('boundary control 4',
   [[['s1', 'A', 540, 600], ['s1', 'B', 629, 700]], {'A': 'south', 'B': 'north'}, {'north|south': 30}],
   [['s1', 'A', 'B', 1]]),
  ('boundary control 5', [[['s1', 'A', 540, 600], ['s1', 'B', 590, 700]], {'A': 'north', 'B': 'north'}, {}],
   [['s1', 'A', 'B', 10]]),
  ('normal control 6',
   [[['s5', 'BIO130', 705, 795], ['s5', 'HIST140', 824, 914], ['s5', 'CHEM120', 600, 690]],
    {'MATH101': 'north',
     'MATH101H': 'south',
     'PHYS110': 'city',
     'CHEM120': 'city',
     'BIO130': 'north',
     'HIST140': 'city',
     'ECON150': 'city'},
    {'north|south': 30, 'city|north': 30}],
   [['s5', 'CHEM120', 'BIO130', 15], ['s5', 'BIO130', 'HIST140', 1]]),
  ('normal control 7',
   [[['s1', 'PHYS110', 690, 750], ['s1', 'ECON150', 600, 690], ['s1', 'MATH101H', 660, 720]],
    {'MATH101': 'south',
     'MATH101H': 'north',
     'PHYS110': 'north',
     'CHEM120': 'north',
     'BIO130': 'city',
     'HIST140': 'south',
     'ECON150': 'south'},
    {'north|south': 30, 'city|north': 60}],
   [['s1', 'ECON150', 'MATH101H', 60], ['s1', 'MATH101H', 'PHYS110', 30]]),
  ('normal control 8',
   [[['s4', 'MATH101', 540, 630], ['s4', 'ECON150', 720, 780]],
    {'MATH101': 'city',
     'MATH101H': 'city',
     'PHYS110': 'south',
     'CHEM120': 'north',
     'BIO130': 'city',
     'HIST140': 'north',
     'ECON150': 'south'},
    {'north|south': 30, 'city|north': 60}],
   [])],
 [('regression: gap reference 1',
   [[['s2', 'MATH101', 915, 1035], ['s2', 'PHYS110', 735, 855], ['s2', 'ECON150', 600, 720],
     ['s1', 'ECON150', 870, 930], ['s2', 'CHEM120', 1005, 1095], ['s1', 'MATH101', 780, 900],
     ['s1', 'HIST140', 600, 720]],
    {'MATH101': 'north',
     'MATH101H': 'city',
     'PHYS110': 'south',
     'CHEM120': 'city',
     'BIO130': 'north',
     'HIST140': 'south',
     'ECON150': 'south'},
    {'north|south': 45, 'city|north': 60}],
   [['s1', 'MATH101', 'ECON150', 75], ['s2', 'MATH101', 'CHEM120', 90]]),
  ('regression variant: gap reference 2',
   [[['s2', 'HIST140', 630, 750], ['s2', 'CHEM120', 540, 660]],
    {'MATH101': 'city',
     'MATH101H': 'city',
     'PHYS110': 'south',
     'CHEM120': 'city',
     'BIO130': 'city',
     'HIST140': 'city',
     'ECON150': 'north'},
    {'north|south': 30, 'city|north': 60}],
   [['s2', 'CHEM120', 'HIST140', 30]]),
  ('partial repair guard 3',
   [[['s4', 'MATH101', 600, 660], ['s4', 'HIST140', 705, 795], ['s1', 'CHEM120', 660, 720],
     ['s3', 'BIO130', 600, 720], ['s3', 'PHYS110', 750, 810], ['s4', 'ECON150', 765, 885],
     ['s3', 'ECON150', 780, 900], ['s1', 'BIO130', 600, 660], ['s1', 'ECON150', 735, 795]],
    {'MATH101': 'south',
     'MATH101H': 'city',
     'PHYS110': 'south',
     'CHEM120': 'city',
     'BIO130': 'city',
     'HIST140': 'city',
     'ECON150': 'north'},
    {'north|south': 45, 'city|north': 30}],
   [['s1', 'CHEM120', 'ECON150', 15], ['s3', 'PHYS110', 'ECON150', 75], ['s4', 'HIST140', 'ECON150', 60]]),
  ('boundary control 4',
   [[['s1', 'A', 540, 600], ['s1', 'B', 630, 700]], {'A': 'north', 'B': 'south'}, {'north|south': 30}], []),
  ('boundary control 5',
   [[['s1', 'A', 540, 600], ['s1', 'B', 629, 700]], {'A': 'south', 'B': 'north'}, {'north|south': 30}],
   [['s1', 'A', 'B', 1]]),
  ('normal control 6',
   [[['s2', 'HIST140', 749, 869], ['s5', 'MATH101H', 540, 630], ['s3', 'BIO130', 540, 600],
     ['s2', 'ECON150', 689, 749], ['s5', 'PHYS110', 600, 720], ['s3', 'MATH101', 631, 691],
     ['s2', 'CHEM120', 600, 660]],
    {'MATH101': 'city',
     'MATH101H': 'south',
     'PHYS110': 'north',
     'CHEM120': 'south',
     'BIO130': 'south',
     'HIST140': 'south',
     'ECON150': 'north'},
    {'north|south': 45, 'city|north': 30}],
   [['s2', 'CHEM120', 'ECON150', 16], ['s2', 'ECON150', 'HIST140', 45], ['s5', 'MATH101H', 'PHYS110', 75]]),
  ('normal control 7',
   [[['s1', 'CHEM120', 885, 1005], ['s4', 'CHEM120', 690, 780], ['s1', 'MATH101', 735, 795],
     ['s3', 'CHEM120', 750, 870], ['s3', 'PHYS110', 600, 660], ['s4', 'MATH101H', 990, 1080],
     ['s1', 'PHYS110', 1050, 1140], ['s4', 'BIO130', 840, 930], ['s4', 'MATH101', 600, 690],
     ['s1', 'HIST140', 600, 690], ['s3', 'MATH101H', 901, 1021], ['s3', 'HIST140', 1036, 1126]],
    {'MATH101': 'city',
     'MATH101H': 'north',
     'PHYS110': 'north',
     'CHEM120': 'city',
     'BIO130': 'city',
     'HIST140': 'city',
     'ECON150': 'south'},
    {'north|south': 45, 'city|north': 60}],
   [['s1', 'CHEM120', 'PHYS110', 15], ['s3', 'CHEM120', 'MATH101H', 29], ['s3', 'MATH101H', 'HIST140', 45]]),
  ('normal control 8',
   [[['s2', 'ECON150', 720, 810], ['s2', 'HIST140', 840, 900], ['s2', 'PHYS110', 960, 1020],
     ['s2', 'MATH101H', 540, 660]],
    {'MATH101': 'city',
     'MATH101H': 'city',
     'PHYS110': 'south',
     'CHEM120': 'south',
     'BIO130': 'city',
     'HIST140': 'south',
     'ECON150': 'north'},
    {'north|south': 45, 'city|north': 60}],
   [['s2', 'ECON150', 'HIST140', 15]])],
 [('regression: gap reference 1',
   [[['s3', 'BIO130', 600, 720], ['s5', 'MATH101', 691, 781], ['s2', 'MATH101', 720, 810],
     ['s2', 'CHEM120', 540, 630], ['s3', 'HIST140', 780, 900], ['s2', 'BIO130', 839, 899],
     ['s5', 'ECON150', 600, 660], ['s2', 'HIST140', 899, 1019]],
    {'MATH101': 'city',
     'MATH101H': 'south',
     'PHYS110': 'city',
     'CHEM120': 'south',
     'BIO130': 'city',
     'HIST140': 'north',
     'ECON150': 'city'},
    {'north|south': 30, 'city|north': 30}],
   [['s2', 'BIO130', 'HIST140', 30]]),
  ('regression variant: gap reference 2',
   [[['s2', 'MATH101H', 840, 930], ['s5', 'CHEM120', 600, 660], ['s2', 'CHEM120', 690, 810],
     ['s2', 'ECON150', 540, 630], ['s2', 'BIO130', 630, 690], ['s5', 'BIO130', 691, 781]],
    {'MATH101': 'south',
     'MATH101H': 'north',
     'PHYS110': 'city',
     'CHEM120': 'north',
     'BIO130': 'north',
     'HIST140': 'city',
     'ECON150': 'city'},
    {'north|south': 30, 'city|north': 60}],
   [['s2', 'ECON150', 'BIO130', 60]]),
  ('partial repair guard 3',
   [[['s3', 'ECON150', 780, 840], ['s4', 'MATH101H', 600, 720], ['s3', 'HIST140', 600, 720],
     ['s4', 'HIST140', 1050, 1110], ['s4', 'CHEM120', 870, 990], ['s4', 'BIO130', 780, 900],
     ['s2', 'HIST140', 705, 795], ['s2', 'CHEM120', 600, 690]],
    {'MATH101': 'city',
     'MATH101H': 'city',
     'PHYS110': 'city',
     'CHEM120': 'city',
     'BIO130': 'city',
     'HIST140': 'north',
     'ECON150': 'north'},
    {'north|south': 30, 'city|north': 30}],
   [['s2', 'CHEM120', 'HIST140', 15], ['s4', 'BIO130', 'CHEM120', 30]]),
  ('boundary control 4',
   [[['s1', 'B', 700, 760], ['s1', 'A', 540, 600]], {'A': 'north', 'B': 'city'}, {'city|north': 60}], []),
  ('boundary control 5',
   [[['s1', 'A', 540, 600], ['s1', 'B', 630, 700]], {'A': 'north', 'B': 'south'}, {'north|south': 30}], []),
  ('normal control 6',
   [[['s3', 'PHYS110', 855, 975], ['s5', 'PHYS110', 630, 720], ['s5', 'BIO130', 720, 840],
     ['s3', 'CHEM120', 600, 660], ['s2', 'PHYS110', 765, 855], ['s5', 'MATH101H', 600, 660],
     ['s3', 'MATH101', 1020, 1080], ['s2', 'BIO130', 540, 660], ['s3', 'ECON150', 705, 795],
     ['s2', 'MATH101H', 886, 946], ['s2', 'ECON150', 690, 750]],
    {'MATH101': 'south',
     'MATH101H': 'city',
     'PHYS110': 'south',
     'CHEM120': 'north',
     'BIO130': 'city',
     'HIST140': 'north',
     'ECON150': 'north'},
    {'north|south': 45, 'city|north': 60}],
   [['s2', 'BIO130', 'ECON150', 30], ['s2', 'ECON150', 'PHYS110', 30], ['s5', 'MATH101H', 'PHYS110', 30]]),
  ('normal control 7',
   [[['s2', 'HIST140', 720, 840], ['s5', 'PHYS110', 750, 840], ['s1', 'PHYS110', 600, 660],
     ['s5', 'BIO130', 600, 720], ['s1', 'MATH101', 675, 765], ['s2', 'PHYS110', 540, 630],
     ['s1', 'BIO130', 796, 856]],
    {'MATH101': 'north',
     'MATH101H': 'city',
     'PHYS110': 'north',
     'CHEM120': 'south',
     'BIO130': 'city',
     'HIST140': 'south',
     'ECON150': 'city'},
    {'north|south': 45, 'city|north': 30}],
   []),
  ('normal control 8',
   [[['s2', 'MATH101H', 796, 856], ['s2', 'ECON150', 885, 945], ['s2', 'CHEM120', 600, 660],
     ['s2', 'PHYS110', 691, 781]],
    {'MATH101': 'south',
     'MATH101H': 'city',
     'PHYS110': 'north',
     'CHEM120': 'city',
     'BIO130': 'city',
     'HIST140': 'south',
     'ECON150': 'city'},
    {'north|south': 45, 'city|north': 30}],
   [['s2', 'PHYS110', 'MATH101H', 15]])]]
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
regression: gap reference 1[][['s1', 'A', 'B', 1]]Failed
regression variant: gap reference 2[][['s4', 'PHYS110', 'MATH101H', 30], ['s5', 'ECON150', 'MATH101H', 31]]Failed
partial repair guard 3[][['s2', 'MATH101', 'ECON150', 30], ['s5', 'CHEM120', 'ECON150', 90], ['s5', 'ECON150', 'MATH101', 60]]Failed
boundary control 4[][]Passed
boundary control 5[][]Passed
normal control 6[][['s1', 'CHEM120', 'MATH101H', 14]]Failed
normal control 7[][['s5', 'ECON150', 'MATH101', 16]]Failed
normal control 8[][]Passed

SHA-256 / 5e039906c26be0f871bdd6ba1335aa44960dd95dc9d2df30d9d79591f982d998

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(sits, campus, travel):
    by = {}
    for st, ex, s, e in sits:
        by.setdefault(st, []).append((s, e, ex))
    out = []
    for st in sorted(by):
        seq = sorted(by[st])
        for (s1, e1, x1), (s2, e2, x2) in zip(seq, seq[1:]):
            gap = e2 - e1
            c1, c2 = campus[x1], campus[x2]
            need = 0
            if c1 != c2:
                need = travel.get(c1 + '|' + c2, travel.get(c2 + '|' + c1, 0))
            if gap < need:
                out.append([st, x1, x2, need - gap])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: gap reference 1',
   [[['s1', 'A', 540, 600], ['s1', 'B', 629, 700]], {'A': 'south', 'B': 'north'}, {'north|south': 30}],
   [['s1', 'A', 'B', 1]]),
  ('regression variant: gap reference 2',
   [[['s5', 'HIST140', 943, 1003], ['s5', 'MATH101H', 689, 809], ['s5', 'ECON150', 540, 660],
     ['s4', 'PHYS110', 600, 660], ['s2', 'PHYS110', 750, 840], ['s2', 'ECON150', 870, 960],
     ['s4', 'MATH101', 750, 840], ['s2', 'MATH101H', 600, 660], ['s5', 'MATH101', 838, 928],
     ['s4', 'MATH101H', 690, 750]],
    {'MATH101': 'south',
     'MATH101H': 'city',
     'PHYS110': 'north',
     'CHEM120': 'city',
     'BIO130': 'south',
     'HIST140': 'city',
     'ECON150': 'north'},
    {'north|south': 45, 'city|north': 60}],
   [['s4', 'PHYS110', 'MATH101H', 30], ['s5', 'ECON150', 'MATH101H', 31]]),
  ('partial repair guard 3',
   [[['s5', 'MATH101', 750, 870], ['s2', 'ECON150', 690, 780], ['s5', 'CHEM120', 540, 660],
     ['s5', 'ECON150', 630, 750], ['s2', 'MATH101', 540, 660], ['s5', 'PHYS110', 960, 1020]],
    {'MATH101': 'city',
     'MATH101H': 'north',
     'PHYS110': 'city',
     'CHEM120': 'city',
     'BIO130': 'north',
     'HIST140': 'city',
     'ECON150': 'north'},
    {'north|south': 30, 'city|north': 60}],
   [['s2', 'MATH101', 'ECON150', 30], ['s5', 'CHEM120', 'ECON150', 90], ['s5', 'ECON150', 'MATH101', 60]]),
  ('boundary control 4',
   [[['s1', 'B', 700, 760], ['s1', 'A', 540, 600]], {'A': 'north', 'B': 'city'}, {'city|north': 60}], []),
  ('boundary control 5',
   [[['s1', 'A', 540, 600], ['s1', 'B', 630, 700]], {'A': 'north', 'B': 'south'}, {'north|south': 30}], []),
  ('normal control 6',
   [[['s1', 'MATH101H', 631, 691], ['s1', 'HIST140', 901, 961], ['s1', 'PHYS110', 721, 841],
     ['s1', 'CHEM120', 540, 600]],
    {'MATH101': 'city',
     'MATH101H': 'south',
     'PHYS110': 'south',
     'CHEM120': 'north',
     'BIO130': 'city',
     'HIST140': 'north',
     'ECON150': 'city'},
    {'north|south': 45, 'city|north': 60}],
   [['s1', 'CHEM120', 'MATH101H', 14]]),
  ('normal control 7',
   [[['s5', 'ECON150', 600, 660], ['s4', 'CHEM120', 540, 660], ['s5', 'BIO130', 1049, 1109],
     ['s4', 'ECON150', 1035, 1095], ['s4', 'BIO130', 705, 795], ['s4', 'PHYS110', 855, 975],
     ['s5', 'MATH101', 689, 779], ['s5', 'MATH101H', 839, 959]],
    {'MATH101': 'north',
     'MATH101H': 'north',
     'PHYS110': 'north',
     'CHEM120': 'south',
     'BIO130': 'south',
     'HIST140': 'south',
     'ECON150': 'south'},
    {'north|south': 45, 'city|north': 60}],
   [['s5', 'ECON150', 'MATH101', 16]]),
  ('normal control 8',
   [[['s4', 'CHEM120', 720, 810], ['s2', 'BIO130', 600, 660], ['s4', 'BIO130', 600, 660],
     ['s5', 'ECON150', 631, 691], ['s5', 'PHYS110', 540, 600], ['s2', 'MATH101', 720, 780],
     ['s2', 'HIST140', 780, 840]],
    {'MATH101': 'city',
     'MATH101H': 'south',
     'PHYS110': 'city',
     'CHEM120': 'north',
     'BIO130': 'north',
     'HIST140': 'city',
     'ECON150': 'south'},
    {'north|south': 45, 'city|north': 60}],
   [])],
 [('regression: gap reference 1',
   [[['s1', 'A', 540, 600], ['s1', 'B', 590, 700]], {'A': 'north', 'B': 'north'}, {}],
   [['s1', 'A', 'B', 10]]),
  ('regression variant: gap reference 2',
   [[['s2', 'BIO130', 540, 660], ['s1', 'MATH101H', 719, 839], ['s1', 'HIST140', 689, 749],
     ['s4', 'ECON150', 870, 930], ['s4', 'HIST140', 600, 690], ['s4', 'CHEM120', 735, 855],
     ['s2', 'MATH101H', 660, 750], ['s2', 'MATH101', 720, 810], ['s4', 'BIO130', 930, 1020],
     ['s1', 'MATH101', 540, 660]],
    {'MATH101': 'south',
     'MATH101H': 'north',
     'PHYS110': 'city',
     'CHEM120': 'north',
     'BIO130': 'city',
     'HIST140': 'city',
     'ECON150': 'north'},
    {'north|south': 45, 'city|north': 30}],
   [['s1', 'HIST140', 'MATH101H', 60], ['s2', 'BIO130', 'MATH101H', 30], ['s2', 'MATH101H', 'MATH101', 75],
    ['s4', 'ECON150', 'BIO130', 30]]),
  ('partial repair guard 3',
   [[['s1', 'ECON150', 600, 720], ['s4', 'PHYS110', 600, 720], ['s4', 'BIO130', 765, 825],
     ['s4', 'CHEM120', 854, 974], ['s1', 'MATH101', 540, 630], ['s4', 'MATH101H', 989, 1109]],
    {'MATH101': 'city',
     'MATH101H': 'city',
     'PHYS110': 'north',
     'CHEM120': 'north',
     'BIO130': 'south',
     'HIST140': 'south',
     'ECON150': 'north'},
    {'north|south': 45, 'city|north': 60}],
   [['s1', 'MATH101', 'ECON150', 90], ['s4', 'BIO130', 'CHEM120', 16], ['s4', 'CHEM120', 'MATH101H', 45]]),
  ('boundary control 4',
   [[['s1', 'B', 700, 760], ['s1', 'A', 540, 600]], {'A': 'north', 'B': 'city'}, {'city|north': 60}], []),
  ('normal control 5',
   [[['s4', 'MATH101H', 540, 600], ['s4', 'ECON150', 615, 675], ['s4', 'CHEM120', 765, 825]],
    {'MATH101': 'north',
     'MATH101H': 'south',
     'PHYS110': 'south',
     'CHEM120': 'city',
     'BIO130': 'south',
     'HIST140': 'south',
     'ECON150': 'north'},
    {'north|south': 30, 'city|north': 60}],
   [['s4', 'MATH101H', 'ECON150', 15]]),
  ('normal control 6',
   [[['s1', 'BIO130', 780, 840], ['s3', 'MATH101H', 705, 825], ['s1', 'MATH101', 540, 660],
     ['s1', 'ECON150', 689, 749], ['s3', 'ECON150', 600, 690]],
    {'MATH101': 'north',
     'MATH101H': 'south',
     'PHYS110': 'city',
     'CHEM120': 'south',
     'BIO130': 'north',
     'HIST140': 'city',
     'ECON150': 'north'},
    {'north|south': 45, 'city|north': 60}],
   [['s3', 'ECON150', 'MATH101H', 30]]),
  ('normal control 7',
   [[['s3', 'CHEM120', 630, 720], ['s3', 'PHYS110', 750, 810], ['s1', 'BIO130', 615, 735],
     ['s1', 'CHEM120', 540, 600], ['s1', 'MATH101', 780, 870], ['s3', 'ECON150', 540, 600]],
    {'MATH101': 'north',
     'MATH101H': 'north',
     'PHYS110': 'city',
     'CHEM120': 'north',
     'BIO130': 'north',
     'HIST140': 'south',
     'ECON150': 'city'},
    {'north|south': 45, 'city|north': 60}],
   [['s3', 'ECON150', 'CHEM120', 30], ['s3', 'CHEM120', 'PHYS110', 30]]),
  ('normal control 8',
   [[['s2', 'PHYS110', 600, 690], ['s2', 'BIO130', 719, 779], ['s4', 'PHYS110', 931, 1021],
     ['s1', 'MATH101H', 840, 960], ['s4', 'MATH101', 810, 900], ['s1', 'ECON150', 600, 720],
     ['s4', 'ECON150', 540, 660], ['s1', 'BIO130', 765, 825], ['s4', 'HIST140', 720, 810]],
    {'MATH101': 'city',
     'MATH101H': 'north',
     'PHYS110': 'north',
     'CHEM120': 'city',
     'BIO130': 'city',
     'HIST140': 'south',
     'ECON150': 'city'},
    {'north|south': 45, 'city|north': 30}],
   [['s1', 'BIO130', 'MATH101H', 15], ['s2', 'PHYS110', 'BIO130', 1]])],
 [('regression: gap reference 1',
   [[['s3', 'ECON150', 839, 929], ['s1', 'MATH101H', 540, 660], ['s3', 'CHEM120', 960, 1050],
     ['s1', 'ECON150', 765, 885], ['s4', 'BIO130', 600, 660], ['s1', 'HIST140', 630, 750],
     ['s3', 'MATH101', 750, 810], ['s4', 'ECON150', 660, 720], ['s3', 'BIO130', 600, 660]],
    {'MATH101': 'north',
     'MATH101H': 'north',
     'PHYS110': 'north',
     'CHEM120': 'south',
     'BIO130': 'north',
     'HIST140': 'city',
     'ECON150': 'north'},
    {'north|south': 30, 'city|north': 30}],
   [['s1', 'MATH101H', 'HIST140', 60], ['s1', 'HIST140', 'ECON150', 15]]),
  ('regression variant: gap reference 2',
   [[['s1', 'MATH101H', 751, 811], ['s2', 'MATH101', 540, 630], ['s1', 'MATH101', 826, 946],
     ['s2', 'HIST140', 749, 869], ['s2', 'PHYS110', 659, 779], ['s1', 'BIO130', 600, 720],
     ['s1', 'CHEM120', 961, 1021]],
    {'MATH101': 'city',
     'MATH101H': 'city',
     'PHYS110': 'north',
     'CHEM120': 'north',
     'BIO130': 'city',
     'HIST140': 'north',
     'ECON150': 'city'},
    {'north|south': 45, 'city|north': 30}],
   [['s1', 'MATH101', 'CHEM120', 15], ['s2', 'MATH101', 'PHYS110', 1], ['s2', 'PHYS110', 'HIST140', 30]]),
  ('partial repair guard 3',
   [[['s3', 'PHYS110', 854, 914], ['s3', 'ECON150', 600, 690], ['s3', 'MATH101', 884, 1004],
     ['s3', 'BIO130', 735, 825]],
    {'MATH101': 'south',
     'MATH101H': 'north',
     'PHYS110': 'city',
     'CHEM120': 'north',
     'BIO130': 'north',
     'HIST140': 'city',
     'ECON150': 'city'},
    {'north|south': 45, 'city|north': 60}],
   [['s3', 'ECON150', 'BIO130', 15], ['s3', 'BIO130', 'PHYS110', 31], ['s3', 'PHYS110', 'MATH101', 30]]),
  ('boundary control 4',
   [[['s1', 'A', 540, 600], ['s1', 'B', 629, 700]], {'A': 'south', 'B': 'north'}, {'north|south': 30}],
   [['s1', 'A', 'B', 1]]),
  ('boundary control 5', [[['s1', 'A', 540, 600], ['s1', 'B', 590, 700]], {'A': 'north', 'B': 'north'}, {}],
   [['s1', 'A', 'B', 10]]),
  ('normal control 6',
   [[['s5', 'BIO130', 705, 795], ['s5', 'HIST140', 824, 914], ['s5', 'CHEM120', 600, 690]],
    {'MATH101': 'north',
     'MATH101H': 'south',
     'PHYS110': 'city',
     'CHEM120': 'city',
     'BIO130': 'north',
     'HIST140': 'city',
     'ECON150': 'city'},
    {'north|south': 30, 'city|north': 30}],
   [['s5', 'CHEM120', 'BIO130', 15], ['s5', 'BIO130', 'HIST140', 1]]),
  ('normal control 7',
   [[['s1', 'PHYS110', 690, 750], ['s1', 'ECON150', 600, 690], ['s1', 'MATH101H', 660, 720]],
    {'MATH101': 'south',
     'MATH101H': 'north',
     'PHYS110': 'north',
     'CHEM120': 'north',
     'BIO130': 'city',
     'HIST140': 'south',
     'ECON150': 'south'},
    {'north|south': 30, 'city|north': 60}],
   [['s1', 'ECON150', 'MATH101H', 60], ['s1', 'MATH101H', 'PHYS110', 30]]),
  ('normal control 8',
   [[['s4', 'MATH101', 540, 630], ['s4', 'ECON150', 720, 780]],
    {'MATH101': 'city',
     'MATH101H': 'city',
     'PHYS110': 'south',
     'CHEM120': 'north',
     'BIO130': 'city',
     'HIST140': 'north',
     'ECON150': 'south'},
    {'north|south': 30, 'city|north': 60}],
   [])],
 [('regression: gap reference 1',
   [[['s2', 'MATH101', 915, 1035], ['s2', 'PHYS110', 735, 855], ['s2', 'ECON150', 600, 720],
     ['s1', 'ECON150', 870, 930], ['s2', 'CHEM120', 1005, 1095], ['s1', 'MATH101', 780, 900],
     ['s1', 'HIST140', 600, 720]],
    {'MATH101': 'north',
     'MATH101H': 'city',
     'PHYS110': 'south',
     'CHEM120': 'city',
     'BIO130': 'north',
     'HIST140': 'south',
     'ECON150': 'south'},
    {'north|south': 45, 'city|north': 60}],
   [['s1', 'MATH101', 'ECON150', 75], ['s2', 'MATH101', 'CHEM120', 90]]),
  ('regression variant: gap reference 2',
   [[['s2', 'HIST140', 630, 750], ['s2', 'CHEM120', 540, 660]],
    {'MATH101': 'city',
     'MATH101H': 'city',
     'PHYS110': 'south',
     'CHEM120': 'city',
     'BIO130': 'city',
     'HIST140': 'city',
     'ECON150': 'north'},
    {'north|south': 30, 'city|north': 60}],
   [['s2', 'CHEM120', 'HIST140', 30]]),
  ('partial repair guard 3',
   [[['s4', 'MATH101', 600, 660], ['s4', 'HIST140', 705, 795], ['s1', 'CHEM120', 660, 720],
     ['s3', 'BIO130', 600, 720], ['s3', 'PHYS110', 750, 810], ['s4', 'ECON150', 765, 885],
     ['s3', 'ECON150', 780, 900], ['s1', 'BIO130', 600, 660], ['s1', 'ECON150', 735, 795]],
    {'MATH101': 'south',
     'MATH101H': 'city',
     'PHYS110': 'south',
     'CHEM120': 'city',
     'BIO130': 'city',
     'HIST140': 'city',
     'ECON150': 'north'},
    {'north|south': 45, 'city|north': 30}],
   [['s1', 'CHEM120', 'ECON150', 15], ['s3', 'PHYS110', 'ECON150', 75], ['s4', 'HIST140', 'ECON150', 60]]),
  ('boundary control 4',
   [[['s1', 'A', 540, 600], ['s1', 'B', 630, 700]], {'A': 'north', 'B': 'south'}, {'north|south': 30}], []),
  ('boundary control 5',
   [[['s1', 'A', 540, 600], ['s1', 'B', 629, 700]], {'A': 'south', 'B': 'north'}, {'north|south': 30}],
   [['s1', 'A', 'B', 1]]),
  ('normal control 6',
   [[['s2', 'HIST140', 749, 869], ['s5', 'MATH101H', 540, 630], ['s3', 'BIO130', 540, 600],
     ['s2', 'ECON150', 689, 749], ['s5', 'PHYS110', 600, 720], ['s3', 'MATH101', 631, 691],
     ['s2', 'CHEM120', 600, 660]],
    {'MATH101': 'city',
     'MATH101H': 'south',
     'PHYS110': 'north',
     'CHEM120': 'south',
     'BIO130': 'south',
     'HIST140': 'south',
     'ECON150': 'north'},
    {'north|south': 45, 'city|north': 30}],
   [['s2', 'CHEM120', 'ECON150', 16], ['s2', 'ECON150', 'HIST140', 45], ['s5', 'MATH101H', 'PHYS110', 75]]),
  ('normal control 7',
   [[['s1', 'CHEM120', 885, 1005], ['s4', 'CHEM120', 690, 780], ['s1', 'MATH101', 735, 795],
     ['s3', 'CHEM120', 750, 870], ['s3', 'PHYS110', 600, 660], ['s4', 'MATH101H', 990, 1080],
     ['s1', 'PHYS110', 1050, 1140], ['s4', 'BIO130', 840, 930], ['s4', 'MATH101', 600, 690],
     ['s1', 'HIST140', 600, 690], ['s3', 'MATH101H', 901, 1021], ['s3', 'HIST140', 1036, 1126]],
    {'MATH101': 'city',
     'MATH101H': 'north',
     'PHYS110': 'north',
     'CHEM120': 'city',
     'BIO130': 'city',
     'HIST140': 'city',
     'ECON150': 'south'},
    {'north|south': 45, 'city|north': 60}],
   [['s1', 'CHEM120', 'PHYS110', 15], ['s3', 'CHEM120', 'MATH101H', 29], ['s3', 'MATH101H', 'HIST140', 45]]),
  ('normal control 8',
   [[['s2', 'ECON150', 720, 810], ['s2', 'HIST140', 840, 900], ['s2', 'PHYS110', 960, 1020],
     ['s2', 'MATH101H', 540, 660]],
    {'MATH101': 'city',
     'MATH101H': 'city',
     'PHYS110': 'south',
     'CHEM120': 'south',
     'BIO130': 'city',
     'HIST140': 'south',
     'ECON150': 'north'},
    {'north|south': 45, 'city|north': 60}],
   [['s2', 'ECON150', 'HIST140', 15]])],
 [('regression: gap reference 1',
   [[['s3', 'BIO130', 600, 720], ['s5', 'MATH101', 691, 781], ['s2', 'MATH101', 720, 810],
     ['s2', 'CHEM120', 540, 630], ['s3', 'HIST140', 780, 900], ['s2', 'BIO130', 839, 899],
     ['s5', 'ECON150', 600, 660], ['s2', 'HIST140', 899, 1019]],
    {'MATH101': 'city',
     'MATH101H': 'south',
     'PHYS110': 'city',
     'CHEM120': 'south',
     'BIO130': 'city',
     'HIST140': 'north',
     'ECON150': 'city'},
    {'north|south': 30, 'city|north': 30}],
   [['s2', 'BIO130', 'HIST140', 30]]),
  ('regression variant: gap reference 2',
   [[['s2', 'MATH101H', 840, 930], ['s5', 'CHEM120', 600, 660], ['s2', 'CHEM120', 690, 810],
     ['s2', 'ECON150', 540, 630], ['s2', 'BIO130', 630, 690], ['s5', 'BIO130', 691, 781]],
    {'MATH101': 'south',
     'MATH101H': 'north',
     'PHYS110': 'city',
     'CHEM120': 'north',
     'BIO130': 'north',
     'HIST140': 'city',
     'ECON150': 'city'},
    {'north|south': 30, 'city|north': 60}],
   [['s2', 'ECON150', 'BIO130', 60]]),
  ('partial repair guard 3',
   [[['s3', 'ECON150', 780, 840], ['s4', 'MATH101H', 600, 720], ['s3', 'HIST140', 600, 720],
     ['s4', 'HIST140', 1050, 1110], ['s4', 'CHEM120', 870, 990], ['s4', 'BIO130', 780, 900],
     ['s2', 'HIST140', 705, 795], ['s2', 'CHEM120', 600, 690]],
    {'MATH101': 'city',
     'MATH101H': 'city',
     'PHYS110': 'city',
     'CHEM120': 'city',
     'BIO130': 'city',
     'HIST140': 'north',
     'ECON150': 'north'},
    {'north|south': 30, 'city|north': 30}],
   [['s2', 'CHEM120', 'HIST140', 15], ['s4', 'BIO130', 'CHEM120', 30]]),
  ('boundary control 4',
   [[['s1', 'B', 700, 760], ['s1', 'A', 540, 600]], {'A': 'north', 'B': 'city'}, {'city|north': 60}], []),
  ('boundary control 5',
   [[['s1', 'A', 540, 600], ['s1', 'B', 630, 700]], {'A': 'north', 'B': 'south'}, {'north|south': 30}], []),
  ('normal control 6',
   [[['s3', 'PHYS110', 855, 975], ['s5', 'PHYS110', 630, 720], ['s5', 'BIO130', 720, 840],
     ['s3', 'CHEM120', 600, 660], ['s2', 'PHYS110', 765, 855], ['s5', 'MATH101H', 600, 660],
     ['s3', 'MATH101', 1020, 1080], ['s2', 'BIO130', 540, 660], ['s3', 'ECON150', 705, 795],
     ['s2', 'MATH101H', 886, 946], ['s2', 'ECON150', 690, 750]],
    {'MATH101': 'south',
     'MATH101H': 'city',
     'PHYS110': 'south',
     'CHEM120': 'north',
     'BIO130': 'city',
     'HIST140': 'north',
     'ECON150': 'north'},
    {'north|south': 45, 'city|north': 60}],
   [['s2', 'BIO130', 'ECON150', 30], ['s2', 'ECON150', 'PHYS110', 30], ['s5', 'MATH101H', 'PHYS110', 30]]),
  ('normal control 7',
   [[['s2', 'HIST140', 720, 840], ['s5', 'PHYS110', 750, 840], ['s1', 'PHYS110', 600, 660],
     ['s5', 'BIO130', 600, 720], ['s1', 'MATH101', 675, 765], ['s2', 'PHYS110', 540, 630],
     ['s1', 'BIO130', 796, 856]],
    {'MATH101': 'north',
     'MATH101H': 'city',
     'PHYS110': 'north',
     'CHEM120': 'south',
     'BIO130': 'city',
     'HIST140': 'south',
     'ECON150': 'city'},
    {'north|south': 45, 'city|north': 30}],
   []),
  ('normal control 8',
   [[['s2', 'MATH101H', 796, 856], ['s2', 'ECON150', 885, 945], ['s2', 'CHEM120', 600, 660],
     ['s2', 'PHYS110', 691, 781]],
    {'MATH101': 'south',
     'MATH101H': 'city',
     'PHYS110': 'north',
     'CHEM120': 'city',
     'BIO130': 'city',
     'HIST140': 'south',
     'ECON150': 'city'},
    {'north|south': 45, 'city|north': 30}],
   [['s2', 'PHYS110', 'MATH101H', 15]])]]
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
regression: gap reference 1[][['s1', 'A', 'B', 1]]Failed
regression variant: gap reference 2[][['s4', 'PHYS110', 'MATH101H', 30], ['s5', 'ECON150', 'MATH101H', 31]]Failed
partial repair guard 3[][['s2', 'MATH101', 'ECON150', 30], ['s5', 'CHEM120', 'ECON150', 90], ['s5', 'ECON150', 'MATH101', 60]]Failed
boundary control 4[][]Passed
boundary control 5[][]Passed
normal control 6[][['s1', 'CHEM120', 'MATH101H', 14]]Failed
normal control 7[][['s5', 'ECON150', 'MATH101', 16]]Failed
normal control 8[][]Passed

SHA-256 / d118c5f52b8e380486545e9b21a977b1592a864f4198b208df469c19dd02f7e1

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 8 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.

Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.

Member access is invitation-based. Sign in with your invited account to inspect the repair.

Sign in to the archive ↗

Verification & scope

Stipulated toy exam-timetabling rule set for a bounded model; it does not claim conformance with any institution's regulations or a benchmark specification, and it performs no search or optimisation. 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:52:05.944050+00:00.

Case digest / 66a803f33a59c99d228f37c0dd12804ea8f82e490f83e7bdede60de328004150