FA-93461 / Solar tracker geometry / Open access
Wind stow with gust and mean triggers: gust trigger comparison · case 01
A gust exactly at the stow limit does not stow the rows.
ROOT CAUSE
The gust comparison is strict.
VERIFIED REPAIR
Stow when a sample reaches gust_limit.
Unsuccessful approach: Comparing the mean against the gust limit ignores short gusts.
Case contract
winds are per-sample speeds. avg is the mean of the last win samples (fewer at the start). Tracking rows enter stow when the sample >= gust_limit or avg >= mean_limit (one entry each time). Stowed rows return to tracking after hold consecutive samples with avg < release; any sample with avg >= release resets the count. Return [modes per sample, stow entries].
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(winds, gust_limit, mean_limit, release, win, hold):
mode = 'track'
calm = 0
entries = 0
out = []
for i, w in enumerate(winds):
recent = winds[max(0, i - win + 1):i + 1]
avg = sum(recent) / len(recent)
if mode == 'track':
if w > gust_limit or avg >= mean_limit:
mode = 'stow'
entries += 1
calm = 0
else:
if avg < release:
calm += 1
if calm >= hold:
mode = 'track'
calm = 0
else:
calm = 0
out.append(mode)
return [out, entries]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['boundary: gust exactly at limit', [[5, 20, 5, 5, 5], 20, 30, 10, 1, 1],
[['track', 'stow', 'track', 'track', 'track'], 1]],
['normal: sustained mean wind', [[14, 15, 16, 15, 4, 4, 4], 25, 15, 10, 3, 2],
[['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1]],
['boundary: calm interrupted before hold', [[25, 5, 12, 5, 5, 5], 20, 30, 10, 1, 2],
[['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1]],
['regression: gust trigger comparison',
[[4, 0, 10, 18, 14, 8, 4, 14, 8, 4, 4, 0, 2, 14], 18, 14, 10, 3, 1],
[['track', 'track', 'track', 'stow', 'stow', 'stow', 'track', 'track', 'track', 'track', 'track',
'track', 'track', 'track'],
1]],
['regression: gust trigger comparison (partial repair)',
[[10, 18, 12, 14, 12, 26, 22, 16, 12, 10, 12, 18, 22, 18], 18, 15, 10, 2, 1],
[['track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow',
'stow', 'stow', 'stow'],
1]],
['control 1', [[29, 15, 15, 15, 13, 19, 11, 11, 11, 13, 15, 15, 25], 20, 15, 10, 3, 2],
[['stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow',
'stow'],
1]],
['control 2', [[6, 6, 6, 18, 4, 0, 10, 8], 18, 15, 8, 4, 2],
[['track', 'track', 'track', 'stow', 'stow', 'stow', 'stow', 'stow'], 1]]],
[['boundary: gust exactly at limit', [[5, 20, 5, 5, 5], 20, 30, 10, 1, 1],
[['track', 'stow', 'track', 'track', 'track'], 1]],
['normal: sustained mean wind', [[14, 15, 16, 15, 4, 4, 4], 25, 15, 10, 3, 2],
[['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1]],
['boundary: calm interrupted before hold', [[25, 5, 12, 5, 5, 5], 20, 30, 10, 1, 2],
[['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1]],
['regression: gust trigger comparison', [[2, 6, 2, 8, 0, 18, 0, 0], 18, 15, 10, 3, 2],
[['track', 'track', 'track', 'track', 'track', 'stow', 'stow', 'track'], 1]],
['regression: gust trigger comparison (partial repair)',
[[12, 10, 22, 18, 8, 12, 18], 18, 15, 10, 3, 1],
[['track', 'track', 'stow', 'stow', 'stow', 'stow', 'stow'], 1]],
['control 1', [[12, 18, 12, 26, 14, 12, 22, 10, 12, 22, 18], 18, 15, 10, 2, 2],
[['track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1]],
['control 2', [[0, 2, 18, 14, 10, 2, 6, 18, 8], 18, 15, 10, 2, 1],
[['track', 'track', 'stow', 'stow', 'stow', 'track', 'track', 'stow', 'stow'], 2]]],
[['boundary: gust exactly at limit', [[5, 20, 5, 5, 5], 20, 30, 10, 1, 1],
[['track', 'stow', 'track', 'track', 'track'], 1]],
['normal: sustained mean wind', [[14, 15, 16, 15, 4, 4, 4], 25, 15, 10, 3, 2],
[['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1]],
['boundary: calm interrupted before hold', [[25, 5, 12, 5, 5, 5], 20, 30, 10, 1, 2],
[['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1]],
['regression: gust trigger comparison', [[6, 14, 10, 6, 22, 18, 22], 22, 14, 10, 4, 2],
[['track', 'track', 'track', 'track', 'stow', 'stow', 'stow'], 1]],
['regression: gust trigger comparison (partial repair)',
[[6, 22, 10, 18, 8, 22, 12, 8, 6], 20, 15, 8, 2, 1],
[['track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'track'], 1]],
['control 1', [[12, 16, 26, 18, 16, 10, 22, 26, 12, 14, 22, 22, 10, 14], 22, 12, 10, 2, 1],
[['stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow',
'stow', 'stow'],
1]],
['control 2', [[14, 12, 6, 8, 4, 6, 4, 8, 12, 6, 22, 8, 18, 22], 20, 15, 8, 3, 1],
[['track', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track',
'stow', 'stow', 'stow', 'stow'],
1]]],
[['boundary: gust exactly at limit', [[5, 20, 5, 5, 5], 20, 30, 10, 1, 1],
[['track', 'stow', 'track', 'track', 'track'], 1]],
['normal: sustained mean wind', [[14, 15, 16, 15, 4, 4, 4], 25, 15, 10, 3, 2],
[['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1]],
['boundary: calm interrupted before hold', [[25, 5, 12, 5, 5, 5], 20, 30, 10, 1, 2],
[['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1]],
['regression: gust trigger comparison', [[12, 4, 8, 4, 18, 8, 22, 10, 4, 8], 18, 14, 8, 4, 1],
[['track', 'track', 'track', 'track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1]],
['regression: gust trigger comparison (partial repair)',
[[14, 8, 10, 4, 6, 0, 6, 14, 8, 18], 18, 15, 8, 2, 3],
[['track', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'stow'], 1]],
['control 1', [[22, 10, 18, 8, 16, 10, 22, 16, 10, 18], 22, 15, 10, 4, 3],
[['stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1]],
['control 2', [[4, 2, 0, 14, 6, 4, 18, 4, 18, 6, 4], 20, 14, 10, 4, 1],
[['track', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track',
'track'],
0]]],
[['boundary: gust exactly at limit', [[5, 20, 5, 5, 5], 20, 30, 10, 1, 1],
[['track', 'stow', 'track', 'track', 'track'], 1]],
['normal: sustained mean wind', [[14, 15, 16, 15, 4, 4, 4], 25, 15, 10, 3, 2],
[['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1]],
['boundary: calm interrupted before hold', [[25, 5, 12, 5, 5, 5], 20, 30, 10, 1, 2],
[['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1]],
['regression: gust trigger comparison',
[[4, 0, 10, 18, 14, 8, 4, 14, 8, 4, 4, 0, 2, 14], 18, 14, 10, 3, 1],
[['track', 'track', 'track', 'stow', 'stow', 'stow', 'track', 'track', 'track', 'track', 'track',
'track', 'track', 'track'],
1]],
['regression: gust trigger comparison (partial repair)',
[[10, 18, 12, 14, 12, 26, 22, 16, 12, 10, 12, 18, 22, 18], 18, 15, 10, 2, 1],
[['track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow',
'stow', 'stow', 'stow'],
1]],
['control 1', [[12, 4, 10, 4, 18, 4, 4, 6, 8, 10], 18, 14, 8, 1, 3],
[['track', 'track', 'track', 'track', 'stow', 'stow', 'stow', 'track', 'track', 'track'], 1]],
['control 2', [[14, 8, 22, 4, 22, 10, 6, 14, 10, 8, 6], 20, 12, 10, 4, 3],
[['stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1]]]]
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: gust exactly at limit | [['track', 'track', 'track', 'track', 'track'], 0] | [['track', 'stow', 'track', 'track', 'track'], 1] | Failed |
| normal: sustained mean wind | [['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1] | [['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1] | Passed |
| boundary: calm interrupted before hold | [['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1] | [['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1] | Passed |
| regression: gust trigger comparison | [['track', 'track', 'track', 'track', 'stow', 'stow', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track'], 1] | [['track', 'track', 'track', 'stow', 'stow', 'stow', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track'], 1] | Failed |
| regression: gust trigger comparison (partial repair) | [['track', 'track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1] | [['track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1] | Failed |
| control 1 | [['stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1] | [['stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1] | Passed |
| control 2 | [['track', 'track', 'track', 'track', 'track', 'track', 'track', 'track'], 0] | [['track', 'track', 'track', 'stow', 'stow', 'stow', 'stow', 'stow'], 1] | Failed |
SHA-256 / a50bed289661ccaa5d5fef2caa396e738795c097e75988f700cb07b9d67d6467
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(winds, gust_limit, mean_limit, release, win, hold):
mode = 'track'
calm = 0
entries = 0
out = []
for i, w in enumerate(winds):
recent = winds[max(0, i - win + 1):i + 1]
avg = sum(recent) / len(recent)
if mode == 'track':
if avg >= gust_limit or avg >= mean_limit:
mode = 'stow'
entries += 1
calm = 0
else:
if avg < release:
calm += 1
if calm >= hold:
mode = 'track'
calm = 0
else:
calm = 0
out.append(mode)
return [out, entries]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['boundary: gust exactly at limit', [[5, 20, 5, 5, 5], 20, 30, 10, 1, 1],
[['track', 'stow', 'track', 'track', 'track'], 1]],
['normal: sustained mean wind', [[14, 15, 16, 15, 4, 4, 4], 25, 15, 10, 3, 2],
[['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1]],
['boundary: calm interrupted before hold', [[25, 5, 12, 5, 5, 5], 20, 30, 10, 1, 2],
[['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1]],
['regression: gust trigger comparison',
[[4, 0, 10, 18, 14, 8, 4, 14, 8, 4, 4, 0, 2, 14], 18, 14, 10, 3, 1],
[['track', 'track', 'track', 'stow', 'stow', 'stow', 'track', 'track', 'track', 'track', 'track',
'track', 'track', 'track'],
1]],
['regression: gust trigger comparison (partial repair)',
[[10, 18, 12, 14, 12, 26, 22, 16, 12, 10, 12, 18, 22, 18], 18, 15, 10, 2, 1],
[['track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow',
'stow', 'stow', 'stow'],
1]],
['control 1', [[29, 15, 15, 15, 13, 19, 11, 11, 11, 13, 15, 15, 25], 20, 15, 10, 3, 2],
[['stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow',
'stow'],
1]],
['control 2', [[6, 6, 6, 18, 4, 0, 10, 8], 18, 15, 8, 4, 2],
[['track', 'track', 'track', 'stow', 'stow', 'stow', 'stow', 'stow'], 1]]],
[['boundary: gust exactly at limit', [[5, 20, 5, 5, 5], 20, 30, 10, 1, 1],
[['track', 'stow', 'track', 'track', 'track'], 1]],
['normal: sustained mean wind', [[14, 15, 16, 15, 4, 4, 4], 25, 15, 10, 3, 2],
[['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1]],
['boundary: calm interrupted before hold', [[25, 5, 12, 5, 5, 5], 20, 30, 10, 1, 2],
[['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1]],
['regression: gust trigger comparison', [[2, 6, 2, 8, 0, 18, 0, 0], 18, 15, 10, 3, 2],
[['track', 'track', 'track', 'track', 'track', 'stow', 'stow', 'track'], 1]],
['regression: gust trigger comparison (partial repair)',
[[12, 10, 22, 18, 8, 12, 18], 18, 15, 10, 3, 1],
[['track', 'track', 'stow', 'stow', 'stow', 'stow', 'stow'], 1]],
['control 1', [[12, 18, 12, 26, 14, 12, 22, 10, 12, 22, 18], 18, 15, 10, 2, 2],
[['track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1]],
['control 2', [[0, 2, 18, 14, 10, 2, 6, 18, 8], 18, 15, 10, 2, 1],
[['track', 'track', 'stow', 'stow', 'stow', 'track', 'track', 'stow', 'stow'], 2]]],
[['boundary: gust exactly at limit', [[5, 20, 5, 5, 5], 20, 30, 10, 1, 1],
[['track', 'stow', 'track', 'track', 'track'], 1]],
['normal: sustained mean wind', [[14, 15, 16, 15, 4, 4, 4], 25, 15, 10, 3, 2],
[['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1]],
['boundary: calm interrupted before hold', [[25, 5, 12, 5, 5, 5], 20, 30, 10, 1, 2],
[['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1]],
['regression: gust trigger comparison', [[6, 14, 10, 6, 22, 18, 22], 22, 14, 10, 4, 2],
[['track', 'track', 'track', 'track', 'stow', 'stow', 'stow'], 1]],
['regression: gust trigger comparison (partial repair)',
[[6, 22, 10, 18, 8, 22, 12, 8, 6], 20, 15, 8, 2, 1],
[['track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'track'], 1]],
['control 1', [[12, 16, 26, 18, 16, 10, 22, 26, 12, 14, 22, 22, 10, 14], 22, 12, 10, 2, 1],
[['stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow',
'stow', 'stow'],
1]],
['control 2', [[14, 12, 6, 8, 4, 6, 4, 8, 12, 6, 22, 8, 18, 22], 20, 15, 8, 3, 1],
[['track', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track',
'stow', 'stow', 'stow', 'stow'],
1]]],
[['boundary: gust exactly at limit', [[5, 20, 5, 5, 5], 20, 30, 10, 1, 1],
[['track', 'stow', 'track', 'track', 'track'], 1]],
['normal: sustained mean wind', [[14, 15, 16, 15, 4, 4, 4], 25, 15, 10, 3, 2],
[['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1]],
['boundary: calm interrupted before hold', [[25, 5, 12, 5, 5, 5], 20, 30, 10, 1, 2],
[['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1]],
['regression: gust trigger comparison', [[12, 4, 8, 4, 18, 8, 22, 10, 4, 8], 18, 14, 8, 4, 1],
[['track', 'track', 'track', 'track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1]],
['regression: gust trigger comparison (partial repair)',
[[14, 8, 10, 4, 6, 0, 6, 14, 8, 18], 18, 15, 8, 2, 3],
[['track', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'stow'], 1]],
['control 1', [[22, 10, 18, 8, 16, 10, 22, 16, 10, 18], 22, 15, 10, 4, 3],
[['stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1]],
['control 2', [[4, 2, 0, 14, 6, 4, 18, 4, 18, 6, 4], 20, 14, 10, 4, 1],
[['track', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track',
'track'],
0]]],
[['boundary: gust exactly at limit', [[5, 20, 5, 5, 5], 20, 30, 10, 1, 1],
[['track', 'stow', 'track', 'track', 'track'], 1]],
['normal: sustained mean wind', [[14, 15, 16, 15, 4, 4, 4], 25, 15, 10, 3, 2],
[['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1]],
['boundary: calm interrupted before hold', [[25, 5, 12, 5, 5, 5], 20, 30, 10, 1, 2],
[['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1]],
['regression: gust trigger comparison',
[[4, 0, 10, 18, 14, 8, 4, 14, 8, 4, 4, 0, 2, 14], 18, 14, 10, 3, 1],
[['track', 'track', 'track', 'stow', 'stow', 'stow', 'track', 'track', 'track', 'track', 'track',
'track', 'track', 'track'],
1]],
['regression: gust trigger comparison (partial repair)',
[[10, 18, 12, 14, 12, 26, 22, 16, 12, 10, 12, 18, 22, 18], 18, 15, 10, 2, 1],
[['track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow',
'stow', 'stow', 'stow'],
1]],
['control 1', [[12, 4, 10, 4, 18, 4, 4, 6, 8, 10], 18, 14, 8, 1, 3],
[['track', 'track', 'track', 'track', 'stow', 'stow', 'stow', 'track', 'track', 'track'], 1]],
['control 2', [[14, 8, 22, 4, 22, 10, 6, 14, 10, 8, 6], 20, 12, 10, 4, 3],
[['stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1]]]]
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: gust exactly at limit | [['track', 'stow', 'track', 'track', 'track'], 1] | [['track', 'stow', 'track', 'track', 'track'], 1] | Passed |
| normal: sustained mean wind | [['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1] | [['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1] | Passed |
| boundary: calm interrupted before hold | [['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1] | [['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1] | Passed |
| regression: gust trigger comparison | [['track', 'track', 'track', 'track', 'stow', 'stow', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track'], 1] | [['track', 'track', 'track', 'stow', 'stow', 'stow', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track'], 1] | Failed |
| regression: gust trigger comparison (partial repair) | [['track', 'track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1] | [['track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1] | Failed |
| control 1 | [['stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1] | [['stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1] | Passed |
| control 2 | [['track', 'track', 'track', 'track', 'track', 'track', 'track', 'track'], 0] | [['track', 'track', 'track', 'stow', 'stow', 'stow', 'stow', 'stow'], 1] | Failed |
SHA-256 / 76505fcabbf43c7f2a0ac1cbb057511371ec56968a898cc0d88c7ac10f353c95
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(winds, gust_limit, mean_limit, release, win, hold):
mode = 'track'
calm = 0
entries = 0
out = []
for i, w in enumerate(winds):
recent = winds[max(0, i - win + 1):i + 1]
avg = sum(recent) / len(recent)
if mode == 'track':
if w >= gust_limit or avg >= mean_limit:
mode = 'stow'
entries += 1
calm = 0
else:
if avg < release:
calm += 1
if calm >= hold:
mode = 'track'
calm = 0
else:
calm = 0
out.append(mode)
return [out, entries]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['boundary: gust exactly at limit', [[5, 20, 5, 5, 5], 20, 30, 10, 1, 1],
[['track', 'stow', 'track', 'track', 'track'], 1]],
['normal: sustained mean wind', [[14, 15, 16, 15, 4, 4, 4], 25, 15, 10, 3, 2],
[['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1]],
['boundary: calm interrupted before hold', [[25, 5, 12, 5, 5, 5], 20, 30, 10, 1, 2],
[['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1]],
['regression: gust trigger comparison',
[[4, 0, 10, 18, 14, 8, 4, 14, 8, 4, 4, 0, 2, 14], 18, 14, 10, 3, 1],
[['track', 'track', 'track', 'stow', 'stow', 'stow', 'track', 'track', 'track', 'track', 'track',
'track', 'track', 'track'],
1]],
['regression: gust trigger comparison (partial repair)',
[[10, 18, 12, 14, 12, 26, 22, 16, 12, 10, 12, 18, 22, 18], 18, 15, 10, 2, 1],
[['track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow',
'stow', 'stow', 'stow'],
1]],
['control 1', [[29, 15, 15, 15, 13, 19, 11, 11, 11, 13, 15, 15, 25], 20, 15, 10, 3, 2],
[['stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow',
'stow'],
1]],
['control 2', [[6, 6, 6, 18, 4, 0, 10, 8], 18, 15, 8, 4, 2],
[['track', 'track', 'track', 'stow', 'stow', 'stow', 'stow', 'stow'], 1]]],
[['boundary: gust exactly at limit', [[5, 20, 5, 5, 5], 20, 30, 10, 1, 1],
[['track', 'stow', 'track', 'track', 'track'], 1]],
['normal: sustained mean wind', [[14, 15, 16, 15, 4, 4, 4], 25, 15, 10, 3, 2],
[['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1]],
['boundary: calm interrupted before hold', [[25, 5, 12, 5, 5, 5], 20, 30, 10, 1, 2],
[['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1]],
['regression: gust trigger comparison', [[2, 6, 2, 8, 0, 18, 0, 0], 18, 15, 10, 3, 2],
[['track', 'track', 'track', 'track', 'track', 'stow', 'stow', 'track'], 1]],
['regression: gust trigger comparison (partial repair)',
[[12, 10, 22, 18, 8, 12, 18], 18, 15, 10, 3, 1],
[['track', 'track', 'stow', 'stow', 'stow', 'stow', 'stow'], 1]],
['control 1', [[12, 18, 12, 26, 14, 12, 22, 10, 12, 22, 18], 18, 15, 10, 2, 2],
[['track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1]],
['control 2', [[0, 2, 18, 14, 10, 2, 6, 18, 8], 18, 15, 10, 2, 1],
[['track', 'track', 'stow', 'stow', 'stow', 'track', 'track', 'stow', 'stow'], 2]]],
[['boundary: gust exactly at limit', [[5, 20, 5, 5, 5], 20, 30, 10, 1, 1],
[['track', 'stow', 'track', 'track', 'track'], 1]],
['normal: sustained mean wind', [[14, 15, 16, 15, 4, 4, 4], 25, 15, 10, 3, 2],
[['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1]],
['boundary: calm interrupted before hold', [[25, 5, 12, 5, 5, 5], 20, 30, 10, 1, 2],
[['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1]],
['regression: gust trigger comparison', [[6, 14, 10, 6, 22, 18, 22], 22, 14, 10, 4, 2],
[['track', 'track', 'track', 'track', 'stow', 'stow', 'stow'], 1]],
['regression: gust trigger comparison (partial repair)',
[[6, 22, 10, 18, 8, 22, 12, 8, 6], 20, 15, 8, 2, 1],
[['track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'track'], 1]],
['control 1', [[12, 16, 26, 18, 16, 10, 22, 26, 12, 14, 22, 22, 10, 14], 22, 12, 10, 2, 1],
[['stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow',
'stow', 'stow'],
1]],
['control 2', [[14, 12, 6, 8, 4, 6, 4, 8, 12, 6, 22, 8, 18, 22], 20, 15, 8, 3, 1],
[['track', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track',
'stow', 'stow', 'stow', 'stow'],
1]]],
[['boundary: gust exactly at limit', [[5, 20, 5, 5, 5], 20, 30, 10, 1, 1],
[['track', 'stow', 'track', 'track', 'track'], 1]],
['normal: sustained mean wind', [[14, 15, 16, 15, 4, 4, 4], 25, 15, 10, 3, 2],
[['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1]],
['boundary: calm interrupted before hold', [[25, 5, 12, 5, 5, 5], 20, 30, 10, 1, 2],
[['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1]],
['regression: gust trigger comparison', [[12, 4, 8, 4, 18, 8, 22, 10, 4, 8], 18, 14, 8, 4, 1],
[['track', 'track', 'track', 'track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1]],
['regression: gust trigger comparison (partial repair)',
[[14, 8, 10, 4, 6, 0, 6, 14, 8, 18], 18, 15, 8, 2, 3],
[['track', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'stow'], 1]],
['control 1', [[22, 10, 18, 8, 16, 10, 22, 16, 10, 18], 22, 15, 10, 4, 3],
[['stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1]],
['control 2', [[4, 2, 0, 14, 6, 4, 18, 4, 18, 6, 4], 20, 14, 10, 4, 1],
[['track', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track',
'track'],
0]]],
[['boundary: gust exactly at limit', [[5, 20, 5, 5, 5], 20, 30, 10, 1, 1],
[['track', 'stow', 'track', 'track', 'track'], 1]],
['normal: sustained mean wind', [[14, 15, 16, 15, 4, 4, 4], 25, 15, 10, 3, 2],
[['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1]],
['boundary: calm interrupted before hold', [[25, 5, 12, 5, 5, 5], 20, 30, 10, 1, 2],
[['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1]],
['regression: gust trigger comparison',
[[4, 0, 10, 18, 14, 8, 4, 14, 8, 4, 4, 0, 2, 14], 18, 14, 10, 3, 1],
[['track', 'track', 'track', 'stow', 'stow', 'stow', 'track', 'track', 'track', 'track', 'track',
'track', 'track', 'track'],
1]],
['regression: gust trigger comparison (partial repair)',
[[10, 18, 12, 14, 12, 26, 22, 16, 12, 10, 12, 18, 22, 18], 18, 15, 10, 2, 1],
[['track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow',
'stow', 'stow', 'stow'],
1]],
['control 1', [[12, 4, 10, 4, 18, 4, 4, 6, 8, 10], 18, 14, 8, 1, 3],
[['track', 'track', 'track', 'track', 'stow', 'stow', 'stow', 'track', 'track', 'track'], 1]],
['control 2', [[14, 8, 22, 4, 22, 10, 6, 14, 10, 8, 6], 20, 12, 10, 4, 3],
[['stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1]]]]
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: gust exactly at limit | [['track', 'stow', 'track', 'track', 'track'], 1] | [['track', 'stow', 'track', 'track', 'track'], 1] | Passed |
| normal: sustained mean wind | [['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1] | [['track', 'track', 'stow', 'stow', 'stow', 'stow', 'track'], 1] | Passed |
| boundary: calm interrupted before hold | [['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1] | [['stow', 'stow', 'stow', 'stow', 'track', 'track'], 1] | Passed |
| regression: gust trigger comparison | [['track', 'track', 'track', 'stow', 'stow', 'stow', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track'], 1] | [['track', 'track', 'track', 'stow', 'stow', 'stow', 'track', 'track', 'track', 'track', 'track', 'track', 'track', 'track'], 1] | Passed |
| regression: gust trigger comparison (partial repair) | [['track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1] | [['track', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1] | Passed |
| control 1 | [['stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1] | [['stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow', 'stow'], 1] | Passed |
| control 2 | [['track', 'track', 'track', 'stow', 'stow', 'stow', 'stow', 'stow'], 1] | [['track', 'track', 'track', 'stow', 'stow', 'stow', 'stow', 'stow'], 1] | Passed |
SHA-256 / 70e1ff8a2e897d954ea8c34fd787aa6937fc1b45a40660191f63c1459288fa61
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:55.505125+00:00.
Case digest / ea6cd39d264c833f2f39cfc624b26abe384910157f6f753c310cebba420e7714