FA-93821 / Solar tracker geometry / Open access
Dawn and dusk parking positions: asymmetric tracking limits · case 01
Trackers with unequal stops are clamped with the limits swapped.
ROOT CAUSE
The east and west limits are applied to the wrong sides.
VERIFIED REPAIR
Clamp to [-east_lim, west_lim].
Unsuccessful approach: Using the east limit on both sides cuts the west range.
Case contract
sun_el < 0: [0.0, 'night']. 0 <= sun_el < wake_el: park facing the low sun, [-east_lim, 'dawn'] in the morning (am true) or [west_lim, 'dusk'] in the evening. Otherwise track the ideal angle clamped to the asymmetric limits [-east_lim, west_lim] ('track'). Angles are floats.
Why this case matters
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.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(ideal, sun_el, am, wake_el, east_lim, west_lim):
if sun_el < 0:
return [0.0, 'night']
if sun_el < wake_el:
if am:
return [-float(east_lim), 'dawn']
return [float(west_lim), 'dusk']
return [float(max(-west_lim, min(east_lim, ideal))), 'track']
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['boundary: sun exactly on horizon', [-70, 0, True, 5, 50, 60], [-50.0, 'dawn']],
['boundary: sun exactly at wake elevation', [-50, 5, True, 5, 50, 60], [-50.0, 'track']],
['normal: evening park', [55, 2, False, 5, 50, 60], [60.0, 'dusk']],
['regression: asymmetric tracking limits', [70, 20, True, 3, 55, 50], [50.0, 'track']],
['regression: asymmetric tracking limits (partial repair)', [55, 5, True, 5, 50, 60],
[55.0, 'track']],
['control 1', [45, 5, False, 3, 45, 50], [45.0, 'track']],
['control 2', [55, 3, True, 3, 50, 50], [50.0, 'track']]],
[['boundary: sun exactly on horizon', [-70, 0, True, 5, 50, 60], [-50.0, 'dawn']],
['boundary: sun exactly at wake elevation', [-50, 5, True, 5, 50, 60], [-50.0, 'track']],
['normal: evening park', [55, 2, False, 5, 50, 60], [60.0, 'dusk']],
['regression: asymmetric tracking limits', [-50, 3, False, 3, 45, 50], [-45.0, 'track']],
['regression: asymmetric tracking limits (partial repair)', [70, 20, False, 5, 50, 60],
[60.0, 'track']],
['control 1', [70, 5, False, 3, 50, 50], [50.0, 'track']],
['control 2', [0, -6, True, 3, 50, 60], [0.0, 'night']]],
[['boundary: sun exactly on horizon', [-70, 0, True, 5, 50, 60], [-50.0, 'dawn']],
['boundary: sun exactly at wake elevation', [-50, 5, True, 5, 50, 60], [-50.0, 'track']],
['normal: evening park', [55, 2, False, 5, 50, 60], [60.0, 'dusk']],
['regression: asymmetric tracking limits', [70, 8, True, 3, 55, 60], [60.0, 'track']],
['regression: asymmetric tracking limits (partial repair)', [70, 20, False, 3, 45, 60],
[60.0, 'track']],
['control 1', [0, 8, True, 5, 55, 50], [0.0, 'track']],
['control 2', [-20, 0, False, 5, 55, 50], [50.0, 'dusk']]],
[['boundary: sun exactly on horizon', [-70, 0, True, 5, 50, 60], [-50.0, 'dawn']],
['boundary: sun exactly at wake elevation', [-50, 5, True, 5, 50, 60], [-50.0, 'track']],
['normal: evening park', [55, 2, False, 5, 50, 60], [60.0, 'dusk']],
['regression: asymmetric tracking limits', [70, 8, True, 5, 55, 60], [60.0, 'track']],
['regression: asymmetric tracking limits (partial repair)', [70, 3, True, 3, 45, 50],
[50.0, 'track']],
['control 1', [-20, 3, False, 3, 45, 50], [-20.0, 'track']],
['control 2', [45, -6, False, 5, 55, 60], [0.0, 'night']]],
[['boundary: sun exactly on horizon', [-70, 0, True, 5, 50, 60], [-50.0, 'dawn']],
['boundary: sun exactly at wake elevation', [-50, 5, True, 5, 50, 60], [-50.0, 'track']],
['normal: evening park', [55, 2, False, 5, 50, 60], [60.0, 'dusk']],
['regression: asymmetric tracking limits', [70, 8, True, 3, 55, 60], [60.0, 'track']],
['regression: asymmetric tracking limits (partial repair)', [55, 8, False, 5, 45, 60],
[55.0, 'track']],
['control 1', [55, 0, True, 5, 45, 60], [-45.0, 'dawn']],
['control 2', [-70, -6, True, 5, 55, 50], [0.0, 'night']]]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| boundary: sun exactly on horizon | [-50.0, 'dawn'] | [-50.0, 'dawn'] | Passed |
| boundary: sun exactly at wake elevation | [-50.0, 'track'] | [-50.0, 'track'] | Passed |
| normal: evening park | [60.0, 'dusk'] | [60.0, 'dusk'] | Passed |
| regression: asymmetric tracking limits | [55.0, 'track'] | [50.0, 'track'] | Failed |
| regression: asymmetric tracking limits (partial repair) | [50.0, 'track'] | [55.0, 'track'] | Failed |
| control 1 | [45.0, 'track'] | [45.0, 'track'] | Passed |
| control 2 | [50.0, 'track'] | [50.0, 'track'] | Passed |
SHA-256 / efaafcf65f989705b2991efdcd42181489d263a99ee9e773c4d8dc0eefc8d4a5
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(ideal, sun_el, am, wake_el, east_lim, west_lim):
if sun_el < 0:
return [0.0, 'night']
if sun_el < wake_el:
if am:
return [-float(east_lim), 'dawn']
return [float(west_lim), 'dusk']
return [float(max(-east_lim, min(east_lim, ideal))), 'track']
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['boundary: sun exactly on horizon', [-70, 0, True, 5, 50, 60], [-50.0, 'dawn']],
['boundary: sun exactly at wake elevation', [-50, 5, True, 5, 50, 60], [-50.0, 'track']],
['normal: evening park', [55, 2, False, 5, 50, 60], [60.0, 'dusk']],
['regression: asymmetric tracking limits', [70, 20, True, 3, 55, 50], [50.0, 'track']],
['regression: asymmetric tracking limits (partial repair)', [55, 5, True, 5, 50, 60],
[55.0, 'track']],
['control 1', [45, 5, False, 3, 45, 50], [45.0, 'track']],
['control 2', [55, 3, True, 3, 50, 50], [50.0, 'track']]],
[['boundary: sun exactly on horizon', [-70, 0, True, 5, 50, 60], [-50.0, 'dawn']],
['boundary: sun exactly at wake elevation', [-50, 5, True, 5, 50, 60], [-50.0, 'track']],
['normal: evening park', [55, 2, False, 5, 50, 60], [60.0, 'dusk']],
['regression: asymmetric tracking limits', [-50, 3, False, 3, 45, 50], [-45.0, 'track']],
['regression: asymmetric tracking limits (partial repair)', [70, 20, False, 5, 50, 60],
[60.0, 'track']],
['control 1', [70, 5, False, 3, 50, 50], [50.0, 'track']],
['control 2', [0, -6, True, 3, 50, 60], [0.0, 'night']]],
[['boundary: sun exactly on horizon', [-70, 0, True, 5, 50, 60], [-50.0, 'dawn']],
['boundary: sun exactly at wake elevation', [-50, 5, True, 5, 50, 60], [-50.0, 'track']],
['normal: evening park', [55, 2, False, 5, 50, 60], [60.0, 'dusk']],
['regression: asymmetric tracking limits', [70, 8, True, 3, 55, 60], [60.0, 'track']],
['regression: asymmetric tracking limits (partial repair)', [70, 20, False, 3, 45, 60],
[60.0, 'track']],
['control 1', [0, 8, True, 5, 55, 50], [0.0, 'track']],
['control 2', [-20, 0, False, 5, 55, 50], [50.0, 'dusk']]],
[['boundary: sun exactly on horizon', [-70, 0, True, 5, 50, 60], [-50.0, 'dawn']],
['boundary: sun exactly at wake elevation', [-50, 5, True, 5, 50, 60], [-50.0, 'track']],
['normal: evening park', [55, 2, False, 5, 50, 60], [60.0, 'dusk']],
['regression: asymmetric tracking limits', [70, 8, True, 5, 55, 60], [60.0, 'track']],
['regression: asymmetric tracking limits (partial repair)', [70, 3, True, 3, 45, 50],
[50.0, 'track']],
['control 1', [-20, 3, False, 3, 45, 50], [-20.0, 'track']],
['control 2', [45, -6, False, 5, 55, 60], [0.0, 'night']]],
[['boundary: sun exactly on horizon', [-70, 0, True, 5, 50, 60], [-50.0, 'dawn']],
['boundary: sun exactly at wake elevation', [-50, 5, True, 5, 50, 60], [-50.0, 'track']],
['normal: evening park', [55, 2, False, 5, 50, 60], [60.0, 'dusk']],
['regression: asymmetric tracking limits', [70, 8, True, 3, 55, 60], [60.0, 'track']],
['regression: asymmetric tracking limits (partial repair)', [55, 8, False, 5, 45, 60],
[55.0, 'track']],
['control 1', [55, 0, True, 5, 45, 60], [-45.0, 'dawn']],
['control 2', [-70, -6, True, 5, 55, 50], [0.0, 'night']]]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| boundary: sun exactly on horizon | [-50.0, 'dawn'] | [-50.0, 'dawn'] | Passed |
| boundary: sun exactly at wake elevation | [-50.0, 'track'] | [-50.0, 'track'] | Passed |
| normal: evening park | [60.0, 'dusk'] | [60.0, 'dusk'] | Passed |
| regression: asymmetric tracking limits | [55.0, 'track'] | [50.0, 'track'] | Failed |
| regression: asymmetric tracking limits (partial repair) | [50.0, 'track'] | [55.0, 'track'] | Failed |
| control 1 | [45.0, 'track'] | [45.0, 'track'] | Passed |
| control 2 | [50.0, 'track'] | [50.0, 'track'] | Passed |
SHA-256 / 0a2c54e89cf36d75b70c9b6150d6933e8d5939d48bff919e3cfee273cb25aa48
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(ideal, sun_el, am, wake_el, east_lim, west_lim):
if sun_el < 0:
return [0.0, 'night']
if sun_el < wake_el:
if am:
return [-float(east_lim), 'dawn']
return [float(west_lim), 'dusk']
return [float(max(-east_lim, min(west_lim, ideal))), 'track']
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['boundary: sun exactly on horizon', [-70, 0, True, 5, 50, 60], [-50.0, 'dawn']],
['boundary: sun exactly at wake elevation', [-50, 5, True, 5, 50, 60], [-50.0, 'track']],
['normal: evening park', [55, 2, False, 5, 50, 60], [60.0, 'dusk']],
['regression: asymmetric tracking limits', [70, 20, True, 3, 55, 50], [50.0, 'track']],
['regression: asymmetric tracking limits (partial repair)', [55, 5, True, 5, 50, 60],
[55.0, 'track']],
['control 1', [45, 5, False, 3, 45, 50], [45.0, 'track']],
['control 2', [55, 3, True, 3, 50, 50], [50.0, 'track']]],
[['boundary: sun exactly on horizon', [-70, 0, True, 5, 50, 60], [-50.0, 'dawn']],
['boundary: sun exactly at wake elevation', [-50, 5, True, 5, 50, 60], [-50.0, 'track']],
['normal: evening park', [55, 2, False, 5, 50, 60], [60.0, 'dusk']],
['regression: asymmetric tracking limits', [-50, 3, False, 3, 45, 50], [-45.0, 'track']],
['regression: asymmetric tracking limits (partial repair)', [70, 20, False, 5, 50, 60],
[60.0, 'track']],
['control 1', [70, 5, False, 3, 50, 50], [50.0, 'track']],
['control 2', [0, -6, True, 3, 50, 60], [0.0, 'night']]],
[['boundary: sun exactly on horizon', [-70, 0, True, 5, 50, 60], [-50.0, 'dawn']],
['boundary: sun exactly at wake elevation', [-50, 5, True, 5, 50, 60], [-50.0, 'track']],
['normal: evening park', [55, 2, False, 5, 50, 60], [60.0, 'dusk']],
['regression: asymmetric tracking limits', [70, 8, True, 3, 55, 60], [60.0, 'track']],
['regression: asymmetric tracking limits (partial repair)', [70, 20, False, 3, 45, 60],
[60.0, 'track']],
['control 1', [0, 8, True, 5, 55, 50], [0.0, 'track']],
['control 2', [-20, 0, False, 5, 55, 50], [50.0, 'dusk']]],
[['boundary: sun exactly on horizon', [-70, 0, True, 5, 50, 60], [-50.0, 'dawn']],
['boundary: sun exactly at wake elevation', [-50, 5, True, 5, 50, 60], [-50.0, 'track']],
['normal: evening park', [55, 2, False, 5, 50, 60], [60.0, 'dusk']],
['regression: asymmetric tracking limits', [70, 8, True, 5, 55, 60], [60.0, 'track']],
['regression: asymmetric tracking limits (partial repair)', [70, 3, True, 3, 45, 50],
[50.0, 'track']],
['control 1', [-20, 3, False, 3, 45, 50], [-20.0, 'track']],
['control 2', [45, -6, False, 5, 55, 60], [0.0, 'night']]],
[['boundary: sun exactly on horizon', [-70, 0, True, 5, 50, 60], [-50.0, 'dawn']],
['boundary: sun exactly at wake elevation', [-50, 5, True, 5, 50, 60], [-50.0, 'track']],
['normal: evening park', [55, 2, False, 5, 50, 60], [60.0, 'dusk']],
['regression: asymmetric tracking limits', [70, 8, True, 3, 55, 60], [60.0, 'track']],
['regression: asymmetric tracking limits (partial repair)', [55, 8, False, 5, 45, 60],
[55.0, 'track']],
['control 1', [55, 0, True, 5, 45, 60], [-45.0, 'dawn']],
['control 2', [-70, -6, True, 5, 55, 50], [0.0, 'night']]]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| boundary: sun exactly on horizon | [-50.0, 'dawn'] | [-50.0, 'dawn'] | Passed |
| boundary: sun exactly at wake elevation | [-50.0, 'track'] | [-50.0, 'track'] | Passed |
| normal: evening park | [60.0, 'dusk'] | [60.0, 'dusk'] | Passed |
| regression: asymmetric tracking limits | [50.0, 'track'] | [50.0, 'track'] | Passed |
| regression: asymmetric tracking limits (partial repair) | [55.0, 'track'] | [55.0, 'track'] | Passed |
| control 1 | [45.0, 'track'] | [45.0, 'track'] | Passed |
| control 2 | [50.0, 'track'] | [50.0, 'track'] | Passed |
SHA-256 / 7923baaba6266bea088253f510b973a5551b2e94d4ca36b09864818252f76049
Verification & scope
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.
Observations recorded using Python 3.12.14 at 2026-09-29T14:51:58.718041+00:00.
Case digest / e25b733fa3ff561c8cad24a866970e49ef6fd4f43ba29626ddc249bc89d8cf37