FA-25141 / Filter interfaces / Open access
Facet cycling visits exclusion before clearing · case 01
Facet cycling visits exclusion before clearing is violated by the widget projection.
ROOT CAUSE
The cycle decision uses `{'neutral':'include','include':'neutral','exclude':'neutral'}[d['state']]` instead of the stipulated tristate-facet projection.
VERIFIED REPAIR
Implement the declared cycle projection: `{'neutral':'include','include':'exclude','exclude':'neutral'}[d['state']]`.
Unsuccessful approach: The attempted correction `{'neutral':'exclude','include':'exclude','exclude':'neutral'}[d['state']]` still violates the explicit contract fixtures.
Case contract
A facet has neutral/include/exclude states. The UI cycles neutral to include to exclude to neutral, exposes polarity, and serializes inclusion and exclusion separately. This example checks: Facet cycling visits exclusion before clearing.
Why this case matters
Filter-widget state and serialization must preserve user constraints while the view changes.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(d):
return {'cycle':({'neutral':'include','include':'neutral','exclude':'neutral'}[d['state']]), 'negative-operand':(d['value'] if d['state']=='exclude' else None), 'positive-operand':(d['value'] if d['state']=='include' else None), 'exclusion-badge':('minus' if d['state']=='exclude' else ('check' if d['state']=='include' else 'none')), 'reverse-cycle':({'neutral':'exclude','include':'neutral','exclude':'include'}[d['state']]), 'negation-help':('Exclude '+d['value'] if d['state']=='include' else ('Clear '+d['value'] if d['state']=='exclude' else 'Include '+d['value']))}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'state': 'include', 'value': 'red'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'red', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude red'}), ({'state': 'neutral', 'value': 'gold'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include gold'}), ({'state': 'include', 'value': 'gold'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'gold', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude gold'}), ({'state': 'exclude', 'value': 'red'}, {'cycle': 'neutral', 'negative-operand': 'red', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear red'}), ({'state': 'exclude', 'value': 'blue'}, {'cycle': 'neutral', 'negative-operand': 'blue', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear blue'}), ({'state': 'exclude', 'value': 'green'}, {'cycle': 'neutral', 'negative-operand': 'green', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear green'}), ({'state': 'exclude', 'value': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'}), ({'state': 'neutral', 'value': 'red'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include red'}), ({'state': 'neutral', 'value': 'blue'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include blue'}), ({'state': 'neutral', 'value': 'green'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include green'})], 2: [({'state': 'include', 'value': 'blue'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'blue', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude blue'}), ({'state': 'neutral', 'value': 'green'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include green'}), ({'state': 'neutral', 'value': 'gold'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include gold'}), ({'state': 'include', 'value': 'red'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'red', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude red'}), ({'state': 'include', 'value': 'green'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'green', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude green'}), ({'state': 'include', 'value': 'gold'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'gold', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude gold'}), ({'state': 'exclude', 'value': 'red'}, {'cycle': 'neutral', 'negative-operand': 'red', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear red'}), ({'state': 'exclude', 'value': 'blue'}, {'cycle': 'neutral', 'negative-operand': 'blue', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear blue'}), ({'state': 'exclude', 'value': 'green'}, {'cycle': 'neutral', 'negative-operand': 'green', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear green'}), ({'state': 'exclude', 'value': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'})], 3: [({'state': 'include', 'value': 'green'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'green', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude green'}), ({'state': 'neutral', 'value': 'blue'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include blue'}), ({'state': 'exclude', 'value': 'blue'}, {'cycle': 'neutral', 'negative-operand': 'blue', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear blue'}), ({'state': 'exclude', 'value': 'green'}, {'cycle': 'neutral', 'negative-operand': 'green', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear green'}), ({'state': 'exclude', 'value': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'}), ({'state': 'neutral', 'value': 'red'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include red'}), ({'state': 'neutral', 'value': 'green'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include green'}), ({'state': 'neutral', 'value': 'gold'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include gold'}), ({'state': 'include', 'value': 'red'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'red', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude red'}), ({'state': 'include', 'value': 'blue'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'blue', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude blue'})], 4: [({'state': 'include', 'value': 'gold'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'gold', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude gold'}), ({'state': 'neutral', 'value': 'red'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include red'}), ({'state': 'include', 'value': 'red'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'red', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude red'}), ({'state': 'include', 'value': 'blue'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'blue', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude blue'}), ({'state': 'include', 'value': 'green'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'green', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude green'}), ({'state': 'exclude', 'value': 'red'}, {'cycle': 'neutral', 'negative-operand': 'red', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear red'}), ({'state': 'exclude', 'value': 'blue'}, {'cycle': 'neutral', 'negative-operand': 'blue', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear blue'}), ({'state': 'exclude', 'value': 'green'}, {'cycle': 'neutral', 'negative-operand': 'green', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear green'}), ({'state': 'exclude', 'value': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'}), ({'state': 'neutral', 'value': 'blue'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include blue'})], 5: [({'state': 'include', 'value': 'red'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'red', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude red'}), ({'state': 'neutral', 'value': 'gold'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include gold'}), ({'state': 'exclude', 'value': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'}), ({'state': 'neutral', 'value': 'red'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include red'}), ({'state': 'neutral', 'value': 'blue'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include blue'}), ({'state': 'neutral', 'value': 'green'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include green'}), ({'state': 'include', 'value': 'blue'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'blue', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude blue'}), ({'state': 'include', 'value': 'green'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'green', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude green'}), ({'state': 'include', 'value': 'gold'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'gold', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude gold'}), ({'state': 'exclude', 'value': 'red'}, {'cycle': 'neutral', 'negative-operand': 'red', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear red'})]}
for index, (data, expected) in enumerate(fixtures[N]):
check("contract fixture " + str(index), solve(data), 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 |
|---|---|---|---|
| contract fixture 0 | {'cycle': 'neutral', 'exclusion-badge': 'check', 'negation-help': 'Exclude red', 'negative-operand': None, 'positive-operand': 'red', 'reverse-cycle': 'neutral'} | {'cycle': 'exclude', 'exclusion-badge': 'check', 'negation-help': 'Exclude red', 'negative-operand': None, 'positive-operand': 'red', 'reverse-cycle': 'neutral'} | Failed |
| contract fixture 1 | {'cycle': 'include', 'exclusion-badge': 'none', 'negation-help': 'Include gold', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | {'cycle': 'include', 'exclusion-badge': 'none', 'negation-help': 'Include gold', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | Passed |
| contract fixture 2 | {'cycle': 'neutral', 'exclusion-badge': 'check', 'negation-help': 'Exclude gold', 'negative-operand': None, 'positive-operand': 'gold', 'reverse-cycle': 'neutral'} | {'cycle': 'exclude', 'exclusion-badge': 'check', 'negation-help': 'Exclude gold', 'negative-operand': None, 'positive-operand': 'gold', 'reverse-cycle': 'neutral'} | Failed |
| contract fixture 3 | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear red', 'negative-operand': 'red', 'positive-operand': None, 'reverse-cycle': 'include'} | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear red', 'negative-operand': 'red', 'positive-operand': None, 'reverse-cycle': 'include'} | Passed |
| contract fixture 4 | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear blue', 'negative-operand': 'blue', 'positive-operand': None, 'reverse-cycle': 'include'} | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear blue', 'negative-operand': 'blue', 'positive-operand': None, 'reverse-cycle': 'include'} | Passed |
| contract fixture 5 | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear green', 'negative-operand': 'green', 'positive-operand': None, 'reverse-cycle': 'include'} | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear green', 'negative-operand': 'green', 'positive-operand': None, 'reverse-cycle': 'include'} | Passed |
| contract fixture 6 | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear gold', 'negative-operand': 'gold', 'positive-operand': None, 'reverse-cycle': 'include'} | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear gold', 'negative-operand': 'gold', 'positive-operand': None, 'reverse-cycle': 'include'} | Passed |
| contract fixture 7 | {'cycle': 'include', 'exclusion-badge': 'none', 'negation-help': 'Include red', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | {'cycle': 'include', 'exclusion-badge': 'none', 'negation-help': 'Include red', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | Passed |
| contract fixture 8 | {'cycle': 'include', 'exclusion-badge': 'none', 'negation-help': 'Include blue', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | {'cycle': 'include', 'exclusion-badge': 'none', 'negation-help': 'Include blue', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | Passed |
| contract fixture 9 | {'cycle': 'include', 'exclusion-badge': 'none', 'negation-help': 'Include green', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | {'cycle': 'include', 'exclusion-badge': 'none', 'negation-help': 'Include green', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | Passed |
SHA-256 / 9f19ab8c44eb468f86e256a8e658ae0be0c43925c223865d7ec98b5bffc213ca
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(d):
return {'cycle':({'neutral':'exclude','include':'exclude','exclude':'neutral'}[d['state']]), 'negative-operand':(d['value'] if d['state']=='exclude' else None), 'positive-operand':(d['value'] if d['state']=='include' else None), 'exclusion-badge':('minus' if d['state']=='exclude' else ('check' if d['state']=='include' else 'none')), 'reverse-cycle':({'neutral':'exclude','include':'neutral','exclude':'include'}[d['state']]), 'negation-help':('Exclude '+d['value'] if d['state']=='include' else ('Clear '+d['value'] if d['state']=='exclude' else 'Include '+d['value']))}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'state': 'include', 'value': 'red'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'red', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude red'}), ({'state': 'neutral', 'value': 'gold'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include gold'}), ({'state': 'include', 'value': 'gold'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'gold', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude gold'}), ({'state': 'exclude', 'value': 'red'}, {'cycle': 'neutral', 'negative-operand': 'red', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear red'}), ({'state': 'exclude', 'value': 'blue'}, {'cycle': 'neutral', 'negative-operand': 'blue', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear blue'}), ({'state': 'exclude', 'value': 'green'}, {'cycle': 'neutral', 'negative-operand': 'green', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear green'}), ({'state': 'exclude', 'value': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'}), ({'state': 'neutral', 'value': 'red'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include red'}), ({'state': 'neutral', 'value': 'blue'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include blue'}), ({'state': 'neutral', 'value': 'green'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include green'})], 2: [({'state': 'include', 'value': 'blue'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'blue', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude blue'}), ({'state': 'neutral', 'value': 'green'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include green'}), ({'state': 'neutral', 'value': 'gold'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include gold'}), ({'state': 'include', 'value': 'red'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'red', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude red'}), ({'state': 'include', 'value': 'green'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'green', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude green'}), ({'state': 'include', 'value': 'gold'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'gold', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude gold'}), ({'state': 'exclude', 'value': 'red'}, {'cycle': 'neutral', 'negative-operand': 'red', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear red'}), ({'state': 'exclude', 'value': 'blue'}, {'cycle': 'neutral', 'negative-operand': 'blue', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear blue'}), ({'state': 'exclude', 'value': 'green'}, {'cycle': 'neutral', 'negative-operand': 'green', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear green'}), ({'state': 'exclude', 'value': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'})], 3: [({'state': 'include', 'value': 'green'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'green', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude green'}), ({'state': 'neutral', 'value': 'blue'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include blue'}), ({'state': 'exclude', 'value': 'blue'}, {'cycle': 'neutral', 'negative-operand': 'blue', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear blue'}), ({'state': 'exclude', 'value': 'green'}, {'cycle': 'neutral', 'negative-operand': 'green', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear green'}), ({'state': 'exclude', 'value': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'}), ({'state': 'neutral', 'value': 'red'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include red'}), ({'state': 'neutral', 'value': 'green'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include green'}), ({'state': 'neutral', 'value': 'gold'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include gold'}), ({'state': 'include', 'value': 'red'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'red', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude red'}), ({'state': 'include', 'value': 'blue'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'blue', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude blue'})], 4: [({'state': 'include', 'value': 'gold'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'gold', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude gold'}), ({'state': 'neutral', 'value': 'red'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include red'}), ({'state': 'include', 'value': 'red'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'red', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude red'}), ({'state': 'include', 'value': 'blue'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'blue', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude blue'}), ({'state': 'include', 'value': 'green'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'green', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude green'}), ({'state': 'exclude', 'value': 'red'}, {'cycle': 'neutral', 'negative-operand': 'red', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear red'}), ({'state': 'exclude', 'value': 'blue'}, {'cycle': 'neutral', 'negative-operand': 'blue', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear blue'}), ({'state': 'exclude', 'value': 'green'}, {'cycle': 'neutral', 'negative-operand': 'green', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear green'}), ({'state': 'exclude', 'value': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'}), ({'state': 'neutral', 'value': 'blue'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include blue'})], 5: [({'state': 'include', 'value': 'red'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'red', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude red'}), ({'state': 'neutral', 'value': 'gold'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include gold'}), ({'state': 'exclude', 'value': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'}), ({'state': 'neutral', 'value': 'red'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include red'}), ({'state': 'neutral', 'value': 'blue'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include blue'}), ({'state': 'neutral', 'value': 'green'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include green'}), ({'state': 'include', 'value': 'blue'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'blue', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude blue'}), ({'state': 'include', 'value': 'green'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'green', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude green'}), ({'state': 'include', 'value': 'gold'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'gold', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude gold'}), ({'state': 'exclude', 'value': 'red'}, {'cycle': 'neutral', 'negative-operand': 'red', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear red'})]}
for index, (data, expected) in enumerate(fixtures[N]):
check("contract fixture " + str(index), solve(data), 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 |
|---|---|---|---|
| contract fixture 0 | {'cycle': 'exclude', 'exclusion-badge': 'check', 'negation-help': 'Exclude red', 'negative-operand': None, 'positive-operand': 'red', 'reverse-cycle': 'neutral'} | {'cycle': 'exclude', 'exclusion-badge': 'check', 'negation-help': 'Exclude red', 'negative-operand': None, 'positive-operand': 'red', 'reverse-cycle': 'neutral'} | Passed |
| contract fixture 1 | {'cycle': 'exclude', 'exclusion-badge': 'none', 'negation-help': 'Include gold', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | {'cycle': 'include', 'exclusion-badge': 'none', 'negation-help': 'Include gold', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | Failed |
| contract fixture 2 | {'cycle': 'exclude', 'exclusion-badge': 'check', 'negation-help': 'Exclude gold', 'negative-operand': None, 'positive-operand': 'gold', 'reverse-cycle': 'neutral'} | {'cycle': 'exclude', 'exclusion-badge': 'check', 'negation-help': 'Exclude gold', 'negative-operand': None, 'positive-operand': 'gold', 'reverse-cycle': 'neutral'} | Passed |
| contract fixture 3 | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear red', 'negative-operand': 'red', 'positive-operand': None, 'reverse-cycle': 'include'} | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear red', 'negative-operand': 'red', 'positive-operand': None, 'reverse-cycle': 'include'} | Passed |
| contract fixture 4 | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear blue', 'negative-operand': 'blue', 'positive-operand': None, 'reverse-cycle': 'include'} | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear blue', 'negative-operand': 'blue', 'positive-operand': None, 'reverse-cycle': 'include'} | Passed |
| contract fixture 5 | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear green', 'negative-operand': 'green', 'positive-operand': None, 'reverse-cycle': 'include'} | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear green', 'negative-operand': 'green', 'positive-operand': None, 'reverse-cycle': 'include'} | Passed |
| contract fixture 6 | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear gold', 'negative-operand': 'gold', 'positive-operand': None, 'reverse-cycle': 'include'} | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear gold', 'negative-operand': 'gold', 'positive-operand': None, 'reverse-cycle': 'include'} | Passed |
| contract fixture 7 | {'cycle': 'exclude', 'exclusion-badge': 'none', 'negation-help': 'Include red', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | {'cycle': 'include', 'exclusion-badge': 'none', 'negation-help': 'Include red', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | Failed |
| contract fixture 8 | {'cycle': 'exclude', 'exclusion-badge': 'none', 'negation-help': 'Include blue', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | {'cycle': 'include', 'exclusion-badge': 'none', 'negation-help': 'Include blue', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | Failed |
| contract fixture 9 | {'cycle': 'exclude', 'exclusion-badge': 'none', 'negation-help': 'Include green', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | {'cycle': 'include', 'exclusion-badge': 'none', 'negation-help': 'Include green', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | Failed |
SHA-256 / 69f701539a8ba2f0af0c0bc44d1b9a3ca3e8ad23aaf02b81abf0445eab32b6ad
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(d):
return {'cycle':({'neutral':'include','include':'exclude','exclude':'neutral'}[d['state']]), 'negative-operand':(d['value'] if d['state']=='exclude' else None), 'positive-operand':(d['value'] if d['state']=='include' else None), 'exclusion-badge':('minus' if d['state']=='exclude' else ('check' if d['state']=='include' else 'none')), 'reverse-cycle':({'neutral':'exclude','include':'neutral','exclude':'include'}[d['state']]), 'negation-help':('Exclude '+d['value'] if d['state']=='include' else ('Clear '+d['value'] if d['state']=='exclude' else 'Include '+d['value']))}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'state': 'include', 'value': 'red'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'red', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude red'}), ({'state': 'neutral', 'value': 'gold'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include gold'}), ({'state': 'include', 'value': 'gold'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'gold', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude gold'}), ({'state': 'exclude', 'value': 'red'}, {'cycle': 'neutral', 'negative-operand': 'red', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear red'}), ({'state': 'exclude', 'value': 'blue'}, {'cycle': 'neutral', 'negative-operand': 'blue', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear blue'}), ({'state': 'exclude', 'value': 'green'}, {'cycle': 'neutral', 'negative-operand': 'green', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear green'}), ({'state': 'exclude', 'value': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'}), ({'state': 'neutral', 'value': 'red'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include red'}), ({'state': 'neutral', 'value': 'blue'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include blue'}), ({'state': 'neutral', 'value': 'green'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include green'})], 2: [({'state': 'include', 'value': 'blue'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'blue', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude blue'}), ({'state': 'neutral', 'value': 'green'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include green'}), ({'state': 'neutral', 'value': 'gold'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include gold'}), ({'state': 'include', 'value': 'red'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'red', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude red'}), ({'state': 'include', 'value': 'green'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'green', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude green'}), ({'state': 'include', 'value': 'gold'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'gold', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude gold'}), ({'state': 'exclude', 'value': 'red'}, {'cycle': 'neutral', 'negative-operand': 'red', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear red'}), ({'state': 'exclude', 'value': 'blue'}, {'cycle': 'neutral', 'negative-operand': 'blue', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear blue'}), ({'state': 'exclude', 'value': 'green'}, {'cycle': 'neutral', 'negative-operand': 'green', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear green'}), ({'state': 'exclude', 'value': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'})], 3: [({'state': 'include', 'value': 'green'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'green', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude green'}), ({'state': 'neutral', 'value': 'blue'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include blue'}), ({'state': 'exclude', 'value': 'blue'}, {'cycle': 'neutral', 'negative-operand': 'blue', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear blue'}), ({'state': 'exclude', 'value': 'green'}, {'cycle': 'neutral', 'negative-operand': 'green', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear green'}), ({'state': 'exclude', 'value': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'}), ({'state': 'neutral', 'value': 'red'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include red'}), ({'state': 'neutral', 'value': 'green'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include green'}), ({'state': 'neutral', 'value': 'gold'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include gold'}), ({'state': 'include', 'value': 'red'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'red', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude red'}), ({'state': 'include', 'value': 'blue'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'blue', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude blue'})], 4: [({'state': 'include', 'value': 'gold'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'gold', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude gold'}), ({'state': 'neutral', 'value': 'red'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include red'}), ({'state': 'include', 'value': 'red'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'red', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude red'}), ({'state': 'include', 'value': 'blue'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'blue', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude blue'}), ({'state': 'include', 'value': 'green'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'green', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude green'}), ({'state': 'exclude', 'value': 'red'}, {'cycle': 'neutral', 'negative-operand': 'red', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear red'}), ({'state': 'exclude', 'value': 'blue'}, {'cycle': 'neutral', 'negative-operand': 'blue', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear blue'}), ({'state': 'exclude', 'value': 'green'}, {'cycle': 'neutral', 'negative-operand': 'green', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear green'}), ({'state': 'exclude', 'value': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'}), ({'state': 'neutral', 'value': 'blue'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include blue'})], 5: [({'state': 'include', 'value': 'red'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'red', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude red'}), ({'state': 'neutral', 'value': 'gold'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include gold'}), ({'state': 'exclude', 'value': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'}), ({'state': 'neutral', 'value': 'red'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include red'}), ({'state': 'neutral', 'value': 'blue'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include blue'}), ({'state': 'neutral', 'value': 'green'}, {'cycle': 'include', 'negative-operand': None, 'positive-operand': None, 'exclusion-badge': 'none', 'reverse-cycle': 'exclude', 'negation-help': 'Include green'}), ({'state': 'include', 'value': 'blue'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'blue', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude blue'}), ({'state': 'include', 'value': 'green'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'green', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude green'}), ({'state': 'include', 'value': 'gold'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'gold', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude gold'}), ({'state': 'exclude', 'value': 'red'}, {'cycle': 'neutral', 'negative-operand': 'red', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear red'})]}
for index, (data, expected) in enumerate(fixtures[N]):
check("contract fixture " + str(index), solve(data), 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 |
|---|---|---|---|
| contract fixture 0 | {'cycle': 'exclude', 'exclusion-badge': 'check', 'negation-help': 'Exclude red', 'negative-operand': None, 'positive-operand': 'red', 'reverse-cycle': 'neutral'} | {'cycle': 'exclude', 'exclusion-badge': 'check', 'negation-help': 'Exclude red', 'negative-operand': None, 'positive-operand': 'red', 'reverse-cycle': 'neutral'} | Passed |
| contract fixture 1 | {'cycle': 'include', 'exclusion-badge': 'none', 'negation-help': 'Include gold', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | {'cycle': 'include', 'exclusion-badge': 'none', 'negation-help': 'Include gold', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | Passed |
| contract fixture 2 | {'cycle': 'exclude', 'exclusion-badge': 'check', 'negation-help': 'Exclude gold', 'negative-operand': None, 'positive-operand': 'gold', 'reverse-cycle': 'neutral'} | {'cycle': 'exclude', 'exclusion-badge': 'check', 'negation-help': 'Exclude gold', 'negative-operand': None, 'positive-operand': 'gold', 'reverse-cycle': 'neutral'} | Passed |
| contract fixture 3 | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear red', 'negative-operand': 'red', 'positive-operand': None, 'reverse-cycle': 'include'} | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear red', 'negative-operand': 'red', 'positive-operand': None, 'reverse-cycle': 'include'} | Passed |
| contract fixture 4 | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear blue', 'negative-operand': 'blue', 'positive-operand': None, 'reverse-cycle': 'include'} | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear blue', 'negative-operand': 'blue', 'positive-operand': None, 'reverse-cycle': 'include'} | Passed |
| contract fixture 5 | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear green', 'negative-operand': 'green', 'positive-operand': None, 'reverse-cycle': 'include'} | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear green', 'negative-operand': 'green', 'positive-operand': None, 'reverse-cycle': 'include'} | Passed |
| contract fixture 6 | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear gold', 'negative-operand': 'gold', 'positive-operand': None, 'reverse-cycle': 'include'} | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear gold', 'negative-operand': 'gold', 'positive-operand': None, 'reverse-cycle': 'include'} | Passed |
| contract fixture 7 | {'cycle': 'include', 'exclusion-badge': 'none', 'negation-help': 'Include red', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | {'cycle': 'include', 'exclusion-badge': 'none', 'negation-help': 'Include red', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | Passed |
| contract fixture 8 | {'cycle': 'include', 'exclusion-badge': 'none', 'negation-help': 'Include blue', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | {'cycle': 'include', 'exclusion-badge': 'none', 'negation-help': 'Include blue', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | Passed |
| contract fixture 9 | {'cycle': 'include', 'exclusion-badge': 'none', 'negation-help': 'Include green', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | {'cycle': 'include', 'exclusion-badge': 'none', 'negation-help': 'Include green', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'exclude'} | Passed |
SHA-256 / 6a2a8b58ef6e84a44da41dd03e67eb998ef7602e496078f89b982e26006c0369
Verification & scope
Deterministic bounded UI-state model only; no browser, query engine, network, or production-standard conformance is claimed. 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:41:03.919997+00:00.
Case digest / 13cc6fc1c3b19890a8fe9f15bf6273fb8bcb57eef2718ce7d5145e4439bb0bb5