{"abstract":"A receiver failure sample counts towards clearing the section.","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":"Rewriting the same test with an explicit None guard still treats failures as unshunted.","family":"w2-railway_interlocking_logic-track-circuit-pickup-failure-sample-handling","id":"FA-66991","implementations":{"attempt":{"sha256":"dc062fcf143a9ea6db951c147d4a0441bc56c01ec42283725042c07c1dfbb23e","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 not None and 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: 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 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 on a clear section', {'period_ms': 100, 'pickup_ms': 200, 'samples': [False, False, None, False]}, ['occ', 'clr', 'occ', 'occ']), ('boundary: pick-up exactly at the delay', {'period_ms': 250, 'pickup_ms': 500, 'samples': [False, False, False]}, ['occ', 'clr', 'clr']), ('boundary: bobbing shunt while occupied', {'period_ms': 100, 'pickup_ms': 300, 'samples': [False, False, True, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'clr']), ('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: receiver failure on a clear section', {'period_ms': 100, 'pickup_ms': 200, 'samples': [False, False, None, False]}, ['occ', 'clr', 'occ', 'occ']), ('sampled regression 16', {'period_ms': 250, 'pickup_ms': 1000, 'samples': [None, False, False, None, None, True, True, False, None, None, True, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('sampled regression 10', {'period_ms': 100, 'pickup_ms': 500, 'samples': [None, False, None, False, False, True, False]}, ['occ', 'occ', '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']), ('boundary: never clears', {'period_ms': 250, 'pickup_ms': 1000, 'samples': [False, False, False]}, ['occ', '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']), ('sampled regression 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 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'])], [('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 33', {'period_ms': 250, 'pickup_ms': 1000, 'samples': [False, False, False, None, False, False, None, False, None, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('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']), ('boundary: never clears', {'period_ms': 250, 'pickup_ms': 1000, 'samples': [False, False, False]}, ['occ', 'occ', 'occ']), ('boundary: 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']), ('sampled regression 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 54', {'period_ms': 100, 'pickup_ms': 750, 'samples': [False, False, None, False, None, False, False, None, False, False, True, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('sampled regression 32', {'period_ms': 100, 'pickup_ms': 300, 'samples': [None, False, False, None, False, True, False, True, True, False, True, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'clr']), ('boundary: pick-up exactly at the delay', {'period_ms': 250, 'pickup_ms': 500, 'samples': [False, False, False]}, ['occ', 'clr', 'clr']), ('boundary: 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 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']), ('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'])], [('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 62', {'period_ms': 250, 'pickup_ms': 750, 'samples': [False, True, None, False, False, False, False, False, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'clr', 'clr', 'clr', 'clr', 'clr', 'clr']), ('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']), ('regression: receiver failure on a clear section', {'period_ms': 100, 'pickup_ms': 200, 'samples': [False, False, None, False]}, ['occ', 'clr', 'occ', 'occ']), ('boundary: never clears', {'period_ms': 250, 'pickup_ms': 1000, 'samples': [False, False, False]}, ['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']), ('sampled regression 54', {'period_ms': 100, 'pickup_ms': 750, 'samples': [False, False, None, False, None, False, False, None, False, False, True, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', '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":"a57a1ecf6773b4288477583d430f5d2c45f78c4c67d5aa6f1e315e58ba5c3010","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:\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: 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 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 on a clear section', {'period_ms': 100, 'pickup_ms': 200, 'samples': [False, False, None, False]}, ['occ', 'clr', 'occ', 'occ']), ('boundary: pick-up exactly at the delay', {'period_ms': 250, 'pickup_ms': 500, 'samples': [False, False, False]}, ['occ', 'clr', 'clr']), ('boundary: bobbing shunt while occupied', {'period_ms': 100, 'pickup_ms': 300, 'samples': [False, False, True, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'clr']), ('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: receiver failure on a clear section', {'period_ms': 100, 'pickup_ms': 200, 'samples': [False, False, None, False]}, ['occ', 'clr', 'occ', 'occ']), ('sampled regression 16', {'period_ms': 250, 'pickup_ms': 1000, 'samples': [None, False, False, None, None, True, True, False, None, None, True, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('sampled regression 10', {'period_ms': 100, 'pickup_ms': 500, 'samples': [None, False, None, False, False, True, False]}, ['occ', 'occ', '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']), ('boundary: never clears', {'period_ms': 250, 'pickup_ms': 1000, 'samples': [False, False, False]}, ['occ', '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']), ('sampled regression 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 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'])], [('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 33', {'period_ms': 250, 'pickup_ms': 1000, 'samples': [False, False, False, None, False, False, None, False, None, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('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']), ('boundary: never clears', {'period_ms': 250, 'pickup_ms': 1000, 'samples': [False, False, False]}, ['occ', 'occ', 'occ']), ('boundary: 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']), ('sampled regression 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 54', {'period_ms': 100, 'pickup_ms': 750, 'samples': [False, False, None, False, None, False, False, None, False, False, True, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ']), ('sampled regression 32', {'period_ms': 100, 'pickup_ms': 300, 'samples': [None, False, False, None, False, True, False, True, True, False, True, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'occ', 'clr']), ('boundary: pick-up exactly at the delay', {'period_ms': 250, 'pickup_ms': 500, 'samples': [False, False, False]}, ['occ', 'clr', 'clr']), ('boundary: 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 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']), ('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'])], [('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 62', {'period_ms': 250, 'pickup_ms': 750, 'samples': [False, True, None, False, False, False, False, False, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'clr', 'clr', 'clr', 'clr', 'clr', 'clr']), ('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']), ('regression: receiver failure on a clear section', {'period_ms': 100, 'pickup_ms': 200, 'samples': [False, False, None, False]}, ['occ', 'clr', 'occ', 'occ']), ('boundary: never clears', {'period_ms': 250, 'pickup_ms': 1000, 'samples': [False, False, False]}, ['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']), ('sampled regression 54', {'period_ms': 100, 'pickup_ms': 750, 'samples': [False, False, None, False, None, False, False, None, False, False, True, False, False, False]}, ['occ', 'occ', 'occ', 'occ', 'occ', 'occ', '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-failure-sample-handling","generated_at":"2026-09-29T14:47:48.777747+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":"A None sample is treated as unshunted instead of as the restrictive state.","sha256":"fde147e5d9faee0c045fb9dbf3144e1198db3a96c608f25e3f425db33e6fe170","title":"Track circuit pick-up delay: failure sample handling · 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":37.83,"exit_code":1,"observations":[{"actual":["occ","occ","clr","clr","clr","clr"],"check":"regression: receiver failure mid pick-up","expected":["occ","occ","occ","occ","occ","clr"],"passed":false},{"actual":["occ","clr","clr","occ","occ","clr","clr"],"check":"sampled regression 6","expected":["occ","clr","clr","occ","occ","clr","occ"],"passed":false},{"actual":["occ","clr","clr","clr"],"check":"regression: receiver failure on a clear section","expected":["occ","clr","occ","occ"],"passed":false},{"actual":["occ","clr","clr"],"check":"boundary: pick-up exactly at the delay","expected":["occ","clr","clr"],"passed":true},{"actual":["occ","occ","occ","occ","occ","clr"],"check":"boundary: bobbing shunt while occupied","expected":["occ","occ","occ","occ","occ","clr"],"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: receiver failure mid pick-up\", \"actual\": [\"occ\", \"occ\", \"clr\", \"clr\", \"clr\", \"clr\"], \"expected\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"clr\"], \"passed\": false}, {\"check\": \"sampled regression 6\", \"actual\": [\"occ\", \"clr\", \"clr\", \"occ\", \"occ\", \"clr\", \"clr\"], \"expected\": [\"occ\", \"clr\", \"clr\", \"occ\", \"occ\", \"clr\", \"occ\"], \"passed\": false}, {\"check\": \"regression: receiver failure on a clear section\", \"actual\": [\"occ\", \"clr\", \"clr\", \"clr\"], \"expected\": [\"occ\", \"clr\", \"occ\", \"occ\"], \"passed\": false}, {\"check\": \"boundary: pick-up exactly at the delay\", \"actual\": [\"occ\", \"clr\", \"clr\"], \"expected\": [\"occ\", \"clr\", \"clr\"], \"passed\": true}, {\"check\": \"boundary: bobbing shunt while occupied\", \"actual\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"clr\"], \"expected\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"clr\"], \"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":38.147,"exit_code":1,"observations":[{"actual":["occ","occ","clr","clr","clr","clr"],"check":"regression: receiver failure mid pick-up","expected":["occ","occ","occ","occ","occ","clr"],"passed":false},{"actual":["occ","clr","clr","occ","occ","clr","clr"],"check":"sampled regression 6","expected":["occ","clr","clr","occ","occ","clr","occ"],"passed":false},{"actual":["occ","clr","clr","clr"],"check":"regression: receiver failure on a clear section","expected":["occ","clr","occ","occ"],"passed":false},{"actual":["occ","clr","clr"],"check":"boundary: pick-up exactly at the delay","expected":["occ","clr","clr"],"passed":true},{"actual":["occ","occ","occ","occ","occ","clr"],"check":"boundary: bobbing shunt while occupied","expected":["occ","occ","occ","occ","occ","clr"],"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: receiver failure mid pick-up\", \"actual\": [\"occ\", \"occ\", \"clr\", \"clr\", \"clr\", \"clr\"], \"expected\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"clr\"], \"passed\": false}, {\"check\": \"sampled regression 6\", \"actual\": [\"occ\", \"clr\", \"clr\", \"occ\", \"occ\", \"clr\", \"clr\"], \"expected\": [\"occ\", \"clr\", \"clr\", \"occ\", \"occ\", \"clr\", \"occ\"], \"passed\": false}, {\"check\": \"regression: receiver failure on a clear section\", \"actual\": [\"occ\", \"clr\", \"clr\", \"clr\"], \"expected\": [\"occ\", \"clr\", \"occ\", \"occ\"], \"passed\": false}, {\"check\": \"boundary: pick-up exactly at the delay\", \"actual\": [\"occ\", \"clr\", \"clr\"], \"expected\": [\"occ\", \"clr\", \"clr\"], \"passed\": true}, {\"check\": \"boundary: bobbing shunt while occupied\", \"actual\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"clr\"], \"expected\": [\"occ\", \"occ\", \"occ\", \"occ\", \"occ\", \"clr\"], \"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."}}