FAILURE MAP
← Case archive

FA-25716 / Filter interfaces / Open access

Unrecognized URL filter fields produce actionable diagnostics · case 01

Unrecognized URL filter fields produce actionable diagnostics is violated by the widget projection.

Verified by executionVariant 1 · 10 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The unknown-diagnostics decision uses `[]` instead of the stipulated url-hydration projection.

THE FAILURE

The unknown-diagnostics decision uses `[]` instead of the stipulated url-hydration projection.

Unsuccessful approach: The attempted correction `[x[0] for x in d['pairs']]` still violates the explicit contract fixtures.

Case contract

URL hydration validates filter fields and operators before publishing a draft, preserving duplicate value order while rejecting unknown schema references. This example checks: Unrecognized URL filter fields produce actionable diagnostics.

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 {'known-fields':([x for x in d['pairs'] if x[0] in d['fields']]), 'unknown-diagnostics':([]), 'repeat-values':([v for k,v in d['pairs'] if k==d['field']]), 'version-acceptance':(d['version'] in d['supported']), 'unknown-operator':(d['op'] not in d['operators']), 'atomic-publication':(d['valid'] and d['version'] in d['supported'] and d['op'] in d['operators'])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 0, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': False, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 0, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 1, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 3, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'q', 'version': 1, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['v'], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'q', 'version': 3, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['v'], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'a', 'version': 1, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'a', 'version': 3, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'q', 'version': 1, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'q', 'version': 3, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False})], 2: [({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 0, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': False, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 1, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 3, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'q', 'version': 1, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['v'], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'q', 'version': 3, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['v'], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'a', 'version': 1, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': False}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'a', 'version': 3, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': False}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'q', 'version': 1, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': False}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'q', 'version': 3, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': False}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', '']], 'fields': ['a'], 'field': 'a', 'version': 1, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', '']], 'unknown-diagnostics': [], 'repeat-values': [''], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False})], 3: [({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 0, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 2, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': False, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'q', 'version': 1, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['v'], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': True}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'q', 'version': 3, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['v'], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': True}), ({'pairs': [], 'fields': ['a'], 'field': 'a', 'version': 1, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': True}), ({'pairs': [], 'fields': ['a'], 'field': 'a', 'version': 3, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': True}), ({'pairs': [], 'fields': ['a'], 'field': 'q', 'version': 1, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': True}), ({'pairs': [], 'fields': ['a'], 'field': 'q', 'version': 3, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': True}), ({'pairs': [['a', '']], 'fields': ['a'], 'field': 'a', 'version': 1, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', '']], 'unknown-diagnostics': [], 'repeat-values': [''], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': True}), ({'pairs': [['a', '']], 'fields': ['a'], 'field': 'a', 'version': 3, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', '']], 'unknown-diagnostics': [], 'repeat-values': [''], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': True})], 4: [({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 0, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 3, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'q', 'version': 3, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['v'], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'a', 'version': 1, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'a', 'version': 3, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'q', 'version': 1, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'q', 'version': 3, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [['a', '']], 'fields': ['a'], 'field': 'a', 'version': 1, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', '']], 'unknown-diagnostics': [], 'repeat-values': [''], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [['a', '']], 'fields': ['a'], 'field': 'a', 'version': 3, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', '']], 'unknown-diagnostics': [], 'repeat-values': [''], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [['a', '']], 'fields': ['a'], 'field': 'q', 'version': 1, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', '']], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': False})], 5: [({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 1, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 3, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'a', 'version': 0, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'a', 'version': 2, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'q', 'version': 0, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'q', 'version': 2, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', '']], 'fields': ['a'], 'field': 'a', 'version': 0, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', '']], 'unknown-diagnostics': [], 'repeat-values': [''], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', '']], 'fields': ['a'], 'field': 'a', 'version': 2, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', '']], 'unknown-diagnostics': [], 'repeat-values': [''], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', '']], 'fields': ['a'], 'field': 'q', 'version': 0, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', '']], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', '']], 'fields': ['a'], 'field': 'q', 'version': 2, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', '']], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False})]}
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 fixtureActualExpectedOutcome
contract fixture 0{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['z', 'x'], 'unknown-diagnostics': [], 'unknown-operator': False, 'version-acceptance': False}{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['z', 'x'], 'unknown-diagnostics': ['q'], 'unknown-operator': False, 'version-acceptance': False}Failed
contract fixture 1{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['z', 'x'], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': False}{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['z', 'x'], 'unknown-diagnostics': ['q'], 'unknown-operator': True, 'version-acceptance': False}Failed
contract fixture 2{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['z', 'x'], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': True}{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['z', 'x'], 'unknown-diagnostics': ['q'], 'unknown-operator': True, 'version-acceptance': True}Failed
contract fixture 3{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['z', 'x'], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': True}{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['z', 'x'], 'unknown-diagnostics': ['q'], 'unknown-operator': True, 'version-acceptance': True}Failed
contract fixture 4{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['v'], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': True}{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['v'], 'unknown-diagnostics': ['q'], 'unknown-operator': True, 'version-acceptance': True}Failed
contract fixture 5{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['v'], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': True}{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['v'], 'unknown-diagnostics': ['q'], 'unknown-operator': True, 'version-acceptance': True}Failed
contract fixture 6{'atomic-publication': False, 'known-fields': [], 'repeat-values': [], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': True}{'atomic-publication': False, 'known-fields': [], 'repeat-values': [], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': True}Passed
contract fixture 7{'atomic-publication': False, 'known-fields': [], 'repeat-values': [], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': True}{'atomic-publication': False, 'known-fields': [], 'repeat-values': [], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': True}Passed
contract fixture 8{'atomic-publication': False, 'known-fields': [], 'repeat-values': [], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': True}{'atomic-publication': False, 'known-fields': [], 'repeat-values': [], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': True}Passed
contract fixture 9{'atomic-publication': False, 'known-fields': [], 'repeat-values': [], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': True}{'atomic-publication': False, 'known-fields': [], 'repeat-values': [], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': True}Passed

SHA-256 / f598e9eec30b02eb2eb0a4548e57bba1e2ea0f0f0acb65a56c5eec198eb3abb4

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    return {'known-fields':([x for x in d['pairs'] if x[0] in d['fields']]), 'unknown-diagnostics':([x[0] for x in d['pairs']]), 'repeat-values':([v for k,v in d['pairs'] if k==d['field']]), 'version-acceptance':(d['version'] in d['supported']), 'unknown-operator':(d['op'] not in d['operators']), 'atomic-publication':(d['valid'] and d['version'] in d['supported'] and d['op'] in d['operators'])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 0, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': False, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 0, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 1, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 3, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'q', 'version': 1, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['v'], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'q', 'version': 3, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['v'], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'a', 'version': 1, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'a', 'version': 3, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'q', 'version': 1, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'q', 'version': 3, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False})], 2: [({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 0, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': False, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 1, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 3, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'q', 'version': 1, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['v'], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'q', 'version': 3, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['v'], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'a', 'version': 1, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': False}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'a', 'version': 3, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': False}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'q', 'version': 1, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': False}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'q', 'version': 3, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': False}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', '']], 'fields': ['a'], 'field': 'a', 'version': 1, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', '']], 'unknown-diagnostics': [], 'repeat-values': [''], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False})], 3: [({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 0, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 2, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': False, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'q', 'version': 1, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['v'], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': True}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'q', 'version': 3, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['v'], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': True}), ({'pairs': [], 'fields': ['a'], 'field': 'a', 'version': 1, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': True}), ({'pairs': [], 'fields': ['a'], 'field': 'a', 'version': 3, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': True}), ({'pairs': [], 'fields': ['a'], 'field': 'q', 'version': 1, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': True}), ({'pairs': [], 'fields': ['a'], 'field': 'q', 'version': 3, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': True}), ({'pairs': [['a', '']], 'fields': ['a'], 'field': 'a', 'version': 1, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', '']], 'unknown-diagnostics': [], 'repeat-values': [''], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': True}), ({'pairs': [['a', '']], 'fields': ['a'], 'field': 'a', 'version': 3, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', '']], 'unknown-diagnostics': [], 'repeat-values': [''], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': True})], 4: [({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 0, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 3, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'q', 'version': 3, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['v'], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'a', 'version': 1, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'a', 'version': 3, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'q', 'version': 1, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'q', 'version': 3, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [['a', '']], 'fields': ['a'], 'field': 'a', 'version': 1, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', '']], 'unknown-diagnostics': [], 'repeat-values': [''], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [['a', '']], 'fields': ['a'], 'field': 'a', 'version': 3, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', '']], 'unknown-diagnostics': [], 'repeat-values': [''], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [['a', '']], 'fields': ['a'], 'field': 'q', 'version': 1, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', '']], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': False})], 5: [({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 1, 'supported': [1, 3], 'op': 'eq', 'operators': ['eq'], 'valid': False}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': True, 'unknown-operator': False, 'atomic-publication': False}), ({'pairs': [['a', 'z'], ['a', 'x'], ['q', 'v']], 'fields': ['a'], 'field': 'a', 'version': 3, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', 'z'], ['a', 'x']], 'unknown-diagnostics': ['q'], 'repeat-values': ['z', 'x'], 'version-acceptance': True, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'a', 'version': 0, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'a', 'version': 2, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'q', 'version': 0, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [], 'fields': ['a'], 'field': 'q', 'version': 2, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', '']], 'fields': ['a'], 'field': 'a', 'version': 0, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', '']], 'unknown-diagnostics': [], 'repeat-values': [''], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', '']], 'fields': ['a'], 'field': 'a', 'version': 2, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', '']], 'unknown-diagnostics': [], 'repeat-values': [''], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', '']], 'fields': ['a'], 'field': 'q', 'version': 0, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', '']], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False}), ({'pairs': [['a', '']], 'fields': ['a'], 'field': 'q', 'version': 2, 'supported': [1, 3], 'op': 'bad', 'operators': ['eq'], 'valid': True}, {'known-fields': [['a', '']], 'unknown-diagnostics': [], 'repeat-values': [], 'version-acceptance': False, 'unknown-operator': True, 'atomic-publication': False})]}
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 fixtureActualExpectedOutcome
contract fixture 0{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['z', 'x'], 'unknown-diagnostics': ['a', 'a', 'q'], 'unknown-operator': False, 'version-acceptance': False}{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['z', 'x'], 'unknown-diagnostics': ['q'], 'unknown-operator': False, 'version-acceptance': False}Failed
contract fixture 1{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['z', 'x'], 'unknown-diagnostics': ['a', 'a', 'q'], 'unknown-operator': True, 'version-acceptance': False}{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['z', 'x'], 'unknown-diagnostics': ['q'], 'unknown-operator': True, 'version-acceptance': False}Failed
contract fixture 2{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['z', 'x'], 'unknown-diagnostics': ['a', 'a', 'q'], 'unknown-operator': True, 'version-acceptance': True}{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['z', 'x'], 'unknown-diagnostics': ['q'], 'unknown-operator': True, 'version-acceptance': True}Failed
contract fixture 3{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['z', 'x'], 'unknown-diagnostics': ['a', 'a', 'q'], 'unknown-operator': True, 'version-acceptance': True}{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['z', 'x'], 'unknown-diagnostics': ['q'], 'unknown-operator': True, 'version-acceptance': True}Failed
contract fixture 4{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['v'], 'unknown-diagnostics': ['a', 'a', 'q'], 'unknown-operator': True, 'version-acceptance': True}{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['v'], 'unknown-diagnostics': ['q'], 'unknown-operator': True, 'version-acceptance': True}Failed
contract fixture 5{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['v'], 'unknown-diagnostics': ['a', 'a', 'q'], 'unknown-operator': True, 'version-acceptance': True}{'atomic-publication': False, 'known-fields': [['a', 'z'], ['a', 'x']], 'repeat-values': ['v'], 'unknown-diagnostics': ['q'], 'unknown-operator': True, 'version-acceptance': True}Failed
contract fixture 6{'atomic-publication': False, 'known-fields': [], 'repeat-values': [], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': True}{'atomic-publication': False, 'known-fields': [], 'repeat-values': [], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': True}Passed
contract fixture 7{'atomic-publication': False, 'known-fields': [], 'repeat-values': [], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': True}{'atomic-publication': False, 'known-fields': [], 'repeat-values': [], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': True}Passed
contract fixture 8{'atomic-publication': False, 'known-fields': [], 'repeat-values': [], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': True}{'atomic-publication': False, 'known-fields': [], 'repeat-values': [], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': True}Passed
contract fixture 9{'atomic-publication': False, 'known-fields': [], 'repeat-values': [], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': True}{'atomic-publication': False, 'known-fields': [], 'repeat-values': [], 'unknown-diagnostics': [], 'unknown-operator': True, 'version-acceptance': True}Passed

SHA-256 / edb829731d24d3bee9a2ad87c2a08cb849bc74c0b66acd4022c052a481f971f4

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 10 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.

Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.

Member access is invitation-based. Sign in with your invited account to inspect the repair.

Sign in to the archive ↗

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:09.328634+00:00.

Case digest / 8407c6cc3a95d15f9fedcbe8a78779ac134272c9b66b62585cecfd7755b07d78