{"abstract":"Webster cycle length returns a wrong result when critical ratio sums every lane group of a phase.","category":"Traffic signal timing plans","checks":8,"contract":"Input {phases: per-phase lists of lane-group flows veh/h, sat: saturation flow per lane group, lost: lost seconds per phase, allred: extra all-red seconds per cycle, cmin, cmax}. Y is the sum over phases of the critical (largest) flow ratio; L = lost*phases + allred. If Y >= 0.9 return 'oversaturated'. Otherwise C0 = (1.5L + 5)/(1 - Y), rounded UP to a multiple of 5 s and clamped to [cmin, cmax]. Return {cycle, lost: L, y_milli: floor(1000Y)}.","contract_signature":"x","evaluation_group":"w2-traffic_signal_timing_plans-webster-cycle","failed_approach":"Averaging the lane groups still dilutes the critical movement; the heaviest lane group alone governs the phase.","family":"w2-traffic_signal_timing_plans-webster-cycle-critical-ratio","id":"FA-67841","implementations":{"attempt":{"sha256":"8297f9f0eae51278dc4a062989694a3f89be6e7f3c58fc25377a8295ff45c492","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    ph = x['phases']\n    s = x['sat']\n    Y = Fraction(0)\n    for group in ph:\n        Y += Fraction(sum(group), s * len(group))\n    L = x['lost'] * len(ph) + x['allred']\n    if Y >= Fraction(9, 10):\n        return 'oversaturated'\n    c0 = (Fraction(3, 2) * L + 5) / (1 - Y)\n    c = -(-c0 // 5) * 5\n    c = max(x['cmin'], min(x['cmax'], int(c)))\n    return {'cycle': c, 'lost': L, 'y_milli': int(Y * 1000)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'phases': [[810], [810]], 'sat': 1800, 'lost': 4, 'allred': 0, 'cmin': 40, 'cmax': 180}, 'oversaturated'), ({'phases': [[600, 300, 660], [900, 300], [720], [780, 900]], 'sat': 1800, 'lost': 4, 'allred': 4, 'cmin': 40, 'cmax': 150}, 'oversaturated'), ({'phases': [[750, 870, 510], [570]], 'sat': 1900, 'lost': 4, 'allred': 6, 'cmin': 60, 'cmax': 180}, {'cycle': 110, 'lost': 14, 'y_milli': 757}), ({'phases': [[90], [90], [90]], 'sat': 1800, 'lost': 3, 'allred': 0, 'cmin': 60, 'cmax': 120}, {'cycle': 60, 'lost': 9, 'y_milli': 150}), ({'phases': [[720, 360], [540, 900]], 'sat': 1800, 'lost': 4, 'allred': 4, 'cmin': 60, 'cmax': 150}, 'oversaturated'), ({'phases': [[90, 90], [870, 840], [570], [660, 750, 780]], 'sat': 1800, 'lost': 4, 'allred': 5, 'cmin': 40, 'cmax': 90}, 'oversaturated'), ({'phases': [[60], [270, 210, 810], [600, 240]], 'sat': 1900, 'lost': 2, 'allred': 3, 'cmin': 40, 'cmax': 120}, {'cycle': 85, 'lost': 9, 'y_milli': 773}), ({'phases': [[240, 210], [780, 270]], 'sat': 1800, 'lost': 4, 'allred': 2, 'cmin': 40, 'cmax': 150}, {'cycle': 50, 'lost': 10, 'y_milli': 566})], [({'phases': [[810], [810]], 'sat': 1800, 'lost': 4, 'allred': 0, 'cmin': 40, 'cmax': 180}, 'oversaturated'), ({'phases': [[780, 510, 480], [630, 660, 330], [60, 900, 390], [480, 900]], 'sat': 1800, 'lost': 5, 'allred': 1, 'cmin': 60, 'cmax': 90}, 'oversaturated'), ({'phases': [[720, 360], [540, 900]], 'sat': 1800, 'lost': 4, 'allred': 4, 'cmin': 60, 'cmax': 150}, 'oversaturated'), ({'phases': [[720, 750, 810], [780, 900], [900, 90, 540], [150, 810, 750]], 'sat': 1900, 'lost': 2, 'allred': 1, 'cmin': 50, 'cmax': 90}, 'oversaturated'), ({'phases': [[300, 600], [450]], 'sat': 1800, 'lost': 4, 'allred': 2, 'cmin': 40, 'cmax': 120}, {'cycle': 50, 'lost': 10, 'y_milli': 583}), ({'phases': [[690], [480, 780, 120]], 'sat': 1800, 'lost': 4, 'allred': 6, 'cmin': 50, 'cmax': 150}, {'cycle': 145, 'lost': 14, 'y_milli': 816}), ({'phases': [[900, 630, 450], [810], [660], [840, 450]], 'sat': 1800, 'lost': 5, 'allred': 5, 'cmin': 40, 'cmax': 180}, 'oversaturated'), ({'phases': [[420, 510, 870], [150, 720]], 'sat': 2000, 'lost': 3, 'allred': 6, 'cmin': 50, 'cmax': 120}, {'cycle': 115, 'lost': 12, 'y_milli': 795})], [({'phases': [[150, 300, 630], [600, 60, 660]], 'sat': 1800, 'lost': 3, 'allred': 0, 'cmin': 50, 'cmax': 180}, {'cycle': 50, 'lost': 6, 'y_milli': 716}), ({'phases': [[300, 600], [450]], 'sat': 1800, 'lost': 4, 'allred': 2, 'cmin': 40, 'cmax': 120}, {'cycle': 50, 'lost': 10, 'y_milli': 583}), ({'phases': [[630], [210], [780]], 'sat': 1800, 'lost': 4, 'allred': 6, 'cmin': 50, 'cmax': 180}, 'oversaturated'), ({'phases': [[570, 780], [540, 720, 300], [150, 150], [810, 210]], 'sat': 1900, 'lost': 2, 'allred': 0, 'cmin': 60, 'cmax': 180}, 'oversaturated'), ({'phases': [[510, 720, 60], [270, 90, 840]], 'sat': 1800, 'lost': 5, 'allred': 2, 'cmin': 50, 'cmax': 120}, {'cycle': 120, 'lost': 12, 'y_milli': 866}), ({'phases': [[810], [810]], 'sat': 1800, 'lost': 4, 'allred': 0, 'cmin': 40, 'cmax': 180}, 'oversaturated'), ({'phases': [[780], [780]], 'sat': 1800, 'lost': 3, 'allred': 6, 'cmin': 40, 'cmax': 90}, {'cycle': 90, 'lost': 12, 'y_milli': 866}), ({'phases': [[90], [90], [90]], 'sat': 1800, 'lost': 3, 'allred': 0, 'cmin': 60, 'cmax': 120}, {'cycle': 60, 'lost': 9, 'y_milli': 150})], [({'phases': [[540, 210], [780, 210, 810]], 'sat': 1800, 'lost': 2, 'allred': 5, 'cmin': 40, 'cmax': 150}, {'cycle': 75, 'lost': 9, 'y_milli': 750}), ({'phases': [[720, 840], [720], [300, 630, 60]], 'sat': 2000, 'lost': 5, 'allred': 6, 'cmin': 40, 'cmax': 90}, 'oversaturated'), ({'phases': [[810], [810]], 'sat': 1800, 'lost': 4, 'allred': 0, 'cmin': 40, 'cmax': 180}, 'oversaturated'), ({'phases': [[450, 420], [540, 540, 870], [720, 420]], 'sat': 1800, 'lost': 3, 'allred': 5, 'cmin': 50, 'cmax': 120}, 'oversaturated'), ({'phases': [[120], [450, 300, 510], [330, 750, 300]], 'sat': 2000, 'lost': 4, 'allred': 6, 'cmin': 40, 'cmax': 180}, {'cycle': 105, 'lost': 18, 'y_milli': 690}), ({'phases': [[660, 510, 330], [270, 270, 270], [870]], 'sat': 1800, 'lost': 2, 'allred': 0, 'cmin': 40, 'cmax': 120}, 'oversaturated'), ({'phases': [[720, 360], [540, 900]], 'sat': 1800, 'lost': 4, 'allred': 4, 'cmin': 60, 'cmax': 150}, 'oversaturated'), ({'phases': [[300, 600], [450]], 'sat': 1800, 'lost': 4, 'allred': 2, 'cmin': 40, 'cmax': 120}, {'cycle': 50, 'lost': 10, 'y_milli': 583})], [({'phases': [[300, 600], [450]], 'sat': 1800, 'lost': 4, 'allred': 2, 'cmin': 40, 'cmax': 120}, {'cycle': 50, 'lost': 10, 'y_milli': 583}), ({'phases': [[720, 360], [540, 900]], 'sat': 1800, 'lost': 4, 'allred': 4, 'cmin': 60, 'cmax': 150}, 'oversaturated'), ({'phases': [[510, 450, 60], [180, 390], [540]], 'sat': 1800, 'lost': 5, 'allred': 2, 'cmin': 50, 'cmax': 180}, {'cycle': 155, 'lost': 17, 'y_milli': 800}), ({'phases': [[60], [600, 780], [870]], 'sat': 2000, 'lost': 2, 'allred': 1, 'cmin': 60, 'cmax': 180}, {'cycle': 110, 'lost': 7, 'y_milli': 855}), ({'phases': [[660, 330], [660], [150, 180], [690]], 'sat': 1900, 'lost': 4, 'allred': 2, 'cmin': 50, 'cmax': 150}, 'oversaturated'), ({'phases': [[660], [510]], 'sat': 1800, 'lost': 4, 'allred': 1, 'cmin': 60, 'cmax': 150}, {'cycle': 60, 'lost': 9, 'y_milli': 650}), ({'phases': [[810, 810, 240], [150, 660], [300, 240, 810], [270]], 'sat': 1800, 'lost': 5, 'allred': 0, 'cmin': 50, 'cmax': 150}, 'oversaturated'), ({'phases': [[810], [810]], 'sat': 1800, 'lost': 4, 'allred': 0, 'cmin': 40, 'cmax': 180}, 'oversaturated')]]\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":"4c5af8a35ae3491da95c0a6ae3d52888851689cac4e72312cdc706a1446e35fb","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    ph = x['phases']\n    s = x['sat']\n    Y = Fraction(0)\n    for group in ph:\n        Y += Fraction(sum(group), s)\n    L = x['lost'] * len(ph) + x['allred']\n    if Y >= Fraction(9, 10):\n        return 'oversaturated'\n    c0 = (Fraction(3, 2) * L + 5) / (1 - Y)\n    c = -(-c0 // 5) * 5\n    c = max(x['cmin'], min(x['cmax'], int(c)))\n    return {'cycle': c, 'lost': L, 'y_milli': int(Y * 1000)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'phases': [[810], [810]], 'sat': 1800, 'lost': 4, 'allred': 0, 'cmin': 40, 'cmax': 180}, 'oversaturated'), ({'phases': [[600, 300, 660], [900, 300], [720], [780, 900]], 'sat': 1800, 'lost': 4, 'allred': 4, 'cmin': 40, 'cmax': 150}, 'oversaturated'), ({'phases': [[750, 870, 510], [570]], 'sat': 1900, 'lost': 4, 'allred': 6, 'cmin': 60, 'cmax': 180}, {'cycle': 110, 'lost': 14, 'y_milli': 757}), ({'phases': [[90], [90], [90]], 'sat': 1800, 'lost': 3, 'allred': 0, 'cmin': 60, 'cmax': 120}, {'cycle': 60, 'lost': 9, 'y_milli': 150}), ({'phases': [[720, 360], [540, 900]], 'sat': 1800, 'lost': 4, 'allred': 4, 'cmin': 60, 'cmax': 150}, 'oversaturated'), ({'phases': [[90, 90], [870, 840], [570], [660, 750, 780]], 'sat': 1800, 'lost': 4, 'allred': 5, 'cmin': 40, 'cmax': 90}, 'oversaturated'), ({'phases': [[60], [270, 210, 810], [600, 240]], 'sat': 1900, 'lost': 2, 'allred': 3, 'cmin': 40, 'cmax': 120}, {'cycle': 85, 'lost': 9, 'y_milli': 773}), ({'phases': [[240, 210], [780, 270]], 'sat': 1800, 'lost': 4, 'allred': 2, 'cmin': 40, 'cmax': 150}, {'cycle': 50, 'lost': 10, 'y_milli': 566})], [({'phases': [[810], [810]], 'sat': 1800, 'lost': 4, 'allred': 0, 'cmin': 40, 'cmax': 180}, 'oversaturated'), ({'phases': [[780, 510, 480], [630, 660, 330], [60, 900, 390], [480, 900]], 'sat': 1800, 'lost': 5, 'allred': 1, 'cmin': 60, 'cmax': 90}, 'oversaturated'), ({'phases': [[720, 360], [540, 900]], 'sat': 1800, 'lost': 4, 'allred': 4, 'cmin': 60, 'cmax': 150}, 'oversaturated'), ({'phases': [[720, 750, 810], [780, 900], [900, 90, 540], [150, 810, 750]], 'sat': 1900, 'lost': 2, 'allred': 1, 'cmin': 50, 'cmax': 90}, 'oversaturated'), ({'phases': [[300, 600], [450]], 'sat': 1800, 'lost': 4, 'allred': 2, 'cmin': 40, 'cmax': 120}, {'cycle': 50, 'lost': 10, 'y_milli': 583}), ({'phases': [[690], [480, 780, 120]], 'sat': 1800, 'lost': 4, 'allred': 6, 'cmin': 50, 'cmax': 150}, {'cycle': 145, 'lost': 14, 'y_milli': 816}), ({'phases': [[900, 630, 450], [810], [660], [840, 450]], 'sat': 1800, 'lost': 5, 'allred': 5, 'cmin': 40, 'cmax': 180}, 'oversaturated'), ({'phases': [[420, 510, 870], [150, 720]], 'sat': 2000, 'lost': 3, 'allred': 6, 'cmin': 50, 'cmax': 120}, {'cycle': 115, 'lost': 12, 'y_milli': 795})], [({'phases': [[150, 300, 630], [600, 60, 660]], 'sat': 1800, 'lost': 3, 'allred': 0, 'cmin': 50, 'cmax': 180}, {'cycle': 50, 'lost': 6, 'y_milli': 716}), ({'phases': [[300, 600], [450]], 'sat': 1800, 'lost': 4, 'allred': 2, 'cmin': 40, 'cmax': 120}, {'cycle': 50, 'lost': 10, 'y_milli': 583}), ({'phases': [[630], [210], [780]], 'sat': 1800, 'lost': 4, 'allred': 6, 'cmin': 50, 'cmax': 180}, 'oversaturated'), ({'phases': [[570, 780], [540, 720, 300], [150, 150], [810, 210]], 'sat': 1900, 'lost': 2, 'allred': 0, 'cmin': 60, 'cmax': 180}, 'oversaturated'), ({'phases': [[510, 720, 60], [270, 90, 840]], 'sat': 1800, 'lost': 5, 'allred': 2, 'cmin': 50, 'cmax': 120}, {'cycle': 120, 'lost': 12, 'y_milli': 866}), ({'phases': [[810], [810]], 'sat': 1800, 'lost': 4, 'allred': 0, 'cmin': 40, 'cmax': 180}, 'oversaturated'), ({'phases': [[780], [780]], 'sat': 1800, 'lost': 3, 'allred': 6, 'cmin': 40, 'cmax': 90}, {'cycle': 90, 'lost': 12, 'y_milli': 866}), ({'phases': [[90], [90], [90]], 'sat': 1800, 'lost': 3, 'allred': 0, 'cmin': 60, 'cmax': 120}, {'cycle': 60, 'lost': 9, 'y_milli': 150})], [({'phases': [[540, 210], [780, 210, 810]], 'sat': 1800, 'lost': 2, 'allred': 5, 'cmin': 40, 'cmax': 150}, {'cycle': 75, 'lost': 9, 'y_milli': 750}), ({'phases': [[720, 840], [720], [300, 630, 60]], 'sat': 2000, 'lost': 5, 'allred': 6, 'cmin': 40, 'cmax': 90}, 'oversaturated'), ({'phases': [[810], [810]], 'sat': 1800, 'lost': 4, 'allred': 0, 'cmin': 40, 'cmax': 180}, 'oversaturated'), ({'phases': [[450, 420], [540, 540, 870], [720, 420]], 'sat': 1800, 'lost': 3, 'allred': 5, 'cmin': 50, 'cmax': 120}, 'oversaturated'), ({'phases': [[120], [450, 300, 510], [330, 750, 300]], 'sat': 2000, 'lost': 4, 'allred': 6, 'cmin': 40, 'cmax': 180}, {'cycle': 105, 'lost': 18, 'y_milli': 690}), ({'phases': [[660, 510, 330], [270, 270, 270], [870]], 'sat': 1800, 'lost': 2, 'allred': 0, 'cmin': 40, 'cmax': 120}, 'oversaturated'), ({'phases': [[720, 360], [540, 900]], 'sat': 1800, 'lost': 4, 'allred': 4, 'cmin': 60, 'cmax': 150}, 'oversaturated'), ({'phases': [[300, 600], [450]], 'sat': 1800, 'lost': 4, 'allred': 2, 'cmin': 40, 'cmax': 120}, {'cycle': 50, 'lost': 10, 'y_milli': 583})], [({'phases': [[300, 600], [450]], 'sat': 1800, 'lost': 4, 'allred': 2, 'cmin': 40, 'cmax': 120}, {'cycle': 50, 'lost': 10, 'y_milli': 583}), ({'phases': [[720, 360], [540, 900]], 'sat': 1800, 'lost': 4, 'allred': 4, 'cmin': 60, 'cmax': 150}, 'oversaturated'), ({'phases': [[510, 450, 60], [180, 390], [540]], 'sat': 1800, 'lost': 5, 'allred': 2, 'cmin': 50, 'cmax': 180}, {'cycle': 155, 'lost': 17, 'y_milli': 800}), ({'phases': [[60], [600, 780], [870]], 'sat': 2000, 'lost': 2, 'allred': 1, 'cmin': 60, 'cmax': 180}, {'cycle': 110, 'lost': 7, 'y_milli': 855}), ({'phases': [[660, 330], [660], [150, 180], [690]], 'sat': 1900, 'lost': 4, 'allred': 2, 'cmin': 50, 'cmax': 150}, 'oversaturated'), ({'phases': [[660], [510]], 'sat': 1800, 'lost': 4, 'allred': 1, 'cmin': 60, 'cmax': 150}, {'cycle': 60, 'lost': 9, 'y_milli': 650}), ({'phases': [[810, 810, 240], [150, 660], [300, 240, 810], [270]], 'sat': 1800, 'lost': 5, 'allred': 0, 'cmin': 50, 'cmax': 150}, 'oversaturated'), ({'phases': [[810], [810]], 'sat': 1800, 'lost': 4, 'allred': 0, 'cmin': 40, 'cmax': 180}, 'oversaturated')]]\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-webster-cycle-critical-ratio","generated_at":"2026-09-29T14:47:56.576616+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":"Each phase contributes the sum of its lane-group flow ratios instead of only its critical (largest) ratio, so multi-lane-group phases inflate Y.","sha256":"9e4f2d738006d7b4825238574c2d0c438d88ea8491c34523c7ba411135d9a035","title":"Webster cycle length: critical ratio sums every lane group of a phase · 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":43.167,"exit_code":1,"observations":[{"actual":"oversaturated","check":"timing oracle 0","expected":"oversaturated","passed":true},{"actual":"oversaturated","check":"timing oracle 1","expected":"oversaturated","passed":true},{"actual":{"cycle":80,"lost":14,"y_milli":673},"check":"timing oracle 2","expected":{"cycle":110,"lost":14,"y_milli":757},"passed":false},{"actual":{"cycle":60,"lost":9,"y_milli":150},"check":"timing oracle 3","expected":{"cycle":60,"lost":9,"y_milli":150},"passed":true},{"actual":{"cycle":80,"lost":12,"y_milli":700},"check":"timing oracle 4","expected":"oversaturated","passed":false},{"actual":"oversaturated","check":"timing oracle 5","expected":"oversaturated","passed":true},{"actual":{"cycle":40,"lost":9,"y_milli":478},"check":"timing oracle 6","expected":{"cycle":85,"lost":9,"y_milli":773},"passed":false},{"actual":{"cycle":40,"lost":10,"y_milli":416},"check":"timing oracle 7","expected":{"cycle":50,"lost":10,"y_milli":566},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"timing oracle 0\", \"actual\": \"oversaturated\", \"expected\": \"oversaturated\", \"passed\": true}, {\"check\": \"timing oracle 1\", \"actual\": \"oversaturated\", \"expected\": \"oversaturated\", \"passed\": true}, {\"check\": \"timing oracle 2\", \"actual\": {\"cycle\": 80, \"lost\": 14, \"y_milli\": 673}, \"expected\": {\"cycle\": 110, \"lost\": 14, \"y_milli\": 757}, \"passed\": false}, {\"check\": \"timing oracle 3\", \"actual\": {\"cycle\": 60, \"lost\": 9, \"y_milli\": 150}, \"expected\": {\"cycle\": 60, \"lost\": 9, \"y_milli\": 150}, \"passed\": true}, {\"check\": \"timing oracle 4\", \"actual\": {\"cycle\": 80, \"lost\": 12, \"y_milli\": 700}, \"expected\": \"oversaturated\", \"passed\": false}, {\"check\": \"timing oracle 5\", \"actual\": \"oversaturated\", \"expected\": \"oversaturated\", \"passed\": true}, {\"check\": \"timing oracle 6\", \"actual\": {\"cycle\": 40, \"lost\": 9, \"y_milli\": 478}, \"expected\": {\"cycle\": 85, \"lost\": 9, \"y_milli\": 773}, \"passed\": false}, {\"check\": \"timing oracle 7\", \"actual\": {\"cycle\": 40, \"lost\": 10, \"y_milli\": 416}, \"expected\": {\"cycle\": 50, \"lost\": 10, \"y_milli\": 566}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.811,"exit_code":1,"observations":[{"actual":"oversaturated","check":"timing oracle 0","expected":"oversaturated","passed":true},{"actual":"oversaturated","check":"timing oracle 1","expected":"oversaturated","passed":true},{"actual":"oversaturated","check":"timing oracle 2","expected":{"cycle":110,"lost":14,"y_milli":757},"passed":false},{"actual":{"cycle":60,"lost":9,"y_milli":150},"check":"timing oracle 3","expected":{"cycle":60,"lost":9,"y_milli":150},"passed":true},{"actual":"oversaturated","check":"timing oracle 4","expected":"oversaturated","passed":true},{"actual":"oversaturated","check":"timing oracle 5","expected":"oversaturated","passed":true},{"actual":"oversaturated","check":"timing oracle 6","expected":{"cycle":85,"lost":9,"y_milli":773},"passed":false},{"actual":{"cycle":120,"lost":10,"y_milli":833},"check":"timing oracle 7","expected":{"cycle":50,"lost":10,"y_milli":566},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"timing oracle 0\", \"actual\": \"oversaturated\", \"expected\": \"oversaturated\", \"passed\": true}, {\"check\": \"timing oracle 1\", \"actual\": \"oversaturated\", \"expected\": \"oversaturated\", \"passed\": true}, {\"check\": \"timing oracle 2\", \"actual\": \"oversaturated\", \"expected\": {\"cycle\": 110, \"lost\": 14, \"y_milli\": 757}, \"passed\": false}, {\"check\": \"timing oracle 3\", \"actual\": {\"cycle\": 60, \"lost\": 9, \"y_milli\": 150}, \"expected\": {\"cycle\": 60, \"lost\": 9, \"y_milli\": 150}, \"passed\": true}, {\"check\": \"timing oracle 4\", \"actual\": \"oversaturated\", \"expected\": \"oversaturated\", \"passed\": true}, {\"check\": \"timing oracle 5\", \"actual\": \"oversaturated\", \"expected\": \"oversaturated\", \"passed\": true}, {\"check\": \"timing oracle 6\", \"actual\": \"oversaturated\", \"expected\": {\"cycle\": 85, \"lost\": 9, \"y_milli\": 773}, \"passed\": false}, {\"check\": \"timing oracle 7\", \"actual\": {\"cycle\": 120, \"lost\": 10, \"y_milli\": 833}, \"expected\": {\"cycle\": 50, \"lost\": 10, \"y_milli\": 566}, \"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."}}