{"abstract":"Rooms whose doors appear earlier in the edge list are never explored.","category":"Procedural level generation constraints","checks":8,"contract":"rooms maps room -> keys lying there; edges [a, b, lock] are two-way doors, lock None or a key colour. Keys are never consumed. Starting in start, repeatedly pick up keys in visited rooms and walk through doors that are open or whose key is held, until nothing changes. Returns {solvable: goal visited, keys: sorted keys held, visited: count}.","evaluation_group":"w2-procedural-level-generation-constraints-key-lock","failed_approach":"Re-sweeping only after locked doors misses chains of plain doors listed out of order.","family":"w2-procedural-level-generation-constraints-key-lock-fixpoint-after-traversal","id":"FA-86416","implementations":{"attempt":{"sha256":"1307d25c80abd492d13bf96bcea0bcfdb5bbaba752644be467298fdc03e1492c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(rooms, edges, start, goal):\n    have = set()\n    seen = {start}\n    changed = True\n    while changed:\n        changed = False\n        for r in list(seen):\n            for k in rooms.get(r, []):\n                if k not in have:\n                    have.add(k)\n                    changed = True\n        for a, b, lock in edges:\n            for u, v in ((a, b), (b, a)):\n                if u in seen and v not in seen and (lock is None or lock in have):\n                    seen.add(v)\n                    changed = lock is not None\n    return {'solvable': goal in seen, 'keys': sorted(have), 'visited': len(seen)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('key behind first door #1',\n   [{'r1': ['red']}, [['r1', 'r2', 'red'], ['r0', 'r1', None]], 'r0', 'r2'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('regression fixpoint after traversal #1',\n   [{'r0': ['gold'], 'r2': ['blue']},\n    [['r2', 'r1', 'gold'],\n     ['r3', 'r1', 'blue'],\n     ['r1', 'r3', None],\n     ['r1', 'r0', None],\n     ['r2', 'r3', 'blue']],\n    'r0',\n    'r3'],\n   {'solvable': True, 'keys': ['blue', 'gold'], 'visited': 4}),\n  ('regression fixpoint after traversal #2',\n   [{'r4': ['red']},\n    [['r3', 'r1', 'gold'], ['r3', 'r4', 'blue'], ['r2', 'r1', None], ['r1', 'r0', None]],\n    'r0',\n    'r3'],\n   {'solvable': False, 'keys': [], 'visited': 3}),\n  ('partial repair boundary #1',\n   [{'r0': ['red'], 'r3': ['gold']},\n    [['r4', 'r2', None], ['r0', 'r1', 'blue'], ['r2', 'r0', None], ['r2', 'r3', 'gold']],\n    'r0',\n    'r4'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('partial repair boundary #2',\n   [{'r0': ['red'], 'r1': ['gold'], 'r4': ['gold'], 'r5': ['blue'], 'r6': ['red']},\n    [['r1', 'r2', 'blue'],\n     ['r0', 'r2', 'red'],\n     ['r0', 'r1', 'blue'],\n     ['r3', 'r6', 'gold'],\n     ['r4', 'r0', None],\n     ['r3', 'r2', 'blue'],\n     ['r2', 'r5', None]],\n    'r0',\n    'r6'],\n   {'solvable': True, 'keys': ['blue', 'gold', 'red'], 'visited': 7}),\n  ('reverse listed door #1',\n   [{}, [['r1', 'r0', None]], 'r0', 'r1'],\n   {'solvable': True, 'keys': [], 'visited': 2}),\n  ('wrong colour #1',\n   [{'r0': ['blue']}, [['r0', 'r1', 'red']], 'r0', 'r1'],\n   {'solvable': False, 'keys': ['blue'], 'visited': 1}),\n  ('control #1',\n   [{'r0': ['gold'], 'r1': ['red'], 'r2': ['gold']},\n    [['r0', 'r1', 'red'], ['r2', 'r1', 'red'], ['r0', 'r2', None]],\n    'r0',\n    'r2'],\n   {'solvable': True, 'keys': ['gold'], 'visited': 2})],\n [('key behind first door #1',\n   [{'r1': ['red']}, [['r1', 'r2', 'red'], ['r0', 'r1', None]], 'r0', 'r2'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('regression fixpoint after traversal #1',\n   [{'r4': ['red']},\n    [['r3', 'r1', 'gold'], ['r3', 'r4', 'blue'], ['r2', 'r1', None], ['r1', 'r0', None]],\n    'r0',\n    'r3'],\n   {'solvable': False, 'keys': [], 'visited': 3}),\n  ('regression fixpoint after traversal #2',\n   [{'r3': ['blue'], 'r4': ['gold']},\n    [['r4', 'r1', 'blue'],\n     ['r5', 'r3', None],\n     ['r5', 'r4', 'red'],\n     ['r1', 'r0', 'gold'],\n     ['r0', 'r2', 'blue'],\n     ['r4', 'r0', None],\n     ['r3', 'r2', None]],\n    'r0',\n    'r4'],\n   {'solvable': True, 'keys': ['gold'], 'visited': 3}),\n  ('partial repair boundary #1',\n   [{'r0': ['red'], 'r3': ['gold']},\n    [['r4', 'r2', None], ['r0', 'r1', 'blue'], ['r2', 'r0', None], ['r2', 'r3', 'gold']],\n    'r0',\n    'r4'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('partial repair boundary #2',\n   [{'r0': ['red'], 'r1': ['gold'], 'r4': ['gold'], 'r5': ['blue'], 'r6': ['red']},\n    [['r1', 'r2', 'blue'],\n     ['r0', 'r2', 'red'],\n     ['r0', 'r1', 'blue'],\n     ['r3', 'r6', 'gold'],\n     ['r4', 'r0', None],\n     ['r3', 'r2', 'blue'],\n     ['r2', 'r5', None]],\n    'r0',\n    'r6'],\n   {'solvable': True, 'keys': ['blue', 'gold', 'red'], 'visited': 7}),\n  ('reverse listed door #1',\n   [{}, [['r1', 'r0', None]], 'r0', 'r1'],\n   {'solvable': True, 'keys': [], 'visited': 2}),\n  ('wrong colour #1',\n   [{'r0': ['blue']}, [['r0', 'r1', 'red']], 'r0', 'r1'],\n   {'solvable': False, 'keys': ['blue'], 'visited': 1}),\n  ('control #1',\n   [{'r0': ['gold'], 'r1': ['red'], 'r2': ['gold']},\n    [['r0', 'r1', 'red'], ['r2', 'r1', 'red'], ['r0', 'r2', None]],\n    'r0',\n    'r2'],\n   {'solvable': True, 'keys': ['gold'], 'visited': 2})],\n [('key behind first door #1',\n   [{'r1': ['red']}, [['r1', 'r2', 'red'], ['r0', 'r1', None]], 'r0', 'r2'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('regression fixpoint after traversal #1',\n   [{'r1': ['red']},\n    [['r3', 'r2', 'gold'], ['r1', 'r3', 'red'], ['r1', 'r0', 'gold'], ['r2', 'r0', None], ['r1', 'r2', None]],\n    'r0',\n    'r3'],\n   {'solvable': True, 'keys': ['red'], 'visited': 4}),\n  ('regression fixpoint after traversal #2',\n   [{'r4': ['blue']},\n    [['r6', 'r1', None],\n     ['r1', 'r0', None],\n     ['r1', 'r5', 'blue'],\n     ['r2', 'r1', 'gold'],\n     ['r4', 'r0', 'blue'],\n     ['r3', 'r6', None],\n     ['r4', 'r5', None],\n     ['r3', 'r1', 'gold']],\n    'r0',\n    'r2'],\n   {'solvable': False, 'keys': [], 'visited': 4}),\n  ('partial repair boundary #1',\n   [{'r0': ['red'], 'r1': ['gold'], 'r4': ['gold'], 'r5': ['blue'], 'r6': ['red']},\n    [['r1', 'r2', 'blue'],\n     ['r0', 'r2', 'red'],\n     ['r0', 'r1', 'blue'],\n     ['r3', 'r6', 'gold'],\n     ['r4', 'r0', None],\n     ['r3', 'r2', 'blue'],\n     ['r2', 'r5', None]],\n    'r0',\n    'r6'],\n   {'solvable': True, 'keys': ['blue', 'gold', 'red'], 'visited': 7}),\n  ('regression fixpoint after traversal #3',\n   [{'r3': ['blue'], 'r4': ['gold']},\n    [['r4', 'r1', 'blue'],\n     ['r5', 'r3', None],\n     ['r5', 'r4', 'red'],\n     ['r1', 'r0', 'gold'],\n     ['r0', 'r2', 'blue'],\n     ['r4', 'r0', None],\n     ['r3', 'r2', None]],\n    'r0',\n    'r4'],\n   {'solvable': True, 'keys': ['gold'], 'visited': 3}),\n  ('reverse listed door #1',\n   [{}, [['r1', 'r0', None]], 'r0', 'r1'],\n   {'solvable': True, 'keys': [], 'visited': 2}),\n  ('wrong colour #1',\n   [{'r0': ['blue']}, [['r0', 'r1', 'red']], 'r0', 'r1'],\n   {'solvable': False, 'keys': ['blue'], 'visited': 1}),\n  ('control #1',\n   [{'r0': ['gold'], 'r1': ['red'], 'r2': ['gold']},\n    [['r0', 'r1', 'red'], ['r2', 'r1', 'red'], ['r0', 'r2', None]],\n    'r0',\n    'r2'],\n   {'solvable': True, 'keys': ['gold'], 'visited': 2})],\n [('key behind first door #1',\n   [{'r1': ['red']}, [['r1', 'r2', 'red'], ['r0', 'r1', None]], 'r0', 'r2'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('regression fixpoint after traversal #1',\n   [{'r1': ['red'], 'r4': ['blue'], 'r6': ['gold']},\n    [['r1', 'r0', 'blue'],\n     ['r2', 'r6', 'blue'],\n     ['r5', 'r4', None],\n     ['r0', 'r2', 'gold'],\n     ['r1', 'r3', None],\n     ['r0', 'r4', None]],\n    'r0',\n    'r5'],\n   {'solvable': True, 'keys': ['blue', 'red'], 'visited': 5}),\n  ('regression fixpoint after traversal #2',\n   [{'r2': ['gold'], 'r3': ['red']},\n    [['r2', 'r0', None], ['r2', 'r4', 'gold'], ['r5', 'r4', None], ['r3', 'r2', None], ['r0', 'r1', 'gold']],\n    'r0',\n    'r1'],\n   {'solvable': True, 'keys': ['gold', 'red'], 'visited': 6}),\n  ('partial repair boundary #1',\n   [{'r0': ['blue'], 'r3': ['red']},\n    [['r1', 'r0', None],\n     ['r5', 'r3', None],\n     ['r1', 'r2', 'red'],\n     ['r3', 'r2', 'red'],\n     ['r0', 'r4', 'gold'],\n     ['r3', 'r1', None],\n     ['r0', 'r5', 'gold']],\n    'r0',\n    'r5'],\n   {'solvable': True, 'keys': ['blue', 'red'], 'visited': 5}),\n  ('regression fixpoint after traversal #3',\n   [{'r1': ['red']},\n    [['r3', 'r2', 'gold'], ['r1', 'r3', 'red'], ['r1', 'r0', 'gold'], ['r2', 'r0', None], ['r1', 'r2', None]],\n    'r0',\n    'r3'],\n   {'solvable': True, 'keys': ['red'], 'visited': 4}),\n  ('reverse listed door #1',\n   [{}, [['r1', 'r0', None]], 'r0', 'r1'],\n   {'solvable': True, 'keys': [], 'visited': 2}),\n  ('wrong colour #1',\n   [{'r0': ['blue']}, [['r0', 'r1', 'red']], 'r0', 'r1'],\n   {'solvable': False, 'keys': ['blue'], 'visited': 1}),\n  ('control #1', [{}, [['r0', 'r1', 'blue']], 'r0', 'r1'], {'solvable': False, 'keys': [], 'visited': 1})],\n [('key behind first door #1',\n   [{'r1': ['red']}, [['r1', 'r2', 'red'], ['r0', 'r1', None]], 'r0', 'r2'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('regression fixpoint after traversal #1',\n   [{'r1': ['red']},\n    [['r0', 'r1', None], ['r2', 'r3', 'blue'], ['r2', 'r1', 'gold'], ['r3', 'r1', None]],\n    'r0',\n    'r3'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('regression fixpoint after traversal #2',\n   [{'r1': ['blue'], 'r2': ['gold'], 'r4': ['red']},\n    [['r2', 'r0', None], ['r1', 'r0', None], ['r1', 'r4', None], ['r1', 'r3', None], ['r3', 'r5', 'gold']],\n    'r0',\n    'r1'],\n   {'solvable': True, 'keys': ['blue', 'gold', 'red'], 'visited': 6}),\n  ('regression fixpoint after traversal #3',\n   [{'r4': ['blue']},\n    [['r6', 'r1', None],\n     ['r1', 'r0', None],\n     ['r1', 'r5', 'blue'],\n     ['r2', 'r1', 'gold'],\n     ['r4', 'r0', 'blue'],\n     ['r3', 'r6', None],\n     ['r4', 'r5', None],\n     ['r3', 'r1', 'gold']],\n    'r0',\n    'r2'],\n   {'solvable': False, 'keys': [], 'visited': 4}),\n  ('regression fixpoint after traversal #4',\n   [{'r1': ['red'], 'r4': ['blue'], 'r6': ['gold']},\n    [['r1', 'r0', 'blue'],\n     ['r2', 'r6', 'blue'],\n     ['r5', 'r4', None],\n     ['r0', 'r2', 'gold'],\n     ['r1', 'r3', None],\n     ['r0', 'r4', None]],\n    'r0',\n    'r5'],\n   {'solvable': True, 'keys': ['blue', 'red'], 'visited': 5}),\n  ('reverse listed door #1',\n   [{}, [['r1', 'r0', None]], 'r0', 'r1'],\n   {'solvable': True, 'keys': [], 'visited': 2}),\n  ('wrong colour #1',\n   [{'r0': ['blue']}, [['r0', 'r1', 'red']], 'r0', 'r1'],\n   {'solvable': False, 'keys': ['blue'], 'visited': 1}),\n  ('control #1',\n   [{'r0': ['red']}, [['r0', 'r1', None]], 'r0', 'r1'],\n   {'solvable': True, 'keys': ['red'], 'visited': 2})]]\nfor label, args, expected in cases[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"f36c42c26d5bdf7f7dbd5b28989002d3901fb6fd51ca79694357b4aae0d44efd","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(rooms, edges, start, goal):\n    have = set()\n    seen = {start}\n    changed = True\n    while changed:\n        changed = False\n        for r in list(seen):\n            for k in rooms.get(r, []):\n                if k not in have:\n                    have.add(k)\n                    changed = True\n        for a, b, lock in edges:\n            for u, v in ((a, b), (b, a)):\n                if u in seen and v not in seen and (lock is None or lock in have):\n                    seen.add(v)\n    return {'solvable': goal in seen, 'keys': sorted(have), 'visited': len(seen)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('key behind first door #1',\n   [{'r1': ['red']}, [['r1', 'r2', 'red'], ['r0', 'r1', None]], 'r0', 'r2'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('regression fixpoint after traversal #1',\n   [{'r0': ['gold'], 'r2': ['blue']},\n    [['r2', 'r1', 'gold'],\n     ['r3', 'r1', 'blue'],\n     ['r1', 'r3', None],\n     ['r1', 'r0', None],\n     ['r2', 'r3', 'blue']],\n    'r0',\n    'r3'],\n   {'solvable': True, 'keys': ['blue', 'gold'], 'visited': 4}),\n  ('regression fixpoint after traversal #2',\n   [{'r4': ['red']},\n    [['r3', 'r1', 'gold'], ['r3', 'r4', 'blue'], ['r2', 'r1', None], ['r1', 'r0', None]],\n    'r0',\n    'r3'],\n   {'solvable': False, 'keys': [], 'visited': 3}),\n  ('partial repair boundary #1',\n   [{'r0': ['red'], 'r3': ['gold']},\n    [['r4', 'r2', None], ['r0', 'r1', 'blue'], ['r2', 'r0', None], ['r2', 'r3', 'gold']],\n    'r0',\n    'r4'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('partial repair boundary #2',\n   [{'r0': ['red'], 'r1': ['gold'], 'r4': ['gold'], 'r5': ['blue'], 'r6': ['red']},\n    [['r1', 'r2', 'blue'],\n     ['r0', 'r2', 'red'],\n     ['r0', 'r1', 'blue'],\n     ['r3', 'r6', 'gold'],\n     ['r4', 'r0', None],\n     ['r3', 'r2', 'blue'],\n     ['r2', 'r5', None]],\n    'r0',\n    'r6'],\n   {'solvable': True, 'keys': ['blue', 'gold', 'red'], 'visited': 7}),\n  ('reverse listed door #1',\n   [{}, [['r1', 'r0', None]], 'r0', 'r1'],\n   {'solvable': True, 'keys': [], 'visited': 2}),\n  ('wrong colour #1',\n   [{'r0': ['blue']}, [['r0', 'r1', 'red']], 'r0', 'r1'],\n   {'solvable': False, 'keys': ['blue'], 'visited': 1}),\n  ('control #1',\n   [{'r0': ['gold'], 'r1': ['red'], 'r2': ['gold']},\n    [['r0', 'r1', 'red'], ['r2', 'r1', 'red'], ['r0', 'r2', None]],\n    'r0',\n    'r2'],\n   {'solvable': True, 'keys': ['gold'], 'visited': 2})],\n [('key behind first door #1',\n   [{'r1': ['red']}, [['r1', 'r2', 'red'], ['r0', 'r1', None]], 'r0', 'r2'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('regression fixpoint after traversal #1',\n   [{'r4': ['red']},\n    [['r3', 'r1', 'gold'], ['r3', 'r4', 'blue'], ['r2', 'r1', None], ['r1', 'r0', None]],\n    'r0',\n    'r3'],\n   {'solvable': False, 'keys': [], 'visited': 3}),\n  ('regression fixpoint after traversal #2',\n   [{'r3': ['blue'], 'r4': ['gold']},\n    [['r4', 'r1', 'blue'],\n     ['r5', 'r3', None],\n     ['r5', 'r4', 'red'],\n     ['r1', 'r0', 'gold'],\n     ['r0', 'r2', 'blue'],\n     ['r4', 'r0', None],\n     ['r3', 'r2', None]],\n    'r0',\n    'r4'],\n   {'solvable': True, 'keys': ['gold'], 'visited': 3}),\n  ('partial repair boundary #1',\n   [{'r0': ['red'], 'r3': ['gold']},\n    [['r4', 'r2', None], ['r0', 'r1', 'blue'], ['r2', 'r0', None], ['r2', 'r3', 'gold']],\n    'r0',\n    'r4'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('partial repair boundary #2',\n   [{'r0': ['red'], 'r1': ['gold'], 'r4': ['gold'], 'r5': ['blue'], 'r6': ['red']},\n    [['r1', 'r2', 'blue'],\n     ['r0', 'r2', 'red'],\n     ['r0', 'r1', 'blue'],\n     ['r3', 'r6', 'gold'],\n     ['r4', 'r0', None],\n     ['r3', 'r2', 'blue'],\n     ['r2', 'r5', None]],\n    'r0',\n    'r6'],\n   {'solvable': True, 'keys': ['blue', 'gold', 'red'], 'visited': 7}),\n  ('reverse listed door #1',\n   [{}, [['r1', 'r0', None]], 'r0', 'r1'],\n   {'solvable': True, 'keys': [], 'visited': 2}),\n  ('wrong colour #1',\n   [{'r0': ['blue']}, [['r0', 'r1', 'red']], 'r0', 'r1'],\n   {'solvable': False, 'keys': ['blue'], 'visited': 1}),\n  ('control #1',\n   [{'r0': ['gold'], 'r1': ['red'], 'r2': ['gold']},\n    [['r0', 'r1', 'red'], ['r2', 'r1', 'red'], ['r0', 'r2', None]],\n    'r0',\n    'r2'],\n   {'solvable': True, 'keys': ['gold'], 'visited': 2})],\n [('key behind first door #1',\n   [{'r1': ['red']}, [['r1', 'r2', 'red'], ['r0', 'r1', None]], 'r0', 'r2'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('regression fixpoint after traversal #1',\n   [{'r1': ['red']},\n    [['r3', 'r2', 'gold'], ['r1', 'r3', 'red'], ['r1', 'r0', 'gold'], ['r2', 'r0', None], ['r1', 'r2', None]],\n    'r0',\n    'r3'],\n   {'solvable': True, 'keys': ['red'], 'visited': 4}),\n  ('regression fixpoint after traversal #2',\n   [{'r4': ['blue']},\n    [['r6', 'r1', None],\n     ['r1', 'r0', None],\n     ['r1', 'r5', 'blue'],\n     ['r2', 'r1', 'gold'],\n     ['r4', 'r0', 'blue'],\n     ['r3', 'r6', None],\n     ['r4', 'r5', None],\n     ['r3', 'r1', 'gold']],\n    'r0',\n    'r2'],\n   {'solvable': False, 'keys': [], 'visited': 4}),\n  ('partial repair boundary #1',\n   [{'r0': ['red'], 'r1': ['gold'], 'r4': ['gold'], 'r5': ['blue'], 'r6': ['red']},\n    [['r1', 'r2', 'blue'],\n     ['r0', 'r2', 'red'],\n     ['r0', 'r1', 'blue'],\n     ['r3', 'r6', 'gold'],\n     ['r4', 'r0', None],\n     ['r3', 'r2', 'blue'],\n     ['r2', 'r5', None]],\n    'r0',\n    'r6'],\n   {'solvable': True, 'keys': ['blue', 'gold', 'red'], 'visited': 7}),\n  ('regression fixpoint after traversal #3',\n   [{'r3': ['blue'], 'r4': ['gold']},\n    [['r4', 'r1', 'blue'],\n     ['r5', 'r3', None],\n     ['r5', 'r4', 'red'],\n     ['r1', 'r0', 'gold'],\n     ['r0', 'r2', 'blue'],\n     ['r4', 'r0', None],\n     ['r3', 'r2', None]],\n    'r0',\n    'r4'],\n   {'solvable': True, 'keys': ['gold'], 'visited': 3}),\n  ('reverse listed door #1',\n   [{}, [['r1', 'r0', None]], 'r0', 'r1'],\n   {'solvable': True, 'keys': [], 'visited': 2}),\n  ('wrong colour #1',\n   [{'r0': ['blue']}, [['r0', 'r1', 'red']], 'r0', 'r1'],\n   {'solvable': False, 'keys': ['blue'], 'visited': 1}),\n  ('control #1',\n   [{'r0': ['gold'], 'r1': ['red'], 'r2': ['gold']},\n    [['r0', 'r1', 'red'], ['r2', 'r1', 'red'], ['r0', 'r2', None]],\n    'r0',\n    'r2'],\n   {'solvable': True, 'keys': ['gold'], 'visited': 2})],\n [('key behind first door #1',\n   [{'r1': ['red']}, [['r1', 'r2', 'red'], ['r0', 'r1', None]], 'r0', 'r2'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('regression fixpoint after traversal #1',\n   [{'r1': ['red'], 'r4': ['blue'], 'r6': ['gold']},\n    [['r1', 'r0', 'blue'],\n     ['r2', 'r6', 'blue'],\n     ['r5', 'r4', None],\n     ['r0', 'r2', 'gold'],\n     ['r1', 'r3', None],\n     ['r0', 'r4', None]],\n    'r0',\n    'r5'],\n   {'solvable': True, 'keys': ['blue', 'red'], 'visited': 5}),\n  ('regression fixpoint after traversal #2',\n   [{'r2': ['gold'], 'r3': ['red']},\n    [['r2', 'r0', None], ['r2', 'r4', 'gold'], ['r5', 'r4', None], ['r3', 'r2', None], ['r0', 'r1', 'gold']],\n    'r0',\n    'r1'],\n   {'solvable': True, 'keys': ['gold', 'red'], 'visited': 6}),\n  ('partial repair boundary #1',\n   [{'r0': ['blue'], 'r3': ['red']},\n    [['r1', 'r0', None],\n     ['r5', 'r3', None],\n     ['r1', 'r2', 'red'],\n     ['r3', 'r2', 'red'],\n     ['r0', 'r4', 'gold'],\n     ['r3', 'r1', None],\n     ['r0', 'r5', 'gold']],\n    'r0',\n    'r5'],\n   {'solvable': True, 'keys': ['blue', 'red'], 'visited': 5}),\n  ('regression fixpoint after traversal #3',\n   [{'r1': ['red']},\n    [['r3', 'r2', 'gold'], ['r1', 'r3', 'red'], ['r1', 'r0', 'gold'], ['r2', 'r0', None], ['r1', 'r2', None]],\n    'r0',\n    'r3'],\n   {'solvable': True, 'keys': ['red'], 'visited': 4}),\n  ('reverse listed door #1',\n   [{}, [['r1', 'r0', None]], 'r0', 'r1'],\n   {'solvable': True, 'keys': [], 'visited': 2}),\n  ('wrong colour #1',\n   [{'r0': ['blue']}, [['r0', 'r1', 'red']], 'r0', 'r1'],\n   {'solvable': False, 'keys': ['blue'], 'visited': 1}),\n  ('control #1', [{}, [['r0', 'r1', 'blue']], 'r0', 'r1'], {'solvable': False, 'keys': [], 'visited': 1})],\n [('key behind first door #1',\n   [{'r1': ['red']}, [['r1', 'r2', 'red'], ['r0', 'r1', None]], 'r0', 'r2'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('regression fixpoint after traversal #1',\n   [{'r1': ['red']},\n    [['r0', 'r1', None], ['r2', 'r3', 'blue'], ['r2', 'r1', 'gold'], ['r3', 'r1', None]],\n    'r0',\n    'r3'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('regression fixpoint after traversal #2',\n   [{'r1': ['blue'], 'r2': ['gold'], 'r4': ['red']},\n    [['r2', 'r0', None], ['r1', 'r0', None], ['r1', 'r4', None], ['r1', 'r3', None], ['r3', 'r5', 'gold']],\n    'r0',\n    'r1'],\n   {'solvable': True, 'keys': ['blue', 'gold', 'red'], 'visited': 6}),\n  ('regression fixpoint after traversal #3',\n   [{'r4': ['blue']},\n    [['r6', 'r1', None],\n     ['r1', 'r0', None],\n     ['r1', 'r5', 'blue'],\n     ['r2', 'r1', 'gold'],\n     ['r4', 'r0', 'blue'],\n     ['r3', 'r6', None],\n     ['r4', 'r5', None],\n     ['r3', 'r1', 'gold']],\n    'r0',\n    'r2'],\n   {'solvable': False, 'keys': [], 'visited': 4}),\n  ('regression fixpoint after traversal #4',\n   [{'r1': ['red'], 'r4': ['blue'], 'r6': ['gold']},\n    [['r1', 'r0', 'blue'],\n     ['r2', 'r6', 'blue'],\n     ['r5', 'r4', None],\n     ['r0', 'r2', 'gold'],\n     ['r1', 'r3', None],\n     ['r0', 'r4', None]],\n    'r0',\n    'r5'],\n   {'solvable': True, 'keys': ['blue', 'red'], 'visited': 5}),\n  ('reverse listed door #1',\n   [{}, [['r1', 'r0', None]], 'r0', 'r1'],\n   {'solvable': True, 'keys': [], 'visited': 2}),\n  ('wrong colour #1',\n   [{'r0': ['blue']}, [['r0', 'r1', 'red']], 'r0', 'r1'],\n   {'solvable': False, 'keys': ['blue'], 'visited': 1}),\n  ('control #1',\n   [{'r0': ['red']}, [['r0', 'r1', None]], 'r0', 'r1'],\n   {'solvable': True, 'keys': ['red'], 'visited': 2})]]\nfor label, args, expected in cases[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"4c45a74fa9e1e0333980cdc72cac6a4c083a118f44affbc8ef7233ee9355869a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(rooms, edges, start, goal):\n    have = set()\n    seen = {start}\n    changed = True\n    while changed:\n        changed = False\n        for r in list(seen):\n            for k in rooms.get(r, []):\n                if k not in have:\n                    have.add(k)\n                    changed = True\n        for a, b, lock in edges:\n            for u, v in ((a, b), (b, a)):\n                if u in seen and v not in seen and (lock is None or lock in have):\n                    seen.add(v)\n                    changed = True\n    return {'solvable': goal in seen, 'keys': sorted(have), 'visited': len(seen)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('key behind first door #1',\n   [{'r1': ['red']}, [['r1', 'r2', 'red'], ['r0', 'r1', None]], 'r0', 'r2'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('regression fixpoint after traversal #1',\n   [{'r0': ['gold'], 'r2': ['blue']},\n    [['r2', 'r1', 'gold'],\n     ['r3', 'r1', 'blue'],\n     ['r1', 'r3', None],\n     ['r1', 'r0', None],\n     ['r2', 'r3', 'blue']],\n    'r0',\n    'r3'],\n   {'solvable': True, 'keys': ['blue', 'gold'], 'visited': 4}),\n  ('regression fixpoint after traversal #2',\n   [{'r4': ['red']},\n    [['r3', 'r1', 'gold'], ['r3', 'r4', 'blue'], ['r2', 'r1', None], ['r1', 'r0', None]],\n    'r0',\n    'r3'],\n   {'solvable': False, 'keys': [], 'visited': 3}),\n  ('partial repair boundary #1',\n   [{'r0': ['red'], 'r3': ['gold']},\n    [['r4', 'r2', None], ['r0', 'r1', 'blue'], ['r2', 'r0', None], ['r2', 'r3', 'gold']],\n    'r0',\n    'r4'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('partial repair boundary #2',\n   [{'r0': ['red'], 'r1': ['gold'], 'r4': ['gold'], 'r5': ['blue'], 'r6': ['red']},\n    [['r1', 'r2', 'blue'],\n     ['r0', 'r2', 'red'],\n     ['r0', 'r1', 'blue'],\n     ['r3', 'r6', 'gold'],\n     ['r4', 'r0', None],\n     ['r3', 'r2', 'blue'],\n     ['r2', 'r5', None]],\n    'r0',\n    'r6'],\n   {'solvable': True, 'keys': ['blue', 'gold', 'red'], 'visited': 7}),\n  ('reverse listed door #1',\n   [{}, [['r1', 'r0', None]], 'r0', 'r1'],\n   {'solvable': True, 'keys': [], 'visited': 2}),\n  ('wrong colour #1',\n   [{'r0': ['blue']}, [['r0', 'r1', 'red']], 'r0', 'r1'],\n   {'solvable': False, 'keys': ['blue'], 'visited': 1}),\n  ('control #1',\n   [{'r0': ['gold'], 'r1': ['red'], 'r2': ['gold']},\n    [['r0', 'r1', 'red'], ['r2', 'r1', 'red'], ['r0', 'r2', None]],\n    'r0',\n    'r2'],\n   {'solvable': True, 'keys': ['gold'], 'visited': 2})],\n [('key behind first door #1',\n   [{'r1': ['red']}, [['r1', 'r2', 'red'], ['r0', 'r1', None]], 'r0', 'r2'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('regression fixpoint after traversal #1',\n   [{'r4': ['red']},\n    [['r3', 'r1', 'gold'], ['r3', 'r4', 'blue'], ['r2', 'r1', None], ['r1', 'r0', None]],\n    'r0',\n    'r3'],\n   {'solvable': False, 'keys': [], 'visited': 3}),\n  ('regression fixpoint after traversal #2',\n   [{'r3': ['blue'], 'r4': ['gold']},\n    [['r4', 'r1', 'blue'],\n     ['r5', 'r3', None],\n     ['r5', 'r4', 'red'],\n     ['r1', 'r0', 'gold'],\n     ['r0', 'r2', 'blue'],\n     ['r4', 'r0', None],\n     ['r3', 'r2', None]],\n    'r0',\n    'r4'],\n   {'solvable': True, 'keys': ['gold'], 'visited': 3}),\n  ('partial repair boundary #1',\n   [{'r0': ['red'], 'r3': ['gold']},\n    [['r4', 'r2', None], ['r0', 'r1', 'blue'], ['r2', 'r0', None], ['r2', 'r3', 'gold']],\n    'r0',\n    'r4'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('partial repair boundary #2',\n   [{'r0': ['red'], 'r1': ['gold'], 'r4': ['gold'], 'r5': ['blue'], 'r6': ['red']},\n    [['r1', 'r2', 'blue'],\n     ['r0', 'r2', 'red'],\n     ['r0', 'r1', 'blue'],\n     ['r3', 'r6', 'gold'],\n     ['r4', 'r0', None],\n     ['r3', 'r2', 'blue'],\n     ['r2', 'r5', None]],\n    'r0',\n    'r6'],\n   {'solvable': True, 'keys': ['blue', 'gold', 'red'], 'visited': 7}),\n  ('reverse listed door #1',\n   [{}, [['r1', 'r0', None]], 'r0', 'r1'],\n   {'solvable': True, 'keys': [], 'visited': 2}),\n  ('wrong colour #1',\n   [{'r0': ['blue']}, [['r0', 'r1', 'red']], 'r0', 'r1'],\n   {'solvable': False, 'keys': ['blue'], 'visited': 1}),\n  ('control #1',\n   [{'r0': ['gold'], 'r1': ['red'], 'r2': ['gold']},\n    [['r0', 'r1', 'red'], ['r2', 'r1', 'red'], ['r0', 'r2', None]],\n    'r0',\n    'r2'],\n   {'solvable': True, 'keys': ['gold'], 'visited': 2})],\n [('key behind first door #1',\n   [{'r1': ['red']}, [['r1', 'r2', 'red'], ['r0', 'r1', None]], 'r0', 'r2'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('regression fixpoint after traversal #1',\n   [{'r1': ['red']},\n    [['r3', 'r2', 'gold'], ['r1', 'r3', 'red'], ['r1', 'r0', 'gold'], ['r2', 'r0', None], ['r1', 'r2', None]],\n    'r0',\n    'r3'],\n   {'solvable': True, 'keys': ['red'], 'visited': 4}),\n  ('regression fixpoint after traversal #2',\n   [{'r4': ['blue']},\n    [['r6', 'r1', None],\n     ['r1', 'r0', None],\n     ['r1', 'r5', 'blue'],\n     ['r2', 'r1', 'gold'],\n     ['r4', 'r0', 'blue'],\n     ['r3', 'r6', None],\n     ['r4', 'r5', None],\n     ['r3', 'r1', 'gold']],\n    'r0',\n    'r2'],\n   {'solvable': False, 'keys': [], 'visited': 4}),\n  ('partial repair boundary #1',\n   [{'r0': ['red'], 'r1': ['gold'], 'r4': ['gold'], 'r5': ['blue'], 'r6': ['red']},\n    [['r1', 'r2', 'blue'],\n     ['r0', 'r2', 'red'],\n     ['r0', 'r1', 'blue'],\n     ['r3', 'r6', 'gold'],\n     ['r4', 'r0', None],\n     ['r3', 'r2', 'blue'],\n     ['r2', 'r5', None]],\n    'r0',\n    'r6'],\n   {'solvable': True, 'keys': ['blue', 'gold', 'red'], 'visited': 7}),\n  ('regression fixpoint after traversal #3',\n   [{'r3': ['blue'], 'r4': ['gold']},\n    [['r4', 'r1', 'blue'],\n     ['r5', 'r3', None],\n     ['r5', 'r4', 'red'],\n     ['r1', 'r0', 'gold'],\n     ['r0', 'r2', 'blue'],\n     ['r4', 'r0', None],\n     ['r3', 'r2', None]],\n    'r0',\n    'r4'],\n   {'solvable': True, 'keys': ['gold'], 'visited': 3}),\n  ('reverse listed door #1',\n   [{}, [['r1', 'r0', None]], 'r0', 'r1'],\n   {'solvable': True, 'keys': [], 'visited': 2}),\n  ('wrong colour #1',\n   [{'r0': ['blue']}, [['r0', 'r1', 'red']], 'r0', 'r1'],\n   {'solvable': False, 'keys': ['blue'], 'visited': 1}),\n  ('control #1',\n   [{'r0': ['gold'], 'r1': ['red'], 'r2': ['gold']},\n    [['r0', 'r1', 'red'], ['r2', 'r1', 'red'], ['r0', 'r2', None]],\n    'r0',\n    'r2'],\n   {'solvable': True, 'keys': ['gold'], 'visited': 2})],\n [('key behind first door #1',\n   [{'r1': ['red']}, [['r1', 'r2', 'red'], ['r0', 'r1', None]], 'r0', 'r2'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('regression fixpoint after traversal #1',\n   [{'r1': ['red'], 'r4': ['blue'], 'r6': ['gold']},\n    [['r1', 'r0', 'blue'],\n     ['r2', 'r6', 'blue'],\n     ['r5', 'r4', None],\n     ['r0', 'r2', 'gold'],\n     ['r1', 'r3', None],\n     ['r0', 'r4', None]],\n    'r0',\n    'r5'],\n   {'solvable': True, 'keys': ['blue', 'red'], 'visited': 5}),\n  ('regression fixpoint after traversal #2',\n   [{'r2': ['gold'], 'r3': ['red']},\n    [['r2', 'r0', None], ['r2', 'r4', 'gold'], ['r5', 'r4', None], ['r3', 'r2', None], ['r0', 'r1', 'gold']],\n    'r0',\n    'r1'],\n   {'solvable': True, 'keys': ['gold', 'red'], 'visited': 6}),\n  ('partial repair boundary #1',\n   [{'r0': ['blue'], 'r3': ['red']},\n    [['r1', 'r0', None],\n     ['r5', 'r3', None],\n     ['r1', 'r2', 'red'],\n     ['r3', 'r2', 'red'],\n     ['r0', 'r4', 'gold'],\n     ['r3', 'r1', None],\n     ['r0', 'r5', 'gold']],\n    'r0',\n    'r5'],\n   {'solvable': True, 'keys': ['blue', 'red'], 'visited': 5}),\n  ('regression fixpoint after traversal #3',\n   [{'r1': ['red']},\n    [['r3', 'r2', 'gold'], ['r1', 'r3', 'red'], ['r1', 'r0', 'gold'], ['r2', 'r0', None], ['r1', 'r2', None]],\n    'r0',\n    'r3'],\n   {'solvable': True, 'keys': ['red'], 'visited': 4}),\n  ('reverse listed door #1',\n   [{}, [['r1', 'r0', None]], 'r0', 'r1'],\n   {'solvable': True, 'keys': [], 'visited': 2}),\n  ('wrong colour #1',\n   [{'r0': ['blue']}, [['r0', 'r1', 'red']], 'r0', 'r1'],\n   {'solvable': False, 'keys': ['blue'], 'visited': 1}),\n  ('control #1', [{}, [['r0', 'r1', 'blue']], 'r0', 'r1'], {'solvable': False, 'keys': [], 'visited': 1})],\n [('key behind first door #1',\n   [{'r1': ['red']}, [['r1', 'r2', 'red'], ['r0', 'r1', None]], 'r0', 'r2'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('regression fixpoint after traversal #1',\n   [{'r1': ['red']},\n    [['r0', 'r1', None], ['r2', 'r3', 'blue'], ['r2', 'r1', 'gold'], ['r3', 'r1', None]],\n    'r0',\n    'r3'],\n   {'solvable': True, 'keys': ['red'], 'visited': 3}),\n  ('regression fixpoint after traversal #2',\n   [{'r1': ['blue'], 'r2': ['gold'], 'r4': ['red']},\n    [['r2', 'r0', None], ['r1', 'r0', None], ['r1', 'r4', None], ['r1', 'r3', None], ['r3', 'r5', 'gold']],\n    'r0',\n    'r1'],\n   {'solvable': True, 'keys': ['blue', 'gold', 'red'], 'visited': 6}),\n  ('regression fixpoint after traversal #3',\n   [{'r4': ['blue']},\n    [['r6', 'r1', None],\n     ['r1', 'r0', None],\n     ['r1', 'r5', 'blue'],\n     ['r2', 'r1', 'gold'],\n     ['r4', 'r0', 'blue'],\n     ['r3', 'r6', None],\n     ['r4', 'r5', None],\n     ['r3', 'r1', 'gold']],\n    'r0',\n    'r2'],\n   {'solvable': False, 'keys': [], 'visited': 4}),\n  ('regression fixpoint after traversal #4',\n   [{'r1': ['red'], 'r4': ['blue'], 'r6': ['gold']},\n    [['r1', 'r0', 'blue'],\n     ['r2', 'r6', 'blue'],\n     ['r5', 'r4', None],\n     ['r0', 'r2', 'gold'],\n     ['r1', 'r3', None],\n     ['r0', 'r4', None]],\n    'r0',\n    'r5'],\n   {'solvable': True, 'keys': ['blue', 'red'], 'visited': 5}),\n  ('reverse listed door #1',\n   [{}, [['r1', 'r0', None]], 'r0', 'r1'],\n   {'solvable': True, 'keys': [], 'visited': 2}),\n  ('wrong colour #1',\n   [{'r0': ['blue']}, [['r0', 'r1', 'red']], 'r0', 'r1'],\n   {'solvable': False, 'keys': ['blue'], 'visited': 1}),\n  ('control #1',\n   [{'r0': ['red']}, [['r0', 'r1', None]], 'r0', 'r1'],\n   {'solvable': True, 'keys': ['red'], 'visited': 2})]]\nfor label, args, expected in cases[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"Deterministic toy contract stipulated for this model; integer or exact arithmetic only, not a reproduction of any specific game engine. 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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-procedural-level-generation-constraints-key-lock-fixpoint-after-traversal","generated_at":"2026-09-29T14:50:49.330536+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Procedural generators silently emit unplayable or unfair levels when a single constraint check uses the wrong boundary, axis, neighborhood or update order; the defect is visible in exact generated geometry.","repair":"Restore `seen.add(v)\n                changed = True` at the fixpoint after traversal step.","root_cause":"Opening a new room does not trigger another pass over the doors.","sha256":"0e9edb24e02c26833cb41156727fe7de01bbb4c843fa35560784020e85ba72ba","title":"Key and lock solvability: Search stops after one sweep · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.566,"exit_code":1,"observations":[{"actual":{"keys":[],"solvable":false,"visited":2},"check":"key behind first door #1","expected":{"keys":["red"],"solvable":true,"visited":3},"passed":false},{"actual":{"keys":["gold"],"solvable":false,"visited":2},"check":"regression fixpoint after traversal #1","expected":{"keys":["blue","gold"],"solvable":true,"visited":4},"passed":false},{"actual":{"keys":[],"solvable":false,"visited":2},"check":"regression fixpoint after traversal #2","expected":{"keys":[],"solvable":false,"visited":3},"passed":false},{"actual":{"keys":["red"],"solvable":false,"visited":2},"check":"partial repair boundary #1","expected":{"keys":["red"],"solvable":true,"visited":3},"passed":false},{"actual":{"keys":["red"],"solvable":false,"visited":4},"check":"partial repair boundary #2","expected":{"keys":["blue","gold","red"],"solvable":true,"visited":7},"passed":false},{"actual":{"keys":[],"solvable":true,"visited":2},"check":"reverse listed door #1","expected":{"keys":[],"solvable":true,"visited":2},"passed":true},{"actual":{"keys":["blue"],"solvable":false,"visited":1},"check":"wrong colour #1","expected":{"keys":["blue"],"solvable":false,"visited":1},"passed":true},{"actual":{"keys":["gold"],"solvable":true,"visited":2},"check":"control #1","expected":{"keys":["gold"],"solvable":true,"visited":2},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"key behind first door #1\", \"actual\": {\"solvable\": false, \"keys\": [], \"visited\": 2}, \"expected\": {\"solvable\": true, \"keys\": [\"red\"], \"visited\": 3}, \"passed\": false}, {\"check\": \"regression fixpoint after traversal #1\", \"actual\": {\"solvable\": false, \"keys\": [\"gold\"], \"visited\": 2}, \"expected\": {\"solvable\": true, \"keys\": [\"blue\", \"gold\"], \"visited\": 4}, \"passed\": false}, {\"check\": \"regression fixpoint after traversal #2\", \"actual\": {\"solvable\": false, \"keys\": [], \"visited\": 2}, \"expected\": {\"solvable\": false, \"keys\": [], \"visited\": 3}, \"passed\": false}, {\"check\": \"partial repair boundary #1\", \"actual\": {\"solvable\": false, \"keys\": [\"red\"], \"visited\": 2}, \"expected\": {\"solvable\": true, \"keys\": [\"red\"], \"visited\": 3}, \"passed\": false}, {\"check\": \"partial repair boundary #2\", \"actual\": {\"solvable\": false, \"keys\": [\"red\"], \"visited\": 4}, \"expected\": {\"solvable\": true, \"keys\": [\"blue\", \"gold\", \"red\"], \"visited\": 7}, \"passed\": false}, {\"check\": \"reverse listed door #1\", \"actual\": {\"solvable\": true, \"keys\": [], \"visited\": 2}, \"expected\": {\"solvable\": true, \"keys\": [], \"visited\": 2}, \"passed\": true}, {\"check\": \"wrong colour #1\", \"actual\": {\"solvable\": false, \"keys\": [\"blue\"], \"visited\": 1}, \"expected\": {\"solvable\": false, \"keys\": [\"blue\"], \"visited\": 1}, \"passed\": true}, {\"check\": \"control #1\", \"actual\": {\"solvable\": true, \"keys\": [\"gold\"], \"visited\": 2}, \"expected\": {\"solvable\": true, \"keys\": [\"gold\"], \"visited\": 2}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.12,"exit_code":1,"observations":[{"actual":{"keys":[],"solvable":false,"visited":2},"check":"key behind first door #1","expected":{"keys":["red"],"solvable":true,"visited":3},"passed":false},{"actual":{"keys":["gold"],"solvable":true,"visited":4},"check":"regression fixpoint after traversal #1","expected":{"keys":["blue","gold"],"solvable":true,"visited":4},"passed":false},{"actual":{"keys":[],"solvable":false,"visited":2},"check":"regression fixpoint after traversal #2","expected":{"keys":[],"solvable":false,"visited":3},"passed":false},{"actual":{"keys":["red"],"solvable":true,"visited":3},"check":"partial repair boundary #1","expected":{"keys":["red"],"solvable":true,"visited":3},"passed":true},{"actual":{"keys":["blue","gold","red"],"solvable":true,"visited":7},"check":"partial repair boundary #2","expected":{"keys":["blue","gold","red"],"solvable":true,"visited":7},"passed":true},{"actual":{"keys":[],"solvable":true,"visited":2},"check":"reverse listed door #1","expected":{"keys":[],"solvable":true,"visited":2},"passed":true},{"actual":{"keys":["blue"],"solvable":false,"visited":1},"check":"wrong colour #1","expected":{"keys":["blue"],"solvable":false,"visited":1},"passed":true},{"actual":{"keys":["gold"],"solvable":true,"visited":2},"check":"control #1","expected":{"keys":["gold"],"solvable":true,"visited":2},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"key behind first door #1\", \"actual\": {\"solvable\": false, \"keys\": [], \"visited\": 2}, \"expected\": {\"solvable\": true, \"keys\": [\"red\"], \"visited\": 3}, \"passed\": false}, {\"check\": \"regression fixpoint after traversal #1\", \"actual\": {\"solvable\": true, \"keys\": [\"gold\"], \"visited\": 4}, \"expected\": {\"solvable\": true, \"keys\": [\"blue\", \"gold\"], \"visited\": 4}, \"passed\": false}, {\"check\": \"regression fixpoint after traversal #2\", \"actual\": {\"solvable\": false, \"keys\": [], \"visited\": 2}, \"expected\": {\"solvable\": false, \"keys\": [], \"visited\": 3}, \"passed\": false}, {\"check\": \"partial repair boundary #1\", \"actual\": {\"solvable\": true, \"keys\": [\"red\"], \"visited\": 3}, \"expected\": {\"solvable\": true, \"keys\": [\"red\"], \"visited\": 3}, \"passed\": true}, {\"check\": \"partial repair boundary #2\", \"actual\": {\"solvable\": true, \"keys\": [\"blue\", \"gold\", \"red\"], \"visited\": 7}, \"expected\": {\"solvable\": true, \"keys\": [\"blue\", \"gold\", \"red\"], \"visited\": 7}, \"passed\": true}, {\"check\": \"reverse listed door #1\", \"actual\": {\"solvable\": true, \"keys\": [], \"visited\": 2}, \"expected\": {\"solvable\": true, \"keys\": [], \"visited\": 2}, \"passed\": true}, {\"check\": \"wrong colour #1\", \"actual\": {\"solvable\": false, \"keys\": [\"blue\"], \"visited\": 1}, \"expected\": {\"solvable\": false, \"keys\": [\"blue\"], \"visited\": 1}, \"passed\": true}, {\"check\": \"control #1\", \"actual\": {\"solvable\": true, \"keys\": [\"gold\"], \"visited\": 2}, \"expected\": {\"solvable\": true, \"keys\": [\"gold\"], \"visited\": 2}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":37.874,"exit_code":0,"observations":[{"actual":{"keys":["red"],"solvable":true,"visited":3},"check":"key behind first door #1","expected":{"keys":["red"],"solvable":true,"visited":3},"passed":true},{"actual":{"keys":["blue","gold"],"solvable":true,"visited":4},"check":"regression fixpoint after traversal #1","expected":{"keys":["blue","gold"],"solvable":true,"visited":4},"passed":true},{"actual":{"keys":[],"solvable":false,"visited":3},"check":"regression fixpoint after traversal #2","expected":{"keys":[],"solvable":false,"visited":3},"passed":true},{"actual":{"keys":["red"],"solvable":true,"visited":3},"check":"partial repair boundary #1","expected":{"keys":["red"],"solvable":true,"visited":3},"passed":true},{"actual":{"keys":["blue","gold","red"],"solvable":true,"visited":7},"check":"partial repair boundary #2","expected":{"keys":["blue","gold","red"],"solvable":true,"visited":7},"passed":true},{"actual":{"keys":[],"solvable":true,"visited":2},"check":"reverse listed door #1","expected":{"keys":[],"solvable":true,"visited":2},"passed":true},{"actual":{"keys":["blue"],"solvable":false,"visited":1},"check":"wrong colour #1","expected":{"keys":["blue"],"solvable":false,"visited":1},"passed":true},{"actual":{"keys":["gold"],"solvable":true,"visited":2},"check":"control #1","expected":{"keys":["gold"],"solvable":true,"visited":2},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"key behind first door #1\", \"actual\": {\"solvable\": true, \"keys\": [\"red\"], \"visited\": 3}, \"expected\": {\"solvable\": true, \"keys\": [\"red\"], \"visited\": 3}, \"passed\": true}, {\"check\": \"regression fixpoint after traversal #1\", \"actual\": {\"solvable\": true, \"keys\": [\"blue\", \"gold\"], \"visited\": 4}, \"expected\": {\"solvable\": true, \"keys\": [\"blue\", \"gold\"], \"visited\": 4}, \"passed\": true}, {\"check\": \"regression fixpoint after traversal #2\", \"actual\": {\"solvable\": false, \"keys\": [], \"visited\": 3}, \"expected\": {\"solvable\": false, \"keys\": [], \"visited\": 3}, \"passed\": true}, {\"check\": \"partial repair boundary #1\", \"actual\": {\"solvable\": true, \"keys\": [\"red\"], \"visited\": 3}, \"expected\": {\"solvable\": true, \"keys\": [\"red\"], \"visited\": 3}, \"passed\": true}, {\"check\": \"partial repair boundary #2\", \"actual\": {\"solvable\": true, \"keys\": [\"blue\", \"gold\", \"red\"], \"visited\": 7}, \"expected\": {\"solvable\": true, \"keys\": [\"blue\", \"gold\", \"red\"], \"visited\": 7}, \"passed\": true}, {\"check\": \"reverse listed door #1\", \"actual\": {\"solvable\": true, \"keys\": [], \"visited\": 2}, \"expected\": {\"solvable\": true, \"keys\": [], \"visited\": 2}, \"passed\": true}, {\"check\": \"wrong colour #1\", \"actual\": {\"solvable\": false, \"keys\": [\"blue\"], \"visited\": 1}, \"expected\": {\"solvable\": false, \"keys\": [\"blue\"], \"visited\": 1}, \"passed\": true}, {\"check\": \"control #1\", \"actual\": {\"solvable\": true, \"keys\": [\"gold\"], \"visited\": 2}, \"expected\": {\"solvable\": true, \"keys\": [\"gold\"], \"visited\": 2}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}