{"abstract":"The permitted speed is one km/h above the braking curve.","category":"Railway interlocking logic","checks":8,"contract":"Permitted speed at the train is sqrt(vt^2 + 2*a*d) with vt the target speed in m/s, a = decel_cms2/100 m/s^2 and d = max(distance - safety margin, 0); convert back to km/h, truncate to an integer (never round up) and cap at line speed. Action is brake if speed > permitted + brake margin, else warning if speed > permitted + warn margin, else none.","evaluation_group":"w2-railway_interlocking_logic-atp-braking-curve","failed_approach":"Ceiling always rounds fractional curve speeds up.","family":"w2-railway_interlocking_logic-atp-braking-curve-permitted-speed-rounding","id":"FA-67071","implementations":{"attempt":{"sha256":"782f4ec61f7afa9088c219b5122f32b6daa8946dbf311b1aa562c1b41f054d79","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    vt = x['target_kmh'] / 3.6\n    d = max(x['distance_m'] - x['safety_margin_m'], 0)\n    a = x['decel_cms2'] / 100\n    vp = math.sqrt(vt * vt + 2 * a * d) * 3.6\n    permitted = min(math.ceil(vp), x['line_kmh'])\n    v = x['speed_kmh']\n    if v > permitted + x['brake_margin_kmh']:\n        action = 'brake'\n    elif v > permitted + x['warn_margin_kmh']:\n        action = 'warning'\n    else:\n        action = 'none'\n    return {'permitted': permitted, 'action': action}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: curve below line speed', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 100, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 99, 'action': 'none'}), ('sampled regression 10', {'target_kmh': 20, 'distance_m': 40, 'safety_margin_m': 20, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 33, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 27, 'action': 'warning'}), ('boundary: fractional permitted speed', {'target_kmh': 20, 'distance_m': 100, 'safety_margin_m': 0, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 60, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 47, 'action': 'brake'}), ('boundary: stop target inside the margin', {'target_kmh': 0, 'distance_m': 40, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 10, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 0, 'action': 'warning'}), ('boundary: target speed release', {'target_kmh': 40, 'distance_m': 0, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 44, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 40, 'action': 'none'}), ('control 1', {'target_kmh': 0, 'distance_m': 0, 'safety_margin_m': 0, 'decel_cms2': 100, 'line_kmh': 160, 'speed_kmh': 139, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 0, 'action': 'brake'}), ('sampled regression 4', {'target_kmh': 0, 'distance_m': 100, 'safety_margin_m': 20, 'decel_cms2': 100, 'line_kmh': 80, 'speed_kmh': 136, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 45, 'action': 'brake'}), ('control 7', {'target_kmh': 40, 'distance_m': 2500, 'safety_margin_m': 20, 'decel_cms2': 50, 'line_kmh': 160, 'speed_kmh': 59, 'warn_margin_kmh': 3, 'brake_margin_kmh': 10}, {'permitted': 160, 'action': 'none'})], [('regression: curve below line speed', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 100, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 99, 'action': 'none'}), ('boundary: fractional permitted speed', {'target_kmh': 20, 'distance_m': 100, 'safety_margin_m': 0, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 60, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 47, 'action': 'brake'}), ('sampled regression 43', {'target_kmh': 40, 'distance_m': 250, 'safety_margin_m': 20, 'decel_cms2': 100, 'line_kmh': 160, 'speed_kmh': 33, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 86, 'action': 'none'}), ('control 11', {'target_kmh': 0, 'distance_m': 250, 'safety_margin_m': 20, 'decel_cms2': 100, 'line_kmh': 120, 'speed_kmh': 158, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 77, 'action': 'brake'}), ('boundary: curve above line speed', {'target_kmh': 0, 'distance_m': 2500, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 120, 'speed_kmh': 150, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 120, 'action': 'brake'}), ('sampled regression 12', {'target_kmh': 40, 'distance_m': 600, 'safety_margin_m': 20, 'decel_cms2': 100, 'line_kmh': 160, 'speed_kmh': 133, 'warn_margin_kmh': 3, 'brake_margin_kmh': 15}, {'permitted': 128, 'action': 'warning'}), ('sampled regression 15', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 20, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 43, 'warn_margin_kmh': 3, 'brake_margin_kmh': 10}, {'permitted': 102, 'action': 'none'}), ('control 18', {'target_kmh': 60, 'distance_m': 1200, 'safety_margin_m': 20, 'decel_cms2': 70, 'line_kmh': 120, 'speed_kmh': 6, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 120, 'action': 'none'})], [('regression: curve below line speed', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 100, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 99, 'action': 'none'}), ('sampled regression 61', {'target_kmh': 0, 'distance_m': 250, 'safety_margin_m': 20, 'decel_cms2': 50, 'line_kmh': 120, 'speed_kmh': 75, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 54, 'action': 'brake'}), ('control 22', {'target_kmh': 0, 'distance_m': 250, 'safety_margin_m': 0, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 57, 'warn_margin_kmh': 3, 'brake_margin_kmh': 8}, {'permitted': 67, 'action': 'none'}), ('boundary: warning boundary', {'target_kmh': 40, 'distance_m': 0, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 45, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 40, 'action': 'none'}), ('boundary: brake boundary', {'target_kmh': 40, 'distance_m': 0, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 50, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 40, 'action': 'warning'}), ('control 23', {'target_kmh': 60, 'distance_m': 100, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 80, 'speed_kmh': 13, 'warn_margin_kmh': 5, 'brake_margin_kmh': 8}, {'permitted': 67, 'action': 'none'}), ('control 26', {'target_kmh': 60, 'distance_m': 2500, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 86, 'warn_margin_kmh': 3, 'brake_margin_kmh': 10}, {'permitted': 160, 'action': 'none'}), ('control 29', {'target_kmh': 0, 'distance_m': 250, 'safety_margin_m': 0, 'decel_cms2': 70, 'line_kmh': 120, 'speed_kmh': 4, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 67, 'action': 'none'})], [('regression: curve below line speed', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 100, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 99, 'action': 'none'}), ('boundary: fractional permitted speed', {'target_kmh': 20, 'distance_m': 100, 'safety_margin_m': 0, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 60, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 47, 'action': 'brake'}), ('sampled regression 4', {'target_kmh': 0, 'distance_m': 100, 'safety_margin_m': 20, 'decel_cms2': 100, 'line_kmh': 80, 'speed_kmh': 136, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 45, 'action': 'brake'}), ('control 30', {'target_kmh': 0, 'distance_m': 100, 'safety_margin_m': 50, 'decel_cms2': 50, 'line_kmh': 160, 'speed_kmh': 155, 'warn_margin_kmh': 3, 'brake_margin_kmh': 10}, {'permitted': 25, 'action': 'brake'}), ('boundary: between warning and brake', {'target_kmh': 40, 'distance_m': 0, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 48, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 40, 'action': 'warning'}), ('control 34', {'target_kmh': 0, 'distance_m': 0, 'safety_margin_m': 0, 'decel_cms2': 70, 'line_kmh': 120, 'speed_kmh': 96, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 0, 'action': 'brake'}), ('control 37', {'target_kmh': 20, 'distance_m': 2500, 'safety_margin_m': 20, 'decel_cms2': 70, 'line_kmh': 80, 'speed_kmh': 168, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 80, 'action': 'brake'}), ('control 40', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 50, 'decel_cms2': 50, 'line_kmh': 160, 'speed_kmh': 70, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 84, 'action': 'none'})], [('regression: curve below line speed', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 100, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 99, 'action': 'none'}), ('sampled regression 36', {'target_kmh': 40, 'distance_m': 600, 'safety_margin_m': 0, 'decel_cms2': 100, 'line_kmh': 160, 'speed_kmh': 124, 'warn_margin_kmh': 3, 'brake_margin_kmh': 15}, {'permitted': 130, 'action': 'none'}), ('control 42', {'target_kmh': 40, 'distance_m': 40, 'safety_margin_m': 20, 'decel_cms2': 50, 'line_kmh': 160, 'speed_kmh': 115, 'warn_margin_kmh': 5, 'brake_margin_kmh': 8}, {'permitted': 43, 'action': 'brake'}), ('boundary: stop target inside the margin', {'target_kmh': 0, 'distance_m': 40, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 10, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 0, 'action': 'warning'}), ('boundary: target speed release', {'target_kmh': 40, 'distance_m': 0, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 44, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 40, 'action': 'none'}), ('control 45', {'target_kmh': 20, 'distance_m': 40, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 80, 'speed_kmh': 133, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 20, 'action': 'brake'}), ('sampled regression 48', {'target_kmh': 40, 'distance_m': 100, 'safety_margin_m': 20, 'decel_cms2': 100, 'line_kmh': 160, 'speed_kmh': 75, 'warn_margin_kmh': 3, 'brake_margin_kmh': 15}, {'permitted': 60, 'action': 'warning'}), ('sampled regression 51', {'target_kmh': 60, 'distance_m': 600, 'safety_margin_m': 0, 'decel_cms2': 50, 'line_kmh': 160, 'speed_kmh': 8, 'warn_margin_kmh': 5, 'brake_margin_kmh': 8}, {'permitted': 106, 'action': 'none'})]]\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":"0c84a6a769479ccf67547df1eb1d3b7742843a35a2a67b564390e4c99c3afc15","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    vt = x['target_kmh'] / 3.6\n    d = max(x['distance_m'] - x['safety_margin_m'], 0)\n    a = x['decel_cms2'] / 100\n    vp = math.sqrt(vt * vt + 2 * a * d) * 3.6\n    permitted = min(round(vp), x['line_kmh'])\n    v = x['speed_kmh']\n    if v > permitted + x['brake_margin_kmh']:\n        action = 'brake'\n    elif v > permitted + x['warn_margin_kmh']:\n        action = 'warning'\n    else:\n        action = 'none'\n    return {'permitted': permitted, 'action': action}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: curve below line speed', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 100, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 99, 'action': 'none'}), ('sampled regression 10', {'target_kmh': 20, 'distance_m': 40, 'safety_margin_m': 20, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 33, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 27, 'action': 'warning'}), ('boundary: fractional permitted speed', {'target_kmh': 20, 'distance_m': 100, 'safety_margin_m': 0, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 60, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 47, 'action': 'brake'}), ('boundary: stop target inside the margin', {'target_kmh': 0, 'distance_m': 40, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 10, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 0, 'action': 'warning'}), ('boundary: target speed release', {'target_kmh': 40, 'distance_m': 0, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 44, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 40, 'action': 'none'}), ('control 1', {'target_kmh': 0, 'distance_m': 0, 'safety_margin_m': 0, 'decel_cms2': 100, 'line_kmh': 160, 'speed_kmh': 139, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 0, 'action': 'brake'}), ('sampled regression 4', {'target_kmh': 0, 'distance_m': 100, 'safety_margin_m': 20, 'decel_cms2': 100, 'line_kmh': 80, 'speed_kmh': 136, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 45, 'action': 'brake'}), ('control 7', {'target_kmh': 40, 'distance_m': 2500, 'safety_margin_m': 20, 'decel_cms2': 50, 'line_kmh': 160, 'speed_kmh': 59, 'warn_margin_kmh': 3, 'brake_margin_kmh': 10}, {'permitted': 160, 'action': 'none'})], [('regression: curve below line speed', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 100, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 99, 'action': 'none'}), ('boundary: fractional permitted speed', {'target_kmh': 20, 'distance_m': 100, 'safety_margin_m': 0, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 60, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 47, 'action': 'brake'}), ('sampled regression 43', {'target_kmh': 40, 'distance_m': 250, 'safety_margin_m': 20, 'decel_cms2': 100, 'line_kmh': 160, 'speed_kmh': 33, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 86, 'action': 'none'}), ('control 11', {'target_kmh': 0, 'distance_m': 250, 'safety_margin_m': 20, 'decel_cms2': 100, 'line_kmh': 120, 'speed_kmh': 158, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 77, 'action': 'brake'}), ('boundary: curve above line speed', {'target_kmh': 0, 'distance_m': 2500, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 120, 'speed_kmh': 150, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 120, 'action': 'brake'}), ('sampled regression 12', {'target_kmh': 40, 'distance_m': 600, 'safety_margin_m': 20, 'decel_cms2': 100, 'line_kmh': 160, 'speed_kmh': 133, 'warn_margin_kmh': 3, 'brake_margin_kmh': 15}, {'permitted': 128, 'action': 'warning'}), ('sampled regression 15', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 20, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 43, 'warn_margin_kmh': 3, 'brake_margin_kmh': 10}, {'permitted': 102, 'action': 'none'}), ('control 18', {'target_kmh': 60, 'distance_m': 1200, 'safety_margin_m': 20, 'decel_cms2': 70, 'line_kmh': 120, 'speed_kmh': 6, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 120, 'action': 'none'})], [('regression: curve below line speed', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 100, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 99, 'action': 'none'}), ('sampled regression 61', {'target_kmh': 0, 'distance_m': 250, 'safety_margin_m': 20, 'decel_cms2': 50, 'line_kmh': 120, 'speed_kmh': 75, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 54, 'action': 'brake'}), ('control 22', {'target_kmh': 0, 'distance_m': 250, 'safety_margin_m': 0, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 57, 'warn_margin_kmh': 3, 'brake_margin_kmh': 8}, {'permitted': 67, 'action': 'none'}), ('boundary: warning boundary', {'target_kmh': 40, 'distance_m': 0, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 45, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 40, 'action': 'none'}), ('boundary: brake boundary', {'target_kmh': 40, 'distance_m': 0, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 50, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 40, 'action': 'warning'}), ('control 23', {'target_kmh': 60, 'distance_m': 100, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 80, 'speed_kmh': 13, 'warn_margin_kmh': 5, 'brake_margin_kmh': 8}, {'permitted': 67, 'action': 'none'}), ('control 26', {'target_kmh': 60, 'distance_m': 2500, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 86, 'warn_margin_kmh': 3, 'brake_margin_kmh': 10}, {'permitted': 160, 'action': 'none'}), ('control 29', {'target_kmh': 0, 'distance_m': 250, 'safety_margin_m': 0, 'decel_cms2': 70, 'line_kmh': 120, 'speed_kmh': 4, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 67, 'action': 'none'})], [('regression: curve below line speed', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 100, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 99, 'action': 'none'}), ('boundary: fractional permitted speed', {'target_kmh': 20, 'distance_m': 100, 'safety_margin_m': 0, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 60, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 47, 'action': 'brake'}), ('sampled regression 4', {'target_kmh': 0, 'distance_m': 100, 'safety_margin_m': 20, 'decel_cms2': 100, 'line_kmh': 80, 'speed_kmh': 136, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 45, 'action': 'brake'}), ('control 30', {'target_kmh': 0, 'distance_m': 100, 'safety_margin_m': 50, 'decel_cms2': 50, 'line_kmh': 160, 'speed_kmh': 155, 'warn_margin_kmh': 3, 'brake_margin_kmh': 10}, {'permitted': 25, 'action': 'brake'}), ('boundary: between warning and brake', {'target_kmh': 40, 'distance_m': 0, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 48, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 40, 'action': 'warning'}), ('control 34', {'target_kmh': 0, 'distance_m': 0, 'safety_margin_m': 0, 'decel_cms2': 70, 'line_kmh': 120, 'speed_kmh': 96, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 0, 'action': 'brake'}), ('control 37', {'target_kmh': 20, 'distance_m': 2500, 'safety_margin_m': 20, 'decel_cms2': 70, 'line_kmh': 80, 'speed_kmh': 168, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 80, 'action': 'brake'}), ('control 40', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 50, 'decel_cms2': 50, 'line_kmh': 160, 'speed_kmh': 70, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 84, 'action': 'none'})], [('regression: curve below line speed', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 100, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 99, 'action': 'none'}), ('sampled regression 36', {'target_kmh': 40, 'distance_m': 600, 'safety_margin_m': 0, 'decel_cms2': 100, 'line_kmh': 160, 'speed_kmh': 124, 'warn_margin_kmh': 3, 'brake_margin_kmh': 15}, {'permitted': 130, 'action': 'none'}), ('control 42', {'target_kmh': 40, 'distance_m': 40, 'safety_margin_m': 20, 'decel_cms2': 50, 'line_kmh': 160, 'speed_kmh': 115, 'warn_margin_kmh': 5, 'brake_margin_kmh': 8}, {'permitted': 43, 'action': 'brake'}), ('boundary: stop target inside the margin', {'target_kmh': 0, 'distance_m': 40, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 10, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 0, 'action': 'warning'}), ('boundary: target speed release', {'target_kmh': 40, 'distance_m': 0, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 44, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 40, 'action': 'none'}), ('control 45', {'target_kmh': 20, 'distance_m': 40, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 80, 'speed_kmh': 133, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 20, 'action': 'brake'}), ('sampled regression 48', {'target_kmh': 40, 'distance_m': 100, 'safety_margin_m': 20, 'decel_cms2': 100, 'line_kmh': 160, 'speed_kmh': 75, 'warn_margin_kmh': 3, 'brake_margin_kmh': 15}, {'permitted': 60, 'action': 'warning'}), ('sampled regression 51', {'target_kmh': 60, 'distance_m': 600, 'safety_margin_m': 0, 'decel_cms2': 50, 'line_kmh': 160, 'speed_kmh': 8, 'warn_margin_kmh': 5, 'brake_margin_kmh': 8}, {'permitted': 106, 'action': 'none'})]]\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"},"fixed":{"sha256":"4d0387bb90bdbddd71184ae78bf7f3bf01778b1d0165b37fceebd7e5a86a2c37","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    vt = x['target_kmh'] / 3.6\n    d = max(x['distance_m'] - x['safety_margin_m'], 0)\n    a = x['decel_cms2'] / 100\n    vp = math.sqrt(vt * vt + 2 * a * d) * 3.6\n    permitted = min(int(vp), x['line_kmh'])\n    v = x['speed_kmh']\n    if v > permitted + x['brake_margin_kmh']:\n        action = 'brake'\n    elif v > permitted + x['warn_margin_kmh']:\n        action = 'warning'\n    else:\n        action = 'none'\n    return {'permitted': permitted, 'action': action}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: curve below line speed', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 100, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 99, 'action': 'none'}), ('sampled regression 10', {'target_kmh': 20, 'distance_m': 40, 'safety_margin_m': 20, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 33, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 27, 'action': 'warning'}), ('boundary: fractional permitted speed', {'target_kmh': 20, 'distance_m': 100, 'safety_margin_m': 0, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 60, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 47, 'action': 'brake'}), ('boundary: stop target inside the margin', {'target_kmh': 0, 'distance_m': 40, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 10, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 0, 'action': 'warning'}), ('boundary: target speed release', {'target_kmh': 40, 'distance_m': 0, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 44, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 40, 'action': 'none'}), ('control 1', {'target_kmh': 0, 'distance_m': 0, 'safety_margin_m': 0, 'decel_cms2': 100, 'line_kmh': 160, 'speed_kmh': 139, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 0, 'action': 'brake'}), ('sampled regression 4', {'target_kmh': 0, 'distance_m': 100, 'safety_margin_m': 20, 'decel_cms2': 100, 'line_kmh': 80, 'speed_kmh': 136, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 45, 'action': 'brake'}), ('control 7', {'target_kmh': 40, 'distance_m': 2500, 'safety_margin_m': 20, 'decel_cms2': 50, 'line_kmh': 160, 'speed_kmh': 59, 'warn_margin_kmh': 3, 'brake_margin_kmh': 10}, {'permitted': 160, 'action': 'none'})], [('regression: curve below line speed', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 100, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 99, 'action': 'none'}), ('boundary: fractional permitted speed', {'target_kmh': 20, 'distance_m': 100, 'safety_margin_m': 0, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 60, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 47, 'action': 'brake'}), ('sampled regression 43', {'target_kmh': 40, 'distance_m': 250, 'safety_margin_m': 20, 'decel_cms2': 100, 'line_kmh': 160, 'speed_kmh': 33, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 86, 'action': 'none'}), ('control 11', {'target_kmh': 0, 'distance_m': 250, 'safety_margin_m': 20, 'decel_cms2': 100, 'line_kmh': 120, 'speed_kmh': 158, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 77, 'action': 'brake'}), ('boundary: curve above line speed', {'target_kmh': 0, 'distance_m': 2500, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 120, 'speed_kmh': 150, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 120, 'action': 'brake'}), ('sampled regression 12', {'target_kmh': 40, 'distance_m': 600, 'safety_margin_m': 20, 'decel_cms2': 100, 'line_kmh': 160, 'speed_kmh': 133, 'warn_margin_kmh': 3, 'brake_margin_kmh': 15}, {'permitted': 128, 'action': 'warning'}), ('sampled regression 15', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 20, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 43, 'warn_margin_kmh': 3, 'brake_margin_kmh': 10}, {'permitted': 102, 'action': 'none'}), ('control 18', {'target_kmh': 60, 'distance_m': 1200, 'safety_margin_m': 20, 'decel_cms2': 70, 'line_kmh': 120, 'speed_kmh': 6, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 120, 'action': 'none'})], [('regression: curve below line speed', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 100, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 99, 'action': 'none'}), ('sampled regression 61', {'target_kmh': 0, 'distance_m': 250, 'safety_margin_m': 20, 'decel_cms2': 50, 'line_kmh': 120, 'speed_kmh': 75, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 54, 'action': 'brake'}), ('control 22', {'target_kmh': 0, 'distance_m': 250, 'safety_margin_m': 0, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 57, 'warn_margin_kmh': 3, 'brake_margin_kmh': 8}, {'permitted': 67, 'action': 'none'}), ('boundary: warning boundary', {'target_kmh': 40, 'distance_m': 0, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 45, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 40, 'action': 'none'}), ('boundary: brake boundary', {'target_kmh': 40, 'distance_m': 0, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 50, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 40, 'action': 'warning'}), ('control 23', {'target_kmh': 60, 'distance_m': 100, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 80, 'speed_kmh': 13, 'warn_margin_kmh': 5, 'brake_margin_kmh': 8}, {'permitted': 67, 'action': 'none'}), ('control 26', {'target_kmh': 60, 'distance_m': 2500, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 86, 'warn_margin_kmh': 3, 'brake_margin_kmh': 10}, {'permitted': 160, 'action': 'none'}), ('control 29', {'target_kmh': 0, 'distance_m': 250, 'safety_margin_m': 0, 'decel_cms2': 70, 'line_kmh': 120, 'speed_kmh': 4, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 67, 'action': 'none'})], [('regression: curve below line speed', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 100, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 99, 'action': 'none'}), ('boundary: fractional permitted speed', {'target_kmh': 20, 'distance_m': 100, 'safety_margin_m': 0, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 60, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 47, 'action': 'brake'}), ('sampled regression 4', {'target_kmh': 0, 'distance_m': 100, 'safety_margin_m': 20, 'decel_cms2': 100, 'line_kmh': 80, 'speed_kmh': 136, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 45, 'action': 'brake'}), ('control 30', {'target_kmh': 0, 'distance_m': 100, 'safety_margin_m': 50, 'decel_cms2': 50, 'line_kmh': 160, 'speed_kmh': 155, 'warn_margin_kmh': 3, 'brake_margin_kmh': 10}, {'permitted': 25, 'action': 'brake'}), ('boundary: between warning and brake', {'target_kmh': 40, 'distance_m': 0, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 48, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 40, 'action': 'warning'}), ('control 34', {'target_kmh': 0, 'distance_m': 0, 'safety_margin_m': 0, 'decel_cms2': 70, 'line_kmh': 120, 'speed_kmh': 96, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 0, 'action': 'brake'}), ('control 37', {'target_kmh': 20, 'distance_m': 2500, 'safety_margin_m': 20, 'decel_cms2': 70, 'line_kmh': 80, 'speed_kmh': 168, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 80, 'action': 'brake'}), ('control 40', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 50, 'decel_cms2': 50, 'line_kmh': 160, 'speed_kmh': 70, 'warn_margin_kmh': 5, 'brake_margin_kmh': 15}, {'permitted': 84, 'action': 'none'})], [('regression: curve below line speed', {'target_kmh': 0, 'distance_m': 600, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 100, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 99, 'action': 'none'}), ('sampled regression 36', {'target_kmh': 40, 'distance_m': 600, 'safety_margin_m': 0, 'decel_cms2': 100, 'line_kmh': 160, 'speed_kmh': 124, 'warn_margin_kmh': 3, 'brake_margin_kmh': 15}, {'permitted': 130, 'action': 'none'}), ('control 42', {'target_kmh': 40, 'distance_m': 40, 'safety_margin_m': 20, 'decel_cms2': 50, 'line_kmh': 160, 'speed_kmh': 115, 'warn_margin_kmh': 5, 'brake_margin_kmh': 8}, {'permitted': 43, 'action': 'brake'}), ('boundary: stop target inside the margin', {'target_kmh': 0, 'distance_m': 40, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 10, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 0, 'action': 'warning'}), ('boundary: target speed release', {'target_kmh': 40, 'distance_m': 0, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 160, 'speed_kmh': 44, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 40, 'action': 'none'}), ('control 45', {'target_kmh': 20, 'distance_m': 40, 'safety_margin_m': 50, 'decel_cms2': 70, 'line_kmh': 80, 'speed_kmh': 133, 'warn_margin_kmh': 5, 'brake_margin_kmh': 10}, {'permitted': 20, 'action': 'brake'}), ('sampled regression 48', {'target_kmh': 40, 'distance_m': 100, 'safety_margin_m': 20, 'decel_cms2': 100, 'line_kmh': 160, 'speed_kmh': 75, 'warn_margin_kmh': 3, 'brake_margin_kmh': 15}, {'permitted': 60, 'action': 'warning'}), ('sampled regression 51', {'target_kmh': 60, 'distance_m': 600, 'safety_margin_m': 0, 'decel_cms2': 50, 'line_kmh': 160, 'speed_kmh': 8, 'warn_margin_kmh': 5, 'brake_margin_kmh': 8}, {'permitted': 106, 'action': 'none'})]]\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-atp-braking-curve-permitted-speed-rounding","generated_at":"2026-09-29T14:47:49.439551+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.","repair":"Truncate the curve speed so the permitted speed never exceeds the curve.","root_cause":"The curve speed is rounded to nearest, which can round up.","sha256":"f9080c7f7e35d80340e8200a5204250c46d04096199df1acecb94042f0033c61","title":"ATP braking curve supervision: permitted speed rounding · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":37.395,"exit_code":1,"observations":[{"actual":{"action":"none","permitted":100},"check":"regression: curve below line speed","expected":{"action":"none","permitted":99},"passed":false},{"actual":{"action":"none","permitted":28},"check":"sampled regression 10","expected":{"action":"warning","permitted":27},"passed":false},{"actual":{"action":"brake","permitted":48},"check":"boundary: fractional permitted speed","expected":{"action":"brake","permitted":47},"passed":false},{"actual":{"action":"warning","permitted":0},"check":"boundary: stop target inside the margin","expected":{"action":"warning","permitted":0},"passed":true},{"actual":{"action":"none","permitted":40},"check":"boundary: target speed release","expected":{"action":"none","permitted":40},"passed":true},{"actual":{"action":"brake","permitted":0},"check":"control 1","expected":{"action":"brake","permitted":0},"passed":true},{"actual":{"action":"brake","permitted":46},"check":"sampled regression 4","expected":{"action":"brake","permitted":45},"passed":false},{"actual":{"action":"none","permitted":160},"check":"control 7","expected":{"action":"none","permitted":160},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: curve below line speed\", \"actual\": {\"permitted\": 100, \"action\": \"none\"}, \"expected\": {\"permitted\": 99, \"action\": \"none\"}, \"passed\": false}, {\"check\": \"sampled regression 10\", \"actual\": {\"permitted\": 28, \"action\": \"none\"}, \"expected\": {\"permitted\": 27, \"action\": \"warning\"}, \"passed\": false}, {\"check\": \"boundary: fractional permitted speed\", \"actual\": {\"permitted\": 48, \"action\": \"brake\"}, \"expected\": {\"permitted\": 47, \"action\": \"brake\"}, \"passed\": false}, {\"check\": \"boundary: stop target inside the margin\", \"actual\": {\"permitted\": 0, \"action\": \"warning\"}, \"expected\": {\"permitted\": 0, \"action\": \"warning\"}, \"passed\": true}, {\"check\": \"boundary: target speed release\", \"actual\": {\"permitted\": 40, \"action\": \"none\"}, \"expected\": {\"permitted\": 40, \"action\": \"none\"}, \"passed\": true}, {\"check\": \"control 1\", \"actual\": {\"permitted\": 0, \"action\": \"brake\"}, \"expected\": {\"permitted\": 0, \"action\": \"brake\"}, \"passed\": true}, {\"check\": \"sampled regression 4\", \"actual\": {\"permitted\": 46, \"action\": \"brake\"}, \"expected\": {\"permitted\": 45, \"action\": \"brake\"}, \"passed\": false}, {\"check\": \"control 7\", \"actual\": {\"permitted\": 160, \"action\": \"none\"}, \"expected\": {\"permitted\": 160, \"action\": \"none\"}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.399,"exit_code":1,"observations":[{"actual":{"action":"none","permitted":100},"check":"regression: curve below line speed","expected":{"action":"none","permitted":99},"passed":false},{"actual":{"action":"none","permitted":28},"check":"sampled regression 10","expected":{"action":"warning","permitted":27},"passed":false},{"actual":{"action":"brake","permitted":47},"check":"boundary: fractional permitted speed","expected":{"action":"brake","permitted":47},"passed":true},{"actual":{"action":"warning","permitted":0},"check":"boundary: stop target inside the margin","expected":{"action":"warning","permitted":0},"passed":true},{"actual":{"action":"none","permitted":40},"check":"boundary: target speed release","expected":{"action":"none","permitted":40},"passed":true},{"actual":{"action":"brake","permitted":0},"check":"control 1","expected":{"action":"brake","permitted":0},"passed":true},{"actual":{"action":"brake","permitted":46},"check":"sampled regression 4","expected":{"action":"brake","permitted":45},"passed":false},{"actual":{"action":"none","permitted":160},"check":"control 7","expected":{"action":"none","permitted":160},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: curve below line speed\", \"actual\": {\"permitted\": 100, \"action\": \"none\"}, \"expected\": {\"permitted\": 99, \"action\": \"none\"}, \"passed\": false}, {\"check\": \"sampled regression 10\", \"actual\": {\"permitted\": 28, \"action\": \"none\"}, \"expected\": {\"permitted\": 27, \"action\": \"warning\"}, \"passed\": false}, {\"check\": \"boundary: fractional permitted speed\", \"actual\": {\"permitted\": 47, \"action\": \"brake\"}, \"expected\": {\"permitted\": 47, \"action\": \"brake\"}, \"passed\": true}, {\"check\": \"boundary: stop target inside the margin\", \"actual\": {\"permitted\": 0, \"action\": \"warning\"}, \"expected\": {\"permitted\": 0, \"action\": \"warning\"}, \"passed\": true}, {\"check\": \"boundary: target speed release\", \"actual\": {\"permitted\": 40, \"action\": \"none\"}, \"expected\": {\"permitted\": 40, \"action\": \"none\"}, \"passed\": true}, {\"check\": \"control 1\", \"actual\": {\"permitted\": 0, \"action\": \"brake\"}, \"expected\": {\"permitted\": 0, \"action\": \"brake\"}, \"passed\": true}, {\"check\": \"sampled regression 4\", \"actual\": {\"permitted\": 46, \"action\": \"brake\"}, \"expected\": {\"permitted\": 45, \"action\": \"brake\"}, \"passed\": false}, {\"check\": \"control 7\", \"actual\": {\"permitted\": 160, \"action\": \"none\"}, \"expected\": {\"permitted\": 160, \"action\": \"none\"}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.161,"exit_code":0,"observations":[{"actual":{"action":"none","permitted":99},"check":"regression: curve below line speed","expected":{"action":"none","permitted":99},"passed":true},{"actual":{"action":"warning","permitted":27},"check":"sampled regression 10","expected":{"action":"warning","permitted":27},"passed":true},{"actual":{"action":"brake","permitted":47},"check":"boundary: fractional permitted speed","expected":{"action":"brake","permitted":47},"passed":true},{"actual":{"action":"warning","permitted":0},"check":"boundary: stop target inside the margin","expected":{"action":"warning","permitted":0},"passed":true},{"actual":{"action":"none","permitted":40},"check":"boundary: target speed release","expected":{"action":"none","permitted":40},"passed":true},{"actual":{"action":"brake","permitted":0},"check":"control 1","expected":{"action":"brake","permitted":0},"passed":true},{"actual":{"action":"brake","permitted":45},"check":"sampled regression 4","expected":{"action":"brake","permitted":45},"passed":true},{"actual":{"action":"none","permitted":160},"check":"control 7","expected":{"action":"none","permitted":160},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: curve below line speed\", \"actual\": {\"permitted\": 99, \"action\": \"none\"}, \"expected\": {\"permitted\": 99, \"action\": \"none\"}, \"passed\": true}, {\"check\": \"sampled regression 10\", \"actual\": {\"permitted\": 27, \"action\": \"warning\"}, \"expected\": {\"permitted\": 27, \"action\": \"warning\"}, \"passed\": true}, {\"check\": \"boundary: fractional permitted speed\", \"actual\": {\"permitted\": 47, \"action\": \"brake\"}, \"expected\": {\"permitted\": 47, \"action\": \"brake\"}, \"passed\": true}, {\"check\": \"boundary: stop target inside the margin\", \"actual\": {\"permitted\": 0, \"action\": \"warning\"}, \"expected\": {\"permitted\": 0, \"action\": \"warning\"}, \"passed\": true}, {\"check\": \"boundary: target speed release\", \"actual\": {\"permitted\": 40, \"action\": \"none\"}, \"expected\": {\"permitted\": 40, \"action\": \"none\"}, \"passed\": true}, {\"check\": \"control 1\", \"actual\": {\"permitted\": 0, \"action\": \"brake\"}, \"expected\": {\"permitted\": 0, \"action\": \"brake\"}, \"passed\": true}, {\"check\": \"sampled regression 4\", \"actual\": {\"permitted\": 45, \"action\": \"brake\"}, \"expected\": {\"permitted\": 45, \"action\": \"brake\"}, \"passed\": true}, {\"check\": \"control 7\", \"actual\": {\"permitted\": 160, \"action\": \"none\"}, \"expected\": {\"permitted\": 160, \"action\": \"none\"}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}