FA-25151 / Filter interfaces / Open access
Only included facets enter the positive operand channel · case 01
Only included facets enter the positive operand channel is violated by the widget projection.
ROOT CAUSE
The positive-operand decision uses `d['value'] if d['state']!='neutral' else None` instead of the stipulated tristate-facet projection.
VERIFIED REPAIR
Implement the declared positive-operand projection: `d['value'] if d['state']=='include' else None`.
Unsuccessful approach: The attempted correction `d['value'] if d['state']=='exclude' else None` 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: Only included facets enter the positive operand channel.
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':'exclude','exclude':'neutral'}[d['state']]), 'negative-operand':(d['value'] if d['state']=='exclude' else None), 'positive-operand':(d['value'] if d['state']!='neutral' 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': 'exclude', 'value': 'red'}, {'cycle': 'neutral', 'negative-operand': 'red', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear red'}), ({'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': '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'}), ({'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'})], 2: [({'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': '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'}), ({'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': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'})], 3: [({'state': 'exclude', 'value': 'green'}, {'cycle': 'neutral', 'negative-operand': 'green', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear green'}), ({'state': 'include', 'value': 'blue'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'blue', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude 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': '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': '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'})], 4: [({'state': 'exclude', 'value': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'}), ({'state': 'exclude', 'value': 'red'}, {'cycle': 'neutral', 'negative-operand': 'red', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear 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': 'include', 'value': 'gold'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'gold', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude gold'}), ({'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': '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'})], 5: [({'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': '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': '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'}), ({'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'})]}
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': 'minus', 'negation-help': 'Clear red', 'negative-operand': 'red', 'positive-operand': 'red', 'reverse-cycle': 'include'} | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear red', 'negative-operand': 'red', 'positive-operand': None, 'reverse-cycle': 'include'} | Failed |
| contract fixture 1 | {'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 2 | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear blue', 'negative-operand': 'blue', 'positive-operand': 'blue', 'reverse-cycle': 'include'} | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear blue', 'negative-operand': 'blue', 'positive-operand': None, 'reverse-cycle': 'include'} | Failed |
| contract fixture 3 | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear green', 'negative-operand': 'green', 'positive-operand': 'green', 'reverse-cycle': 'include'} | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear green', 'negative-operand': 'green', 'positive-operand': None, 'reverse-cycle': 'include'} | Failed |
| contract fixture 4 | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear gold', 'negative-operand': 'gold', 'positive-operand': 'gold', 'reverse-cycle': 'include'} | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear gold', 'negative-operand': 'gold', 'positive-operand': None, 'reverse-cycle': 'include'} | Failed |
| contract fixture 5 | {'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 6 | {'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 7 | {'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 |
| contract fixture 8 | {'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 9 | {'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 |
SHA-256 / 0df452f616d41102ec11221f2a04cb91642184546d82ed458c3fed2098aec705
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':'include','include':'exclude','exclude':'neutral'}[d['state']]), 'negative-operand':(d['value'] if d['state']=='exclude' else None), 'positive-operand':(d['value'] if d['state']=='exclude' 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': 'exclude', 'value': 'red'}, {'cycle': 'neutral', 'negative-operand': 'red', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear red'}), ({'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': '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'}), ({'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'})], 2: [({'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': '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'}), ({'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': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'})], 3: [({'state': 'exclude', 'value': 'green'}, {'cycle': 'neutral', 'negative-operand': 'green', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear green'}), ({'state': 'include', 'value': 'blue'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'blue', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude 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': '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': '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'})], 4: [({'state': 'exclude', 'value': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'}), ({'state': 'exclude', 'value': 'red'}, {'cycle': 'neutral', 'negative-operand': 'red', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear 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': 'include', 'value': 'gold'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'gold', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude gold'}), ({'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': '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'})], 5: [({'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': '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': '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'}), ({'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'})]}
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': 'minus', 'negation-help': 'Clear red', 'negative-operand': 'red', 'positive-operand': 'red', 'reverse-cycle': 'include'} | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear red', 'negative-operand': 'red', 'positive-operand': None, 'reverse-cycle': 'include'} | Failed |
| contract fixture 1 | {'cycle': 'exclude', 'exclusion-badge': 'check', 'negation-help': 'Exclude gold', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'neutral'} | {'cycle': 'exclude', 'exclusion-badge': 'check', 'negation-help': 'Exclude gold', 'negative-operand': None, 'positive-operand': 'gold', 'reverse-cycle': 'neutral'} | Failed |
| contract fixture 2 | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear blue', 'negative-operand': 'blue', 'positive-operand': 'blue', 'reverse-cycle': 'include'} | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear blue', 'negative-operand': 'blue', 'positive-operand': None, 'reverse-cycle': 'include'} | Failed |
| contract fixture 3 | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear green', 'negative-operand': 'green', 'positive-operand': 'green', 'reverse-cycle': 'include'} | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear green', 'negative-operand': 'green', 'positive-operand': None, 'reverse-cycle': 'include'} | Failed |
| contract fixture 4 | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear gold', 'negative-operand': 'gold', 'positive-operand': 'gold', 'reverse-cycle': 'include'} | {'cycle': 'neutral', 'exclusion-badge': 'minus', 'negation-help': 'Clear gold', 'negative-operand': 'gold', 'positive-operand': None, 'reverse-cycle': 'include'} | Failed |
| contract fixture 5 | {'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 6 | {'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 7 | {'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 |
| contract fixture 8 | {'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 9 | {'cycle': 'exclude', 'exclusion-badge': 'check', 'negation-help': 'Exclude red', 'negative-operand': None, 'positive-operand': None, 'reverse-cycle': 'neutral'} | {'cycle': 'exclude', 'exclusion-badge': 'check', 'negation-help': 'Exclude red', 'negative-operand': None, 'positive-operand': 'red', 'reverse-cycle': 'neutral'} | Failed |
SHA-256 / 49201bdc810623aca0cb4f262dfde89bda46e36950106171d312a05f917ff48f
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': 'exclude', 'value': 'red'}, {'cycle': 'neutral', 'negative-operand': 'red', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear red'}), ({'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': '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'}), ({'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'})], 2: [({'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': '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'}), ({'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': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'})], 3: [({'state': 'exclude', 'value': 'green'}, {'cycle': 'neutral', 'negative-operand': 'green', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear green'}), ({'state': 'include', 'value': 'blue'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'blue', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude 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': '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': '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'})], 4: [({'state': 'exclude', 'value': 'gold'}, {'cycle': 'neutral', 'negative-operand': 'gold', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear gold'}), ({'state': 'exclude', 'value': 'red'}, {'cycle': 'neutral', 'negative-operand': 'red', 'positive-operand': None, 'exclusion-badge': 'minus', 'reverse-cycle': 'include', 'negation-help': 'Clear 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': 'include', 'value': 'gold'}, {'cycle': 'exclude', 'negative-operand': None, 'positive-operand': 'gold', 'exclusion-badge': 'check', 'reverse-cycle': 'neutral', 'negation-help': 'Exclude gold'}), ({'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': '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'})], 5: [({'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': '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': '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'}), ({'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'})]}
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': '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 1 | {'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 2 | {'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 3 | {'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 4 | {'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 5 | {'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 6 | {'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 7 | {'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 |
| contract fixture 8 | {'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 9 | {'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 |
SHA-256 / b35dcac1bbc0c47c455442b2b8d34e7c35929d685795d42367459867b95380d7
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:04.004824+00:00.
Case digest / fd953274a9f8ca503e02289587a85e108c7ba412b43d54e07e51de41f60ba100