{"abstract":"Shortway offset transition returns a wrong result when shortening cycles are counted against the lengthening distance.","category":"Traffic signal timing plans","checks":8,"contract":"Input {cycle, current_offset, target_offset, lengthen_pct, shorten_pct}. The needed correction e = (target - current) mod cycle can be made by lengthening cycles by a total of e or shortening them by cycle - e. Per-cycle limits are floor(cycle*pct/100). Choose the direction needing fewer cycles (ties lengthen) and front-load the maximum adjustment each cycle. Return the list of transition cycle lengths ([] when already in step).","evaluation_group":"w2-traffic_signal_timing_plans-offset-transition","failed_approach":"Using the lengthening limit for the shortening distance mis-counts cycles when the two limits differ.","family":"w2-traffic_signal_timing_plans-offset-transition-shortway-distance","id":"FA-68061","implementations":{"attempt":{"sha256":"fe5bf73882ac5fc4466da7d0785c9a448e5987a841ea54eec79897c1cb50ab10","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    C = x['cycle']\n    e = (x['target_offset'] - x['current_offset']) % C\n    if e == 0:\n        return []\n    L = C * x['lengthen_pct'] // 100\n    S = C * x['shorten_pct'] // 100\n    nl = -(-e // L)\n    ns = -(-(C - e) // L)\n    if nl <= ns:\n        amt, step, sign = e, L, 1\n    else:\n        amt, step, sign = C - e, S, -1\n    out = []\n    while amt > 0:\n        d = min(step, amt)\n        out.append(C + sign * d)\n        amt -= d\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'cycle': 100, 'current_offset': 10, 'target_offset': 50, 'lengthen_pct': 20, 'shorten_pct': 20}, [120, 120]), ({'cycle': 70, 'current_offset': 19, 'target_offset': 63, 'lengthen_pct': 20, 'shorten_pct': 10}, [84, 84, 84, 72]), ({'cycle': 120, 'current_offset': 90, 'target_offset': 20, 'lengthen_pct': 17, 'shorten_pct': 13}, [140, 140, 130]), ({'cycle': 80, 'current_offset': 71, 'target_offset': 22, 'lengthen_pct': 10, 'shorten_pct': 17}, [88, 88, 88, 87]), ({'cycle': 140, 'current_offset': 46, 'target_offset': 28, 'lengthen_pct': 10, 'shorten_pct': 10}, [126, 136]), ({'cycle': 90, 'current_offset': 30, 'target_offset': 30, 'lengthen_pct': 20, 'shorten_pct': 17}, []), ({'cycle': 110, 'current_offset': 59, 'target_offset': 33, 'lengthen_pct': 20, 'shorten_pct': 20}, [88, 106]), ({'cycle': 80, 'current_offset': 2, 'target_offset': 61, 'lengthen_pct': 25, 'shorten_pct': 13}, [100, 100, 99])], [({'cycle': 130, 'current_offset': 69, 'target_offset': 17, 'lengthen_pct': 25, 'shorten_pct': 13}, [162, 162, 144]), ({'cycle': 100, 'current_offset': 76, 'target_offset': 99, 'lengthen_pct': 10, 'shorten_pct': 13}, [110, 110, 103]), ({'cycle': 80, 'current_offset': 35, 'target_offset': 9, 'lengthen_pct': 10, 'shorten_pct': 10}, [72, 72, 72, 78]), ({'cycle': 90, 'current_offset': 56, 'target_offset': 42, 'lengthen_pct': 25, 'shorten_pct': 17}, [76]), ({'cycle': 100, 'current_offset': 10, 'target_offset': 50, 'lengthen_pct': 20, 'shorten_pct': 20}, [120, 120]), ({'cycle': 90, 'current_offset': 30, 'target_offset': 30, 'lengthen_pct': 20, 'shorten_pct': 17}, []), ({'cycle': 120, 'current_offset': 90, 'target_offset': 20, 'lengthen_pct': 17, 'shorten_pct': 13}, [140, 140, 130]), ({'cycle': 80, 'current_offset': 38, 'target_offset': 3, 'lengthen_pct': 17, 'shorten_pct': 13}, [93, 93, 93, 86])], [({'cycle': 70, 'current_offset': 19, 'target_offset': 15, 'lengthen_pct': 20, 'shorten_pct': 20}, [66]), ({'cycle': 90, 'current_offset': 30, 'target_offset': 30, 'lengthen_pct': 20, 'shorten_pct': 17}, []), ({'cycle': 120, 'current_offset': 78, 'target_offset': 10, 'lengthen_pct': 10, 'shorten_pct': 17}, [100, 100, 100, 112]), ({'cycle': 120, 'current_offset': 90, 'target_offset': 20, 'lengthen_pct': 17, 'shorten_pct': 13}, [140, 140, 130]), ({'cycle': 100, 'current_offset': 10, 'target_offset': 50, 'lengthen_pct': 20, 'shorten_pct': 20}, [120, 120]), ({'cycle': 110, 'current_offset': 65, 'target_offset': 28, 'lengthen_pct': 17, 'shorten_pct': 13}, [96, 96, 101]), ({'cycle': 80, 'current_offset': 21, 'target_offset': 2, 'lengthen_pct': 17, 'shorten_pct': 17}, [67, 74]), ({'cycle': 140, 'current_offset': 139, 'target_offset': 94, 'lengthen_pct': 25, 'shorten_pct': 13}, [175, 175, 165])], [({'cycle': 120, 'current_offset': 90, 'target_offset': 20, 'lengthen_pct': 17, 'shorten_pct': 13}, [140, 140, 130]), ({'cycle': 80, 'current_offset': 73, 'target_offset': 46, 'lengthen_pct': 17, 'shorten_pct': 10}, [72, 72, 72, 77]), ({'cycle': 70, 'current_offset': 29, 'target_offset': 68, 'lengthen_pct': 17, 'shorten_pct': 13}, [81, 81, 81, 76]), ({'cycle': 140, 'current_offset': 9, 'target_offset': 97, 'lengthen_pct': 25, 'shorten_pct': 10}, [175, 175, 158]), ({'cycle': 90, 'current_offset': 30, 'target_offset': 30, 'lengthen_pct': 20, 'shorten_pct': 17}, []), ({'cycle': 100, 'current_offset': 10, 'target_offset': 50, 'lengthen_pct': 20, 'shorten_pct': 20}, [120, 120]), ({'cycle': 150, 'current_offset': 81, 'target_offset': 103, 'lengthen_pct': 10, 'shorten_pct': 20}, [165, 157]), ({'cycle': 60, 'current_offset': 39, 'target_offset': 31, 'lengthen_pct': 25, 'shorten_pct': 17}, [52])], [({'cycle': 100, 'current_offset': 10, 'target_offset': 50, 'lengthen_pct': 20, 'shorten_pct': 20}, [120, 120]), ({'cycle': 110, 'current_offset': 10, 'target_offset': 39, 'lengthen_pct': 10, 'shorten_pct': 20}, [121, 121, 117]), ({'cycle': 90, 'current_offset': 85, 'target_offset': 51, 'lengthen_pct': 25, 'shorten_pct': 10}, [112, 112, 102]), ({'cycle': 90, 'current_offset': 30, 'target_offset': 30, 'lengthen_pct': 20, 'shorten_pct': 17}, []), ({'cycle': 60, 'current_offset': 31, 'target_offset': 24, 'lengthen_pct': 17, 'shorten_pct': 17}, [53]), ({'cycle': 120, 'current_offset': 90, 'target_offset': 20, 'lengthen_pct': 17, 'shorten_pct': 13}, [140, 140, 130]), ({'cycle': 60, 'current_offset': 0, 'target_offset': 34, 'lengthen_pct': 17, 'shorten_pct': 13}, [70, 70, 70, 64]), ({'cycle': 150, 'current_offset': 135, 'target_offset': 114, 'lengthen_pct': 17, 'shorten_pct': 13}, [131, 148])]]\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":"a3bcf54d961a3445d8dd7a8a6b11e74868ebb33ef38c66978b5ccaa9c20eab25","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    C = x['cycle']\n    e = (x['target_offset'] - x['current_offset']) % C\n    if e == 0:\n        return []\n    L = C * x['lengthen_pct'] // 100\n    S = C * x['shorten_pct'] // 100\n    nl = -(-e // L)\n    ns = -(-e // S)\n    if nl <= ns:\n        amt, step, sign = e, L, 1\n    else:\n        amt, step, sign = C - e, S, -1\n    out = []\n    while amt > 0:\n        d = min(step, amt)\n        out.append(C + sign * d)\n        amt -= d\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'cycle': 100, 'current_offset': 10, 'target_offset': 50, 'lengthen_pct': 20, 'shorten_pct': 20}, [120, 120]), ({'cycle': 70, 'current_offset': 19, 'target_offset': 63, 'lengthen_pct': 20, 'shorten_pct': 10}, [84, 84, 84, 72]), ({'cycle': 120, 'current_offset': 90, 'target_offset': 20, 'lengthen_pct': 17, 'shorten_pct': 13}, [140, 140, 130]), ({'cycle': 80, 'current_offset': 71, 'target_offset': 22, 'lengthen_pct': 10, 'shorten_pct': 17}, [88, 88, 88, 87]), ({'cycle': 140, 'current_offset': 46, 'target_offset': 28, 'lengthen_pct': 10, 'shorten_pct': 10}, [126, 136]), ({'cycle': 90, 'current_offset': 30, 'target_offset': 30, 'lengthen_pct': 20, 'shorten_pct': 17}, []), ({'cycle': 110, 'current_offset': 59, 'target_offset': 33, 'lengthen_pct': 20, 'shorten_pct': 20}, [88, 106]), ({'cycle': 80, 'current_offset': 2, 'target_offset': 61, 'lengthen_pct': 25, 'shorten_pct': 13}, [100, 100, 99])], [({'cycle': 130, 'current_offset': 69, 'target_offset': 17, 'lengthen_pct': 25, 'shorten_pct': 13}, [162, 162, 144]), ({'cycle': 100, 'current_offset': 76, 'target_offset': 99, 'lengthen_pct': 10, 'shorten_pct': 13}, [110, 110, 103]), ({'cycle': 80, 'current_offset': 35, 'target_offset': 9, 'lengthen_pct': 10, 'shorten_pct': 10}, [72, 72, 72, 78]), ({'cycle': 90, 'current_offset': 56, 'target_offset': 42, 'lengthen_pct': 25, 'shorten_pct': 17}, [76]), ({'cycle': 100, 'current_offset': 10, 'target_offset': 50, 'lengthen_pct': 20, 'shorten_pct': 20}, [120, 120]), ({'cycle': 90, 'current_offset': 30, 'target_offset': 30, 'lengthen_pct': 20, 'shorten_pct': 17}, []), ({'cycle': 120, 'current_offset': 90, 'target_offset': 20, 'lengthen_pct': 17, 'shorten_pct': 13}, [140, 140, 130]), ({'cycle': 80, 'current_offset': 38, 'target_offset': 3, 'lengthen_pct': 17, 'shorten_pct': 13}, [93, 93, 93, 86])], [({'cycle': 70, 'current_offset': 19, 'target_offset': 15, 'lengthen_pct': 20, 'shorten_pct': 20}, [66]), ({'cycle': 90, 'current_offset': 30, 'target_offset': 30, 'lengthen_pct': 20, 'shorten_pct': 17}, []), ({'cycle': 120, 'current_offset': 78, 'target_offset': 10, 'lengthen_pct': 10, 'shorten_pct': 17}, [100, 100, 100, 112]), ({'cycle': 120, 'current_offset': 90, 'target_offset': 20, 'lengthen_pct': 17, 'shorten_pct': 13}, [140, 140, 130]), ({'cycle': 100, 'current_offset': 10, 'target_offset': 50, 'lengthen_pct': 20, 'shorten_pct': 20}, [120, 120]), ({'cycle': 110, 'current_offset': 65, 'target_offset': 28, 'lengthen_pct': 17, 'shorten_pct': 13}, [96, 96, 101]), ({'cycle': 80, 'current_offset': 21, 'target_offset': 2, 'lengthen_pct': 17, 'shorten_pct': 17}, [67, 74]), ({'cycle': 140, 'current_offset': 139, 'target_offset': 94, 'lengthen_pct': 25, 'shorten_pct': 13}, [175, 175, 165])], [({'cycle': 120, 'current_offset': 90, 'target_offset': 20, 'lengthen_pct': 17, 'shorten_pct': 13}, [140, 140, 130]), ({'cycle': 80, 'current_offset': 73, 'target_offset': 46, 'lengthen_pct': 17, 'shorten_pct': 10}, [72, 72, 72, 77]), ({'cycle': 70, 'current_offset': 29, 'target_offset': 68, 'lengthen_pct': 17, 'shorten_pct': 13}, [81, 81, 81, 76]), ({'cycle': 140, 'current_offset': 9, 'target_offset': 97, 'lengthen_pct': 25, 'shorten_pct': 10}, [175, 175, 158]), ({'cycle': 90, 'current_offset': 30, 'target_offset': 30, 'lengthen_pct': 20, 'shorten_pct': 17}, []), ({'cycle': 100, 'current_offset': 10, 'target_offset': 50, 'lengthen_pct': 20, 'shorten_pct': 20}, [120, 120]), ({'cycle': 150, 'current_offset': 81, 'target_offset': 103, 'lengthen_pct': 10, 'shorten_pct': 20}, [165, 157]), ({'cycle': 60, 'current_offset': 39, 'target_offset': 31, 'lengthen_pct': 25, 'shorten_pct': 17}, [52])], [({'cycle': 100, 'current_offset': 10, 'target_offset': 50, 'lengthen_pct': 20, 'shorten_pct': 20}, [120, 120]), ({'cycle': 110, 'current_offset': 10, 'target_offset': 39, 'lengthen_pct': 10, 'shorten_pct': 20}, [121, 121, 117]), ({'cycle': 90, 'current_offset': 85, 'target_offset': 51, 'lengthen_pct': 25, 'shorten_pct': 10}, [112, 112, 102]), ({'cycle': 90, 'current_offset': 30, 'target_offset': 30, 'lengthen_pct': 20, 'shorten_pct': 17}, []), ({'cycle': 60, 'current_offset': 31, 'target_offset': 24, 'lengthen_pct': 17, 'shorten_pct': 17}, [53]), ({'cycle': 120, 'current_offset': 90, 'target_offset': 20, 'lengthen_pct': 17, 'shorten_pct': 13}, [140, 140, 130]), ({'cycle': 60, 'current_offset': 0, 'target_offset': 34, 'lengthen_pct': 17, 'shorten_pct': 13}, [70, 70, 70, 64]), ({'cycle': 150, 'current_offset': 135, 'target_offset': 114, 'lengthen_pct': 17, 'shorten_pct': 13}, [131, 148])]]\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"},"fixed":{"sha256":"7d3414503f5e189762c1c38cd8e32cc4c3457e23197e48a9fac3a33dbab6930f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    C = x['cycle']\n    e = (x['target_offset'] - x['current_offset']) % C\n    if e == 0:\n        return []\n    L = C * x['lengthen_pct'] // 100\n    S = C * x['shorten_pct'] // 100\n    nl = -(-e // L)\n    ns = -(-(C - e) // S)\n    if nl <= ns:\n        amt, step, sign = e, L, 1\n    else:\n        amt, step, sign = C - e, S, -1\n    out = []\n    while amt > 0:\n        d = min(step, amt)\n        out.append(C + sign * d)\n        amt -= d\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'cycle': 100, 'current_offset': 10, 'target_offset': 50, 'lengthen_pct': 20, 'shorten_pct': 20}, [120, 120]), ({'cycle': 70, 'current_offset': 19, 'target_offset': 63, 'lengthen_pct': 20, 'shorten_pct': 10}, [84, 84, 84, 72]), ({'cycle': 120, 'current_offset': 90, 'target_offset': 20, 'lengthen_pct': 17, 'shorten_pct': 13}, [140, 140, 130]), ({'cycle': 80, 'current_offset': 71, 'target_offset': 22, 'lengthen_pct': 10, 'shorten_pct': 17}, [88, 88, 88, 87]), ({'cycle': 140, 'current_offset': 46, 'target_offset': 28, 'lengthen_pct': 10, 'shorten_pct': 10}, [126, 136]), ({'cycle': 90, 'current_offset': 30, 'target_offset': 30, 'lengthen_pct': 20, 'shorten_pct': 17}, []), ({'cycle': 110, 'current_offset': 59, 'target_offset': 33, 'lengthen_pct': 20, 'shorten_pct': 20}, [88, 106]), ({'cycle': 80, 'current_offset': 2, 'target_offset': 61, 'lengthen_pct': 25, 'shorten_pct': 13}, [100, 100, 99])], [({'cycle': 130, 'current_offset': 69, 'target_offset': 17, 'lengthen_pct': 25, 'shorten_pct': 13}, [162, 162, 144]), ({'cycle': 100, 'current_offset': 76, 'target_offset': 99, 'lengthen_pct': 10, 'shorten_pct': 13}, [110, 110, 103]), ({'cycle': 80, 'current_offset': 35, 'target_offset': 9, 'lengthen_pct': 10, 'shorten_pct': 10}, [72, 72, 72, 78]), ({'cycle': 90, 'current_offset': 56, 'target_offset': 42, 'lengthen_pct': 25, 'shorten_pct': 17}, [76]), ({'cycle': 100, 'current_offset': 10, 'target_offset': 50, 'lengthen_pct': 20, 'shorten_pct': 20}, [120, 120]), ({'cycle': 90, 'current_offset': 30, 'target_offset': 30, 'lengthen_pct': 20, 'shorten_pct': 17}, []), ({'cycle': 120, 'current_offset': 90, 'target_offset': 20, 'lengthen_pct': 17, 'shorten_pct': 13}, [140, 140, 130]), ({'cycle': 80, 'current_offset': 38, 'target_offset': 3, 'lengthen_pct': 17, 'shorten_pct': 13}, [93, 93, 93, 86])], [({'cycle': 70, 'current_offset': 19, 'target_offset': 15, 'lengthen_pct': 20, 'shorten_pct': 20}, [66]), ({'cycle': 90, 'current_offset': 30, 'target_offset': 30, 'lengthen_pct': 20, 'shorten_pct': 17}, []), ({'cycle': 120, 'current_offset': 78, 'target_offset': 10, 'lengthen_pct': 10, 'shorten_pct': 17}, [100, 100, 100, 112]), ({'cycle': 120, 'current_offset': 90, 'target_offset': 20, 'lengthen_pct': 17, 'shorten_pct': 13}, [140, 140, 130]), ({'cycle': 100, 'current_offset': 10, 'target_offset': 50, 'lengthen_pct': 20, 'shorten_pct': 20}, [120, 120]), ({'cycle': 110, 'current_offset': 65, 'target_offset': 28, 'lengthen_pct': 17, 'shorten_pct': 13}, [96, 96, 101]), ({'cycle': 80, 'current_offset': 21, 'target_offset': 2, 'lengthen_pct': 17, 'shorten_pct': 17}, [67, 74]), ({'cycle': 140, 'current_offset': 139, 'target_offset': 94, 'lengthen_pct': 25, 'shorten_pct': 13}, [175, 175, 165])], [({'cycle': 120, 'current_offset': 90, 'target_offset': 20, 'lengthen_pct': 17, 'shorten_pct': 13}, [140, 140, 130]), ({'cycle': 80, 'current_offset': 73, 'target_offset': 46, 'lengthen_pct': 17, 'shorten_pct': 10}, [72, 72, 72, 77]), ({'cycle': 70, 'current_offset': 29, 'target_offset': 68, 'lengthen_pct': 17, 'shorten_pct': 13}, [81, 81, 81, 76]), ({'cycle': 140, 'current_offset': 9, 'target_offset': 97, 'lengthen_pct': 25, 'shorten_pct': 10}, [175, 175, 158]), ({'cycle': 90, 'current_offset': 30, 'target_offset': 30, 'lengthen_pct': 20, 'shorten_pct': 17}, []), ({'cycle': 100, 'current_offset': 10, 'target_offset': 50, 'lengthen_pct': 20, 'shorten_pct': 20}, [120, 120]), ({'cycle': 150, 'current_offset': 81, 'target_offset': 103, 'lengthen_pct': 10, 'shorten_pct': 20}, [165, 157]), ({'cycle': 60, 'current_offset': 39, 'target_offset': 31, 'lengthen_pct': 25, 'shorten_pct': 17}, [52])], [({'cycle': 100, 'current_offset': 10, 'target_offset': 50, 'lengthen_pct': 20, 'shorten_pct': 20}, [120, 120]), ({'cycle': 110, 'current_offset': 10, 'target_offset': 39, 'lengthen_pct': 10, 'shorten_pct': 20}, [121, 121, 117]), ({'cycle': 90, 'current_offset': 85, 'target_offset': 51, 'lengthen_pct': 25, 'shorten_pct': 10}, [112, 112, 102]), ({'cycle': 90, 'current_offset': 30, 'target_offset': 30, 'lengthen_pct': 20, 'shorten_pct': 17}, []), ({'cycle': 60, 'current_offset': 31, 'target_offset': 24, 'lengthen_pct': 17, 'shorten_pct': 17}, [53]), ({'cycle': 120, 'current_offset': 90, 'target_offset': 20, 'lengthen_pct': 17, 'shorten_pct': 13}, [140, 140, 130]), ({'cycle': 60, 'current_offset': 0, 'target_offset': 34, 'lengthen_pct': 17, 'shorten_pct': 13}, [70, 70, 70, 64]), ({'cycle': 150, 'current_offset': 135, 'target_offset': 114, 'lengthen_pct': 17, 'shorten_pct': 13}, [131, 148])]]\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-offset-transition-shortway-distance","generated_at":"2026-09-29T14:47:58.544344+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.","repair":"Restore the shortening distance rule so that the step reads `ns = -(-(C - e) // S)`.","root_cause":"The shortening option is evaluated with the same distance e, not its complement, so direction choice is wrong.","sha256":"41f42fafa4a802ad169be1e8e22f709fa3e71b688b3724c6dcfb0207a83386ec","title":"Shortway offset transition: shortening cycles are counted against the lengthening distance · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":38.744,"exit_code":1,"observations":[{"actual":[120,120],"check":"timing oracle 0","expected":[120,120],"passed":true},{"actual":[63,63,63,65],"check":"timing oracle 1","expected":[84,84,84,72],"passed":false},{"actual":[140,140,130],"check":"timing oracle 2","expected":[140,140,130],"passed":true},{"actual":[88,88,88,87],"check":"timing oracle 3","expected":[88,88,88,87],"passed":true},{"actual":[126,136],"check":"timing oracle 4","expected":[126,136],"passed":true},{"actual":[],"check":"timing oracle 5","expected":[],"passed":true},{"actual":[88,106],"check":"timing oracle 6","expected":[88,106],"passed":true},{"actual":[70,70,79],"check":"timing oracle 7","expected":[100,100,99],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"timing oracle 0\", \"actual\": [120, 120], \"expected\": [120, 120], \"passed\": true}, {\"check\": \"timing oracle 1\", \"actual\": [63, 63, 63, 65], \"expected\": [84, 84, 84, 72], \"passed\": false}, {\"check\": \"timing oracle 2\", \"actual\": [140, 140, 130], \"expected\": [140, 140, 130], \"passed\": true}, {\"check\": \"timing oracle 3\", \"actual\": [88, 88, 88, 87], \"expected\": [88, 88, 88, 87], \"passed\": true}, {\"check\": \"timing oracle 4\", \"actual\": [126, 136], \"expected\": [126, 136], \"passed\": true}, {\"check\": \"timing oracle 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"timing oracle 6\", \"actual\": [88, 106], \"expected\": [88, 106], \"passed\": true}, {\"check\": \"timing oracle 7\", \"actual\": [70, 70, 79], \"expected\": [100, 100, 99], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.141,"exit_code":1,"observations":[{"actual":[120,120],"check":"timing oracle 0","expected":[120,120],"passed":true},{"actual":[84,84,84,72],"check":"timing oracle 1","expected":[84,84,84,72],"passed":true},{"actual":[140,140,130],"check":"timing oracle 2","expected":[140,140,130],"passed":true},{"actual":[67,67,67,70],"check":"timing oracle 3","expected":[88,88,88,87],"passed":false},{"actual":[154,154,154,154,154,154,154,154,150],"check":"timing oracle 4","expected":[126,136],"passed":false},{"actual":[],"check":"timing oracle 5","expected":[],"passed":true},{"actual":[132,132,132,128],"check":"timing oracle 6","expected":[88,106],"passed":false},{"actual":[100,100,99],"check":"timing oracle 7","expected":[100,100,99],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"timing oracle 0\", \"actual\": [120, 120], \"expected\": [120, 120], \"passed\": true}, {\"check\": \"timing oracle 1\", \"actual\": [84, 84, 84, 72], \"expected\": [84, 84, 84, 72], \"passed\": true}, {\"check\": \"timing oracle 2\", \"actual\": [140, 140, 130], \"expected\": [140, 140, 130], \"passed\": true}, {\"check\": \"timing oracle 3\", \"actual\": [67, 67, 67, 70], \"expected\": [88, 88, 88, 87], \"passed\": false}, {\"check\": \"timing oracle 4\", \"actual\": [154, 154, 154, 154, 154, 154, 154, 154, 150], \"expected\": [126, 136], \"passed\": false}, {\"check\": \"timing oracle 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"timing oracle 6\", \"actual\": [132, 132, 132, 128], \"expected\": [88, 106], \"passed\": false}, {\"check\": \"timing oracle 7\", \"actual\": [100, 100, 99], \"expected\": [100, 100, 99], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.378,"exit_code":0,"observations":[{"actual":[120,120],"check":"timing oracle 0","expected":[120,120],"passed":true},{"actual":[84,84,84,72],"check":"timing oracle 1","expected":[84,84,84,72],"passed":true},{"actual":[140,140,130],"check":"timing oracle 2","expected":[140,140,130],"passed":true},{"actual":[88,88,88,87],"check":"timing oracle 3","expected":[88,88,88,87],"passed":true},{"actual":[126,136],"check":"timing oracle 4","expected":[126,136],"passed":true},{"actual":[],"check":"timing oracle 5","expected":[],"passed":true},{"actual":[88,106],"check":"timing oracle 6","expected":[88,106],"passed":true},{"actual":[100,100,99],"check":"timing oracle 7","expected":[100,100,99],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"timing oracle 0\", \"actual\": [120, 120], \"expected\": [120, 120], \"passed\": true}, {\"check\": \"timing oracle 1\", \"actual\": [84, 84, 84, 72], \"expected\": [84, 84, 84, 72], \"passed\": true}, {\"check\": \"timing oracle 2\", \"actual\": [140, 140, 130], \"expected\": [140, 140, 130], \"passed\": true}, {\"check\": \"timing oracle 3\", \"actual\": [88, 88, 88, 87], \"expected\": [88, 88, 88, 87], \"passed\": true}, {\"check\": \"timing oracle 4\", \"actual\": [126, 136], \"expected\": [126, 136], \"passed\": true}, {\"check\": \"timing oracle 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"timing oracle 6\", \"actual\": [88, 106], \"expected\": [88, 106], \"passed\": true}, {\"check\": \"timing oracle 7\", \"actual\": [100, 100, 99], \"expected\": [100, 100, 99], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}