FA-73916 / Feature flag rollout bucketing / Open access
Prerequisite flag chain: An off prerequisite passes when its off value matches · case 01
A dependent flag turns on although its prerequisite flag is switched off.
ROOT CAUSE
Only the served variation is compared; the OFF reason of the prerequisite is ignored.
VERIFIED REPAIR
Treat a prerequisite as unmet if it is off or serves a different variation.
Unsuccessful approach: Requiring the prerequisite reason to be ON also rejects prerequisites that are on but failed their own prerequisites.
Case contract
flags maps key -> {on, off, serve, prereqs:[[key, required variation]]}. Missing flags yield [None, MISSING, key]; revisiting a flag on the current path yields [None, CYCLE, key] (checked before on/off). An off flag serves [off, OFF, None]. Prerequisites are evaluated in order; MISSING/CYCLE results propagate unchanged; the first prerequisite that is OFF or serves a different variation stops evaluation with [off, PREREQUISITE_FAILED, that prerequisite key]. A prerequisite that itself failed counts as serving its off variation. Otherwise [serve, ON, None].
Why this case matters
Prerequisite chains gate dependent features and must fail closed with an actionable reason.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(flags, name):
def ev(key, stack):
f = flags.get(key)
if f is None:
return [None, 'MISSING', key]
if key in stack:
return [None, 'CYCLE', key]
if not f['on']:
return [f['off'], 'OFF', None]
for pre, want in f.get('prereqs', []):
got = ev(pre, stack + [key])
if got[1] in ('MISSING', 'CYCLE'):
return got
if got[0] != want:
return [f['off'], 'PREREQUISITE_FAILED', pre]
return [f['serve'], 'ON', None]
return ev(name, [])
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('off prerequisite whose off value equals the requirement fails',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'off']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('failure names the unmet prerequisite',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('cycle through an off member reports CYCLE',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on']]}},
'a'],
[None, 'CYCLE', 'a']),
('missing prerequisite propagates MISSING',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['zz', 'on']]}}, 'a'],
[None, 'MISSING', 'zz']),
('first unmet prerequisite stops evaluation',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('nested failure serving required off variation passes',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'x']]},
'b': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['c', 'on']]},
'c': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['on', 'ON', None]),
('prerequisite graph sample 1',
[{'a': {'on': False, 'off': 'x', 'serve': 'on', 'prereqs': []},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['e', 'on'], ['e', 'off']]},
'c': {'on': False, 'off': 'x', 'serve': 'x', 'prereqs': [['c', 'on']]},
'e': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['b', 'x'], ['e', 'x'], ['b', 'off']]}},
'd'],
[None, 'MISSING', 'd']),
('prerequisite graph sample 2',
[{'a': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': []},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on'], ['c', 'on']]},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['z', 'on'], ['d', 'x'], ['c', 'x']]},
'e': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on'], ['c', 'on']]}},
'b'],
[None, 'MISSING', 'z'])],
[('off prerequisite whose off value equals the requirement fails',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'off']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('failure names the unmet prerequisite',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('cycle through an off member reports CYCLE',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on']]}},
'a'],
[None, 'CYCLE', 'a']),
('missing prerequisite propagates MISSING',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['zz', 'on']]}}, 'a'],
[None, 'MISSING', 'zz']),
('first unmet prerequisite stops evaluation',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('later missing prerequisite is never reached',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['zz', 'on']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('nested failure serving required off variation passes',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'x']]},
'b': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['c', 'on']]},
'c': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['on', 'ON', None]),
('prerequisite graph sample 55',
[{'a': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': [['e', 'x']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['e', 'off']]},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['z', 'x']]},
'd': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['z', 'on'], ['a', 'on'], ['z', 'on']]},
'e': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'b'],
['off', 'PREREQUISITE_FAILED', 'e'])],
[('off prerequisite whose off value equals the requirement fails',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'off']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('cycle through an off member reports CYCLE',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on']]}},
'a'],
[None, 'CYCLE', 'a']),
('missing prerequisite propagates MISSING',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['zz', 'on']]}}, 'a'],
[None, 'MISSING', 'zz']),
('first unmet prerequisite stops evaluation',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('later missing prerequisite is never reached',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['zz', 'on']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('nested failure serving required off variation passes',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'x']]},
'b': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['c', 'on']]},
'c': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['on', 'ON', None]),
('prerequisite graph sample 11',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['c', 'on']]},
'b': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': [['z', 'x'], ['b', 'on']]},
'c': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': []},
'd': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['b', 'x'], ['z', 'x'], ['e', 'on']]},
'e': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'e'],
['on', 'ON', None]),
('prerequisite graph sample 12',
[{'a': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['c', 'on'], ['z', 'x']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['b', 'on']]},
'c': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['b', 'on']]},
'e': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': []}},
'c'],
[None, 'CYCLE', 'b'])],
[('missing prerequisite propagates MISSING',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['zz', 'on']]}}, 'a'],
[None, 'MISSING', 'zz']),
('first unmet prerequisite stops evaluation',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('later missing prerequisite is never reached',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['zz', 'on']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('nested failure serving required off variation passes',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'x']]},
'b': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['c', 'on']]},
'c': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['on', 'ON', None]),
('cycle revisits the root',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on']]}},
'a'],
[None, 'CYCLE', 'a']),
('prerequisite graph sample 16',
[{'a': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': []},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['c', 'on'], ['d', 'off']]},
'c': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': []},
'd': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['z', 'off'], ['z', 'on']]},
'e': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['d', 'on']]}},
'c'],
['x', 'ON', None]),
('prerequisite graph sample 17',
[{'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['c', 'off']]},
'c': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'd'],
[None, 'MISSING', 'd']),
('prerequisite graph sample 55',
[{'a': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': [['e', 'x']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['e', 'off']]},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['z', 'x']]},
'd': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['z', 'on'], ['a', 'on'], ['z', 'on']]},
'e': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'b'],
['off', 'PREREQUISITE_FAILED', 'e'])],
[('off prerequisite whose off value equals the requirement fails',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'off']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('first unmet prerequisite stops evaluation',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('later missing prerequisite is never reached',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['zz', 'on']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('nested failure serving required off variation passes',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'x']]},
'b': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['c', 'on']]},
'c': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['on', 'ON', None]),
('cycle revisits the root',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on']]}},
'a'],
[None, 'CYCLE', 'a']),
('diamond dependency is not a cycle',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['d', 'on']]},
'c': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['d', 'on']]},
'd': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['on', 'ON', None]),
('prerequisite graph sample 21',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['b', 'on'], ['d', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['d', 'off'], ['a', 'on'], ['d', 'x']]},
'c': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'x']]},
'd': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'e'],
[None, 'MISSING', 'e']),
('prerequisite graph sample 22',
[{'a': {'on': False, 'off': 'off', 'serve': 'x', 'prereqs': [['d', 'x'], ['e', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['c', 'off'], ['a', 'x']]},
'c': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': [['c', 'on']]},
'd': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': []},
'e': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on']]}},
'a'],
['off', 'OFF', None])]]
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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| off prerequisite whose off value equals the requirement fails | ['on', 'ON', None] | ['off', 'PREREQUISITE_FAILED', 'b'] | Failed |
| failure names the unmet prerequisite | ['off', 'PREREQUISITE_FAILED', 'b'] | ['off', 'PREREQUISITE_FAILED', 'b'] | Passed |
| cycle through an off member reports CYCLE | [None, 'CYCLE', 'a'] | [None, 'CYCLE', 'a'] | Passed |
| missing prerequisite propagates MISSING | [None, 'MISSING', 'zz'] | [None, 'MISSING', 'zz'] | Passed |
| first unmet prerequisite stops evaluation | ['off', 'PREREQUISITE_FAILED', 'b'] | ['off', 'PREREQUISITE_FAILED', 'b'] | Passed |
| nested failure serving required off variation passes | ['on', 'ON', None] | ['on', 'ON', None] | Passed |
| prerequisite graph sample 1 | [None, 'MISSING', 'd'] | [None, 'MISSING', 'd'] | Passed |
| prerequisite graph sample 2 | [None, 'MISSING', 'z'] | [None, 'MISSING', 'z'] | Passed |
SHA-256 / ad2d12741b132dfb2b04af6c25434019bde9e0da215c3cc065371947bcf5b01c
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(flags, name):
def ev(key, stack):
f = flags.get(key)
if f is None:
return [None, 'MISSING', key]
if key in stack:
return [None, 'CYCLE', key]
if not f['on']:
return [f['off'], 'OFF', None]
for pre, want in f.get('prereqs', []):
got = ev(pre, stack + [key])
if got[1] in ('MISSING', 'CYCLE'):
return got
if got[0] != want or got[1] != 'ON':
return [f['off'], 'PREREQUISITE_FAILED', pre]
return [f['serve'], 'ON', None]
return ev(name, [])
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('off prerequisite whose off value equals the requirement fails',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'off']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('failure names the unmet prerequisite',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('cycle through an off member reports CYCLE',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on']]}},
'a'],
[None, 'CYCLE', 'a']),
('missing prerequisite propagates MISSING',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['zz', 'on']]}}, 'a'],
[None, 'MISSING', 'zz']),
('first unmet prerequisite stops evaluation',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('nested failure serving required off variation passes',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'x']]},
'b': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['c', 'on']]},
'c': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['on', 'ON', None]),
('prerequisite graph sample 1',
[{'a': {'on': False, 'off': 'x', 'serve': 'on', 'prereqs': []},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['e', 'on'], ['e', 'off']]},
'c': {'on': False, 'off': 'x', 'serve': 'x', 'prereqs': [['c', 'on']]},
'e': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['b', 'x'], ['e', 'x'], ['b', 'off']]}},
'd'],
[None, 'MISSING', 'd']),
('prerequisite graph sample 2',
[{'a': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': []},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on'], ['c', 'on']]},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['z', 'on'], ['d', 'x'], ['c', 'x']]},
'e': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on'], ['c', 'on']]}},
'b'],
[None, 'MISSING', 'z'])],
[('off prerequisite whose off value equals the requirement fails',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'off']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('failure names the unmet prerequisite',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('cycle through an off member reports CYCLE',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on']]}},
'a'],
[None, 'CYCLE', 'a']),
('missing prerequisite propagates MISSING',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['zz', 'on']]}}, 'a'],
[None, 'MISSING', 'zz']),
('first unmet prerequisite stops evaluation',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('later missing prerequisite is never reached',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['zz', 'on']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('nested failure serving required off variation passes',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'x']]},
'b': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['c', 'on']]},
'c': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['on', 'ON', None]),
('prerequisite graph sample 55',
[{'a': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': [['e', 'x']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['e', 'off']]},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['z', 'x']]},
'd': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['z', 'on'], ['a', 'on'], ['z', 'on']]},
'e': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'b'],
['off', 'PREREQUISITE_FAILED', 'e'])],
[('off prerequisite whose off value equals the requirement fails',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'off']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('cycle through an off member reports CYCLE',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on']]}},
'a'],
[None, 'CYCLE', 'a']),
('missing prerequisite propagates MISSING',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['zz', 'on']]}}, 'a'],
[None, 'MISSING', 'zz']),
('first unmet prerequisite stops evaluation',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('later missing prerequisite is never reached',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['zz', 'on']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('nested failure serving required off variation passes',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'x']]},
'b': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['c', 'on']]},
'c': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['on', 'ON', None]),
('prerequisite graph sample 11',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['c', 'on']]},
'b': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': [['z', 'x'], ['b', 'on']]},
'c': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': []},
'd': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['b', 'x'], ['z', 'x'], ['e', 'on']]},
'e': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'e'],
['on', 'ON', None]),
('prerequisite graph sample 12',
[{'a': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['c', 'on'], ['z', 'x']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['b', 'on']]},
'c': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['b', 'on']]},
'e': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': []}},
'c'],
[None, 'CYCLE', 'b'])],
[('missing prerequisite propagates MISSING',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['zz', 'on']]}}, 'a'],
[None, 'MISSING', 'zz']),
('first unmet prerequisite stops evaluation',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('later missing prerequisite is never reached',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['zz', 'on']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('nested failure serving required off variation passes',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'x']]},
'b': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['c', 'on']]},
'c': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['on', 'ON', None]),
('cycle revisits the root',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on']]}},
'a'],
[None, 'CYCLE', 'a']),
('prerequisite graph sample 16',
[{'a': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': []},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['c', 'on'], ['d', 'off']]},
'c': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': []},
'd': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['z', 'off'], ['z', 'on']]},
'e': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['d', 'on']]}},
'c'],
['x', 'ON', None]),
('prerequisite graph sample 17',
[{'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['c', 'off']]},
'c': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'd'],
[None, 'MISSING', 'd']),
('prerequisite graph sample 55',
[{'a': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': [['e', 'x']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['e', 'off']]},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['z', 'x']]},
'd': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['z', 'on'], ['a', 'on'], ['z', 'on']]},
'e': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'b'],
['off', 'PREREQUISITE_FAILED', 'e'])],
[('off prerequisite whose off value equals the requirement fails',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'off']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('first unmet prerequisite stops evaluation',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('later missing prerequisite is never reached',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['zz', 'on']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('nested failure serving required off variation passes',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'x']]},
'b': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['c', 'on']]},
'c': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['on', 'ON', None]),
('cycle revisits the root',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on']]}},
'a'],
[None, 'CYCLE', 'a']),
('diamond dependency is not a cycle',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['d', 'on']]},
'c': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['d', 'on']]},
'd': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['on', 'ON', None]),
('prerequisite graph sample 21',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['b', 'on'], ['d', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['d', 'off'], ['a', 'on'], ['d', 'x']]},
'c': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'x']]},
'd': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'e'],
[None, 'MISSING', 'e']),
('prerequisite graph sample 22',
[{'a': {'on': False, 'off': 'off', 'serve': 'x', 'prereqs': [['d', 'x'], ['e', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['c', 'off'], ['a', 'x']]},
'c': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': [['c', 'on']]},
'd': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': []},
'e': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on']]}},
'a'],
['off', 'OFF', None])]]
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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| off prerequisite whose off value equals the requirement fails | ['off', 'PREREQUISITE_FAILED', 'b'] | ['off', 'PREREQUISITE_FAILED', 'b'] | Passed |
| failure names the unmet prerequisite | ['off', 'PREREQUISITE_FAILED', 'b'] | ['off', 'PREREQUISITE_FAILED', 'b'] | Passed |
| cycle through an off member reports CYCLE | [None, 'CYCLE', 'a'] | [None, 'CYCLE', 'a'] | Passed |
| missing prerequisite propagates MISSING | [None, 'MISSING', 'zz'] | [None, 'MISSING', 'zz'] | Passed |
| first unmet prerequisite stops evaluation | ['off', 'PREREQUISITE_FAILED', 'b'] | ['off', 'PREREQUISITE_FAILED', 'b'] | Passed |
| nested failure serving required off variation passes | ['off', 'PREREQUISITE_FAILED', 'b'] | ['on', 'ON', None] | Failed |
| prerequisite graph sample 1 | [None, 'MISSING', 'd'] | [None, 'MISSING', 'd'] | Passed |
| prerequisite graph sample 2 | [None, 'MISSING', 'z'] | [None, 'MISSING', 'z'] | Passed |
SHA-256 / 2d5ddc37869e8e5119138d2fcfc1af0aab0e021720e1717b74b1cc4d96698f3b
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(flags, name):
def ev(key, stack):
f = flags.get(key)
if f is None:
return [None, 'MISSING', key]
if key in stack:
return [None, 'CYCLE', key]
if not f['on']:
return [f['off'], 'OFF', None]
for pre, want in f.get('prereqs', []):
got = ev(pre, stack + [key])
if got[1] in ('MISSING', 'CYCLE'):
return got
if got[0] != want or got[1] == 'OFF':
return [f['off'], 'PREREQUISITE_FAILED', pre]
return [f['serve'], 'ON', None]
return ev(name, [])
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('off prerequisite whose off value equals the requirement fails',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'off']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('failure names the unmet prerequisite',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('cycle through an off member reports CYCLE',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on']]}},
'a'],
[None, 'CYCLE', 'a']),
('missing prerequisite propagates MISSING',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['zz', 'on']]}}, 'a'],
[None, 'MISSING', 'zz']),
('first unmet prerequisite stops evaluation',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('nested failure serving required off variation passes',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'x']]},
'b': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['c', 'on']]},
'c': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['on', 'ON', None]),
('prerequisite graph sample 1',
[{'a': {'on': False, 'off': 'x', 'serve': 'on', 'prereqs': []},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['e', 'on'], ['e', 'off']]},
'c': {'on': False, 'off': 'x', 'serve': 'x', 'prereqs': [['c', 'on']]},
'e': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['b', 'x'], ['e', 'x'], ['b', 'off']]}},
'd'],
[None, 'MISSING', 'd']),
('prerequisite graph sample 2',
[{'a': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': []},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on'], ['c', 'on']]},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['z', 'on'], ['d', 'x'], ['c', 'x']]},
'e': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on'], ['c', 'on']]}},
'b'],
[None, 'MISSING', 'z'])],
[('off prerequisite whose off value equals the requirement fails',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'off']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('failure names the unmet prerequisite',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('cycle through an off member reports CYCLE',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on']]}},
'a'],
[None, 'CYCLE', 'a']),
('missing prerequisite propagates MISSING',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['zz', 'on']]}}, 'a'],
[None, 'MISSING', 'zz']),
('first unmet prerequisite stops evaluation',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('later missing prerequisite is never reached',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['zz', 'on']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('nested failure serving required off variation passes',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'x']]},
'b': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['c', 'on']]},
'c': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['on', 'ON', None]),
('prerequisite graph sample 55',
[{'a': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': [['e', 'x']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['e', 'off']]},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['z', 'x']]},
'd': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['z', 'on'], ['a', 'on'], ['z', 'on']]},
'e': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'b'],
['off', 'PREREQUISITE_FAILED', 'e'])],
[('off prerequisite whose off value equals the requirement fails',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'off']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('cycle through an off member reports CYCLE',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on']]}},
'a'],
[None, 'CYCLE', 'a']),
('missing prerequisite propagates MISSING',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['zz', 'on']]}}, 'a'],
[None, 'MISSING', 'zz']),
('first unmet prerequisite stops evaluation',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('later missing prerequisite is never reached',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['zz', 'on']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('nested failure serving required off variation passes',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'x']]},
'b': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['c', 'on']]},
'c': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['on', 'ON', None]),
('prerequisite graph sample 11',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['c', 'on']]},
'b': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': [['z', 'x'], ['b', 'on']]},
'c': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': []},
'd': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['b', 'x'], ['z', 'x'], ['e', 'on']]},
'e': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'e'],
['on', 'ON', None]),
('prerequisite graph sample 12',
[{'a': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['c', 'on'], ['z', 'x']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['b', 'on']]},
'c': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['b', 'on']]},
'e': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': []}},
'c'],
[None, 'CYCLE', 'b'])],
[('missing prerequisite propagates MISSING',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['zz', 'on']]}}, 'a'],
[None, 'MISSING', 'zz']),
('first unmet prerequisite stops evaluation',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('later missing prerequisite is never reached',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['zz', 'on']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('nested failure serving required off variation passes',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'x']]},
'b': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['c', 'on']]},
'c': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['on', 'ON', None]),
('cycle revisits the root',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on']]}},
'a'],
[None, 'CYCLE', 'a']),
('prerequisite graph sample 16',
[{'a': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': []},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['c', 'on'], ['d', 'off']]},
'c': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': []},
'd': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['z', 'off'], ['z', 'on']]},
'e': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['d', 'on']]}},
'c'],
['x', 'ON', None]),
('prerequisite graph sample 17',
[{'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['c', 'off']]},
'c': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'd'],
[None, 'MISSING', 'd']),
('prerequisite graph sample 55',
[{'a': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': [['e', 'x']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['e', 'off']]},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['z', 'x']]},
'd': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['z', 'on'], ['a', 'on'], ['z', 'on']]},
'e': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'b'],
['off', 'PREREQUISITE_FAILED', 'e'])],
[('off prerequisite whose off value equals the requirement fails',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'off']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('first unmet prerequisite stops evaluation',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []},
'c': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('later missing prerequisite is never reached',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['zz', 'on']]},
'b': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['off', 'PREREQUISITE_FAILED', 'b']),
('nested failure serving required off variation passes',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'x']]},
'b': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': [['c', 'on']]},
'c': {'on': False, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['on', 'ON', None]),
('cycle revisits the root',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on']]}},
'a'],
[None, 'CYCLE', 'a']),
('diamond dependency is not a cycle',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['d', 'on']]},
'c': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['d', 'on']]},
'd': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'a'],
['on', 'ON', None]),
('prerequisite graph sample 21',
[{'a': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['b', 'on'], ['b', 'on'], ['d', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'x', 'prereqs': [['d', 'off'], ['a', 'on'], ['d', 'x']]},
'c': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'x']]},
'd': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': []}},
'e'],
[None, 'MISSING', 'e']),
('prerequisite graph sample 22',
[{'a': {'on': False, 'off': 'off', 'serve': 'x', 'prereqs': [['d', 'x'], ['e', 'on'], ['c', 'on']]},
'b': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['c', 'off'], ['a', 'x']]},
'c': {'on': True, 'off': 'x', 'serve': 'x', 'prereqs': [['c', 'on']]},
'd': {'on': True, 'off': 'x', 'serve': 'on', 'prereqs': []},
'e': {'on': True, 'off': 'off', 'serve': 'on', 'prereqs': [['a', 'on']]}},
'a'],
['off', 'OFF', None])]]
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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| off prerequisite whose off value equals the requirement fails | ['off', 'PREREQUISITE_FAILED', 'b'] | ['off', 'PREREQUISITE_FAILED', 'b'] | Passed |
| failure names the unmet prerequisite | ['off', 'PREREQUISITE_FAILED', 'b'] | ['off', 'PREREQUISITE_FAILED', 'b'] | Passed |
| cycle through an off member reports CYCLE | [None, 'CYCLE', 'a'] | [None, 'CYCLE', 'a'] | Passed |
| missing prerequisite propagates MISSING | [None, 'MISSING', 'zz'] | [None, 'MISSING', 'zz'] | Passed |
| first unmet prerequisite stops evaluation | ['off', 'PREREQUISITE_FAILED', 'b'] | ['off', 'PREREQUISITE_FAILED', 'b'] | Passed |
| nested failure serving required off variation passes | ['on', 'ON', None] | ['on', 'ON', None] | Passed |
| prerequisite graph sample 1 | [None, 'MISSING', 'd'] | [None, 'MISSING', 'd'] | Passed |
| prerequisite graph sample 2 | [None, 'MISSING', 'z'] | [None, 'MISSING', 'z'] | Passed |
SHA-256 / 75f66d9701ad5b1741a7134b4ca5c963afeac316953a3e496fbf845bd362787e
Verification & scope
A deterministic toy flag-evaluation model with a stipulated contract; it does not reproduce any vendor SDK byte for byte. 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:48:51.949470+00:00.
Case digest / 6fb8ee1d1bd8771806f4c97b27408aeaf2af29fe83489794a03a62b1f3c97990