{"abstract":"Rows with a coverage ratio of 1 track steeply and shade each other.","category":"Solar tracker geometry","checks":7,"contract":"Horizontal single-axis rows with ground coverage ratio gcr in (0, 1]. temp = |cos(ideal)|/gcr. When temp < 1 the rows would shade each other and the angle is corrected by -sign(ideal)*acos(temp) degrees (backtracking, flag True). gcr <= 0 disables backtracking. Return [angle rounded to 3, backtracking flag].","contract_signature":"ideal, gcr","evaluation_group":"w2-solar_tracker_geometry-gcr-backtracking","failed_approach":"Using a 0.99 cut-off still treats continuous rows as unconstrained.","family":"w2-solar_tracker_geometry-gcr-backtracking-dense-row-coverage","id":"FA-93386","implementations":{"attempt":{"sha256":"eff72ae44eecd010352030a778c7bef1fd821402a179884e3c8eef2370d7117f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(ideal, gcr):\n    if gcr <= 0 or gcr > 0.99:\n        return [round(ideal, 3), False]\n    temp = abs(math.cos(math.radians(ideal))) / gcr\n    if temp < 1:\n        corr = -math.copysign(1, ideal) * math.degrees(math.acos(temp))\n        return [round(ideal + corr, 3), True]\n    return [round(ideal, 3), False]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['boundary: noon never backtracks', [0, 0.4], [0, False]],\n  ['normal: steep morning angle backtracks', [-75, 0.4], [-25.319, True]],\n  ['boundary: continuous rows', [60, 1.0], [0.0, True]],\n  ['regression: dense row coverage', [45, 1.0], [0.0, True]],\n  ['regression: dense row coverage (partial repair)', [85.5, 1.0], [0.0, True]],\n  ['control 1', [30, 0.25], [30, False]], ['control 2', [-29.5, 0.5], [-29.5, False]]],\n [['boundary: noon never backtracks', [0, 0.4], [0, False]],\n  ['normal: steep morning angle backtracks', [-75, 0.4], [-25.319, True]],\n  ['boundary: continuous rows', [60, 1.0], [0.0, True]],\n  ['regression: dense row coverage', [-79.5, 1.0], [0.0, True]],\n  ['regression: dense row coverage (partial repair)', [85.5, 1.0], [0.0, True]],\n  ['control 1', [-80, 0.35], [-19.745, True]], ['control 2', [-10, 0.35], [-10, False]]],\n [['boundary: noon never backtracks', [0, 0.4], [0, False]],\n  ['normal: steep morning angle backtracks', [-75, 0.4], [-25.319, True]],\n  ['boundary: continuous rows', [60, 1.0], [0.0, True]],\n  ['regression: dense row coverage', [-80, 1.0], [0.0, True]],\n  ['regression: dense row coverage (partial repair)', [60.5, 1.0], [0.0, True]],\n  ['control 1', [0, 0.25], [0, False]], ['control 2', [10.5, 0], [10.5, False]]],\n [['boundary: noon never backtracks', [0, 0.4], [0, False]],\n  ['normal: steep morning angle backtracks', [-75, 0.4], [-25.319, True]],\n  ['boundary: continuous rows', [60, 1.0], [0.0, True]],\n  ['regression: dense row coverage', [-60, 1.0], [-0.0, True]],\n  ['regression: dense row coverage (partial repair)', [30, 1.0], [0.0, True]],\n  ['control 1', [-59.5, 1.0], [0.0, True]], ['control 2', [-45, 0.5], [-45, False]]],\n [['boundary: noon never backtracks', [0, 0.4], [0, False]],\n  ['normal: steep morning angle backtracks', [-75, 0.4], [-25.319, True]],\n  ['boundary: continuous rows', [60, 1.0], [0.0, True]],\n  ['regression: dense row coverage', [-69.5, 1.0], [0.0, True]],\n  ['regression: dense row coverage (partial repair)', [-60, 1.0], [-0.0, True]],\n  ['control 1', [10, 0.35], [10, False]], ['control 2', [-60, 0.3], [-60, False]]]]\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":"56d6f4641eed0d12a2e40de83c79eb2a9954aa1928f9a9e48f2f534fa51ffbf4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(ideal, gcr):\n    if gcr <= 0 or gcr >= 1:\n        return [round(ideal, 3), False]\n    temp = abs(math.cos(math.radians(ideal))) / gcr\n    if temp < 1:\n        corr = -math.copysign(1, ideal) * math.degrees(math.acos(temp))\n        return [round(ideal + corr, 3), True]\n    return [round(ideal, 3), False]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['boundary: noon never backtracks', [0, 0.4], [0, False]],\n  ['normal: steep morning angle backtracks', [-75, 0.4], [-25.319, True]],\n  ['boundary: continuous rows', [60, 1.0], [0.0, True]],\n  ['regression: dense row coverage', [45, 1.0], [0.0, True]],\n  ['regression: dense row coverage (partial repair)', [85.5, 1.0], [0.0, True]],\n  ['control 1', [30, 0.25], [30, False]], ['control 2', [-29.5, 0.5], [-29.5, False]]],\n [['boundary: noon never backtracks', [0, 0.4], [0, False]],\n  ['normal: steep morning angle backtracks', [-75, 0.4], [-25.319, True]],\n  ['boundary: continuous rows', [60, 1.0], [0.0, True]],\n  ['regression: dense row coverage', [-79.5, 1.0], [0.0, True]],\n  ['regression: dense row coverage (partial repair)', [85.5, 1.0], [0.0, True]],\n  ['control 1', [-80, 0.35], [-19.745, True]], ['control 2', [-10, 0.35], [-10, False]]],\n [['boundary: noon never backtracks', [0, 0.4], [0, False]],\n  ['normal: steep morning angle backtracks', [-75, 0.4], [-25.319, True]],\n  ['boundary: continuous rows', [60, 1.0], [0.0, True]],\n  ['regression: dense row coverage', [-80, 1.0], [0.0, True]],\n  ['regression: dense row coverage (partial repair)', [60.5, 1.0], [0.0, True]],\n  ['control 1', [0, 0.25], [0, False]], ['control 2', [10.5, 0], [10.5, False]]],\n [['boundary: noon never backtracks', [0, 0.4], [0, False]],\n  ['normal: steep morning angle backtracks', [-75, 0.4], [-25.319, True]],\n  ['boundary: continuous rows', [60, 1.0], [0.0, True]],\n  ['regression: dense row coverage', [-60, 1.0], [-0.0, True]],\n  ['regression: dense row coverage (partial repair)', [30, 1.0], [0.0, True]],\n  ['control 1', [-59.5, 1.0], [0.0, True]], ['control 2', [-45, 0.5], [-45, False]]],\n [['boundary: noon never backtracks', [0, 0.4], [0, False]],\n  ['normal: steep morning angle backtracks', [-75, 0.4], [-25.319, True]],\n  ['boundary: continuous rows', [60, 1.0], [0.0, True]],\n  ['regression: dense row coverage', [-69.5, 1.0], [0.0, True]],\n  ['regression: dense row coverage (partial repair)', [-60, 1.0], [-0.0, True]],\n  ['control 1', [10, 0.35], [10, False]], ['control 2', [-60, 0.3], [-60, False]]]]\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-gcr-backtracking-dense-row-coverage","generated_at":"2026-09-29T14:51:54.648212+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":"A coverage ratio of 1 is rejected as if backtracking were disabled.","sha256":"0321a893aafe20c947bda42020d8d4b36d427c16239b8cb5f06d1f4719b795b7","title":"Ground-coverage-ratio backtracking: dense row coverage · 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":40.494,"exit_code":1,"observations":[{"actual":[0,false],"check":"boundary: noon never backtracks","expected":[0,false],"passed":true},{"actual":[-25.319,true],"check":"normal: steep morning angle backtracks","expected":[-25.319,true],"passed":true},{"actual":[60,false],"check":"boundary: continuous rows","expected":[0.0,true],"passed":false},{"actual":[45,false],"check":"regression: dense row coverage","expected":[0.0,true],"passed":false},{"actual":[85.5,false],"check":"regression: dense row coverage (partial repair)","expected":[0.0,true],"passed":false},{"actual":[30,false],"check":"control 1","expected":[30,false],"passed":true},{"actual":[-29.5,false],"check":"control 2","expected":[-29.5,false],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"boundary: noon never backtracks\", \"actual\": [0, false], \"expected\": [0, false], \"passed\": true}, {\"check\": \"normal: steep morning angle backtracks\", \"actual\": [-25.319, true], \"expected\": [-25.319, true], \"passed\": true}, {\"check\": \"boundary: continuous rows\", \"actual\": [60, false], \"expected\": [0.0, true], \"passed\": false}, {\"check\": \"regression: dense row coverage\", \"actual\": [45, false], \"expected\": [0.0, true], \"passed\": false}, {\"check\": \"regression: dense row coverage (partial repair)\", \"actual\": [85.5, false], \"expected\": [0.0, true], \"passed\": false}, {\"check\": \"control 1\", \"actual\": [30, false], \"expected\": [30, false], \"passed\": true}, {\"check\": \"control 2\", \"actual\": [-29.5, false], \"expected\": [-29.5, false], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.429,"exit_code":1,"observations":[{"actual":[0,false],"check":"boundary: noon never backtracks","expected":[0,false],"passed":true},{"actual":[-25.319,true],"check":"normal: steep morning angle backtracks","expected":[-25.319,true],"passed":true},{"actual":[60,false],"check":"boundary: continuous rows","expected":[0.0,true],"passed":false},{"actual":[45,false],"check":"regression: dense row coverage","expected":[0.0,true],"passed":false},{"actual":[85.5,false],"check":"regression: dense row coverage (partial repair)","expected":[0.0,true],"passed":false},{"actual":[30,false],"check":"control 1","expected":[30,false],"passed":true},{"actual":[-29.5,false],"check":"control 2","expected":[-29.5,false],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"boundary: noon never backtracks\", \"actual\": [0, false], \"expected\": [0, false], \"passed\": true}, {\"check\": \"normal: steep morning angle backtracks\", \"actual\": [-25.319, true], \"expected\": [-25.319, true], \"passed\": true}, {\"check\": \"boundary: continuous rows\", \"actual\": [60, false], \"expected\": [0.0, true], \"passed\": false}, {\"check\": \"regression: dense row coverage\", \"actual\": [45, false], \"expected\": [0.0, true], \"passed\": false}, {\"check\": \"regression: dense row coverage (partial repair)\", \"actual\": [85.5, false], \"expected\": [0.0, true], \"passed\": false}, {\"check\": \"control 1\", \"actual\": [30, false], \"expected\": [30, false], \"passed\": true}, {\"check\": \"control 2\", \"actual\": [-29.5, false], \"expected\": [-29.5, false], \"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."}}