{"abstract":"Clearance on sloped ground is understated at steep rotations.","category":"Solar tracker geometry","checks":7,"contract":"Hub height h and module width w in mm. Maximum rotation keeps the low edge at least clear above flat ground: asin((h - clear)/(w/2)), 90 when that ratio >= 1, 0 when <= 0. The command is theta clamped to +-max. Reported clearance is h - (w/2)|sin cmd| minus the ground rise under the low edge, side*(w/2)cos(cmd)tan(slope), where side is the sign of cmd or, at 0, the sign of slope (>= 0 counts positive). Return [cmd rounded 3, clearance rounded 1].","contract_signature":"theta, h, w, clear, slope","evaluation_group":"w2-solar_tracker_geometry-edge-ground-clearance","failed_approach":"Using sin(cmd) gives zero ground rise when flat.","family":"w2-solar_tracker_geometry-edge-ground-clearance-ground-rise-lever-arm","id":"FA-93761","implementations":{"attempt":{"sha256":"5beadf3a9a5628acb80475b59b9bff8263007e1a13dc9b2350e8eb12f0d9eac6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(theta, h, w, clear, slope):\n    half = w / 2\n    lim = (h - clear) / half\n    if lim >= 1:\n        amax = 90.0\n    elif lim <= 0:\n        amax = 0.0\n    else:\n        amax = math.degrees(math.asin(lim))\n    cmd = max(-amax, min(amax, theta))\n    r = math.radians(cmd)\n    low = h - half * abs(math.sin(r))\n    if cmd != 0:\n        side = 1 if cmd > 0 else -1\n    else:\n        side = 1 if slope >= 0 else -1\n    ground = side * half * math.sin(r) * math.tan(math.radians(slope))\n    return [round(cmd, 3), round(low - ground, 1)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['normal: rotation limited by clearance', [60, 1500, 2256, 500, 0], [60, 523.1]],\n  ['boundary: hub below required clearance', [30, 1200, 2000, 1300, 0], [-0.0, 1200.0]],\n  ['boundary: flat on sloped ground', [0, 1500, 2000, 500, -5], [0, 1412.5]],\n  ['regression: ground rise lever arm', [-30, 2000, 2384, 300, -5], [-30, 1313.7]],\n  ['regression: ground rise lever arm (partial repair)', [20, 2500, 2000, 2600, -10],\n   [-0.0, 2323.7]],\n  ['control 1', [-45, 1200, 2384, 300, -10], [-45, 208.5]],\n  ['control 2', [0, 1500, 1133, 2600, -10], [-0.0, 1400.1]]],\n [['normal: rotation limited by clearance', [60, 1500, 2256, 500, 0], [60, 523.1]],\n  ['boundary: hub below required clearance', [30, 1200, 2000, 1300, 0], [-0.0, 1200.0]],\n  ['boundary: flat on sloped ground', [0, 1500, 2000, 500, -5], [0, 1412.5]],\n  ['regression: ground rise lever arm', [-30, 2000, 2000, 300, -10], [-30, 1347.3]],\n  ['regression: ground rise lever arm (partial repair)', [20, 1200, 4000, 500, 8], [20, 251.8]],\n  ['control 1', [20, 2000, 2256, 500, -10], [20, 1801.1]],\n  ['control 2', [0, 2500, 2000, 300, -5], [0, 2412.5]]],\n [['normal: rotation limited by clearance', [60, 1500, 2256, 500, 0], [60, 523.1]],\n  ['boundary: hub below required clearance', [30, 1200, 2000, 1300, 0], [-0.0, 1200.0]],\n  ['boundary: flat on sloped ground', [0, 1500, 2000, 500, -5], [0, 1412.5]],\n  ['regression: ground rise lever arm', [60, 1200, 2384, 500, 3], [35.962, 449.4]],\n  ['regression: ground rise lever arm (partial repair)', [0, 2000, 2384, 2600, 3], [-0.0, 1937.5]],\n  ['control 1', [60, 2500, 1133, 1300, 8], [60, 1969.6]],\n  ['control 2', [20, 1200, 2000, 1300, 3], [-0.0, 1147.6]]],\n [['normal: rotation limited by clearance', [60, 1500, 2256, 500, 0], [60, 523.1]],\n  ['boundary: hub below required clearance', [30, 1200, 2000, 1300, 0], [-0.0, 1200.0]],\n  ['boundary: flat on sloped ground', [0, 1500, 2000, 500, -5], [0, 1412.5]],\n  ['regression: ground rise lever arm', [45, 1500, 2000, 300, 3], [45, 755.8]],\n  ['regression: ground rise lever arm (partial repair)', [0, 1200, 2256, 1300, 8], [-0.0, 1041.5]],\n  ['control 1', [60, 2000, 1133, 2600, -5], [-0.0, 1950.4]],\n  ['control 2', [45, 1200, 1133, 300, 3], [45, 778.4]]],\n [['normal: rotation limited by clearance', [60, 1500, 2256, 500, 0], [60, 523.1]],\n  ['boundary: hub below required clearance', [30, 1200, 2000, 1300, 0], [-0.0, 1200.0]],\n  ['boundary: flat on sloped ground', [0, 1500, 2000, 500, -5], [0, 1412.5]],\n  ['regression: ground rise lever arm', [20, 2500, 2384, 300, -10], [20, 2289.8]],\n  ['regression: ground rise lever arm (partial repair)', [-60, 2500, 2256, 300, -10],\n   [-60, 1423.7]],\n  ['control 1', [-30, 1500, 2384, 500, -5], [-30, 813.7]],\n  ['control 2', [-30, 1200, 4000, 2600, 0], [-0.0, 1200.0]]]]\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":"8dea8e05ee1b5e093305698c07305083820cacc516a40204f8dc720e7b6dc4dc","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(theta, h, w, clear, slope):\n    half = w / 2\n    lim = (h - clear) / half\n    if lim >= 1:\n        amax = 90.0\n    elif lim <= 0:\n        amax = 0.0\n    else:\n        amax = math.degrees(math.asin(lim))\n    cmd = max(-amax, min(amax, theta))\n    r = math.radians(cmd)\n    low = h - half * abs(math.sin(r))\n    if cmd != 0:\n        side = 1 if cmd > 0 else -1\n    else:\n        side = 1 if slope >= 0 else -1\n    ground = side * half * math.tan(math.radians(slope))\n    return [round(cmd, 3), round(low - ground, 1)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['normal: rotation limited by clearance', [60, 1500, 2256, 500, 0], [60, 523.1]],\n  ['boundary: hub below required clearance', [30, 1200, 2000, 1300, 0], [-0.0, 1200.0]],\n  ['boundary: flat on sloped ground', [0, 1500, 2000, 500, -5], [0, 1412.5]],\n  ['regression: ground rise lever arm', [-30, 2000, 2384, 300, -5], [-30, 1313.7]],\n  ['regression: ground rise lever arm (partial repair)', [20, 2500, 2000, 2600, -10],\n   [-0.0, 2323.7]],\n  ['control 1', [-45, 1200, 2384, 300, -10], [-45, 208.5]],\n  ['control 2', [0, 1500, 1133, 2600, -10], [-0.0, 1400.1]]],\n [['normal: rotation limited by clearance', [60, 1500, 2256, 500, 0], [60, 523.1]],\n  ['boundary: hub below required clearance', [30, 1200, 2000, 1300, 0], [-0.0, 1200.0]],\n  ['boundary: flat on sloped ground', [0, 1500, 2000, 500, -5], [0, 1412.5]],\n  ['regression: ground rise lever arm', [-30, 2000, 2000, 300, -10], [-30, 1347.3]],\n  ['regression: ground rise lever arm (partial repair)', [20, 1200, 4000, 500, 8], [20, 251.8]],\n  ['control 1', [20, 2000, 2256, 500, -10], [20, 1801.1]],\n  ['control 2', [0, 2500, 2000, 300, -5], [0, 2412.5]]],\n [['normal: rotation limited by clearance', [60, 1500, 2256, 500, 0], [60, 523.1]],\n  ['boundary: hub below required clearance', [30, 1200, 2000, 1300, 0], [-0.0, 1200.0]],\n  ['boundary: flat on sloped ground', [0, 1500, 2000, 500, -5], [0, 1412.5]],\n  ['regression: ground rise lever arm', [60, 1200, 2384, 500, 3], [35.962, 449.4]],\n  ['regression: ground rise lever arm (partial repair)', [0, 2000, 2384, 2600, 3], [-0.0, 1937.5]],\n  ['control 1', [60, 2500, 1133, 1300, 8], [60, 1969.6]],\n  ['control 2', [20, 1200, 2000, 1300, 3], [-0.0, 1147.6]]],\n [['normal: rotation limited by clearance', [60, 1500, 2256, 500, 0], [60, 523.1]],\n  ['boundary: hub below required clearance', [30, 1200, 2000, 1300, 0], [-0.0, 1200.0]],\n  ['boundary: flat on sloped ground', [0, 1500, 2000, 500, -5], [0, 1412.5]],\n  ['regression: ground rise lever arm', [45, 1500, 2000, 300, 3], [45, 755.8]],\n  ['regression: ground rise lever arm (partial repair)', [0, 1200, 2256, 1300, 8], [-0.0, 1041.5]],\n  ['control 1', [60, 2000, 1133, 2600, -5], [-0.0, 1950.4]],\n  ['control 2', [45, 1200, 1133, 300, 3], [45, 778.4]]],\n [['normal: rotation limited by clearance', [60, 1500, 2256, 500, 0], [60, 523.1]],\n  ['boundary: hub below required clearance', [30, 1200, 2000, 1300, 0], [-0.0, 1200.0]],\n  ['boundary: flat on sloped ground', [0, 1500, 2000, 500, -5], [0, 1412.5]],\n  ['regression: ground rise lever arm', [20, 2500, 2384, 300, -10], [20, 2289.8]],\n  ['regression: ground rise lever arm (partial repair)', [-60, 2500, 2256, 300, -10],\n   [-60, 1423.7]],\n  ['control 1', [-30, 1500, 2384, 500, -5], [-30, 813.7]],\n  ['control 2', [-30, 1200, 4000, 2600, 0], [-0.0, 1200.0]]]]\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-edge-ground-clearance-ground-rise-lever-arm","generated_at":"2026-09-29T14:51:58.105791+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":"The horizontal reach of the low edge ignores the rotation.","sha256":"b6076968e7f7db189016233e134710f7071027fe00aa40c6f479029b0952db93","title":"Module edge ground clearance limit: ground rise lever arm · 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.978,"exit_code":1,"observations":[{"actual":[60,523.1],"check":"normal: rotation limited by clearance","expected":[60,523.1],"passed":true},{"actual":[-0.0,1200.0],"check":"boundary: hub below required clearance","expected":[-0.0,1200.0],"passed":true},{"actual":[0,1500.0],"check":"boundary: flat on sloped ground","expected":[0,1412.5],"passed":false},{"actual":[-30,1456.1],"check":"regression: ground rise lever arm","expected":[-30,1313.7],"passed":false},{"actual":[-0.0,2500.0],"check":"regression: ground rise lever arm (partial repair)","expected":[-0.0,2323.7],"passed":false},{"actual":[-45,505.7],"check":"control 1","expected":[-45,208.5],"passed":false},{"actual":[-0.0,1500.0],"check":"control 2","expected":[-0.0,1400.1],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"normal: rotation limited by clearance\", \"actual\": [60, 523.1], \"expected\": [60, 523.1], \"passed\": true}, {\"check\": \"boundary: hub below required clearance\", \"actual\": [-0.0, 1200.0], \"expected\": [-0.0, 1200.0], \"passed\": true}, {\"check\": \"boundary: flat on sloped ground\", \"actual\": [0, 1500.0], \"expected\": [0, 1412.5], \"passed\": false}, {\"check\": \"regression: ground rise lever arm\", \"actual\": [-30, 1456.1], \"expected\": [-30, 1313.7], \"passed\": false}, {\"check\": \"regression: ground rise lever arm (partial repair)\", \"actual\": [-0.0, 2500.0], \"expected\": [-0.0, 2323.7], \"passed\": false}, {\"check\": \"control 1\", \"actual\": [-45, 505.7], \"expected\": [-45, 208.5], \"passed\": false}, {\"check\": \"control 2\", \"actual\": [-0.0, 1500.0], \"expected\": [-0.0, 1400.1], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.964,"exit_code":1,"observations":[{"actual":[60,523.1],"check":"normal: rotation limited by clearance","expected":[60,523.1],"passed":true},{"actual":[-0.0,1200.0],"check":"boundary: hub below required clearance","expected":[-0.0,1200.0],"passed":true},{"actual":[0,1412.5],"check":"boundary: flat on sloped ground","expected":[0,1412.5],"passed":true},{"actual":[-30,1299.7],"check":"regression: ground rise lever arm","expected":[-30,1313.7],"passed":false},{"actual":[-0.0,2323.7],"check":"regression: ground rise lever arm (partial repair)","expected":[-0.0,2323.7],"passed":true},{"actual":[-45,146.9],"check":"control 1","expected":[-45,208.5],"passed":false},{"actual":[-0.0,1400.1],"check":"control 2","expected":[-0.0,1400.1],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"normal: rotation limited by clearance\", \"actual\": [60, 523.1], \"expected\": [60, 523.1], \"passed\": true}, {\"check\": \"boundary: hub below required clearance\", \"actual\": [-0.0, 1200.0], \"expected\": [-0.0, 1200.0], \"passed\": true}, {\"check\": \"boundary: flat on sloped ground\", \"actual\": [0, 1412.5], \"expected\": [0, 1412.5], \"passed\": true}, {\"check\": \"regression: ground rise lever arm\", \"actual\": [-30, 1299.7], \"expected\": [-30, 1313.7], \"passed\": false}, {\"check\": \"regression: ground rise lever arm (partial repair)\", \"actual\": [-0.0, 2323.7], \"expected\": [-0.0, 2323.7], \"passed\": true}, {\"check\": \"control 1\", \"actual\": [-45, 146.9], \"expected\": [-45, 208.5], \"passed\": false}, {\"check\": \"control 2\", \"actual\": [-0.0, 1400.1], \"expected\": [-0.0, 1400.1], \"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."}}