FA-74031 / Feature flag rollout bucketing / Open access
Flag value cache freshness: Staleness masks an active kill switch · case 01
A killed flag is reported as stale, hiding the operator action in diagnostics.
ROOT CAUSE
The stale check runs before the kill-switch check.
VERIFIED REPAIR
Check kill switches before staleness and cache lookup.
Unsuccessful approach: Requiring the killed flag to be cached ignores kills on flags the payload lacks.
Case contract
Process events in order. ["fetch", t, payload] replaces the whole cache with payload, records t and clears kill switches; ["kill", t, flag] forces that flag to its default; ["get", t, flag, default] returns [default, killed] for killed flags, else [default, stale] if nothing was fetched or t - last fetch >= 30 seconds, else [default, missing] if the flag is not cached, else [value, cache]. Return the list of get results.
Why this case matters
Client SDKs serve cached flags offline; kill switches and staleness decide whether a bad flag keeps serving.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(events):
cache = {}
fetched_at = None
killed = set()
out = []
for ev in events:
kind, t = ev[0], ev[1]
if kind == 'fetch':
cache = dict(ev[2])
fetched_at = t
killed = set()
elif kind == 'kill':
killed.add(ev[2])
else:
flag, default = ev[2], ev[3]
if fetched_at is None or t - fetched_at >= 30:
out.append([default, 'stale'])
elif flag in killed:
out.append([default, 'killed'])
elif flag not in cache:
out.append([default, 'missing'])
else:
out.append([cache[flag], 'cache'])
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('value is stale at exactly the ttl',
[[['fetch', 0, {'a': True}], ['get', 30, 'a', False]]],
[[False, 'stale']]),
('fractional age just under the ttl is fresh',
[[['fetch', 0, {'a': True}], ['get', 29.5, 'a', False]]],
[[True, 'cache']]),
('refetch removes flags absent from payload',
[[['fetch', 0, {'a': True, 'b': 'x'}], ['fetch', 5, {'a': False}], ['get', 6, 'b', 'd']]],
[['d', 'missing']]),
('empty payload clears the cache',
[[['fetch', 0, {'a': True}], ['fetch', 5, {}], ['get', 6, 'a', False]]],
[[False, 'missing']]),
('refetch clears kill switches',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['fetch', 2, {'a': True}], ['get', 3, 'a', False]]],
[[True, 'cache']]),
('kill of a flag missing from the payload',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['get', 2, 'b', 'd']]],
[['d', 'killed']]),
('killed flag beats staleness',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['get', 40, 'a', False]]],
[[False, 'killed']]),
('event stream sample 1',
[[['kill', 30, 'a'], ['fetch', 40, {'c': 3, 'b': False}], ['kill', 41, 'a']]],
[])],
[('fractional age just under the ttl is fresh',
[[['fetch', 0, {'a': True}], ['get', 29.5, 'a', False]]],
[[True, 'cache']]),
('refetch removes flags absent from payload',
[[['fetch', 0, {'a': True, 'b': 'x'}], ['fetch', 5, {'a': False}], ['get', 6, 'b', 'd']]],
[['d', 'missing']]),
('empty payload clears the cache',
[[['fetch', 0, {'a': True}], ['fetch', 5, {}], ['get', 6, 'a', False]]],
[[False, 'missing']]),
('refetch clears kill switches',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['fetch', 2, {'a': True}], ['get', 3, 'a', False]]],
[[True, 'cache']]),
('kill of a flag missing from the payload',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['get', 2, 'b', 'd']]],
[['d', 'killed']]),
('killed flag beats staleness',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['get', 40, 'a', False]]],
[[False, 'killed']]),
('event stream sample 27',
[[['get', 10, 'c', 'dflt'],
['get', 10.5, 'b', False],
['kill', 10.5, 'b'],
['get', 40.0, 'b', 0],
['get', 40.0, 'c', 'dflt'],
['get', 41.0, 'a', 0],
['get', 41.5, 'c', False],
['fetch', 71.0, {'b': 'b'}]]],
[['dflt', 'stale'], [False, 'stale'], [0, 'killed'], ['dflt', 'stale'], [0, 'stale'], [False, 'stale']]),
('event stream sample 29',
[[['kill', 10, 'c'], ['kill', 10.5, 'b'], ['get', 40.0, 'c', 'dflt']]],
[['dflt', 'killed']])],
[('refetch removes flags absent from payload',
[[['fetch', 0, {'a': True, 'b': 'x'}], ['fetch', 5, {'a': False}], ['get', 6, 'b', 'd']]],
[['d', 'missing']]),
('empty payload clears the cache',
[[['fetch', 0, {'a': True}], ['fetch', 5, {}], ['get', 6, 'a', False]]],
[[False, 'missing']]),
('refetch clears kill switches',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['fetch', 2, {'a': True}], ['get', 3, 'a', False]]],
[[True, 'cache']]),
('refetch clears a kill on an uncached flag',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['fetch', 2, {'a': True}], ['get', 4, 'b', 0]]],
[[0, 'missing']]),
('kill of a flag missing from the payload',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['get', 2, 'b', 'd']]],
[['d', 'killed']]),
('event stream sample 11',
[[['get', 10, 'a', 0], ['get', 11, 'c', 'dflt'], ['get', 11.5, 'c', False]]],
[[0, 'stale'], ['dflt', 'stale'], [False, 'stale']]),
('event stream sample 12',
[[['get', 29.5, 'b', False],
['kill', 30.5, 'b'],
['get', 35.5, 'a', False],
['get', 36.5, 'b', 'dflt'],
['fetch', 36.5, {'a': True}],
['get', 36.5, 'a', 'dflt'],
['get', 36.5, 'a', 'dflt'],
['kill', 66.5, 'a']]],
[[False, 'stale'], [False, 'stale'], ['dflt', 'killed'], [True, 'cache'], [True, 'cache']]),
('event stream sample 50',
[[['get', 29.5, 'b', False],
['kill', 59.5, 'b'],
['get', 60.0, 'b', False],
['get', 60.5, 'b', 0],
['get', 90.0, 'b', 'dflt'],
['fetch', 119.5, {'a': True}],
['get', 120.5, 'a', 'dflt']]],
[[False, 'stale'], [False, 'killed'], [0, 'killed'], ['dflt', 'killed'], [True, 'cache']])],
[('empty payload clears the cache',
[[['fetch', 0, {'a': True}], ['fetch', 5, {}], ['get', 6, 'a', False]]],
[[False, 'missing']]),
('refetch clears kill switches',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['fetch', 2, {'a': True}], ['get', 3, 'a', False]]],
[[True, 'cache']]),
('refetch clears a kill on an uncached flag',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['fetch', 2, {'a': True}], ['get', 4, 'b', 0]]],
[[0, 'missing']]),
('kill of a flag missing from the payload',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['get', 2, 'b', 'd']]],
[['d', 'killed']]),
('killed flag beats staleness',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['get', 40, 'a', False]]],
[[False, 'killed']]),
('event stream sample 16',
[[['get', 10, 'b', 0],
['get', 40, 'c', 'dflt'],
['get', 69.5, 'a', 0],
['fetch', 79.5, {'a': 'b'}],
['fetch', 84.5, {'c': 'b'}],
['kill', 85.0, 'b'],
['fetch', 95.0, {'b': 3, 'c': False}]]],
[[0, 'stale'], ['dflt', 'stale'], [0, 'stale']]),
('event stream sample 17',
[[['fetch', 10, {'b': 'b', 'c': False}],
['fetch', 10.5, {}],
['kill', 40.0, 'b'],
['get', 40.5, 'c', 'dflt'],
['get', 41.0, 'b', 0],
['kill', 70.5, 'b']]],
[['dflt', 'stale'], [0, 'killed']]),
('event stream sample 18',
[[['kill', 10, 'c'],
['get', 39.5, 'a', 'dflt'],
['fetch', 69.5, {'b': 3}],
['get', 99.5, 'b', 0],
['fetch', 129.5, {'a': 'b'}],
['get', 130.0, 'b', 0]]],
[['dflt', 'stale'], [0, 'stale'], [0, 'missing']])],
[('refetch clears kill switches',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['fetch', 2, {'a': True}], ['get', 3, 'a', False]]],
[[True, 'cache']]),
('refetch clears a kill on an uncached flag',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['fetch', 2, {'a': True}], ['get', 4, 'b', 0]]],
[[0, 'missing']]),
('kill of a flag missing from the payload',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['get', 2, 'b', 'd']]],
[['d', 'killed']]),
('killed flag beats staleness',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['get', 40, 'a', False]]],
[[False, 'killed']]),
('second fetch refreshes the ttl clock',
[[['fetch', 0, {'a': 1}], ['fetch', 25, {'a': 2}], ['get', 40, 'a', 0]]],
[[2, 'cache']]),
('event stream sample 21',
[[['get', 5, 'a', 0], ['fetch', 5, {'a': False, 'b': True}], ['get', 5, 'b', 0]]],
[[0, 'stale'], [True, 'cache']]),
('event stream sample 22',
[[['get', 29.5, 'a', 'dflt'],
['get', 59.0, 'a', False],
['kill', 59.0, 'b'],
['fetch', 89.0, {}],
['kill', 118.5, 'a'],
['fetch', 118.5, {'a': 3}]]],
[['dflt', 'stale'], [False, 'stale']]),
('event stream sample 39',
[[['fetch', 29.5, {}], ['kill', 29.5, 'c'], ['get', 59.0, 'a', 0], ['get', 64.0, 'c', False]]],
[[0, 'missing'], [False, 'killed']])]]
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 |
|---|---|---|---|
| value is stale at exactly the ttl | [[False, 'stale']] | [[False, 'stale']] | Passed |
| fractional age just under the ttl is fresh | [[True, 'cache']] | [[True, 'cache']] | Passed |
| refetch removes flags absent from payload | [['d', 'missing']] | [['d', 'missing']] | Passed |
| empty payload clears the cache | [[False, 'missing']] | [[False, 'missing']] | Passed |
| refetch clears kill switches | [[True, 'cache']] | [[True, 'cache']] | Passed |
| kill of a flag missing from the payload | [['d', 'killed']] | [['d', 'killed']] | Passed |
| killed flag beats staleness | [[False, 'stale']] | [[False, 'killed']] | Failed |
| event stream sample 1 | [] | [] | Passed |
SHA-256 / 4104b0c551e7f5f9e7c13a95817084dd84f05c7b3b99188735153695d7543ada
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(events):
cache = {}
fetched_at = None
killed = set()
out = []
for ev in events:
kind, t = ev[0], ev[1]
if kind == 'fetch':
cache = dict(ev[2])
fetched_at = t
killed = set()
elif kind == 'kill':
killed.add(ev[2])
else:
flag, default = ev[2], ev[3]
if flag in killed and flag in cache:
out.append([default, 'killed'])
elif fetched_at is None or t - fetched_at >= 30:
out.append([default, 'stale'])
elif flag not in cache:
out.append([default, 'missing'])
else:
out.append([cache[flag], 'cache'])
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('value is stale at exactly the ttl',
[[['fetch', 0, {'a': True}], ['get', 30, 'a', False]]],
[[False, 'stale']]),
('fractional age just under the ttl is fresh',
[[['fetch', 0, {'a': True}], ['get', 29.5, 'a', False]]],
[[True, 'cache']]),
('refetch removes flags absent from payload',
[[['fetch', 0, {'a': True, 'b': 'x'}], ['fetch', 5, {'a': False}], ['get', 6, 'b', 'd']]],
[['d', 'missing']]),
('empty payload clears the cache',
[[['fetch', 0, {'a': True}], ['fetch', 5, {}], ['get', 6, 'a', False]]],
[[False, 'missing']]),
('refetch clears kill switches',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['fetch', 2, {'a': True}], ['get', 3, 'a', False]]],
[[True, 'cache']]),
('kill of a flag missing from the payload',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['get', 2, 'b', 'd']]],
[['d', 'killed']]),
('killed flag beats staleness',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['get', 40, 'a', False]]],
[[False, 'killed']]),
('event stream sample 1',
[[['kill', 30, 'a'], ['fetch', 40, {'c': 3, 'b': False}], ['kill', 41, 'a']]],
[])],
[('fractional age just under the ttl is fresh',
[[['fetch', 0, {'a': True}], ['get', 29.5, 'a', False]]],
[[True, 'cache']]),
('refetch removes flags absent from payload',
[[['fetch', 0, {'a': True, 'b': 'x'}], ['fetch', 5, {'a': False}], ['get', 6, 'b', 'd']]],
[['d', 'missing']]),
('empty payload clears the cache',
[[['fetch', 0, {'a': True}], ['fetch', 5, {}], ['get', 6, 'a', False]]],
[[False, 'missing']]),
('refetch clears kill switches',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['fetch', 2, {'a': True}], ['get', 3, 'a', False]]],
[[True, 'cache']]),
('kill of a flag missing from the payload',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['get', 2, 'b', 'd']]],
[['d', 'killed']]),
('killed flag beats staleness',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['get', 40, 'a', False]]],
[[False, 'killed']]),
('event stream sample 27',
[[['get', 10, 'c', 'dflt'],
['get', 10.5, 'b', False],
['kill', 10.5, 'b'],
['get', 40.0, 'b', 0],
['get', 40.0, 'c', 'dflt'],
['get', 41.0, 'a', 0],
['get', 41.5, 'c', False],
['fetch', 71.0, {'b': 'b'}]]],
[['dflt', 'stale'], [False, 'stale'], [0, 'killed'], ['dflt', 'stale'], [0, 'stale'], [False, 'stale']]),
('event stream sample 29',
[[['kill', 10, 'c'], ['kill', 10.5, 'b'], ['get', 40.0, 'c', 'dflt']]],
[['dflt', 'killed']])],
[('refetch removes flags absent from payload',
[[['fetch', 0, {'a': True, 'b': 'x'}], ['fetch', 5, {'a': False}], ['get', 6, 'b', 'd']]],
[['d', 'missing']]),
('empty payload clears the cache',
[[['fetch', 0, {'a': True}], ['fetch', 5, {}], ['get', 6, 'a', False]]],
[[False, 'missing']]),
('refetch clears kill switches',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['fetch', 2, {'a': True}], ['get', 3, 'a', False]]],
[[True, 'cache']]),
('refetch clears a kill on an uncached flag',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['fetch', 2, {'a': True}], ['get', 4, 'b', 0]]],
[[0, 'missing']]),
('kill of a flag missing from the payload',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['get', 2, 'b', 'd']]],
[['d', 'killed']]),
('event stream sample 11',
[[['get', 10, 'a', 0], ['get', 11, 'c', 'dflt'], ['get', 11.5, 'c', False]]],
[[0, 'stale'], ['dflt', 'stale'], [False, 'stale']]),
('event stream sample 12',
[[['get', 29.5, 'b', False],
['kill', 30.5, 'b'],
['get', 35.5, 'a', False],
['get', 36.5, 'b', 'dflt'],
['fetch', 36.5, {'a': True}],
['get', 36.5, 'a', 'dflt'],
['get', 36.5, 'a', 'dflt'],
['kill', 66.5, 'a']]],
[[False, 'stale'], [False, 'stale'], ['dflt', 'killed'], [True, 'cache'], [True, 'cache']]),
('event stream sample 50',
[[['get', 29.5, 'b', False],
['kill', 59.5, 'b'],
['get', 60.0, 'b', False],
['get', 60.5, 'b', 0],
['get', 90.0, 'b', 'dflt'],
['fetch', 119.5, {'a': True}],
['get', 120.5, 'a', 'dflt']]],
[[False, 'stale'], [False, 'killed'], [0, 'killed'], ['dflt', 'killed'], [True, 'cache']])],
[('empty payload clears the cache',
[[['fetch', 0, {'a': True}], ['fetch', 5, {}], ['get', 6, 'a', False]]],
[[False, 'missing']]),
('refetch clears kill switches',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['fetch', 2, {'a': True}], ['get', 3, 'a', False]]],
[[True, 'cache']]),
('refetch clears a kill on an uncached flag',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['fetch', 2, {'a': True}], ['get', 4, 'b', 0]]],
[[0, 'missing']]),
('kill of a flag missing from the payload',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['get', 2, 'b', 'd']]],
[['d', 'killed']]),
('killed flag beats staleness',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['get', 40, 'a', False]]],
[[False, 'killed']]),
('event stream sample 16',
[[['get', 10, 'b', 0],
['get', 40, 'c', 'dflt'],
['get', 69.5, 'a', 0],
['fetch', 79.5, {'a': 'b'}],
['fetch', 84.5, {'c': 'b'}],
['kill', 85.0, 'b'],
['fetch', 95.0, {'b': 3, 'c': False}]]],
[[0, 'stale'], ['dflt', 'stale'], [0, 'stale']]),
('event stream sample 17',
[[['fetch', 10, {'b': 'b', 'c': False}],
['fetch', 10.5, {}],
['kill', 40.0, 'b'],
['get', 40.5, 'c', 'dflt'],
['get', 41.0, 'b', 0],
['kill', 70.5, 'b']]],
[['dflt', 'stale'], [0, 'killed']]),
('event stream sample 18',
[[['kill', 10, 'c'],
['get', 39.5, 'a', 'dflt'],
['fetch', 69.5, {'b': 3}],
['get', 99.5, 'b', 0],
['fetch', 129.5, {'a': 'b'}],
['get', 130.0, 'b', 0]]],
[['dflt', 'stale'], [0, 'stale'], [0, 'missing']])],
[('refetch clears kill switches',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['fetch', 2, {'a': True}], ['get', 3, 'a', False]]],
[[True, 'cache']]),
('refetch clears a kill on an uncached flag',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['fetch', 2, {'a': True}], ['get', 4, 'b', 0]]],
[[0, 'missing']]),
('kill of a flag missing from the payload',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['get', 2, 'b', 'd']]],
[['d', 'killed']]),
('killed flag beats staleness',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['get', 40, 'a', False]]],
[[False, 'killed']]),
('second fetch refreshes the ttl clock',
[[['fetch', 0, {'a': 1}], ['fetch', 25, {'a': 2}], ['get', 40, 'a', 0]]],
[[2, 'cache']]),
('event stream sample 21',
[[['get', 5, 'a', 0], ['fetch', 5, {'a': False, 'b': True}], ['get', 5, 'b', 0]]],
[[0, 'stale'], [True, 'cache']]),
('event stream sample 22',
[[['get', 29.5, 'a', 'dflt'],
['get', 59.0, 'a', False],
['kill', 59.0, 'b'],
['fetch', 89.0, {}],
['kill', 118.5, 'a'],
['fetch', 118.5, {'a': 3}]]],
[['dflt', 'stale'], [False, 'stale']]),
('event stream sample 39',
[[['fetch', 29.5, {}], ['kill', 29.5, 'c'], ['get', 59.0, 'a', 0], ['get', 64.0, 'c', False]]],
[[0, 'missing'], [False, 'killed']])]]
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 |
|---|---|---|---|
| value is stale at exactly the ttl | [[False, 'stale']] | [[False, 'stale']] | Passed |
| fractional age just under the ttl is fresh | [[True, 'cache']] | [[True, 'cache']] | Passed |
| refetch removes flags absent from payload | [['d', 'missing']] | [['d', 'missing']] | Passed |
| empty payload clears the cache | [[False, 'missing']] | [[False, 'missing']] | Passed |
| refetch clears kill switches | [[True, 'cache']] | [[True, 'cache']] | Passed |
| kill of a flag missing from the payload | [['d', 'missing']] | [['d', 'killed']] | Failed |
| killed flag beats staleness | [[False, 'killed']] | [[False, 'killed']] | Passed |
| event stream sample 1 | [] | [] | Passed |
SHA-256 / 74c588490fea1e29e61bc4595a07b83b178e92f45839a30ba68d57cfff85e6b7
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(events):
cache = {}
fetched_at = None
killed = set()
out = []
for ev in events:
kind, t = ev[0], ev[1]
if kind == 'fetch':
cache = dict(ev[2])
fetched_at = t
killed = set()
elif kind == 'kill':
killed.add(ev[2])
else:
flag, default = ev[2], ev[3]
if flag in killed:
out.append([default, 'killed'])
elif fetched_at is None or t - fetched_at >= 30:
out.append([default, 'stale'])
elif flag not in cache:
out.append([default, 'missing'])
else:
out.append([cache[flag], 'cache'])
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('value is stale at exactly the ttl',
[[['fetch', 0, {'a': True}], ['get', 30, 'a', False]]],
[[False, 'stale']]),
('fractional age just under the ttl is fresh',
[[['fetch', 0, {'a': True}], ['get', 29.5, 'a', False]]],
[[True, 'cache']]),
('refetch removes flags absent from payload',
[[['fetch', 0, {'a': True, 'b': 'x'}], ['fetch', 5, {'a': False}], ['get', 6, 'b', 'd']]],
[['d', 'missing']]),
('empty payload clears the cache',
[[['fetch', 0, {'a': True}], ['fetch', 5, {}], ['get', 6, 'a', False]]],
[[False, 'missing']]),
('refetch clears kill switches',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['fetch', 2, {'a': True}], ['get', 3, 'a', False]]],
[[True, 'cache']]),
('kill of a flag missing from the payload',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['get', 2, 'b', 'd']]],
[['d', 'killed']]),
('killed flag beats staleness',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['get', 40, 'a', False]]],
[[False, 'killed']]),
('event stream sample 1',
[[['kill', 30, 'a'], ['fetch', 40, {'c': 3, 'b': False}], ['kill', 41, 'a']]],
[])],
[('fractional age just under the ttl is fresh',
[[['fetch', 0, {'a': True}], ['get', 29.5, 'a', False]]],
[[True, 'cache']]),
('refetch removes flags absent from payload',
[[['fetch', 0, {'a': True, 'b': 'x'}], ['fetch', 5, {'a': False}], ['get', 6, 'b', 'd']]],
[['d', 'missing']]),
('empty payload clears the cache',
[[['fetch', 0, {'a': True}], ['fetch', 5, {}], ['get', 6, 'a', False]]],
[[False, 'missing']]),
('refetch clears kill switches',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['fetch', 2, {'a': True}], ['get', 3, 'a', False]]],
[[True, 'cache']]),
('kill of a flag missing from the payload',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['get', 2, 'b', 'd']]],
[['d', 'killed']]),
('killed flag beats staleness',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['get', 40, 'a', False]]],
[[False, 'killed']]),
('event stream sample 27',
[[['get', 10, 'c', 'dflt'],
['get', 10.5, 'b', False],
['kill', 10.5, 'b'],
['get', 40.0, 'b', 0],
['get', 40.0, 'c', 'dflt'],
['get', 41.0, 'a', 0],
['get', 41.5, 'c', False],
['fetch', 71.0, {'b': 'b'}]]],
[['dflt', 'stale'], [False, 'stale'], [0, 'killed'], ['dflt', 'stale'], [0, 'stale'], [False, 'stale']]),
('event stream sample 29',
[[['kill', 10, 'c'], ['kill', 10.5, 'b'], ['get', 40.0, 'c', 'dflt']]],
[['dflt', 'killed']])],
[('refetch removes flags absent from payload',
[[['fetch', 0, {'a': True, 'b': 'x'}], ['fetch', 5, {'a': False}], ['get', 6, 'b', 'd']]],
[['d', 'missing']]),
('empty payload clears the cache',
[[['fetch', 0, {'a': True}], ['fetch', 5, {}], ['get', 6, 'a', False]]],
[[False, 'missing']]),
('refetch clears kill switches',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['fetch', 2, {'a': True}], ['get', 3, 'a', False]]],
[[True, 'cache']]),
('refetch clears a kill on an uncached flag',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['fetch', 2, {'a': True}], ['get', 4, 'b', 0]]],
[[0, 'missing']]),
('kill of a flag missing from the payload',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['get', 2, 'b', 'd']]],
[['d', 'killed']]),
('event stream sample 11',
[[['get', 10, 'a', 0], ['get', 11, 'c', 'dflt'], ['get', 11.5, 'c', False]]],
[[0, 'stale'], ['dflt', 'stale'], [False, 'stale']]),
('event stream sample 12',
[[['get', 29.5, 'b', False],
['kill', 30.5, 'b'],
['get', 35.5, 'a', False],
['get', 36.5, 'b', 'dflt'],
['fetch', 36.5, {'a': True}],
['get', 36.5, 'a', 'dflt'],
['get', 36.5, 'a', 'dflt'],
['kill', 66.5, 'a']]],
[[False, 'stale'], [False, 'stale'], ['dflt', 'killed'], [True, 'cache'], [True, 'cache']]),
('event stream sample 50',
[[['get', 29.5, 'b', False],
['kill', 59.5, 'b'],
['get', 60.0, 'b', False],
['get', 60.5, 'b', 0],
['get', 90.0, 'b', 'dflt'],
['fetch', 119.5, {'a': True}],
['get', 120.5, 'a', 'dflt']]],
[[False, 'stale'], [False, 'killed'], [0, 'killed'], ['dflt', 'killed'], [True, 'cache']])],
[('empty payload clears the cache',
[[['fetch', 0, {'a': True}], ['fetch', 5, {}], ['get', 6, 'a', False]]],
[[False, 'missing']]),
('refetch clears kill switches',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['fetch', 2, {'a': True}], ['get', 3, 'a', False]]],
[[True, 'cache']]),
('refetch clears a kill on an uncached flag',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['fetch', 2, {'a': True}], ['get', 4, 'b', 0]]],
[[0, 'missing']]),
('kill of a flag missing from the payload',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['get', 2, 'b', 'd']]],
[['d', 'killed']]),
('killed flag beats staleness',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['get', 40, 'a', False]]],
[[False, 'killed']]),
('event stream sample 16',
[[['get', 10, 'b', 0],
['get', 40, 'c', 'dflt'],
['get', 69.5, 'a', 0],
['fetch', 79.5, {'a': 'b'}],
['fetch', 84.5, {'c': 'b'}],
['kill', 85.0, 'b'],
['fetch', 95.0, {'b': 3, 'c': False}]]],
[[0, 'stale'], ['dflt', 'stale'], [0, 'stale']]),
('event stream sample 17',
[[['fetch', 10, {'b': 'b', 'c': False}],
['fetch', 10.5, {}],
['kill', 40.0, 'b'],
['get', 40.5, 'c', 'dflt'],
['get', 41.0, 'b', 0],
['kill', 70.5, 'b']]],
[['dflt', 'stale'], [0, 'killed']]),
('event stream sample 18',
[[['kill', 10, 'c'],
['get', 39.5, 'a', 'dflt'],
['fetch', 69.5, {'b': 3}],
['get', 99.5, 'b', 0],
['fetch', 129.5, {'a': 'b'}],
['get', 130.0, 'b', 0]]],
[['dflt', 'stale'], [0, 'stale'], [0, 'missing']])],
[('refetch clears kill switches',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['fetch', 2, {'a': True}], ['get', 3, 'a', False]]],
[[True, 'cache']]),
('refetch clears a kill on an uncached flag',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['fetch', 2, {'a': True}], ['get', 4, 'b', 0]]],
[[0, 'missing']]),
('kill of a flag missing from the payload',
[[['fetch', 0, {'a': True}], ['kill', 1, 'b'], ['get', 2, 'b', 'd']]],
[['d', 'killed']]),
('killed flag beats staleness',
[[['fetch', 0, {'a': True}], ['kill', 1, 'a'], ['get', 40, 'a', False]]],
[[False, 'killed']]),
('second fetch refreshes the ttl clock',
[[['fetch', 0, {'a': 1}], ['fetch', 25, {'a': 2}], ['get', 40, 'a', 0]]],
[[2, 'cache']]),
('event stream sample 21',
[[['get', 5, 'a', 0], ['fetch', 5, {'a': False, 'b': True}], ['get', 5, 'b', 0]]],
[[0, 'stale'], [True, 'cache']]),
('event stream sample 22',
[[['get', 29.5, 'a', 'dflt'],
['get', 59.0, 'a', False],
['kill', 59.0, 'b'],
['fetch', 89.0, {}],
['kill', 118.5, 'a'],
['fetch', 118.5, {'a': 3}]]],
[['dflt', 'stale'], [False, 'stale']]),
('event stream sample 39',
[[['fetch', 29.5, {}], ['kill', 29.5, 'c'], ['get', 59.0, 'a', 0], ['get', 64.0, 'c', False]]],
[[0, 'missing'], [False, 'killed']])]]
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 |
|---|---|---|---|
| value is stale at exactly the ttl | [[False, 'stale']] | [[False, 'stale']] | Passed |
| fractional age just under the ttl is fresh | [[True, 'cache']] | [[True, 'cache']] | Passed |
| refetch removes flags absent from payload | [['d', 'missing']] | [['d', 'missing']] | Passed |
| empty payload clears the cache | [[False, 'missing']] | [[False, 'missing']] | Passed |
| refetch clears kill switches | [[True, 'cache']] | [[True, 'cache']] | Passed |
| kill of a flag missing from the payload | [['d', 'killed']] | [['d', 'killed']] | Passed |
| killed flag beats staleness | [[False, 'killed']] | [[False, 'killed']] | Passed |
| event stream sample 1 | [] | [] | Passed |
SHA-256 / 0434f63b2e1edf0916268b221cf0105e3801227e21560250e98897429b9a6ef3
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.996634+00:00.
Case digest / e89ff783199df48fda7e66b956713ee3d13ee8a9fd7667b6d92f8e8319d100f1