FA-68126 / Traffic signal timing plans / Open access
Dual-ring barrier sequencing: ring 2 starts when ring 1 ends · case 01
Dual-ring barrier sequencing returns a wrong result when ring 2 starts when ring 1 ends.
ROOT CAUSE
Each side restarts from time zero, so right-side phases overlap the left side of the barrier.
VERIFIED REPAIR
Restore the ring start at barrier rule so that the step reads `t = t0`.
Unsuccessful approach: Starting ring 2 after ring 1 serializes the rings instead of running them concurrently.
Case contract
Input {ring1: [[1,d],[2,d],[3,d],[4,d]], ring2: [[5,d],[6,d],[7,d],[8,d]] with durations including clearance, calls, lag}. Phases 1-2/5-6 are left of the barrier and 3-4/7-8 right of it. On each side both rings start together at the barrier; if the first phase of a ring's pair is in lag the pair is swapped. Phases without calls are skipped and take no time. Both rings cross a barrier together when the slower ring finishes. Return {starts: sorted [phase, start], cycle}.
Why this case matters
Signal timing arithmetic is exact and integer or rational; a wrong rule silently produces unsafe or inefficient timing plans.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
calls = set(x['calls'])
lag = set(x['lag'])
t0 = 0
starts = []
for side in (0, 1):
ends = []
for ring in (x['ring1'], x['ring2']):
pair = ring[2 * side:2 * side + 2]
if pair[0][0] in lag:
pair = [pair[1], pair[0]]
t = 0
for ph, dur in pair:
if ph in calls:
starts.append([ph, t])
t += dur
ends.append(t)
t0 = max(ends)
return {'starts': sorted(starts), 'cycle': t0}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[({'ring1': [[1, 27], [2, 13], [3, 21], [4, 40]], 'ring2': [[5, 24], [6, 10], [7, 33], [8, 33]], 'calls': [7], 'lag': [1, 4]}, {'starts': [[7, 0]], 'cycle': 33}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [2, 4, 6, 7, 8], 'lag': []}, {'starts': [[2, 0], [4, 30], [6, 0], [7, 30], [8, 42]], 'cycle': 72}), ({'ring1': [[1, 20], [2, 8], [3, 26], [4, 27]], 'ring2': [[5, 33], [6, 16], [7, 16], [8, 28]], 'calls': [2, 3, 4, 5, 6, 7, 8], 'lag': [2, 3, 5, 6]}, {'starts': [[2, 0], [3, 76], [4, 49], [5, 16], [6, 0], [7, 49], [8, 65]], 'cycle': 102}), ({'ring1': [[1, 12], [2, 19], [3, 17], [4, 10]], 'ring2': [[5, 12], [6, 10], [7, 39], [8, 29]], 'calls': [1, 2, 3, 4, 8], 'lag': [8]}, {'starts': [[1, 0], [2, 12], [3, 31], [4, 48], [8, 31]], 'cycle': 60}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [1, 2, 3, 4, 5, 6, 7, 8], 'lag': [1]}, {'starts': [[1, 30], [2, 0], [3, 42], [4, 52], [5, 0], [6, 15], [7, 42], [8, 54]], 'cycle': 84}), ({'ring1': [[1, 31], [2, 15], [3, 12], [4, 9]], 'ring2': [[5, 38], [6, 18], [7, 31], [8, 26]], 'calls': [1, 3, 4, 5], 'lag': [1, 6, 8]}, {'starts': [[1, 0], [3, 38], [4, 50], [5, 0]], 'cycle': 59}), ({'ring1': [[1, 29], [2, 11], [3, 29], [4, 25]], 'ring2': [[5, 8], [6, 30], [7, 10], [8, 9]], 'calls': [1, 2, 3, 4, 5, 6, 7], 'lag': [4]}, {'starts': [[1, 0], [2, 29], [3, 40], [4, 69], [5, 0], [6, 8], [7, 40]], 'cycle': 94}), ({'ring1': [[1, 32], [2, 22], [3, 24], [4, 23]], 'ring2': [[5, 31], [6, 33], [7, 20], [8, 13]], 'calls': [1, 3, 4, 5, 6, 7, 8], 'lag': [2, 3, 5, 6, 8]}, {'starts': [[1, 0], [3, 87], [4, 64], [5, 33], [6, 0], [7, 64], [8, 84]], 'cycle': 111})], [({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [1, 2, 3, 4, 5, 6, 7, 8], 'lag': [1]}, {'starts': [[1, 30], [2, 0], [3, 42], [4, 52], [5, 0], [6, 15], [7, 42], [8, 54]], 'cycle': 84}), ({'ring1': [[1, 19], [2, 32], [3, 28], [4, 18]], 'ring2': [[5, 9], [6, 25], [7, 24], [8, 30]], 'calls': [1, 2, 3, 4, 5, 7], 'lag': [3, 4, 7]}, {'starts': [[1, 0], [2, 19], [3, 69], [4, 51], [5, 0], [7, 51]], 'cycle': 97}), ({'ring1': [[1, 39], [2, 35], [3, 39], [4, 34]], 'ring2': [[5, 11], [6, 23], [7, 32], [8, 29]], 'calls': [3, 5, 7, 8], 'lag': []}, {'starts': [[3, 11], [5, 0], [7, 11], [8, 43]], 'cycle': 72}), ({'ring1': [[1, 12], [2, 34], [3, 13], [4, 9]], 'ring2': [[5, 17], [6, 17], [7, 29], [8, 24]], 'calls': [1, 2, 3, 4, 8], 'lag': [2, 5]}, {'starts': [[1, 0], [2, 12], [3, 46], [4, 59], [8, 46]], 'cycle': 70}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [2, 4, 6, 7, 8], 'lag': []}, {'starts': [[2, 0], [4, 30], [6, 0], [7, 30], [8, 42]], 'cycle': 72}), ({'ring1': [[1, 9], [2, 38], [3, 33], [4, 35]], 'ring2': [[5, 31], [6, 40], [7, 14], [8, 17]], 'calls': [1, 2, 3, 4, 5, 6, 8], 'lag': [6]}, {'starts': [[1, 0], [2, 9], [3, 71], [4, 104], [5, 0], [6, 31], [8, 71]], 'cycle': 139}), ({'ring1': [[1, 13], [2, 22], [3, 32], [4, 16]], 'ring2': [[5, 17], [6, 18], [7, 8], [8, 9]], 'calls': [1, 2, 3, 7], 'lag': [2, 5, 6, 7, 8]}, {'starts': [[1, 0], [2, 13], [3, 35], [7, 35]], 'cycle': 67}), ({'ring1': [[1, 24], [2, 25], [3, 8], [4, 34]], 'ring2': [[5, 37], [6, 37], [7, 38], [8, 32]], 'calls': [2, 3, 4, 5, 6, 8], 'lag': [2]}, {'starts': [[2, 0], [3, 74], [4, 82], [5, 0], [6, 37], [8, 74]], 'cycle': 116})], [({'ring1': [[1, 9], [2, 8], [3, 12], [4, 16]], 'ring2': [[5, 17], [6, 15], [7, 30], [8, 19]], 'calls': [7, 8], 'lag': [8]}, {'starts': [[7, 0], [8, 30]], 'cycle': 49}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [1, 2, 3, 4, 5, 6, 7, 8], 'lag': [1]}, {'starts': [[1, 30], [2, 0], [3, 42], [4, 52], [5, 0], [6, 15], [7, 42], [8, 54]], 'cycle': 84}), ({'ring1': [[1, 35], [2, 21], [3, 29], [4, 11]], 'ring2': [[5, 12], [6, 36], [7, 23], [8, 14]], 'calls': [1, 4, 5, 7, 8], 'lag': [3, 4]}, {'starts': [[1, 0], [4, 35], [5, 0], [7, 35], [8, 58]], 'cycle': 72}), ({'ring1': [[1, 27], [2, 16], [3, 39], [4, 9]], 'ring2': [[5, 28], [6, 18], [7, 12], [8, 31]], 'calls': [2, 4, 5, 6, 8], 'lag': [2]}, {'starts': [[2, 0], [4, 46], [5, 0], [6, 28], [8, 46]], 'cycle': 77}), ({'ring1': [[1, 15], [2, 21], [3, 33], [4, 33]], 'ring2': [[5, 11], [6, 8], [7, 11], [8, 33]], 'calls': [1, 4, 5, 6, 7, 8], 'lag': []}, {'starts': [[1, 0], [4, 19], [5, 0], [6, 11], [7, 19], [8, 30]], 'cycle': 63}), ({'ring1': [[1, 13], [2, 31], [3, 9], [4, 16]], 'ring2': [[5, 36], [6, 37], [7, 9], [8, 30]], 'calls': [1, 2, 6, 7, 8], 'lag': []}, {'starts': [[1, 0], [2, 13], [6, 0], [7, 44], [8, 53]], 'cycle': 83}), ({'ring1': [[1, 36], [2, 18], [3, 12], [4, 14]], 'ring2': [[5, 10], [6, 10], [7, 11], [8, 33]], 'calls': [7, 8], 'lag': [1, 4]}, {'starts': [[7, 0], [8, 11]], 'cycle': 44}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [2, 4, 6, 7, 8], 'lag': []}, {'starts': [[2, 0], [4, 30], [6, 0], [7, 30], [8, 42]], 'cycle': 72})], [({'ring1': [[1, 35], [2, 29], [3, 26], [4, 35]], 'ring2': [[5, 39], [6, 30], [7, 35], [8, 32]], 'calls': [3, 4, 8], 'lag': []}, {'starts': [[3, 0], [4, 26], [8, 0]], 'cycle': 61}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [1, 2, 3, 4, 5, 6, 7, 8], 'lag': [1]}, {'starts': [[1, 30], [2, 0], [3, 42], [4, 52], [5, 0], [6, 15], [7, 42], [8, 54]], 'cycle': 84}), ({'ring1': [[1, 30], [2, 24], [3, 29], [4, 34]], 'ring2': [[5, 38], [6, 36], [7, 13], [8, 26]], 'calls': [3, 4], 'lag': [1, 3, 8]}, {'starts': [[3, 34], [4, 0]], 'cycle': 63}), ({'ring1': [[1, 15], [2, 38], [3, 24], [4, 32]], 'ring2': [[5, 25], [6, 40], [7, 30], [8, 36]], 'calls': [2, 4, 5, 7, 8], 'lag': [1, 2, 4]}, {'starts': [[2, 0], [4, 38], [5, 0], [7, 38], [8, 68]], 'cycle': 104}), ({'ring1': [[1, 28], [2, 30], [3, 19], [4, 35]], 'ring2': [[5, 9], [6, 24], [7, 23], [8, 39]], 'calls': [2, 3, 4, 5, 7, 8], 'lag': [3, 6]}, {'starts': [[2, 0], [3, 65], [4, 30], [5, 0], [7, 30], [8, 53]], 'cycle': 92}), ({'ring1': [[1, 32], [2, 16], [3, 27], [4, 30]], 'ring2': [[5, 31], [6, 27], [7, 24], [8, 31]], 'calls': [1, 2, 3, 5, 6, 8], 'lag': [4, 8]}, {'starts': [[1, 0], [2, 32], [3, 58], [5, 0], [6, 31], [8, 58]], 'cycle': 89}), ({'ring1': [[1, 15], [2, 34], [3, 13], [4, 29]], 'ring2': [[5, 15], [6, 13], [7, 39], [8, 38]], 'calls': [1, 3, 4, 7, 8], 'lag': [8]}, {'starts': [[1, 0], [3, 15], [4, 28], [7, 15], [8, 54]], 'cycle': 92}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [2, 4, 6, 7, 8], 'lag': []}, {'starts': [[2, 0], [4, 30], [6, 0], [7, 30], [8, 42]], 'cycle': 72})], [({'ring1': [[1, 38], [2, 38], [3, 28], [4, 37]], 'ring2': [[5, 40], [6, 14], [7, 15], [8, 9]], 'calls': [3, 6, 7], 'lag': []}, {'starts': [[3, 14], [6, 0], [7, 14]], 'cycle': 42}), ({'ring1': [[1, 27], [2, 9], [3, 25], [4, 39]], 'ring2': [[5, 15], [6, 25], [7, 38], [8, 11]], 'calls': [1, 3, 4, 5, 6, 8], 'lag': [2, 4, 7]}, {'starts': [[1, 0], [3, 40], [4, 65], [5, 0], [6, 15], [8, 40]], 'cycle': 104}), ({'ring1': [[1, 22], [2, 29], [3, 31], [4, 18]], 'ring2': [[5, 31], [6, 10], [7, 37], [8, 9]], 'calls': [3, 4, 6, 7, 8], 'lag': [3, 6, 8]}, {'starts': [[3, 28], [4, 10], [6, 0], [7, 10], [8, 47]], 'cycle': 59}), ({'ring1': [[1, 23], [2, 9], [3, 14], [4, 24]], 'ring2': [[5, 37], [6, 26], [7, 8], [8, 18]], 'calls': [2, 3, 4, 5, 6], 'lag': []}, {'starts': [[2, 0], [3, 63], [4, 77], [5, 0], [6, 37]], 'cycle': 101}), ({'ring1': [[1, 36], [2, 17], [3, 14], [4, 23]], 'ring2': [[5, 15], [6, 17], [7, 33], [8, 10]], 'calls': [1, 2, 4, 5, 6, 7], 'lag': []}, {'starts': [[1, 0], [2, 36], [4, 53], [5, 0], [6, 15], [7, 53]], 'cycle': 86}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [2, 4, 6, 7, 8], 'lag': []}, {'starts': [[2, 0], [4, 30], [6, 0], [7, 30], [8, 42]], 'cycle': 72}), ({'ring1': [[1, 31], [2, 20], [3, 40], [4, 18]], 'ring2': [[5, 18], [6, 38], [7, 27], [8, 35]], 'calls': [2, 3, 4, 5, 6, 8], 'lag': [2, 5, 8]}, {'starts': [[2, 0], [3, 56], [4, 96], [5, 38], [6, 0], [8, 56]], 'cycle': 114}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [1, 2, 3, 4, 5, 6, 7, 8], 'lag': [1]}, {'starts': [[1, 30], [2, 0], [3, 42], [4, 52], [5, 0], [6, 15], [7, 42], [8, 54]], 'cycle': 84})]]
for i, (args, expected) in enumerate(fixtures[N-1]):
check('timing oracle' + ' %d' % i, 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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| timing oracle 0 | {'cycle': 33, 'starts': [[7, 0]]} | {'cycle': 33, 'starts': [[7, 0]]} | Passed |
| timing oracle 1 | {'cycle': 42, 'starts': [[2, 0], [4, 0], [6, 0], [7, 0], [8, 12]]} | {'cycle': 72, 'starts': [[2, 0], [4, 30], [6, 0], [7, 30], [8, 42]]} | Failed |
| timing oracle 2 | {'cycle': 53, 'starts': [[2, 0], [3, 27], [4, 0], [5, 16], [6, 0], [7, 0], [8, 16]]} | {'cycle': 102, 'starts': [[2, 0], [3, 76], [4, 49], [5, 16], [6, 0], [7, 49], [8, 65]]} | Failed |
| timing oracle 3 | {'cycle': 29, 'starts': [[1, 0], [2, 12], [3, 0], [4, 17], [8, 0]]} | {'cycle': 60, 'starts': [[1, 0], [2, 12], [3, 31], [4, 48], [8, 31]]} | Failed |
| timing oracle 4 | {'cycle': 42, 'starts': [[1, 30], [2, 0], [3, 0], [4, 10], [5, 0], [6, 15], [7, 0], [8, 12]]} | {'cycle': 84, 'starts': [[1, 30], [2, 0], [3, 42], [4, 52], [5, 0], [6, 15], [7, 42], [8, 54]]} | Failed |
| timing oracle 5 | {'cycle': 21, 'starts': [[1, 0], [3, 0], [4, 12], [5, 0]]} | {'cycle': 59, 'starts': [[1, 0], [3, 38], [4, 50], [5, 0]]} | Failed |
| timing oracle 6 | {'cycle': 54, 'starts': [[1, 0], [2, 29], [3, 0], [4, 29], [5, 0], [6, 8], [7, 0]]} | {'cycle': 94, 'starts': [[1, 0], [2, 29], [3, 40], [4, 69], [5, 0], [6, 8], [7, 40]]} | Failed |
| timing oracle 7 | {'cycle': 47, 'starts': [[1, 0], [3, 23], [4, 0], [5, 33], [6, 0], [7, 0], [8, 20]]} | {'cycle': 111, 'starts': [[1, 0], [3, 87], [4, 64], [5, 33], [6, 0], [7, 64], [8, 84]]} | Failed |
SHA-256 / 87406737597cd842f8649e40f477f439d67cbd42b905596956f8136b1e4299d7
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
calls = set(x['calls'])
lag = set(x['lag'])
t0 = 0
starts = []
for side in (0, 1):
ends = []
for ring in (x['ring1'], x['ring2']):
pair = ring[2 * side:2 * side + 2]
if pair[0][0] in lag:
pair = [pair[1], pair[0]]
t = max([t0] + ends)
for ph, dur in pair:
if ph in calls:
starts.append([ph, t])
t += dur
ends.append(t)
t0 = max(ends)
return {'starts': sorted(starts), 'cycle': t0}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[({'ring1': [[1, 27], [2, 13], [3, 21], [4, 40]], 'ring2': [[5, 24], [6, 10], [7, 33], [8, 33]], 'calls': [7], 'lag': [1, 4]}, {'starts': [[7, 0]], 'cycle': 33}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [2, 4, 6, 7, 8], 'lag': []}, {'starts': [[2, 0], [4, 30], [6, 0], [7, 30], [8, 42]], 'cycle': 72}), ({'ring1': [[1, 20], [2, 8], [3, 26], [4, 27]], 'ring2': [[5, 33], [6, 16], [7, 16], [8, 28]], 'calls': [2, 3, 4, 5, 6, 7, 8], 'lag': [2, 3, 5, 6]}, {'starts': [[2, 0], [3, 76], [4, 49], [5, 16], [6, 0], [7, 49], [8, 65]], 'cycle': 102}), ({'ring1': [[1, 12], [2, 19], [3, 17], [4, 10]], 'ring2': [[5, 12], [6, 10], [7, 39], [8, 29]], 'calls': [1, 2, 3, 4, 8], 'lag': [8]}, {'starts': [[1, 0], [2, 12], [3, 31], [4, 48], [8, 31]], 'cycle': 60}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [1, 2, 3, 4, 5, 6, 7, 8], 'lag': [1]}, {'starts': [[1, 30], [2, 0], [3, 42], [4, 52], [5, 0], [6, 15], [7, 42], [8, 54]], 'cycle': 84}), ({'ring1': [[1, 31], [2, 15], [3, 12], [4, 9]], 'ring2': [[5, 38], [6, 18], [7, 31], [8, 26]], 'calls': [1, 3, 4, 5], 'lag': [1, 6, 8]}, {'starts': [[1, 0], [3, 38], [4, 50], [5, 0]], 'cycle': 59}), ({'ring1': [[1, 29], [2, 11], [3, 29], [4, 25]], 'ring2': [[5, 8], [6, 30], [7, 10], [8, 9]], 'calls': [1, 2, 3, 4, 5, 6, 7], 'lag': [4]}, {'starts': [[1, 0], [2, 29], [3, 40], [4, 69], [5, 0], [6, 8], [7, 40]], 'cycle': 94}), ({'ring1': [[1, 32], [2, 22], [3, 24], [4, 23]], 'ring2': [[5, 31], [6, 33], [7, 20], [8, 13]], 'calls': [1, 3, 4, 5, 6, 7, 8], 'lag': [2, 3, 5, 6, 8]}, {'starts': [[1, 0], [3, 87], [4, 64], [5, 33], [6, 0], [7, 64], [8, 84]], 'cycle': 111})], [({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [1, 2, 3, 4, 5, 6, 7, 8], 'lag': [1]}, {'starts': [[1, 30], [2, 0], [3, 42], [4, 52], [5, 0], [6, 15], [7, 42], [8, 54]], 'cycle': 84}), ({'ring1': [[1, 19], [2, 32], [3, 28], [4, 18]], 'ring2': [[5, 9], [6, 25], [7, 24], [8, 30]], 'calls': [1, 2, 3, 4, 5, 7], 'lag': [3, 4, 7]}, {'starts': [[1, 0], [2, 19], [3, 69], [4, 51], [5, 0], [7, 51]], 'cycle': 97}), ({'ring1': [[1, 39], [2, 35], [3, 39], [4, 34]], 'ring2': [[5, 11], [6, 23], [7, 32], [8, 29]], 'calls': [3, 5, 7, 8], 'lag': []}, {'starts': [[3, 11], [5, 0], [7, 11], [8, 43]], 'cycle': 72}), ({'ring1': [[1, 12], [2, 34], [3, 13], [4, 9]], 'ring2': [[5, 17], [6, 17], [7, 29], [8, 24]], 'calls': [1, 2, 3, 4, 8], 'lag': [2, 5]}, {'starts': [[1, 0], [2, 12], [3, 46], [4, 59], [8, 46]], 'cycle': 70}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [2, 4, 6, 7, 8], 'lag': []}, {'starts': [[2, 0], [4, 30], [6, 0], [7, 30], [8, 42]], 'cycle': 72}), ({'ring1': [[1, 9], [2, 38], [3, 33], [4, 35]], 'ring2': [[5, 31], [6, 40], [7, 14], [8, 17]], 'calls': [1, 2, 3, 4, 5, 6, 8], 'lag': [6]}, {'starts': [[1, 0], [2, 9], [3, 71], [4, 104], [5, 0], [6, 31], [8, 71]], 'cycle': 139}), ({'ring1': [[1, 13], [2, 22], [3, 32], [4, 16]], 'ring2': [[5, 17], [6, 18], [7, 8], [8, 9]], 'calls': [1, 2, 3, 7], 'lag': [2, 5, 6, 7, 8]}, {'starts': [[1, 0], [2, 13], [3, 35], [7, 35]], 'cycle': 67}), ({'ring1': [[1, 24], [2, 25], [3, 8], [4, 34]], 'ring2': [[5, 37], [6, 37], [7, 38], [8, 32]], 'calls': [2, 3, 4, 5, 6, 8], 'lag': [2]}, {'starts': [[2, 0], [3, 74], [4, 82], [5, 0], [6, 37], [8, 74]], 'cycle': 116})], [({'ring1': [[1, 9], [2, 8], [3, 12], [4, 16]], 'ring2': [[5, 17], [6, 15], [7, 30], [8, 19]], 'calls': [7, 8], 'lag': [8]}, {'starts': [[7, 0], [8, 30]], 'cycle': 49}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [1, 2, 3, 4, 5, 6, 7, 8], 'lag': [1]}, {'starts': [[1, 30], [2, 0], [3, 42], [4, 52], [5, 0], [6, 15], [7, 42], [8, 54]], 'cycle': 84}), ({'ring1': [[1, 35], [2, 21], [3, 29], [4, 11]], 'ring2': [[5, 12], [6, 36], [7, 23], [8, 14]], 'calls': [1, 4, 5, 7, 8], 'lag': [3, 4]}, {'starts': [[1, 0], [4, 35], [5, 0], [7, 35], [8, 58]], 'cycle': 72}), ({'ring1': [[1, 27], [2, 16], [3, 39], [4, 9]], 'ring2': [[5, 28], [6, 18], [7, 12], [8, 31]], 'calls': [2, 4, 5, 6, 8], 'lag': [2]}, {'starts': [[2, 0], [4, 46], [5, 0], [6, 28], [8, 46]], 'cycle': 77}), ({'ring1': [[1, 15], [2, 21], [3, 33], [4, 33]], 'ring2': [[5, 11], [6, 8], [7, 11], [8, 33]], 'calls': [1, 4, 5, 6, 7, 8], 'lag': []}, {'starts': [[1, 0], [4, 19], [5, 0], [6, 11], [7, 19], [8, 30]], 'cycle': 63}), ({'ring1': [[1, 13], [2, 31], [3, 9], [4, 16]], 'ring2': [[5, 36], [6, 37], [7, 9], [8, 30]], 'calls': [1, 2, 6, 7, 8], 'lag': []}, {'starts': [[1, 0], [2, 13], [6, 0], [7, 44], [8, 53]], 'cycle': 83}), ({'ring1': [[1, 36], [2, 18], [3, 12], [4, 14]], 'ring2': [[5, 10], [6, 10], [7, 11], [8, 33]], 'calls': [7, 8], 'lag': [1, 4]}, {'starts': [[7, 0], [8, 11]], 'cycle': 44}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [2, 4, 6, 7, 8], 'lag': []}, {'starts': [[2, 0], [4, 30], [6, 0], [7, 30], [8, 42]], 'cycle': 72})], [({'ring1': [[1, 35], [2, 29], [3, 26], [4, 35]], 'ring2': [[5, 39], [6, 30], [7, 35], [8, 32]], 'calls': [3, 4, 8], 'lag': []}, {'starts': [[3, 0], [4, 26], [8, 0]], 'cycle': 61}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [1, 2, 3, 4, 5, 6, 7, 8], 'lag': [1]}, {'starts': [[1, 30], [2, 0], [3, 42], [4, 52], [5, 0], [6, 15], [7, 42], [8, 54]], 'cycle': 84}), ({'ring1': [[1, 30], [2, 24], [3, 29], [4, 34]], 'ring2': [[5, 38], [6, 36], [7, 13], [8, 26]], 'calls': [3, 4], 'lag': [1, 3, 8]}, {'starts': [[3, 34], [4, 0]], 'cycle': 63}), ({'ring1': [[1, 15], [2, 38], [3, 24], [4, 32]], 'ring2': [[5, 25], [6, 40], [7, 30], [8, 36]], 'calls': [2, 4, 5, 7, 8], 'lag': [1, 2, 4]}, {'starts': [[2, 0], [4, 38], [5, 0], [7, 38], [8, 68]], 'cycle': 104}), ({'ring1': [[1, 28], [2, 30], [3, 19], [4, 35]], 'ring2': [[5, 9], [6, 24], [7, 23], [8, 39]], 'calls': [2, 3, 4, 5, 7, 8], 'lag': [3, 6]}, {'starts': [[2, 0], [3, 65], [4, 30], [5, 0], [7, 30], [8, 53]], 'cycle': 92}), ({'ring1': [[1, 32], [2, 16], [3, 27], [4, 30]], 'ring2': [[5, 31], [6, 27], [7, 24], [8, 31]], 'calls': [1, 2, 3, 5, 6, 8], 'lag': [4, 8]}, {'starts': [[1, 0], [2, 32], [3, 58], [5, 0], [6, 31], [8, 58]], 'cycle': 89}), ({'ring1': [[1, 15], [2, 34], [3, 13], [4, 29]], 'ring2': [[5, 15], [6, 13], [7, 39], [8, 38]], 'calls': [1, 3, 4, 7, 8], 'lag': [8]}, {'starts': [[1, 0], [3, 15], [4, 28], [7, 15], [8, 54]], 'cycle': 92}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [2, 4, 6, 7, 8], 'lag': []}, {'starts': [[2, 0], [4, 30], [6, 0], [7, 30], [8, 42]], 'cycle': 72})], [({'ring1': [[1, 38], [2, 38], [3, 28], [4, 37]], 'ring2': [[5, 40], [6, 14], [7, 15], [8, 9]], 'calls': [3, 6, 7], 'lag': []}, {'starts': [[3, 14], [6, 0], [7, 14]], 'cycle': 42}), ({'ring1': [[1, 27], [2, 9], [3, 25], [4, 39]], 'ring2': [[5, 15], [6, 25], [7, 38], [8, 11]], 'calls': [1, 3, 4, 5, 6, 8], 'lag': [2, 4, 7]}, {'starts': [[1, 0], [3, 40], [4, 65], [5, 0], [6, 15], [8, 40]], 'cycle': 104}), ({'ring1': [[1, 22], [2, 29], [3, 31], [4, 18]], 'ring2': [[5, 31], [6, 10], [7, 37], [8, 9]], 'calls': [3, 4, 6, 7, 8], 'lag': [3, 6, 8]}, {'starts': [[3, 28], [4, 10], [6, 0], [7, 10], [8, 47]], 'cycle': 59}), ({'ring1': [[1, 23], [2, 9], [3, 14], [4, 24]], 'ring2': [[5, 37], [6, 26], [7, 8], [8, 18]], 'calls': [2, 3, 4, 5, 6], 'lag': []}, {'starts': [[2, 0], [3, 63], [4, 77], [5, 0], [6, 37]], 'cycle': 101}), ({'ring1': [[1, 36], [2, 17], [3, 14], [4, 23]], 'ring2': [[5, 15], [6, 17], [7, 33], [8, 10]], 'calls': [1, 2, 4, 5, 6, 7], 'lag': []}, {'starts': [[1, 0], [2, 36], [4, 53], [5, 0], [6, 15], [7, 53]], 'cycle': 86}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [2, 4, 6, 7, 8], 'lag': []}, {'starts': [[2, 0], [4, 30], [6, 0], [7, 30], [8, 42]], 'cycle': 72}), ({'ring1': [[1, 31], [2, 20], [3, 40], [4, 18]], 'ring2': [[5, 18], [6, 38], [7, 27], [8, 35]], 'calls': [2, 3, 4, 5, 6, 8], 'lag': [2, 5, 8]}, {'starts': [[2, 0], [3, 56], [4, 96], [5, 38], [6, 0], [8, 56]], 'cycle': 114}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [1, 2, 3, 4, 5, 6, 7, 8], 'lag': [1]}, {'starts': [[1, 30], [2, 0], [3, 42], [4, 52], [5, 0], [6, 15], [7, 42], [8, 54]], 'cycle': 84})]]
for i, (args, expected) in enumerate(fixtures[N-1]):
check('timing oracle' + ' %d' % i, 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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| timing oracle 0 | {'cycle': 33, 'starts': [[7, 0]]} | {'cycle': 33, 'starts': [[7, 0]]} | Passed |
| timing oracle 1 | {'cycle': 117, 'starts': [[2, 0], [4, 50], [6, 30], [7, 75], [8, 87]]} | {'cycle': 72, 'starts': [[2, 0], [4, 30], [6, 0], [7, 30], [8, 42]]} | Failed |
| timing oracle 2 | {'cycle': 154, 'starts': [[2, 0], [3, 84], [4, 57], [5, 24], [6, 8], [7, 110], [8, 126]]} | {'cycle': 102, 'starts': [[2, 0], [3, 76], [4, 49], [5, 16], [6, 0], [7, 49], [8, 65]]} | Failed |
| timing oracle 3 | {'cycle': 87, 'starts': [[1, 0], [2, 12], [3, 31], [4, 48], [8, 58]]} | {'cycle': 60, 'starts': [[1, 0], [2, 12], [3, 31], [4, 48], [8, 31]]} | Failed |
| timing oracle 4 | {'cycle': 154, 'starts': [[1, 30], [2, 0], [3, 77], [4, 87], [5, 42], [6, 57], [7, 112], [8, 124]]} | {'cycle': 84, 'starts': [[1, 30], [2, 0], [3, 42], [4, 52], [5, 0], [6, 15], [7, 42], [8, 54]]} | Failed |
| timing oracle 5 | {'cycle': 90, 'starts': [[1, 0], [3, 69], [4, 81], [5, 31]]} | {'cycle': 59, 'starts': [[1, 0], [3, 38], [4, 50], [5, 0]]} | Failed |
| timing oracle 6 | {'cycle': 142, 'starts': [[1, 0], [2, 29], [3, 78], [4, 107], [5, 40], [6, 48], [7, 132]]} | {'cycle': 94, 'starts': [[1, 0], [2, 29], [3, 40], [4, 69], [5, 0], [6, 8], [7, 40]]} | Failed |
| timing oracle 7 | {'cycle': 176, 'starts': [[1, 0], [3, 119], [4, 96], [5, 65], [6, 32], [7, 143], [8, 163]]} | {'cycle': 111, 'starts': [[1, 0], [3, 87], [4, 64], [5, 33], [6, 0], [7, 64], [8, 84]]} | Failed |
SHA-256 / fcbec53252aed5e99f9103576be020b46f7f6f298af3121c460a47765ec74420
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
calls = set(x['calls'])
lag = set(x['lag'])
t0 = 0
starts = []
for side in (0, 1):
ends = []
for ring in (x['ring1'], x['ring2']):
pair = ring[2 * side:2 * side + 2]
if pair[0][0] in lag:
pair = [pair[1], pair[0]]
t = t0
for ph, dur in pair:
if ph in calls:
starts.append([ph, t])
t += dur
ends.append(t)
t0 = max(ends)
return {'starts': sorted(starts), 'cycle': t0}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[({'ring1': [[1, 27], [2, 13], [3, 21], [4, 40]], 'ring2': [[5, 24], [6, 10], [7, 33], [8, 33]], 'calls': [7], 'lag': [1, 4]}, {'starts': [[7, 0]], 'cycle': 33}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [2, 4, 6, 7, 8], 'lag': []}, {'starts': [[2, 0], [4, 30], [6, 0], [7, 30], [8, 42]], 'cycle': 72}), ({'ring1': [[1, 20], [2, 8], [3, 26], [4, 27]], 'ring2': [[5, 33], [6, 16], [7, 16], [8, 28]], 'calls': [2, 3, 4, 5, 6, 7, 8], 'lag': [2, 3, 5, 6]}, {'starts': [[2, 0], [3, 76], [4, 49], [5, 16], [6, 0], [7, 49], [8, 65]], 'cycle': 102}), ({'ring1': [[1, 12], [2, 19], [3, 17], [4, 10]], 'ring2': [[5, 12], [6, 10], [7, 39], [8, 29]], 'calls': [1, 2, 3, 4, 8], 'lag': [8]}, {'starts': [[1, 0], [2, 12], [3, 31], [4, 48], [8, 31]], 'cycle': 60}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [1, 2, 3, 4, 5, 6, 7, 8], 'lag': [1]}, {'starts': [[1, 30], [2, 0], [3, 42], [4, 52], [5, 0], [6, 15], [7, 42], [8, 54]], 'cycle': 84}), ({'ring1': [[1, 31], [2, 15], [3, 12], [4, 9]], 'ring2': [[5, 38], [6, 18], [7, 31], [8, 26]], 'calls': [1, 3, 4, 5], 'lag': [1, 6, 8]}, {'starts': [[1, 0], [3, 38], [4, 50], [5, 0]], 'cycle': 59}), ({'ring1': [[1, 29], [2, 11], [3, 29], [4, 25]], 'ring2': [[5, 8], [6, 30], [7, 10], [8, 9]], 'calls': [1, 2, 3, 4, 5, 6, 7], 'lag': [4]}, {'starts': [[1, 0], [2, 29], [3, 40], [4, 69], [5, 0], [6, 8], [7, 40]], 'cycle': 94}), ({'ring1': [[1, 32], [2, 22], [3, 24], [4, 23]], 'ring2': [[5, 31], [6, 33], [7, 20], [8, 13]], 'calls': [1, 3, 4, 5, 6, 7, 8], 'lag': [2, 3, 5, 6, 8]}, {'starts': [[1, 0], [3, 87], [4, 64], [5, 33], [6, 0], [7, 64], [8, 84]], 'cycle': 111})], [({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [1, 2, 3, 4, 5, 6, 7, 8], 'lag': [1]}, {'starts': [[1, 30], [2, 0], [3, 42], [4, 52], [5, 0], [6, 15], [7, 42], [8, 54]], 'cycle': 84}), ({'ring1': [[1, 19], [2, 32], [3, 28], [4, 18]], 'ring2': [[5, 9], [6, 25], [7, 24], [8, 30]], 'calls': [1, 2, 3, 4, 5, 7], 'lag': [3, 4, 7]}, {'starts': [[1, 0], [2, 19], [3, 69], [4, 51], [5, 0], [7, 51]], 'cycle': 97}), ({'ring1': [[1, 39], [2, 35], [3, 39], [4, 34]], 'ring2': [[5, 11], [6, 23], [7, 32], [8, 29]], 'calls': [3, 5, 7, 8], 'lag': []}, {'starts': [[3, 11], [5, 0], [7, 11], [8, 43]], 'cycle': 72}), ({'ring1': [[1, 12], [2, 34], [3, 13], [4, 9]], 'ring2': [[5, 17], [6, 17], [7, 29], [8, 24]], 'calls': [1, 2, 3, 4, 8], 'lag': [2, 5]}, {'starts': [[1, 0], [2, 12], [3, 46], [4, 59], [8, 46]], 'cycle': 70}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [2, 4, 6, 7, 8], 'lag': []}, {'starts': [[2, 0], [4, 30], [6, 0], [7, 30], [8, 42]], 'cycle': 72}), ({'ring1': [[1, 9], [2, 38], [3, 33], [4, 35]], 'ring2': [[5, 31], [6, 40], [7, 14], [8, 17]], 'calls': [1, 2, 3, 4, 5, 6, 8], 'lag': [6]}, {'starts': [[1, 0], [2, 9], [3, 71], [4, 104], [5, 0], [6, 31], [8, 71]], 'cycle': 139}), ({'ring1': [[1, 13], [2, 22], [3, 32], [4, 16]], 'ring2': [[5, 17], [6, 18], [7, 8], [8, 9]], 'calls': [1, 2, 3, 7], 'lag': [2, 5, 6, 7, 8]}, {'starts': [[1, 0], [2, 13], [3, 35], [7, 35]], 'cycle': 67}), ({'ring1': [[1, 24], [2, 25], [3, 8], [4, 34]], 'ring2': [[5, 37], [6, 37], [7, 38], [8, 32]], 'calls': [2, 3, 4, 5, 6, 8], 'lag': [2]}, {'starts': [[2, 0], [3, 74], [4, 82], [5, 0], [6, 37], [8, 74]], 'cycle': 116})], [({'ring1': [[1, 9], [2, 8], [3, 12], [4, 16]], 'ring2': [[5, 17], [6, 15], [7, 30], [8, 19]], 'calls': [7, 8], 'lag': [8]}, {'starts': [[7, 0], [8, 30]], 'cycle': 49}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [1, 2, 3, 4, 5, 6, 7, 8], 'lag': [1]}, {'starts': [[1, 30], [2, 0], [3, 42], [4, 52], [5, 0], [6, 15], [7, 42], [8, 54]], 'cycle': 84}), ({'ring1': [[1, 35], [2, 21], [3, 29], [4, 11]], 'ring2': [[5, 12], [6, 36], [7, 23], [8, 14]], 'calls': [1, 4, 5, 7, 8], 'lag': [3, 4]}, {'starts': [[1, 0], [4, 35], [5, 0], [7, 35], [8, 58]], 'cycle': 72}), ({'ring1': [[1, 27], [2, 16], [3, 39], [4, 9]], 'ring2': [[5, 28], [6, 18], [7, 12], [8, 31]], 'calls': [2, 4, 5, 6, 8], 'lag': [2]}, {'starts': [[2, 0], [4, 46], [5, 0], [6, 28], [8, 46]], 'cycle': 77}), ({'ring1': [[1, 15], [2, 21], [3, 33], [4, 33]], 'ring2': [[5, 11], [6, 8], [7, 11], [8, 33]], 'calls': [1, 4, 5, 6, 7, 8], 'lag': []}, {'starts': [[1, 0], [4, 19], [5, 0], [6, 11], [7, 19], [8, 30]], 'cycle': 63}), ({'ring1': [[1, 13], [2, 31], [3, 9], [4, 16]], 'ring2': [[5, 36], [6, 37], [7, 9], [8, 30]], 'calls': [1, 2, 6, 7, 8], 'lag': []}, {'starts': [[1, 0], [2, 13], [6, 0], [7, 44], [8, 53]], 'cycle': 83}), ({'ring1': [[1, 36], [2, 18], [3, 12], [4, 14]], 'ring2': [[5, 10], [6, 10], [7, 11], [8, 33]], 'calls': [7, 8], 'lag': [1, 4]}, {'starts': [[7, 0], [8, 11]], 'cycle': 44}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [2, 4, 6, 7, 8], 'lag': []}, {'starts': [[2, 0], [4, 30], [6, 0], [7, 30], [8, 42]], 'cycle': 72})], [({'ring1': [[1, 35], [2, 29], [3, 26], [4, 35]], 'ring2': [[5, 39], [6, 30], [7, 35], [8, 32]], 'calls': [3, 4, 8], 'lag': []}, {'starts': [[3, 0], [4, 26], [8, 0]], 'cycle': 61}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [1, 2, 3, 4, 5, 6, 7, 8], 'lag': [1]}, {'starts': [[1, 30], [2, 0], [3, 42], [4, 52], [5, 0], [6, 15], [7, 42], [8, 54]], 'cycle': 84}), ({'ring1': [[1, 30], [2, 24], [3, 29], [4, 34]], 'ring2': [[5, 38], [6, 36], [7, 13], [8, 26]], 'calls': [3, 4], 'lag': [1, 3, 8]}, {'starts': [[3, 34], [4, 0]], 'cycle': 63}), ({'ring1': [[1, 15], [2, 38], [3, 24], [4, 32]], 'ring2': [[5, 25], [6, 40], [7, 30], [8, 36]], 'calls': [2, 4, 5, 7, 8], 'lag': [1, 2, 4]}, {'starts': [[2, 0], [4, 38], [5, 0], [7, 38], [8, 68]], 'cycle': 104}), ({'ring1': [[1, 28], [2, 30], [3, 19], [4, 35]], 'ring2': [[5, 9], [6, 24], [7, 23], [8, 39]], 'calls': [2, 3, 4, 5, 7, 8], 'lag': [3, 6]}, {'starts': [[2, 0], [3, 65], [4, 30], [5, 0], [7, 30], [8, 53]], 'cycle': 92}), ({'ring1': [[1, 32], [2, 16], [3, 27], [4, 30]], 'ring2': [[5, 31], [6, 27], [7, 24], [8, 31]], 'calls': [1, 2, 3, 5, 6, 8], 'lag': [4, 8]}, {'starts': [[1, 0], [2, 32], [3, 58], [5, 0], [6, 31], [8, 58]], 'cycle': 89}), ({'ring1': [[1, 15], [2, 34], [3, 13], [4, 29]], 'ring2': [[5, 15], [6, 13], [7, 39], [8, 38]], 'calls': [1, 3, 4, 7, 8], 'lag': [8]}, {'starts': [[1, 0], [3, 15], [4, 28], [7, 15], [8, 54]], 'cycle': 92}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [2, 4, 6, 7, 8], 'lag': []}, {'starts': [[2, 0], [4, 30], [6, 0], [7, 30], [8, 42]], 'cycle': 72})], [({'ring1': [[1, 38], [2, 38], [3, 28], [4, 37]], 'ring2': [[5, 40], [6, 14], [7, 15], [8, 9]], 'calls': [3, 6, 7], 'lag': []}, {'starts': [[3, 14], [6, 0], [7, 14]], 'cycle': 42}), ({'ring1': [[1, 27], [2, 9], [3, 25], [4, 39]], 'ring2': [[5, 15], [6, 25], [7, 38], [8, 11]], 'calls': [1, 3, 4, 5, 6, 8], 'lag': [2, 4, 7]}, {'starts': [[1, 0], [3, 40], [4, 65], [5, 0], [6, 15], [8, 40]], 'cycle': 104}), ({'ring1': [[1, 22], [2, 29], [3, 31], [4, 18]], 'ring2': [[5, 31], [6, 10], [7, 37], [8, 9]], 'calls': [3, 4, 6, 7, 8], 'lag': [3, 6, 8]}, {'starts': [[3, 28], [4, 10], [6, 0], [7, 10], [8, 47]], 'cycle': 59}), ({'ring1': [[1, 23], [2, 9], [3, 14], [4, 24]], 'ring2': [[5, 37], [6, 26], [7, 8], [8, 18]], 'calls': [2, 3, 4, 5, 6], 'lag': []}, {'starts': [[2, 0], [3, 63], [4, 77], [5, 0], [6, 37]], 'cycle': 101}), ({'ring1': [[1, 36], [2, 17], [3, 14], [4, 23]], 'ring2': [[5, 15], [6, 17], [7, 33], [8, 10]], 'calls': [1, 2, 4, 5, 6, 7], 'lag': []}, {'starts': [[1, 0], [2, 36], [4, 53], [5, 0], [6, 15], [7, 53]], 'cycle': 86}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [2, 4, 6, 7, 8], 'lag': []}, {'starts': [[2, 0], [4, 30], [6, 0], [7, 30], [8, 42]], 'cycle': 72}), ({'ring1': [[1, 31], [2, 20], [3, 40], [4, 18]], 'ring2': [[5, 18], [6, 38], [7, 27], [8, 35]], 'calls': [2, 3, 4, 5, 6, 8], 'lag': [2, 5, 8]}, {'starts': [[2, 0], [3, 56], [4, 96], [5, 38], [6, 0], [8, 56]], 'cycle': 114}), ({'ring1': [[1, 12], [2, 30], [3, 10], [4, 25]], 'ring2': [[5, 15], [6, 20], [7, 12], [8, 30]], 'calls': [1, 2, 3, 4, 5, 6, 7, 8], 'lag': [1]}, {'starts': [[1, 30], [2, 0], [3, 42], [4, 52], [5, 0], [6, 15], [7, 42], [8, 54]], 'cycle': 84})]]
for i, (args, expected) in enumerate(fixtures[N-1]):
check('timing oracle' + ' %d' % i, 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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| timing oracle 0 | {'cycle': 33, 'starts': [[7, 0]]} | {'cycle': 33, 'starts': [[7, 0]]} | Passed |
| timing oracle 1 | {'cycle': 72, 'starts': [[2, 0], [4, 30], [6, 0], [7, 30], [8, 42]]} | {'cycle': 72, 'starts': [[2, 0], [4, 30], [6, 0], [7, 30], [8, 42]]} | Passed |
| timing oracle 2 | {'cycle': 102, 'starts': [[2, 0], [3, 76], [4, 49], [5, 16], [6, 0], [7, 49], [8, 65]]} | {'cycle': 102, 'starts': [[2, 0], [3, 76], [4, 49], [5, 16], [6, 0], [7, 49], [8, 65]]} | Passed |
| timing oracle 3 | {'cycle': 60, 'starts': [[1, 0], [2, 12], [3, 31], [4, 48], [8, 31]]} | {'cycle': 60, 'starts': [[1, 0], [2, 12], [3, 31], [4, 48], [8, 31]]} | Passed |
| timing oracle 4 | {'cycle': 84, 'starts': [[1, 30], [2, 0], [3, 42], [4, 52], [5, 0], [6, 15], [7, 42], [8, 54]]} | {'cycle': 84, 'starts': [[1, 30], [2, 0], [3, 42], [4, 52], [5, 0], [6, 15], [7, 42], [8, 54]]} | Passed |
| timing oracle 5 | {'cycle': 59, 'starts': [[1, 0], [3, 38], [4, 50], [5, 0]]} | {'cycle': 59, 'starts': [[1, 0], [3, 38], [4, 50], [5, 0]]} | Passed |
| timing oracle 6 | {'cycle': 94, 'starts': [[1, 0], [2, 29], [3, 40], [4, 69], [5, 0], [6, 8], [7, 40]]} | {'cycle': 94, 'starts': [[1, 0], [2, 29], [3, 40], [4, 69], [5, 0], [6, 8], [7, 40]]} | Passed |
| timing oracle 7 | {'cycle': 111, 'starts': [[1, 0], [3, 87], [4, 64], [5, 33], [6, 0], [7, 64], [8, 84]]} | {'cycle': 111, 'starts': [[1, 0], [3, 87], [4, 64], [5, 33], [6, 0], [7, 64], [8, 84]]} | Passed |
SHA-256 / e13596ba91012a748dca2f146abe4c862ba6545763c6fb548d8a8324576d5acd
Verification & scope
A deterministic, bounded toy model with a stipulated contract; it makes no claim of conformance to any agency manual or standard. 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:47:59.191497+00:00.
Case digest / 4956165ec2ecf43f4278a40e9dd53d9feda833b3d06e513dbc027346cf075086