FA-73991 / Feature flag rollout bucketing / Open access
Scheduled rollout ramp: Schedule entries apply in list order · case 01
Appending an earlier correction step to a schedule overrides later steps.
ROOT CAUSE
Steps are iterated in list order, so the loop breaks at the first future entry and misses later-listed past ones.
VERIFIED REPAIR
Sort steps by time with list position as the tie breaker before applying them.
Unsuccessful approach: Sorting by percentage assumes ramps only increase and misorders rollbacks.
Case contract
steps is a possibly unsorted list of [epoch second, percent or None]. Order steps by time, breaking ties by list position (later entries apply later). Every step with time <= now is active in that order; a None percent is a hold that keeps the previous value; numeric percents are clamped to [0, 100]. Before the first step the percentage is 0. Return [percent, original list index of the last active step or -1].
Why this case matters
Scheduled ramps move production traffic unattended, so the percentage at any instant must be exact.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(steps, now):
order = list(range(len(steps)))
current = 0
active = -1
for i in order:
at, pct = steps[i]
if at > now:
break
active = i
if pct is not None:
current = min(max(pct, 0), 100)
return [current, active]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('step scheduled exactly now is active', [[[0, 5], [60, 25]], 60], [25, 1]),
('unsorted schedule is ordered by time', [[[60, 50], [0, 10], [30, 25]], 45], [25, 2]),
('later entry wins a timestamp tie', [[[0, 5], [30, 50], [30, 20]], 40], [20, 2]),
('hold step keeps previous percentage', [[[0, 25], [30, None]], 40], [25, 1]),
('explicit rollback to zero percent', [[[0, 25], [30, 0]], 40], [0, 1]),
('negative percent is clamped to zero', [[[0, 10], [5, -20]], 10], [0, 1]),
('active index refers to original position', [[[20, 30], [10, 10]], 15], [10, 1]),
('ramp schedule sample 1', [[[45, 0], [45, 5], [20, None], [45, 25], [60, -10], [45, None]], 45], [25, 5])],
[('unsorted schedule is ordered by time', [[[60, 50], [0, 10], [30, 25]], 45], [25, 2]),
('later entry wins a timestamp tie', [[[0, 5], [30, 50], [30, 20]], 40], [20, 2]),
('hold step keeps previous percentage', [[[0, 25], [30, None]], 40], [25, 1]),
('explicit rollback to zero percent', [[[0, 25], [30, 0]], 40], [0, 1]),
('negative percent is clamped to zero', [[[0, 10], [5, -20]], 10], [0, 1]),
('active index refers to original position', [[[20, 30], [10, 10]], 15], [10, 1]),
('ramp schedule sample 15', [[[30, 50], [20, 120], [10, -10], [20, 5]], 30], [50, 0]),
('ramp schedule sample 17', [[[45, 5], [20, 120], [20, 50], [10, 100], [45, 75]], 20], [50, 2])],
[('later entry wins a timestamp tie', [[[0, 5], [30, 50], [30, 20]], 40], [20, 2]),
('hold step keeps previous percentage', [[[0, 25], [30, None]], 40], [25, 1]),
('explicit rollback to zero percent', [[[0, 25], [30, 0]], 40], [0, 1]),
('over-hundred percent is clamped', [[[0, 150]], 10], [100, 0]),
('negative percent is clamped to zero', [[[0, 10], [5, -20]], 10], [0, 1]),
('ramp schedule sample 11', [[[0, 5]], -5], [0, -1]),
('ramp schedule sample 37', [[[60, -10], [10, None], [60, 0]], 25], [0, 1]),
('ramp schedule sample 40', [[[60, 0], [20, 25], [60, None]], 60], [0, 2])],
[('hold step keeps previous percentage', [[[0, 25], [30, None]], 40], [25, 1]),
('explicit rollback to zero percent', [[[0, 25], [30, 0]], 40], [0, 1]),
('over-hundred percent is clamped', [[[0, 150]], 10], [100, 0]),
('negative percent is clamped to zero', [[[0, 10], [5, -20]], 10], [0, 1]),
('before first step is zero', [[[10, 50]], 5], [0, -1]),
('ramp schedule sample 3', [[[30, 0], [0, None], [60, 100]], 25], [0, 1]),
('ramp schedule sample 16', [[[60, 120]], 60], [100, 0]),
('ramp schedule sample 54', [[[60, 0], [20, 50], [20, -10]], 60], [0, 0])],
[('explicit rollback to zero percent', [[[0, 25], [30, 0]], 40], [0, 1]),
('over-hundred percent is clamped', [[[0, 150]], 10], [100, 0]),
('negative percent is clamped to zero', [[[0, 10], [5, -20]], 10], [0, 1]),
('before first step is zero', [[[10, 50]], 5], [0, -1]),
('active index refers to original position', [[[20, 30], [10, 10]], 15], [10, 1]),
('ramp schedule sample 5', [[[45, 25], [45, 0], [30, 100], [10, 25], [45, 25]], 30], [100, 2]),
('ramp schedule sample 21', [[], 0], [0, -1]),
('ramp schedule sample 30', [[[20, 120], [10, 120], [0, 50], [20, None]], 20], [100, 3])]]
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 |
|---|---|---|---|
| step scheduled exactly now is active | [25, 1] | [25, 1] | Passed |
| unsorted schedule is ordered by time | [0, -1] | [25, 2] | Failed |
| later entry wins a timestamp tie | [20, 2] | [20, 2] | Passed |
| hold step keeps previous percentage | [25, 1] | [25, 1] | Passed |
| explicit rollback to zero percent | [0, 1] | [0, 1] | Passed |
| negative percent is clamped to zero | [0, 1] | [0, 1] | Passed |
| active index refers to original position | [0, -1] | [10, 1] | Failed |
| ramp schedule sample 1 | [25, 3] | [25, 5] | Failed |
SHA-256 / 8948ec251d6d89e7adf1691c97f08209a9291855a5b0b110882edc327ce95636
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(steps, now):
order = sorted(range(len(steps)), key=lambda i: (steps[i][1] if steps[i][1] is not None else -1, i))
current = 0
active = -1
for i in order:
at, pct = steps[i]
if at > now:
break
active = i
if pct is not None:
current = min(max(pct, 0), 100)
return [current, active]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('step scheduled exactly now is active', [[[0, 5], [60, 25]], 60], [25, 1]),
('unsorted schedule is ordered by time', [[[60, 50], [0, 10], [30, 25]], 45], [25, 2]),
('later entry wins a timestamp tie', [[[0, 5], [30, 50], [30, 20]], 40], [20, 2]),
('hold step keeps previous percentage', [[[0, 25], [30, None]], 40], [25, 1]),
('explicit rollback to zero percent', [[[0, 25], [30, 0]], 40], [0, 1]),
('negative percent is clamped to zero', [[[0, 10], [5, -20]], 10], [0, 1]),
('active index refers to original position', [[[20, 30], [10, 10]], 15], [10, 1]),
('ramp schedule sample 1', [[[45, 0], [45, 5], [20, None], [45, 25], [60, -10], [45, None]], 45], [25, 5])],
[('unsorted schedule is ordered by time', [[[60, 50], [0, 10], [30, 25]], 45], [25, 2]),
('later entry wins a timestamp tie', [[[0, 5], [30, 50], [30, 20]], 40], [20, 2]),
('hold step keeps previous percentage', [[[0, 25], [30, None]], 40], [25, 1]),
('explicit rollback to zero percent', [[[0, 25], [30, 0]], 40], [0, 1]),
('negative percent is clamped to zero', [[[0, 10], [5, -20]], 10], [0, 1]),
('active index refers to original position', [[[20, 30], [10, 10]], 15], [10, 1]),
('ramp schedule sample 15', [[[30, 50], [20, 120], [10, -10], [20, 5]], 30], [50, 0]),
('ramp schedule sample 17', [[[45, 5], [20, 120], [20, 50], [10, 100], [45, 75]], 20], [50, 2])],
[('later entry wins a timestamp tie', [[[0, 5], [30, 50], [30, 20]], 40], [20, 2]),
('hold step keeps previous percentage', [[[0, 25], [30, None]], 40], [25, 1]),
('explicit rollback to zero percent', [[[0, 25], [30, 0]], 40], [0, 1]),
('over-hundred percent is clamped', [[[0, 150]], 10], [100, 0]),
('negative percent is clamped to zero', [[[0, 10], [5, -20]], 10], [0, 1]),
('ramp schedule sample 11', [[[0, 5]], -5], [0, -1]),
('ramp schedule sample 37', [[[60, -10], [10, None], [60, 0]], 25], [0, 1]),
('ramp schedule sample 40', [[[60, 0], [20, 25], [60, None]], 60], [0, 2])],
[('hold step keeps previous percentage', [[[0, 25], [30, None]], 40], [25, 1]),
('explicit rollback to zero percent', [[[0, 25], [30, 0]], 40], [0, 1]),
('over-hundred percent is clamped', [[[0, 150]], 10], [100, 0]),
('negative percent is clamped to zero', [[[0, 10], [5, -20]], 10], [0, 1]),
('before first step is zero', [[[10, 50]], 5], [0, -1]),
('ramp schedule sample 3', [[[30, 0], [0, None], [60, 100]], 25], [0, 1]),
('ramp schedule sample 16', [[[60, 120]], 60], [100, 0]),
('ramp schedule sample 54', [[[60, 0], [20, 50], [20, -10]], 60], [0, 0])],
[('explicit rollback to zero percent', [[[0, 25], [30, 0]], 40], [0, 1]),
('over-hundred percent is clamped', [[[0, 150]], 10], [100, 0]),
('negative percent is clamped to zero', [[[0, 10], [5, -20]], 10], [0, 1]),
('before first step is zero', [[[10, 50]], 5], [0, -1]),
('active index refers to original position', [[[20, 30], [10, 10]], 15], [10, 1]),
('ramp schedule sample 5', [[[45, 25], [45, 0], [30, 100], [10, 25], [45, 25]], 30], [100, 2]),
('ramp schedule sample 21', [[], 0], [0, -1]),
('ramp schedule sample 30', [[[20, 120], [10, 120], [0, 50], [20, None]], 20], [100, 3])]]
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 |
|---|---|---|---|
| step scheduled exactly now is active | [25, 1] | [25, 1] | Passed |
| unsorted schedule is ordered by time | [25, 2] | [25, 2] | Passed |
| later entry wins a timestamp tie | [50, 1] | [20, 2] | Failed |
| hold step keeps previous percentage | [25, 0] | [25, 1] | Failed |
| explicit rollback to zero percent | [25, 0] | [0, 1] | Failed |
| negative percent is clamped to zero | [10, 0] | [0, 1] | Failed |
| active index refers to original position | [10, 1] | [10, 1] | Passed |
| ramp schedule sample 1 | [0, -1] | [25, 5] | Failed |
SHA-256 / ced4db0a02e144ebadce34fd09debc67d79925d06e56207f03724d07ae862798
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(steps, now):
order = sorted(range(len(steps)), key=lambda i: (steps[i][0], i))
current = 0
active = -1
for i in order:
at, pct = steps[i]
if at > now:
break
active = i
if pct is not None:
current = min(max(pct, 0), 100)
return [current, active]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('step scheduled exactly now is active', [[[0, 5], [60, 25]], 60], [25, 1]),
('unsorted schedule is ordered by time', [[[60, 50], [0, 10], [30, 25]], 45], [25, 2]),
('later entry wins a timestamp tie', [[[0, 5], [30, 50], [30, 20]], 40], [20, 2]),
('hold step keeps previous percentage', [[[0, 25], [30, None]], 40], [25, 1]),
('explicit rollback to zero percent', [[[0, 25], [30, 0]], 40], [0, 1]),
('negative percent is clamped to zero', [[[0, 10], [5, -20]], 10], [0, 1]),
('active index refers to original position', [[[20, 30], [10, 10]], 15], [10, 1]),
('ramp schedule sample 1', [[[45, 0], [45, 5], [20, None], [45, 25], [60, -10], [45, None]], 45], [25, 5])],
[('unsorted schedule is ordered by time', [[[60, 50], [0, 10], [30, 25]], 45], [25, 2]),
('later entry wins a timestamp tie', [[[0, 5], [30, 50], [30, 20]], 40], [20, 2]),
('hold step keeps previous percentage', [[[0, 25], [30, None]], 40], [25, 1]),
('explicit rollback to zero percent', [[[0, 25], [30, 0]], 40], [0, 1]),
('negative percent is clamped to zero', [[[0, 10], [5, -20]], 10], [0, 1]),
('active index refers to original position', [[[20, 30], [10, 10]], 15], [10, 1]),
('ramp schedule sample 15', [[[30, 50], [20, 120], [10, -10], [20, 5]], 30], [50, 0]),
('ramp schedule sample 17', [[[45, 5], [20, 120], [20, 50], [10, 100], [45, 75]], 20], [50, 2])],
[('later entry wins a timestamp tie', [[[0, 5], [30, 50], [30, 20]], 40], [20, 2]),
('hold step keeps previous percentage', [[[0, 25], [30, None]], 40], [25, 1]),
('explicit rollback to zero percent', [[[0, 25], [30, 0]], 40], [0, 1]),
('over-hundred percent is clamped', [[[0, 150]], 10], [100, 0]),
('negative percent is clamped to zero', [[[0, 10], [5, -20]], 10], [0, 1]),
('ramp schedule sample 11', [[[0, 5]], -5], [0, -1]),
('ramp schedule sample 37', [[[60, -10], [10, None], [60, 0]], 25], [0, 1]),
('ramp schedule sample 40', [[[60, 0], [20, 25], [60, None]], 60], [0, 2])],
[('hold step keeps previous percentage', [[[0, 25], [30, None]], 40], [25, 1]),
('explicit rollback to zero percent', [[[0, 25], [30, 0]], 40], [0, 1]),
('over-hundred percent is clamped', [[[0, 150]], 10], [100, 0]),
('negative percent is clamped to zero', [[[0, 10], [5, -20]], 10], [0, 1]),
('before first step is zero', [[[10, 50]], 5], [0, -1]),
('ramp schedule sample 3', [[[30, 0], [0, None], [60, 100]], 25], [0, 1]),
('ramp schedule sample 16', [[[60, 120]], 60], [100, 0]),
('ramp schedule sample 54', [[[60, 0], [20, 50], [20, -10]], 60], [0, 0])],
[('explicit rollback to zero percent', [[[0, 25], [30, 0]], 40], [0, 1]),
('over-hundred percent is clamped', [[[0, 150]], 10], [100, 0]),
('negative percent is clamped to zero', [[[0, 10], [5, -20]], 10], [0, 1]),
('before first step is zero', [[[10, 50]], 5], [0, -1]),
('active index refers to original position', [[[20, 30], [10, 10]], 15], [10, 1]),
('ramp schedule sample 5', [[[45, 25], [45, 0], [30, 100], [10, 25], [45, 25]], 30], [100, 2]),
('ramp schedule sample 21', [[], 0], [0, -1]),
('ramp schedule sample 30', [[[20, 120], [10, 120], [0, 50], [20, None]], 20], [100, 3])]]
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 |
|---|---|---|---|
| step scheduled exactly now is active | [25, 1] | [25, 1] | Passed |
| unsorted schedule is ordered by time | [25, 2] | [25, 2] | Passed |
| later entry wins a timestamp tie | [20, 2] | [20, 2] | Passed |
| hold step keeps previous percentage | [25, 1] | [25, 1] | Passed |
| explicit rollback to zero percent | [0, 1] | [0, 1] | Passed |
| negative percent is clamped to zero | [0, 1] | [0, 1] | Passed |
| active index refers to original position | [10, 1] | [10, 1] | Passed |
| ramp schedule sample 1 | [25, 5] | [25, 5] | Passed |
SHA-256 / 4d742c7a4f58c3d0ed03eee5c34907f1f07ce7a0db1edff9293ff96b762ae75d
Verification & scope
A deterministic toy flag-evaluation model with a stipulated contract; it does not reproduce any vendor SDK byte for byte. 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:48:52.616501+00:00.
Case digest / 16311a886e061fc54ea0671f29129dc3cdb21b391a5269f633b19f04f3275087