{"abstract":"A single anemometer measuring a storm is averaged away and the plant keeps tracking.","category":"Solar tracker geometry","checks":7,"contract":"readings are [value or None, age_s] per anemometer. A reading is valid when value is not None and age <= max_age. Fewer than n_required valid readings: ['stow', 'sensor', None]. Otherwise use the highest valid value: >= stow_at gives ['stow', 'wind', v], else ['track', 'ok', v].","contract_signature":"readings, max_age, stow_at, n_required","evaluation_group":"w2-solar_tracker_geometry-anemometer-failsafe","failed_approach":"The median also hides the one sensor seeing the gust.","family":"w2-solar_tracker_geometry-anemometer-failsafe-wind-aggregation","id":"FA-93731","implementations":{"attempt":{"sha256":"836dc14b756bc3d2122877f353895e66d2984643bb510b69e41ad7814c3145b1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(readings, max_age, stow_at, n_required):\n    valid = [v for v, age in readings if v is not None and age <= max_age]\n    if len(valid) < n_required:\n        return ['stow', 'sensor', None]\n    peak = sorted(valid)[len(valid) // 2]\n    if peak >= stow_at:\n        return ['stow', 'wind', peak]\n    return ['track', 'ok', peak]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['boundary: reading exactly max_age old', [[[10, 60]], 60, 15, 1], ['track', 'ok', 10]],\n  ['boundary: calm zero reading', [[[0, 5], [None, 5]], 60, 15, 1], ['track', 'ok', 0]],\n  ['boundary: wind at stow limit', [[[15, 5], [4, 5]], 60, 15, 2], ['stow', 'wind', 15]],\n  ['regression: wind aggregation', [[[3.5, 5], [0, 5], [8, 0]], 60, 15, 2], ['track', 'ok', 8]],\n  ['regression: wind aggregation (partial repair)',\n   [[[0, 0], [None, 61], [16.5, 60], [8, 30]], 60, 18, 2], ['track', 'ok', 16.5]],\n  ['control 1', [[[14.5, 5], [8, 5], [22, 60]], 60, 15, 2], ['stow', 'wind', 22]],\n  ['control 2', [[[8, 60], [8, 120]], 60, 18, 1], ['track', 'ok', 8]]],\n [['boundary: reading exactly max_age old', [[[10, 60]], 60, 15, 1], ['track', 'ok', 10]],\n  ['boundary: calm zero reading', [[[0, 5], [None, 5]], 60, 15, 1], ['track', 'ok', 0]],\n  ['boundary: wind at stow limit', [[[15, 5], [4, 5]], 60, 15, 2], ['stow', 'wind', 15]],\n  ['regression: wind aggregation', [[[22, 120], [0, 30], [14.5, 0]], 30, 15, 2],\n   ['track', 'ok', 14.5]],\n  ['regression: wind aggregation (partial repair)', [[[14.5, 30], [8, 5], [8, 10]], 60, 18, 1],\n   ['track', 'ok', 14.5]],\n  ['control 1', [[[8, 60], [0, 10], [14.5, 10]], 60, 18, 1], ['track', 'ok', 14.5]],\n  ['control 2', [[[3.5, 61], [22, 61], [22, 10], [16.5, 30]], 60, 18, 1], ['stow', 'wind', 22]]],\n [['boundary: reading exactly max_age old', [[[10, 60]], 60, 15, 1], ['track', 'ok', 10]],\n  ['boundary: calm zero reading', [[[0, 5], [None, 5]], 60, 15, 1], ['track', 'ok', 0]],\n  ['boundary: wind at stow limit', [[[15, 5], [4, 5]], 60, 15, 2], ['stow', 'wind', 15]],\n  ['regression: wind aggregation', [[[14.5, 30], [0, 0], [None, 10], [14.5, 60]], 30, 15, 1],\n   ['track', 'ok', 14.5]],\n  ['regression: wind aggregation (partial repair)',\n   [[[22, 30], [12, 30], [0, 0], [16.5, 120]], 60, 18, 2], ['stow', 'wind', 22]],\n  ['control 1', [[[22, 61], [22, 120]], 30, 18, 2], ['stow', 'sensor', None]],\n  ['control 2', [[[3.5, 30], [15, 0], [None, 61], [None, 30]], 60, 18, 2], ['track', 'ok', 15]]],\n [['boundary: reading exactly max_age old', [[[10, 60]], 60, 15, 1], ['track', 'ok', 10]],\n  ['boundary: calm zero reading', [[[0, 5], [None, 5]], 60, 15, 1], ['track', 'ok', 0]],\n  ['boundary: wind at stow limit', [[[15, 5], [4, 5]], 60, 15, 2], ['stow', 'wind', 15]],\n  ['regression: wind aggregation', [[[8, 10], [16.5, 60], [22, 61], [15, 5]], 60, 18, 1],\n   ['track', 'ok', 16.5]],\n  ['regression: wind aggregation (partial repair)',\n   [[[22, 10], [8, 60], [14.5, 5], [12, 0]], 60, 15, 2], ['stow', 'wind', 22]],\n  ['control 1', [[[3.5, 5], [22, 30]], 30, 18, 2], ['stow', 'wind', 22]],\n  ['control 2', [[[22, 0], [3.5, 60], [12, 30], [14.5, 5]], 30, 15, 1], ['stow', 'wind', 22]]],\n [['boundary: reading exactly max_age old', [[[10, 60]], 60, 15, 1], ['track', 'ok', 10]],\n  ['boundary: calm zero reading', [[[0, 5], [None, 5]], 60, 15, 1], ['track', 'ok', 0]],\n  ['boundary: wind at stow limit', [[[15, 5], [4, 5]], 60, 15, 2], ['stow', 'wind', 15]],\n  ['regression: wind aggregation', [[[22, 0], [12, 61], [16.5, 10]], 30, 15, 2],\n   ['stow', 'wind', 22]],\n  ['regression: wind aggregation (partial repair)',\n   [[[12, 30], [16.5, 10], [15, 61], [12, 10]], 60, 18, 2], ['track', 'ok', 16.5]],\n  ['control 1', [[[3.5, 61], [0, 5], [0, 60], [14.5, 120]], 60, 18, 1], ['track', 'ok', 0]],\n  ['control 2', [[[15, 10], [12, 61], [14.5, 60], [None, 60]], 30, 15, 1], ['stow', 'wind', 15]]]]\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":"d6947cc7d87057c9327d2eb21a94157bf9c6f7380fa6e63bb865c998b3f3d7a3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(readings, max_age, stow_at, n_required):\n    valid = [v for v, age in readings if v is not None and age <= max_age]\n    if len(valid) < n_required:\n        return ['stow', 'sensor', None]\n    peak = sum(valid) / len(valid)\n    if peak >= stow_at:\n        return ['stow', 'wind', peak]\n    return ['track', 'ok', peak]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['boundary: reading exactly max_age old', [[[10, 60]], 60, 15, 1], ['track', 'ok', 10]],\n  ['boundary: calm zero reading', [[[0, 5], [None, 5]], 60, 15, 1], ['track', 'ok', 0]],\n  ['boundary: wind at stow limit', [[[15, 5], [4, 5]], 60, 15, 2], ['stow', 'wind', 15]],\n  ['regression: wind aggregation', [[[3.5, 5], [0, 5], [8, 0]], 60, 15, 2], ['track', 'ok', 8]],\n  ['regression: wind aggregation (partial repair)',\n   [[[0, 0], [None, 61], [16.5, 60], [8, 30]], 60, 18, 2], ['track', 'ok', 16.5]],\n  ['control 1', [[[14.5, 5], [8, 5], [22, 60]], 60, 15, 2], ['stow', 'wind', 22]],\n  ['control 2', [[[8, 60], [8, 120]], 60, 18, 1], ['track', 'ok', 8]]],\n [['boundary: reading exactly max_age old', [[[10, 60]], 60, 15, 1], ['track', 'ok', 10]],\n  ['boundary: calm zero reading', [[[0, 5], [None, 5]], 60, 15, 1], ['track', 'ok', 0]],\n  ['boundary: wind at stow limit', [[[15, 5], [4, 5]], 60, 15, 2], ['stow', 'wind', 15]],\n  ['regression: wind aggregation', [[[22, 120], [0, 30], [14.5, 0]], 30, 15, 2],\n   ['track', 'ok', 14.5]],\n  ['regression: wind aggregation (partial repair)', [[[14.5, 30], [8, 5], [8, 10]], 60, 18, 1],\n   ['track', 'ok', 14.5]],\n  ['control 1', [[[8, 60], [0, 10], [14.5, 10]], 60, 18, 1], ['track', 'ok', 14.5]],\n  ['control 2', [[[3.5, 61], [22, 61], [22, 10], [16.5, 30]], 60, 18, 1], ['stow', 'wind', 22]]],\n [['boundary: reading exactly max_age old', [[[10, 60]], 60, 15, 1], ['track', 'ok', 10]],\n  ['boundary: calm zero reading', [[[0, 5], [None, 5]], 60, 15, 1], ['track', 'ok', 0]],\n  ['boundary: wind at stow limit', [[[15, 5], [4, 5]], 60, 15, 2], ['stow', 'wind', 15]],\n  ['regression: wind aggregation', [[[14.5, 30], [0, 0], [None, 10], [14.5, 60]], 30, 15, 1],\n   ['track', 'ok', 14.5]],\n  ['regression: wind aggregation (partial repair)',\n   [[[22, 30], [12, 30], [0, 0], [16.5, 120]], 60, 18, 2], ['stow', 'wind', 22]],\n  ['control 1', [[[22, 61], [22, 120]], 30, 18, 2], ['stow', 'sensor', None]],\n  ['control 2', [[[3.5, 30], [15, 0], [None, 61], [None, 30]], 60, 18, 2], ['track', 'ok', 15]]],\n [['boundary: reading exactly max_age old', [[[10, 60]], 60, 15, 1], ['track', 'ok', 10]],\n  ['boundary: calm zero reading', [[[0, 5], [None, 5]], 60, 15, 1], ['track', 'ok', 0]],\n  ['boundary: wind at stow limit', [[[15, 5], [4, 5]], 60, 15, 2], ['stow', 'wind', 15]],\n  ['regression: wind aggregation', [[[8, 10], [16.5, 60], [22, 61], [15, 5]], 60, 18, 1],\n   ['track', 'ok', 16.5]],\n  ['regression: wind aggregation (partial repair)',\n   [[[22, 10], [8, 60], [14.5, 5], [12, 0]], 60, 15, 2], ['stow', 'wind', 22]],\n  ['control 1', [[[3.5, 5], [22, 30]], 30, 18, 2], ['stow', 'wind', 22]],\n  ['control 2', [[[22, 0], [3.5, 60], [12, 30], [14.5, 5]], 30, 15, 1], ['stow', 'wind', 22]]],\n [['boundary: reading exactly max_age old', [[[10, 60]], 60, 15, 1], ['track', 'ok', 10]],\n  ['boundary: calm zero reading', [[[0, 5], [None, 5]], 60, 15, 1], ['track', 'ok', 0]],\n  ['boundary: wind at stow limit', [[[15, 5], [4, 5]], 60, 15, 2], ['stow', 'wind', 15]],\n  ['regression: wind aggregation', [[[22, 0], [12, 61], [16.5, 10]], 30, 15, 2],\n   ['stow', 'wind', 22]],\n  ['regression: wind aggregation (partial repair)',\n   [[[12, 30], [16.5, 10], [15, 61], [12, 10]], 60, 18, 2], ['track', 'ok', 16.5]],\n  ['control 1', [[[3.5, 61], [0, 5], [0, 60], [14.5, 120]], 60, 18, 1], ['track', 'ok', 0]],\n  ['control 2', [[[15, 10], [12, 61], [14.5, 60], [None, 60]], 30, 15, 1], ['stow', 'wind', 15]]]]\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":"Deterministic stipulated toy contract for teaching; no claim of conformance with any standard, vendor protocol or production controller. 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-solar_tracker_geometry-anemometer-failsafe-wind-aggregation","generated_at":"2026-09-29T14:51:57.808293+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Single-axis and dual-axis solar trackers turn a sun direction into actuator commands; a sign, frame or limit mistake points a whole plant away from the sun or into a mechanical stop.","root_cause":"Valid readings are averaged instead of taking the maximum.","sha256":"802c7e270657a45363499487b1a34575b00c9af63da97019727db5139fd10d12","title":"Anemometer fail-safe stow voting: wind aggregation · 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":42.609,"exit_code":1,"observations":[{"actual":["track","ok",10],"check":"boundary: reading exactly max_age old","expected":["track","ok",10],"passed":true},{"actual":["track","ok",0],"check":"boundary: calm zero reading","expected":["track","ok",0],"passed":true},{"actual":["stow","wind",15],"check":"boundary: wind at stow limit","expected":["stow","wind",15],"passed":true},{"actual":["track","ok",3.5],"check":"regression: wind aggregation","expected":["track","ok",8],"passed":false},{"actual":["track","ok",8],"check":"regression: wind aggregation (partial repair)","expected":["track","ok",16.5],"passed":false},{"actual":["track","ok",14.5],"check":"control 1","expected":["stow","wind",22],"passed":false},{"actual":["track","ok",8],"check":"control 2","expected":["track","ok",8],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"boundary: reading exactly max_age old\", \"actual\": [\"track\", \"ok\", 10], \"expected\": [\"track\", \"ok\", 10], \"passed\": true}, {\"check\": \"boundary: calm zero reading\", \"actual\": [\"track\", \"ok\", 0], \"expected\": [\"track\", \"ok\", 0], \"passed\": true}, {\"check\": \"boundary: wind at stow limit\", \"actual\": [\"stow\", \"wind\", 15], \"expected\": [\"stow\", \"wind\", 15], \"passed\": true}, {\"check\": \"regression: wind aggregation\", \"actual\": [\"track\", \"ok\", 3.5], \"expected\": [\"track\", \"ok\", 8], \"passed\": false}, {\"check\": \"regression: wind aggregation (partial repair)\", \"actual\": [\"track\", \"ok\", 8], \"expected\": [\"track\", \"ok\", 16.5], \"passed\": false}, {\"check\": \"control 1\", \"actual\": [\"track\", \"ok\", 14.5], \"expected\": [\"stow\", \"wind\", 22], \"passed\": false}, {\"check\": \"control 2\", \"actual\": [\"track\", \"ok\", 8], \"expected\": [\"track\", \"ok\", 8], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.49,"exit_code":1,"observations":[{"actual":["track","ok",10.0],"check":"boundary: reading exactly max_age old","expected":["track","ok",10],"passed":true},{"actual":["track","ok",0.0],"check":"boundary: calm zero reading","expected":["track","ok",0],"passed":true},{"actual":["track","ok",9.5],"check":"boundary: wind at stow limit","expected":["stow","wind",15],"passed":false},{"actual":["track","ok",3.8333333333333335],"check":"regression: wind aggregation","expected":["track","ok",8],"passed":false},{"actual":["track","ok",8.166666666666666],"check":"regression: wind aggregation (partial repair)","expected":["track","ok",16.5],"passed":false},{"actual":["track","ok",14.833333333333334],"check":"control 1","expected":["stow","wind",22],"passed":false},{"actual":["track","ok",8.0],"check":"control 2","expected":["track","ok",8],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"boundary: reading exactly max_age old\", \"actual\": [\"track\", \"ok\", 10.0], \"expected\": [\"track\", \"ok\", 10], \"passed\": true}, {\"check\": \"boundary: calm zero reading\", \"actual\": [\"track\", \"ok\", 0.0], \"expected\": [\"track\", \"ok\", 0], \"passed\": true}, {\"check\": \"boundary: wind at stow limit\", \"actual\": [\"track\", \"ok\", 9.5], \"expected\": [\"stow\", \"wind\", 15], \"passed\": false}, {\"check\": \"regression: wind aggregation\", \"actual\": [\"track\", \"ok\", 3.8333333333333335], \"expected\": [\"track\", \"ok\", 8], \"passed\": false}, {\"check\": \"regression: wind aggregation (partial repair)\", \"actual\": [\"track\", \"ok\", 8.166666666666666], \"expected\": [\"track\", \"ok\", 16.5], \"passed\": false}, {\"check\": \"control 1\", \"actual\": [\"track\", \"ok\", 14.833333333333334], \"expected\": [\"stow\", \"wind\", 22], \"passed\": false}, {\"check\": \"control 2\", \"actual\": [\"track\", \"ok\", 8.0], \"expected\": [\"track\", \"ok\", 8], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}