{"abstract":"Uniform delay level of service returns a wrong result when capacity ignores the number of lanes.","category":"Traffic signal timing plans","checks":8,"contract":"Input {cycle, green, volume, sat_per_lane, lanes}. lam = green/cycle, capacity = sat*lanes*lam, X = volume/capacity, uniform delay d = 0.5*C*(1-lam)^2/(1 - min(1,X)*lam) rounded half up to tenths. LOS thresholds on tenths: <=100 A, <=200 B, <=350 C, <=550 D, <=800 E, else F; any X > 1 is F. Return {vc_milli: floor(1000X), delay_tenths, los}.","contract_signature":"x","evaluation_group":"w2-traffic_signal_timing_plans-uniform-delay-los","failed_approach":"Dropping the green ratio instead reports full-hour capacity for a signal that is green only part of the cycle.","family":"w2-traffic_signal_timing_plans-uniform-delay-los-lane-capacity","id":"FA-68131","implementations":{"attempt":{"sha256":"d08c3430bfd62b7d694f1131a3066e9729830c338c46ac59afed25b5bf381cae","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    C, g = x['cycle'], x['green']\n    lam = Fraction(g, C)\n    cap = x['sat_per_lane'] * x['lanes']\n    X = Fraction(x['volume']) / cap\n    d = Fraction(1, 2) * C * (1 - lam) ** 2 / (1 - min(1, X) * lam)\n    tenths = int(d * 10 + Fraction(1, 2))\n    if X > 1:\n        los = 'F'\n    else:\n        los = 'F'\n        for lim, lab in ((100, 'A'), (200, 'B'), (350, 'C'), (550, 'D'), (800, 'E')):\n            if tenths <= lim:\n                los = lab\n                break\n    return {'vc_milli': int(X * 1000), 'delay_tenths': tenths, 'los': los}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'cycle': 60, 'green': 40, 'volume': 800, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 666, 'delay_tenths': 60, 'los': 'A'}), ({'cycle': 90, 'green': 39, 'volume': 1363, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 1747, 'delay_tenths': 255, 'los': 'F'}), ({'cycle': 110, 'green': 28, 'volume': 242, 'sat_per_lane': 1900, 'lanes': 1}, {'vc_milli': 500, 'delay_tenths': 350, 'los': 'C'}), ({'cycle': 90, 'green': 53, 'volume': 1841, 'sat_per_lane': 1700, 'lanes': 1}, {'vc_milli': 1838, 'delay_tenths': 185, 'los': 'F'}), ({'cycle': 60, 'green': 43, 'volume': 5888, 'sat_per_lane': 1700, 'lanes': 3}, {'vc_milli': 1610, 'delay_tenths': 85, 'los': 'F'}), ({'cycle': 100, 'green': 50, 'volume': 900, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 1000, 'delay_tenths': 250, 'los': 'C'}), ({'cycle': 120, 'green': 40, 'volume': 1300, 'sat_per_lane': 1900, 'lanes': 2}, {'vc_milli': 1026, 'delay_tenths': 400, 'los': 'F'}), ({'cycle': 60, 'green': 13, 'volume': 1105, 'sat_per_lane': 1700, 'lanes': 3}, {'vc_milli': 1000, 'delay_tenths': 235, 'los': 'C'})], [({'cycle': 60, 'green': 40, 'volume': 800, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 666, 'delay_tenths': 60, 'los': 'A'}), ({'cycle': 120, 'green': 65, 'volume': 959, 'sat_per_lane': 1700, 'lanes': 1}, {'vc_milli': 1041, 'delay_tenths': 275, 'los': 'F'}), ({'cycle': 120, 'green': 40, 'volume': 1300, 'sat_per_lane': 1900, 'lanes': 2}, {'vc_milli': 1026, 'delay_tenths': 400, 'los': 'F'}), ({'cycle': 100, 'green': 50, 'volume': 675, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 750, 'delay_tenths': 200, 'los': 'B'}), ({'cycle': 90, 'green': 40, 'volume': 2870, 'sat_per_lane': 1700, 'lanes': 2}, {'vc_milli': 1899, 'delay_tenths': 250, 'los': 'F'}), ({'cycle': 80, 'green': 36, 'volume': 1197, 'sat_per_lane': 1900, 'lanes': 1}, {'vc_milli': 1400, 'delay_tenths': 220, 'los': 'F'}), ({'cycle': 110, 'green': 87, 'volume': 3733, 'sat_per_lane': 1700, 'lanes': 3}, {'vc_milli': 925, 'delay_tenths': 90, 'los': 'A'}), ({'cycle': 100, 'green': 65, 'volume': 4446, 'sat_per_lane': 1800, 'lanes': 3}, {'vc_milli': 1266, 'delay_tenths': 175, 'los': 'F'})], [({'cycle': 120, 'green': 40, 'volume': 1300, 'sat_per_lane': 1900, 'lanes': 2}, {'vc_milli': 1026, 'delay_tenths': 400, 'los': 'F'}), ({'cycle': 110, 'green': 53, 'volume': 2572, 'sat_per_lane': 1900, 'lanes': 2}, {'vc_milli': 1404, 'delay_tenths': 285, 'los': 'F'}), ({'cycle': 130, 'green': 50, 'volume': 2066, 'sat_per_lane': 1800, 'lanes': 2}, {'vc_milli': 1492, 'delay_tenths': 400, 'los': 'F'}), ({'cycle': 60, 'green': 40, 'volume': 800, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 666, 'delay_tenths': 60, 'los': 'A'}), ({'cycle': 60, 'green': 33, 'volume': 2090, 'sat_per_lane': 1900, 'lanes': 2}, {'vc_milli': 1000, 'delay_tenths': 135, 'los': 'B'}), ({'cycle': 60, 'green': 30, 'volume': 1709, 'sat_per_lane': 1800, 'lanes': 3}, {'vc_milli': 632, 'delay_tenths': 110, 'los': 'B'}), ({'cycle': 100, 'green': 50, 'volume': 675, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 750, 'delay_tenths': 200, 'los': 'B'}), ({'cycle': 90, 'green': 31, 'volume': 2169, 'sat_per_lane': 1800, 'lanes': 3}, {'vc_milli': 1166, 'delay_tenths': 295, 'los': 'F'})], [({'cycle': 100, 'green': 50, 'volume': 900, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 1000, 'delay_tenths': 250, 'los': 'C'}), ({'cycle': 150, 'green': 128, 'volume': 8698, 'sat_per_lane': 1700, 'lanes': 3}, {'vc_milli': 1998, 'delay_tenths': 110, 'los': 'F'}), ({'cycle': 120, 'green': 40, 'volume': 1300, 'sat_per_lane': 1900, 'lanes': 2}, {'vc_milli': 1026, 'delay_tenths': 400, 'los': 'F'}), ({'cycle': 100, 'green': 12, 'volume': 741, 'sat_per_lane': 1900, 'lanes': 3}, {'vc_milli': 1083, 'delay_tenths': 440, 'los': 'F'}), ({'cycle': 90, 'green': 34, 'volume': 468, 'sat_per_lane': 1900, 'lanes': 2}, {'vc_milli': 326, 'delay_tenths': 199, 'los': 'B'}), ({'cycle': 60, 'green': 20, 'volume': 609, 'sat_per_lane': 1900, 'lanes': 2}, {'vc_milli': 480, 'delay_tenths': 159, 'los': 'B'}), ({'cycle': 60, 'green': 20, 'volume': 1312, 'sat_per_lane': 1700, 'lanes': 2}, {'vc_milli': 1157, 'delay_tenths': 200, 'los': 'F'}), ({'cycle': 60, 'green': 40, 'volume': 800, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 666, 'delay_tenths': 60, 'los': 'A'})], [({'cycle': 60, 'green': 39, 'volume': 799, 'sat_per_lane': 1800, 'lanes': 3}, {'vc_milli': 227, 'delay_tenths': 43, 'los': 'A'}), ({'cycle': 100, 'green': 50, 'volume': 900, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 1000, 'delay_tenths': 250, 'los': 'C'}), ({'cycle': 60, 'green': 18, 'volume': 334, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 618, 'delay_tenths': 180, 'los': 'B'}), ({'cycle': 60, 'green': 40, 'volume': 800, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 666, 'delay_tenths': 60, 'los': 'A'}), ({'cycle': 90, 'green': 30, 'volume': 700, 'sat_per_lane': 1800, 'lanes': 2}, {'vc_milli': 583, 'delay_tenths': 248, 'los': 'C'}), ({'cycle': 110, 'green': 42, 'volume': 3430, 'sat_per_lane': 1700, 'lanes': 3}, {'vc_milli': 1761, 'delay_tenths': 340, 'los': 'F'}), ({'cycle': 150, 'green': 123, 'volume': 8406, 'sat_per_lane': 1800, 'lanes': 3}, {'vc_milli': 1898, 'delay_tenths': 135, 'los': 'F'}), ({'cycle': 90, 'green': 15, 'volume': 411, 'sat_per_lane': 1700, 'lanes': 1}, {'vc_milli': 1450, 'delay_tenths': 375, 'los': 'F'})]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check('timing oracle' + ' %d' % i, 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":"5965ab285e23110c66c9777588d47b534d6ea10aa1caf446b0635a698f09ec79","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    C, g = x['cycle'], x['green']\n    lam = Fraction(g, C)\n    cap = x['sat_per_lane'] * lam\n    X = Fraction(x['volume']) / cap\n    d = Fraction(1, 2) * C * (1 - lam) ** 2 / (1 - min(1, X) * lam)\n    tenths = int(d * 10 + Fraction(1, 2))\n    if X > 1:\n        los = 'F'\n    else:\n        los = 'F'\n        for lim, lab in ((100, 'A'), (200, 'B'), (350, 'C'), (550, 'D'), (800, 'E')):\n            if tenths <= lim:\n                los = lab\n                break\n    return {'vc_milli': int(X * 1000), 'delay_tenths': tenths, 'los': los}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'cycle': 60, 'green': 40, 'volume': 800, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 666, 'delay_tenths': 60, 'los': 'A'}), ({'cycle': 90, 'green': 39, 'volume': 1363, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 1747, 'delay_tenths': 255, 'los': 'F'}), ({'cycle': 110, 'green': 28, 'volume': 242, 'sat_per_lane': 1900, 'lanes': 1}, {'vc_milli': 500, 'delay_tenths': 350, 'los': 'C'}), ({'cycle': 90, 'green': 53, 'volume': 1841, 'sat_per_lane': 1700, 'lanes': 1}, {'vc_milli': 1838, 'delay_tenths': 185, 'los': 'F'}), ({'cycle': 60, 'green': 43, 'volume': 5888, 'sat_per_lane': 1700, 'lanes': 3}, {'vc_milli': 1610, 'delay_tenths': 85, 'los': 'F'}), ({'cycle': 100, 'green': 50, 'volume': 900, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 1000, 'delay_tenths': 250, 'los': 'C'}), ({'cycle': 120, 'green': 40, 'volume': 1300, 'sat_per_lane': 1900, 'lanes': 2}, {'vc_milli': 1026, 'delay_tenths': 400, 'los': 'F'}), ({'cycle': 60, 'green': 13, 'volume': 1105, 'sat_per_lane': 1700, 'lanes': 3}, {'vc_milli': 1000, 'delay_tenths': 235, 'los': 'C'})], [({'cycle': 60, 'green': 40, 'volume': 800, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 666, 'delay_tenths': 60, 'los': 'A'}), ({'cycle': 120, 'green': 65, 'volume': 959, 'sat_per_lane': 1700, 'lanes': 1}, {'vc_milli': 1041, 'delay_tenths': 275, 'los': 'F'}), ({'cycle': 120, 'green': 40, 'volume': 1300, 'sat_per_lane': 1900, 'lanes': 2}, {'vc_milli': 1026, 'delay_tenths': 400, 'los': 'F'}), ({'cycle': 100, 'green': 50, 'volume': 675, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 750, 'delay_tenths': 200, 'los': 'B'}), ({'cycle': 90, 'green': 40, 'volume': 2870, 'sat_per_lane': 1700, 'lanes': 2}, {'vc_milli': 1899, 'delay_tenths': 250, 'los': 'F'}), ({'cycle': 80, 'green': 36, 'volume': 1197, 'sat_per_lane': 1900, 'lanes': 1}, {'vc_milli': 1400, 'delay_tenths': 220, 'los': 'F'}), ({'cycle': 110, 'green': 87, 'volume': 3733, 'sat_per_lane': 1700, 'lanes': 3}, {'vc_milli': 925, 'delay_tenths': 90, 'los': 'A'}), ({'cycle': 100, 'green': 65, 'volume': 4446, 'sat_per_lane': 1800, 'lanes': 3}, {'vc_milli': 1266, 'delay_tenths': 175, 'los': 'F'})], [({'cycle': 120, 'green': 40, 'volume': 1300, 'sat_per_lane': 1900, 'lanes': 2}, {'vc_milli': 1026, 'delay_tenths': 400, 'los': 'F'}), ({'cycle': 110, 'green': 53, 'volume': 2572, 'sat_per_lane': 1900, 'lanes': 2}, {'vc_milli': 1404, 'delay_tenths': 285, 'los': 'F'}), ({'cycle': 130, 'green': 50, 'volume': 2066, 'sat_per_lane': 1800, 'lanes': 2}, {'vc_milli': 1492, 'delay_tenths': 400, 'los': 'F'}), ({'cycle': 60, 'green': 40, 'volume': 800, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 666, 'delay_tenths': 60, 'los': 'A'}), ({'cycle': 60, 'green': 33, 'volume': 2090, 'sat_per_lane': 1900, 'lanes': 2}, {'vc_milli': 1000, 'delay_tenths': 135, 'los': 'B'}), ({'cycle': 60, 'green': 30, 'volume': 1709, 'sat_per_lane': 1800, 'lanes': 3}, {'vc_milli': 632, 'delay_tenths': 110, 'los': 'B'}), ({'cycle': 100, 'green': 50, 'volume': 675, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 750, 'delay_tenths': 200, 'los': 'B'}), ({'cycle': 90, 'green': 31, 'volume': 2169, 'sat_per_lane': 1800, 'lanes': 3}, {'vc_milli': 1166, 'delay_tenths': 295, 'los': 'F'})], [({'cycle': 100, 'green': 50, 'volume': 900, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 1000, 'delay_tenths': 250, 'los': 'C'}), ({'cycle': 150, 'green': 128, 'volume': 8698, 'sat_per_lane': 1700, 'lanes': 3}, {'vc_milli': 1998, 'delay_tenths': 110, 'los': 'F'}), ({'cycle': 120, 'green': 40, 'volume': 1300, 'sat_per_lane': 1900, 'lanes': 2}, {'vc_milli': 1026, 'delay_tenths': 400, 'los': 'F'}), ({'cycle': 100, 'green': 12, 'volume': 741, 'sat_per_lane': 1900, 'lanes': 3}, {'vc_milli': 1083, 'delay_tenths': 440, 'los': 'F'}), ({'cycle': 90, 'green': 34, 'volume': 468, 'sat_per_lane': 1900, 'lanes': 2}, {'vc_milli': 326, 'delay_tenths': 199, 'los': 'B'}), ({'cycle': 60, 'green': 20, 'volume': 609, 'sat_per_lane': 1900, 'lanes': 2}, {'vc_milli': 480, 'delay_tenths': 159, 'los': 'B'}), ({'cycle': 60, 'green': 20, 'volume': 1312, 'sat_per_lane': 1700, 'lanes': 2}, {'vc_milli': 1157, 'delay_tenths': 200, 'los': 'F'}), ({'cycle': 60, 'green': 40, 'volume': 800, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 666, 'delay_tenths': 60, 'los': 'A'})], [({'cycle': 60, 'green': 39, 'volume': 799, 'sat_per_lane': 1800, 'lanes': 3}, {'vc_milli': 227, 'delay_tenths': 43, 'los': 'A'}), ({'cycle': 100, 'green': 50, 'volume': 900, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 1000, 'delay_tenths': 250, 'los': 'C'}), ({'cycle': 60, 'green': 18, 'volume': 334, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 618, 'delay_tenths': 180, 'los': 'B'}), ({'cycle': 60, 'green': 40, 'volume': 800, 'sat_per_lane': 1800, 'lanes': 1}, {'vc_milli': 666, 'delay_tenths': 60, 'los': 'A'}), ({'cycle': 90, 'green': 30, 'volume': 700, 'sat_per_lane': 1800, 'lanes': 2}, {'vc_milli': 583, 'delay_tenths': 248, 'los': 'C'}), ({'cycle': 110, 'green': 42, 'volume': 3430, 'sat_per_lane': 1700, 'lanes': 3}, {'vc_milli': 1761, 'delay_tenths': 340, 'los': 'F'}), ({'cycle': 150, 'green': 123, 'volume': 8406, 'sat_per_lane': 1800, 'lanes': 3}, {'vc_milli': 1898, 'delay_tenths': 135, 'los': 'F'}), ({'cycle': 90, 'green': 15, 'volume': 411, 'sat_per_lane': 1700, 'lanes': 1}, {'vc_milli': 1450, 'delay_tenths': 375, 'los': 'F'})]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check('timing oracle' + ' %d' % i, 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":"A deterministic, bounded toy model with a stipulated contract; it makes no claim of conformance to any agency manual or standard. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-traffic_signal_timing_plans-uniform-delay-los-lane-capacity","generated_at":"2026-09-29T14:47:59.199902+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Signal timing arithmetic is exact and integer or rational; a wrong rule silently produces unsafe or inefficient timing plans.","root_cause":"Capacity uses a single lane of saturation flow, so multi-lane approaches look oversaturated.","sha256":"099871d697352e9a5e5d86244895da58abd056f9788f57c6d0a07caa0a99a37d","title":"Uniform delay level of service: capacity ignores the number of lanes · 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":44.335,"exit_code":1,"observations":[{"actual":{"delay_tenths":47,"los":"A","vc_milli":444},"check":"timing oracle 0","expected":{"delay_tenths":60,"los":"A","vc_milli":666},"passed":false},{"actual":{"delay_tenths":215,"los":"C","vc_milli":757},"check":"timing oracle 1","expected":{"delay_tenths":255,"los":"F","vc_milli":1747},"passed":false},{"actual":{"delay_tenths":316,"los":"C","vc_milli":127},"check":"timing oracle 2","expected":{"delay_tenths":350,"los":"C","vc_milli":500},"passed":false},{"actual":{"delay_tenths":185,"los":"F","vc_milli":1082},"check":"timing oracle 3","expected":{"delay_tenths":185,"los":"F","vc_milli":1838},"passed":false},{"actual":{"delay_tenths":85,"los":"F","vc_milli":1154},"check":"timing oracle 4","expected":{"delay_tenths":85,"los":"F","vc_milli":1610},"passed":false},{"actual":{"delay_tenths":167,"los":"B","vc_milli":500},"check":"timing oracle 5","expected":{"delay_tenths":250,"los":"C","vc_milli":1000},"passed":false},{"actual":{"delay_tenths":301,"los":"C","vc_milli":342},"check":"timing oracle 6","expected":{"delay_tenths":400,"los":"F","vc_milli":1026},"passed":false},{"actual":{"delay_tenths":193,"los":"B","vc_milli":216},"check":"timing oracle 7","expected":{"delay_tenths":235,"los":"C","vc_milli":1000},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"timing oracle 0\", \"actual\": {\"vc_milli\": 444, \"delay_tenths\": 47, \"los\": \"A\"}, \"expected\": {\"vc_milli\": 666, \"delay_tenths\": 60, \"los\": \"A\"}, \"passed\": false}, {\"check\": \"timing oracle 1\", \"actual\": {\"vc_milli\": 757, \"delay_tenths\": 215, \"los\": \"C\"}, \"expected\": {\"vc_milli\": 1747, \"delay_tenths\": 255, \"los\": \"F\"}, \"passed\": false}, {\"check\": \"timing oracle 2\", \"actual\": {\"vc_milli\": 127, \"delay_tenths\": 316, \"los\": \"C\"}, \"expected\": {\"vc_milli\": 500, \"delay_tenths\": 350, \"los\": \"C\"}, \"passed\": false}, {\"check\": \"timing oracle 3\", \"actual\": {\"vc_milli\": 1082, \"delay_tenths\": 185, \"los\": \"F\"}, \"expected\": {\"vc_milli\": 1838, \"delay_tenths\": 185, \"los\": \"F\"}, \"passed\": false}, {\"check\": \"timing oracle 4\", \"actual\": {\"vc_milli\": 1154, \"delay_tenths\": 85, \"los\": \"F\"}, \"expected\": {\"vc_milli\": 1610, \"delay_tenths\": 85, \"los\": \"F\"}, \"passed\": false}, {\"check\": \"timing oracle 5\", \"actual\": {\"vc_milli\": 500, \"delay_tenths\": 167, \"los\": \"B\"}, \"expected\": {\"vc_milli\": 1000, \"delay_tenths\": 250, \"los\": \"C\"}, \"passed\": false}, {\"check\": \"timing oracle 6\", \"actual\": {\"vc_milli\": 342, \"delay_tenths\": 301, \"los\": \"C\"}, \"expected\": {\"vc_milli\": 1026, \"delay_tenths\": 400, \"los\": \"F\"}, \"passed\": false}, {\"check\": \"timing oracle 7\", \"actual\": {\"vc_milli\": 216, \"delay_tenths\": 193, \"los\": \"B\"}, \"expected\": {\"vc_milli\": 1000, \"delay_tenths\": 235, \"los\": \"C\"}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.206,"exit_code":1,"observations":[{"actual":{"delay_tenths":60,"los":"A","vc_milli":666},"check":"timing oracle 0","expected":{"delay_tenths":60,"los":"A","vc_milli":666},"passed":true},{"actual":{"delay_tenths":255,"los":"F","vc_milli":1747},"check":"timing oracle 1","expected":{"delay_tenths":255,"los":"F","vc_milli":1747},"passed":true},{"actual":{"delay_tenths":350,"los":"C","vc_milli":500},"check":"timing oracle 2","expected":{"delay_tenths":350,"los":"C","vc_milli":500},"passed":true},{"actual":{"delay_tenths":185,"los":"F","vc_milli":1838},"check":"timing oracle 3","expected":{"delay_tenths":185,"los":"F","vc_milli":1838},"passed":true},{"actual":{"delay_tenths":85,"los":"F","vc_milli":4832},"check":"timing oracle 4","expected":{"delay_tenths":85,"los":"F","vc_milli":1610},"passed":false},{"actual":{"delay_tenths":250,"los":"C","vc_milli":1000},"check":"timing oracle 5","expected":{"delay_tenths":250,"los":"C","vc_milli":1000},"passed":true},{"actual":{"delay_tenths":400,"los":"F","vc_milli":2052},"check":"timing oracle 6","expected":{"delay_tenths":400,"los":"F","vc_milli":1026},"passed":false},{"actual":{"delay_tenths":235,"los":"F","vc_milli":3000},"check":"timing oracle 7","expected":{"delay_tenths":235,"los":"C","vc_milli":1000},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"timing oracle 0\", \"actual\": {\"vc_milli\": 666, \"delay_tenths\": 60, \"los\": \"A\"}, \"expected\": {\"vc_milli\": 666, \"delay_tenths\": 60, \"los\": \"A\"}, \"passed\": true}, {\"check\": \"timing oracle 1\", \"actual\": {\"vc_milli\": 1747, \"delay_tenths\": 255, \"los\": \"F\"}, \"expected\": {\"vc_milli\": 1747, \"delay_tenths\": 255, \"los\": \"F\"}, \"passed\": true}, {\"check\": \"timing oracle 2\", \"actual\": {\"vc_milli\": 500, \"delay_tenths\": 350, \"los\": \"C\"}, \"expected\": {\"vc_milli\": 500, \"delay_tenths\": 350, \"los\": \"C\"}, \"passed\": true}, {\"check\": \"timing oracle 3\", \"actual\": {\"vc_milli\": 1838, \"delay_tenths\": 185, \"los\": \"F\"}, \"expected\": {\"vc_milli\": 1838, \"delay_tenths\": 185, \"los\": \"F\"}, \"passed\": true}, {\"check\": \"timing oracle 4\", \"actual\": {\"vc_milli\": 4832, \"delay_tenths\": 85, \"los\": \"F\"}, \"expected\": {\"vc_milli\": 1610, \"delay_tenths\": 85, \"los\": \"F\"}, \"passed\": false}, {\"check\": \"timing oracle 5\", \"actual\": {\"vc_milli\": 1000, \"delay_tenths\": 250, \"los\": \"C\"}, \"expected\": {\"vc_milli\": 1000, \"delay_tenths\": 250, \"los\": \"C\"}, \"passed\": true}, {\"check\": \"timing oracle 6\", \"actual\": {\"vc_milli\": 2052, \"delay_tenths\": 400, \"los\": \"F\"}, \"expected\": {\"vc_milli\": 1026, \"delay_tenths\": 400, \"los\": \"F\"}, \"passed\": false}, {\"check\": \"timing oracle 7\", \"actual\": {\"vc_milli\": 3000, \"delay_tenths\": 235, \"los\": \"F\"}, \"expected\": {\"vc_milli\": 1000, \"delay_tenths\": 235, \"los\": \"C\"}, \"passed\": false}], \"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."}}