{"abstract":"A section stays occupied one sample longer than its pick-up delay.","category":"Railway interlocking logic","checks":8,"contract":"Samples arrive every period_ms: True is shunted, False unshunted, None a power or receiver failure. The section starts occupied. A shunt or a failure makes it occupied immediately and restarts the pick-up count; it becomes clear once consecutive unshunted samples span at least pickup_ms (count*period_ms >= pickup_ms). Output the state after every sample.","contract_signature":"x","evaluation_group":"w2-railway_interlocking_logic-track-circuit-pickup","failed_approach":"Measuring from the first unshunted sample as time zero still delays clearance by a period.","family":"w2-railway_interlocking_logic-track-circuit-pickup-pick-up-delay-boundary","id":"FA-66981","implementations":{"attempt":{"sha256":"10bdef7e95b02afd1c278deb569dff8dca41033b255709c17a6dcc5d73da8ea0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    state = 'occ'\n    run = 0\n    out = []\n    for s in x['samples']:\n        if s is None or s:\n            state = 'occ'\n            run = 0\n        else:\n            run += 1\n            if state == 'occ' and (run - 1) * x['period_ms'] >= x['pickup_ms']:\n                state = 'clr'\n        out.append(state)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: pick-up exactly at the delay', {'period_ms': 250, 'pickup_ms': 500, 'samples': [False, False, False]}, ['occ', 'clr', 'clr']), ('regression: receiver failure on a clear section', {'period_ms': 100, 'pickup_ms': 200, 'samples': [False, False, None, False]}, ['occ', 'clr', 'occ', 'occ']), ('regression: bobbing shunt while occupied', {'period_ms': 100, 'pickup_ms': 300, 'samples': [False, False, True, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'clr']), ('regression: receiver failure mid pick-up', {'period_ms': 100, 'pickup_ms': 300, 'samples': [False, False, None, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'clr']), ('boundary: never clears', {'period_ms': 250, 'pickup_ms': 1000, 'samples': [False, False, False]}, ['occ', 'occ', 'occ']), ('control 1', {'period_ms': 100, 'pickup_ms': 1000, 'samples': [False, False, False, None, False, False, True, False, True, False, None, None]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('control 4', {'period_ms': 100, 'pickup_ms': 750, 'samples': [False, False, False, False, True, True, False, False, True, False, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('control 7', {'period_ms': 100, 'pickup_ms': 500, 'samples': [False, False, True, False, None, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ'])], [('regression: bobbing shunt while occupied', {'period_ms': 100, 'pickup_ms': 300, 'samples': [False, False, True, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'clr']), ('sampled regression 18', {'period_ms': 250, 'pickup_ms': 500, 'samples': [True, None, False, False, None, False, False, False, False, False, False, False, None, False]}, ['occ', 'occ', 'occ', 'clr', 'occ', 'occ', 'clr', 'clr', 'clr', 'clr', 'clr', 'clr', 'occ', 'occ']), ('sampled regression 6', {'period_ms': 250, 'pickup_ms': 500, 'samples': [False, False, False, True, False, False, None]}, ['occ', 'clr', 'clr', 'occ', 'occ', 'clr', 'occ']), ('regression: receiver failure mid pick-up', {'period_ms': 100, 'pickup_ms': 300, 'samples': [False, False, None, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'clr']), ('regression: receiver failure on a clear section', {'period_ms': 100, 'pickup_ms': 200, 'samples': [False, False, None, False]}, ['occ', 'clr', 'occ', 'occ']), ('control 12', {'period_ms': 100, 'pickup_ms': 750, 'samples': [False, False, True, False, False, None, None, False, True, True]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('control 15', {'period_ms': 250, 'pickup_ms': 750, 'samples': [False, False, True, True, None, True, None, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('sampled regression 21', {'period_ms': 250, 'pickup_ms': 500, 'samples': [False, False, False, False, False, False, False, True, False, False]}, ['occ', 'clr', 'clr', 'clr', 'clr', 'clr', 'clr', 'occ', 'occ', 'clr'])], [('regression: receiver failure mid pick-up', {'period_ms': 100, 'pickup_ms': 300, 'samples': [False, False, None, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'clr']), ('sampled regression 55', {'period_ms': 250, 'pickup_ms': 500, 'samples': [False, False, False, None, None, False]}, ['occ', 'clr', 'clr', 'occ', 'occ', 'occ']), ('sampled regression 19', {'period_ms': 100, 'pickup_ms': 500, 'samples': [False, True, False, False, False, False, False, False, False, True]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'clr', 'clr', 'clr', 'occ']), ('boundary: never clears', {'period_ms': 250, 'pickup_ms': 1000, 'samples': [False, False, False]}, ['occ', 'occ', 'occ']), ('regression: train arrives on a clear section', {'period_ms': 100, 'pickup_ms': 100, 'samples': [False, True, False]}, ['clr', 'occ', 'clr']), ('control 23', {'period_ms': 100, 'pickup_ms': 1000, 'samples': [False, False, None, None, False, True, False, True, False, False, None]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('control 26', {'period_ms': 100, 'pickup_ms': 300, 'samples': [False, None, False, False, True, None, None, False, False, True, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('control 29', {'period_ms': 100, 'pickup_ms': 750, 'samples': [False, False, True, False, False, False, True, True, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ'])], [('regression: receiver failure on a clear section', {'period_ms': 100, 'pickup_ms': 200, 'samples': [False, False, None, False]}, ['occ', 'clr', 'occ', 'occ']), ('sampled regression 77', {'period_ms': 250, 'pickup_ms': 500, 'samples': [None, True, False, False, True, False, False]}, ['occ', 'occ', 'occ', 'clr', 'occ', 'occ', 'clr']), ('control 37', {'period_ms': 250, 'pickup_ms': 300, 'samples': [False, True, False, False, False, False, False, False, False, False, True, False, False]}, ['occ', 'occ', 'occ', 'clr', 'clr', 'clr', 'clr', 'clr', 'clr', 'clr', 'occ', 'occ', 'clr']), ('regression: pick-up exactly at the delay', {'period_ms': 250, 'pickup_ms': 500, 'samples': [False, False, False]}, ['occ', 'clr', 'clr']), ('regression: bobbing shunt while occupied', {'period_ms': 100, 'pickup_ms': 300, 'samples': [False, False, True, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'clr']), ('control 34', {'period_ms': 250, 'pickup_ms': 300, 'samples': [True, False, False, False, False, False, False, True]}, ['occ', 'occ', 'clr', 'clr', 'clr', 'clr', 'clr', 'occ']), ('control 40', {'period_ms': 100, 'pickup_ms': 1000, 'samples': [False, False, None, False, False, False, False, True, None, False, False, None, True]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('control 43', {'period_ms': 250, 'pickup_ms': 1000, 'samples': [True, False, None, None, False, False, True, False, None, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ'])], [('regression: train arrives on a clear section', {'period_ms': 100, 'pickup_ms': 100, 'samples': [False, True, False]}, ['clr', 'occ', 'clr']), ('sampled regression 3', {'period_ms': 250, 'pickup_ms': 750, 'samples': [True, False, False, False, False, False, False, False, True, True, False, True, False, False]}, ['occ', 'occ', 'occ', 'clr', 'clr', 'clr', 'clr', 'clr', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('sampled regression 60', {'period_ms': 100, 'pickup_ms': 300, 'samples': [None, False, True, False, False, False, False, None, False, None, None, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'clr', 'clr', 'occ', 'occ', 'occ', 'occ', 'occ']), ('regression: receiver failure mid pick-up', {'period_ms': 100, 'pickup_ms': 300, 'samples': [False, False, None, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'clr']), ('regression: receiver failure on a clear section', {'period_ms': 100, 'pickup_ms': 200, 'samples': [False, False, None, False]}, ['occ', 'clr', 'occ', 'occ']), ('sampled regression 45', {'period_ms': 250, 'pickup_ms': 500, 'samples': [True, False, False, False, True, False, None, False, False, None, True, False]}, ['occ', 'occ', 'clr', 'clr', 'occ', 'occ', 'occ', 'occ', 'clr', 'occ', 'occ', 'occ']), ('control 48', {'period_ms': 250, 'pickup_ms': 750, 'samples': [False, False, True, True]}, ['occ', 'occ', 'occ', 'occ']), ('control 51', {'period_ms': 100, 'pickup_ms': 750, 'samples': [False, None, True, False, False, False, True, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ'])]]\nfor label, args, expected in fixtures[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":"f4c3751e3a8f9e84f98ee412066845ef8dbe1be27581b7a052cbbba0ab859336","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    state = 'occ'\n    run = 0\n    out = []\n    for s in x['samples']:\n        if s is None or s:\n            state = 'occ'\n            run = 0\n        else:\n            run += 1\n            if state == 'occ' and run * x['period_ms'] > x['pickup_ms']:\n                state = 'clr'\n        out.append(state)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: pick-up exactly at the delay', {'period_ms': 250, 'pickup_ms': 500, 'samples': [False, False, False]}, ['occ', 'clr', 'clr']), ('regression: receiver failure on a clear section', {'period_ms': 100, 'pickup_ms': 200, 'samples': [False, False, None, False]}, ['occ', 'clr', 'occ', 'occ']), ('regression: bobbing shunt while occupied', {'period_ms': 100, 'pickup_ms': 300, 'samples': [False, False, True, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'clr']), ('regression: receiver failure mid pick-up', {'period_ms': 100, 'pickup_ms': 300, 'samples': [False, False, None, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'clr']), ('boundary: never clears', {'period_ms': 250, 'pickup_ms': 1000, 'samples': [False, False, False]}, ['occ', 'occ', 'occ']), ('control 1', {'period_ms': 100, 'pickup_ms': 1000, 'samples': [False, False, False, None, False, False, True, False, True, False, None, None]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('control 4', {'period_ms': 100, 'pickup_ms': 750, 'samples': [False, False, False, False, True, True, False, False, True, False, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('control 7', {'period_ms': 100, 'pickup_ms': 500, 'samples': [False, False, True, False, None, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ'])], [('regression: bobbing shunt while occupied', {'period_ms': 100, 'pickup_ms': 300, 'samples': [False, False, True, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'clr']), ('sampled regression 18', {'period_ms': 250, 'pickup_ms': 500, 'samples': [True, None, False, False, None, False, False, False, False, False, False, False, None, False]}, ['occ', 'occ', 'occ', 'clr', 'occ', 'occ', 'clr', 'clr', 'clr', 'clr', 'clr', 'clr', 'occ', 'occ']), ('sampled regression 6', {'period_ms': 250, 'pickup_ms': 500, 'samples': [False, False, False, True, False, False, None]}, ['occ', 'clr', 'clr', 'occ', 'occ', 'clr', 'occ']), ('regression: receiver failure mid pick-up', {'period_ms': 100, 'pickup_ms': 300, 'samples': [False, False, None, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'clr']), ('regression: receiver failure on a clear section', {'period_ms': 100, 'pickup_ms': 200, 'samples': [False, False, None, False]}, ['occ', 'clr', 'occ', 'occ']), ('control 12', {'period_ms': 100, 'pickup_ms': 750, 'samples': [False, False, True, False, False, None, None, False, True, True]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('control 15', {'period_ms': 250, 'pickup_ms': 750, 'samples': [False, False, True, True, None, True, None, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('sampled regression 21', {'period_ms': 250, 'pickup_ms': 500, 'samples': [False, False, False, False, False, False, False, True, False, False]}, ['occ', 'clr', 'clr', 'clr', 'clr', 'clr', 'clr', 'occ', 'occ', 'clr'])], [('regression: receiver failure mid pick-up', {'period_ms': 100, 'pickup_ms': 300, 'samples': [False, False, None, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'clr']), ('sampled regression 55', {'period_ms': 250, 'pickup_ms': 500, 'samples': [False, False, False, None, None, False]}, ['occ', 'clr', 'clr', 'occ', 'occ', 'occ']), ('sampled regression 19', {'period_ms': 100, 'pickup_ms': 500, 'samples': [False, True, False, False, False, False, False, False, False, True]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'clr', 'clr', 'clr', 'occ']), ('boundary: never clears', {'period_ms': 250, 'pickup_ms': 1000, 'samples': [False, False, False]}, ['occ', 'occ', 'occ']), ('regression: train arrives on a clear section', {'period_ms': 100, 'pickup_ms': 100, 'samples': [False, True, False]}, ['clr', 'occ', 'clr']), ('control 23', {'period_ms': 100, 'pickup_ms': 1000, 'samples': [False, False, None, None, False, True, False, True, False, False, None]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('control 26', {'period_ms': 100, 'pickup_ms': 300, 'samples': [False, None, False, False, True, None, None, False, False, True, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('control 29', {'period_ms': 100, 'pickup_ms': 750, 'samples': [False, False, True, False, False, False, True, True, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ'])], [('regression: receiver failure on a clear section', {'period_ms': 100, 'pickup_ms': 200, 'samples': [False, False, None, False]}, ['occ', 'clr', 'occ', 'occ']), ('sampled regression 77', {'period_ms': 250, 'pickup_ms': 500, 'samples': [None, True, False, False, True, False, False]}, ['occ', 'occ', 'occ', 'clr', 'occ', 'occ', 'clr']), ('control 37', {'period_ms': 250, 'pickup_ms': 300, 'samples': [False, True, False, False, False, False, False, False, False, False, True, False, False]}, ['occ', 'occ', 'occ', 'clr', 'clr', 'clr', 'clr', 'clr', 'clr', 'clr', 'occ', 'occ', 'clr']), ('regression: pick-up exactly at the delay', {'period_ms': 250, 'pickup_ms': 500, 'samples': [False, False, False]}, ['occ', 'clr', 'clr']), ('regression: bobbing shunt while occupied', {'period_ms': 100, 'pickup_ms': 300, 'samples': [False, False, True, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'clr']), ('control 34', {'period_ms': 250, 'pickup_ms': 300, 'samples': [True, False, False, False, False, False, False, True]}, ['occ', 'occ', 'clr', 'clr', 'clr', 'clr', 'clr', 'occ']), ('control 40', {'period_ms': 100, 'pickup_ms': 1000, 'samples': [False, False, None, False, False, False, False, True, None, False, False, None, True]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('control 43', {'period_ms': 250, 'pickup_ms': 1000, 'samples': [True, False, None, None, False, False, True, False, None, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ'])], [('regression: train arrives on a clear section', {'period_ms': 100, 'pickup_ms': 100, 'samples': [False, True, False]}, ['clr', 'occ', 'clr']), ('sampled regression 3', {'period_ms': 250, 'pickup_ms': 750, 'samples': [True, False, False, False, False, False, False, False, True, True, False, True, False, False]}, ['occ', 'occ', 'occ', 'clr', 'clr', 'clr', 'clr', 'clr', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('sampled regression 60', {'period_ms': 100, 'pickup_ms': 300, 'samples': [None, False, True, False, False, False, False, None, False, None, None, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'clr', 'clr', 'occ', 'occ', 'occ', 'occ', 'occ']), ('regression: receiver failure mid pick-up', {'period_ms': 100, 'pickup_ms': 300, 'samples': [False, False, None, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'clr']), ('regression: receiver failure on a clear section', {'period_ms': 100, 'pickup_ms': 200, 'samples': [False, False, None, False]}, ['occ', 'clr', 'occ', 'occ']), ('sampled regression 45', {'period_ms': 250, 'pickup_ms': 500, 'samples': [True, False, False, False, True, False, None, False, False, None, True, False]}, ['occ', 'occ', 'clr', 'clr', 'occ', 'occ', 'occ', 'occ', 'clr', 'occ', 'occ', 'occ']), ('control 48', {'period_ms': 250, 'pickup_ms': 750, 'samples': [False, False, True, True]}, ['occ', 'occ', 'occ', 'occ']), ('control 51', {'period_ms': 100, 'pickup_ms': 750, 'samples': [False, None, True, False, False, False, True, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ'])]]\nfor label, args, expected in fixtures[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":"Stipulated toy interlocking contract for a bounded teaching model; it makes no claim of conformance to any railway signalling standard and omits real safety cases. 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-railway_interlocking_logic-track-circuit-pickup-pick-up-delay-boundary","generated_at":"2026-09-29T14:47:48.733266+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Interlocking logic decides whether trains may be given authority; a wrong decision at this point either grants unsafe movements or strands traffic.","root_cause":"The accumulated unshunted time must strictly exceed the delay.","sha256":"f70b44e21399f64944b37a7cc3a722eb5774a7bc4331addb8ed4010d72d94836","title":"Track circuit pick-up delay: pick-up delay boundary · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":38.698,"exit_code":1,"observations":[{"actual":["occ","occ","clr"],"check":"regression: pick-up exactly at the delay","expected":["occ","clr","clr"],"passed":false},{"actual":["occ","occ","occ","occ"],"check":"regression: receiver failure on a clear section","expected":["occ","clr","occ","occ"],"passed":false},{"actual":["occ","occ","occ","occ","occ","occ"],"check":"regression: bobbing shunt while occupied","expected":["occ","occ","occ","occ","occ","clr"],"passed":false},{"actual":["occ","occ","occ","occ","occ","occ"],"check":"regression: receiver failure mid pick-up","expected":["occ","occ","occ","occ","occ","clr"],"passed":false},{"actual":["occ","occ","occ"],"check":"boundary: never clears","expected":["occ","occ","occ"],"passed":true},{"actual":["occ","occ","occ","occ","occ","occ","occ","occ","occ","occ","occ","occ"],"check":"control 1","expected":["occ","occ","occ","occ","occ","occ","occ","occ","occ","occ","occ","occ"],"passed":true},{"actual":["occ","occ","occ","occ","occ","occ","occ","occ","occ","occ","occ","occ","occ"],"check":"control 4","expected":["occ","occ","occ","occ","occ","occ","occ","occ","occ","occ","occ","occ","occ"],"passed":true},{"actual":["occ","occ","occ","occ","occ","occ"],"check":"control 7","expected":["occ","occ","occ","occ","occ","occ"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: pick-up exactly at the delay\", \"actual\": [\"occ\", \"occ\", \"clr\"], \"expected\": [\"occ\", \"clr\", \"clr\"], \"passed\": false}, {\"check\": \"regression: receiver failure on a clear section\", \"actual\": [\"occ\", \"occ\", \"occ\", \"occ\"], \"expected\": [\"occ\", \"clr\", \"occ\", \"occ\"], \"passed\": false}, {\"check\": \"regression: bobbing shunt while occupied\", \"actual\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\"], \"expected\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"clr\"], \"passed\": false}, {\"check\": \"regression: receiver failure mid pick-up\", \"actual\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\"], \"expected\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"clr\"], \"passed\": false}, {\"check\": \"boundary: never clears\", \"actual\": [\"occ\", \"occ\", \"occ\"], \"expected\": [\"occ\", \"occ\", \"occ\"], \"passed\": true}, {\"check\": \"control 1\", \"actual\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\"], \"expected\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\"], \"passed\": true}, {\"check\": \"control 4\", \"actual\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\"], \"expected\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\"], \"passed\": true}, {\"check\": \"control 7\", \"actual\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\"], \"expected\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.427,"exit_code":1,"observations":[{"actual":["occ","occ","clr"],"check":"regression: pick-up exactly at the delay","expected":["occ","clr","clr"],"passed":false},{"actual":["occ","occ","occ","occ"],"check":"regression: receiver failure on a clear section","expected":["occ","clr","occ","occ"],"passed":false},{"actual":["occ","occ","occ","occ","occ","occ"],"check":"regression: bobbing shunt while occupied","expected":["occ","occ","occ","occ","occ","clr"],"passed":false},{"actual":["occ","occ","occ","occ","occ","occ"],"check":"regression: receiver failure mid pick-up","expected":["occ","occ","occ","occ","occ","clr"],"passed":false},{"actual":["occ","occ","occ"],"check":"boundary: never clears","expected":["occ","occ","occ"],"passed":true},{"actual":["occ","occ","occ","occ","occ","occ","occ","occ","occ","occ","occ","occ"],"check":"control 1","expected":["occ","occ","occ","occ","occ","occ","occ","occ","occ","occ","occ","occ"],"passed":true},{"actual":["occ","occ","occ","occ","occ","occ","occ","occ","occ","occ","occ","occ","occ"],"check":"control 4","expected":["occ","occ","occ","occ","occ","occ","occ","occ","occ","occ","occ","occ","occ"],"passed":true},{"actual":["occ","occ","occ","occ","occ","occ"],"check":"control 7","expected":["occ","occ","occ","occ","occ","occ"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: pick-up exactly at the delay\", \"actual\": [\"occ\", \"occ\", \"clr\"], \"expected\": [\"occ\", \"clr\", \"clr\"], \"passed\": false}, {\"check\": \"regression: receiver failure on a clear section\", \"actual\": [\"occ\", \"occ\", \"occ\", \"occ\"], \"expected\": [\"occ\", \"clr\", \"occ\", \"occ\"], \"passed\": false}, {\"check\": \"regression: bobbing shunt while occupied\", \"actual\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\"], \"expected\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"clr\"], \"passed\": false}, {\"check\": \"regression: receiver failure mid pick-up\", \"actual\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\"], \"expected\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"clr\"], \"passed\": false}, {\"check\": \"boundary: never clears\", \"actual\": [\"occ\", \"occ\", \"occ\"], \"expected\": [\"occ\", \"occ\", \"occ\"], \"passed\": true}, {\"check\": \"control 1\", \"actual\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\"], \"expected\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\"], \"passed\": true}, {\"check\": \"control 4\", \"actual\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\"], \"expected\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\"], \"passed\": true}, {\"check\": \"control 7\", \"actual\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\"], \"expected\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"occ\"], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}