FAILURE MAP
← Case archive

FA-26066 / Filter interfaces / Open access

Invalid criterion totals deduplicate slot errors and ignore removed rows · case 01

Invalid criterion totals deduplicate slot errors and ignore removed rows is violated by the widget projection.

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

ROOT CAUSE

The invalid-row-count decision uses `len(d['errors'])` instead of the stipulated validation-addresses projection.

THE FAILURE

The invalid-row-count decision uses `len(d['errors'])` instead of the stipulated validation-addresses projection.

Unsuccessful approach: The attempted correction `len(d['rows'])` still violates the explicit contract fixtures.

Case contract

Filter validation is attached to stable criterion IDs and operand slots. Server errors belong to the submitted revision and cannot move to neighboring rows after reordering. This example checks: Invalid criterion totals deduplicate slot errors and ignore removed rows.

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 {'row-error':([e['message'] for e in d['errors'] if e['id']==d['id']]), 'slot-error':([e['message'] for e in d['errors'] if e['id']==d['id'] and e['slot']==d['slot']]), 'removed-row-errors':([e for e in d['errors'] if e['id'] in d['rows']]), 'server-error-revision':(d['errors'] if d['error_revision']==d['revision'] else []), 'first-invalid-row':(next((row for row in d['rows'] if any(e['id']==row for e in d['errors'])),None)), 'invalid-row-count':(len(d['errors']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 0, 'slot': 'lower', 'rows': ['a', 'b'], 'error_revision': 1, 'revision': 2}, {'row-error': ['U'], 'slot-error': [], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [], 'first-invalid-row': 'a', 'invalid-row-count': 2}), ({'errors': [], 'id': 'a', 'index': 0, 'slot': 'lower', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'a', 'index': 0, 'slot': 'upper', 'rows': ['a', 'b'], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'a', 'index': 1, 'slot': 'upper', 'rows': ['b'], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'b', 'index': 0, 'slot': 'upper', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'b', 'index': 1, 'slot': 'upper', 'rows': [], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'gone', 'index': 0, 'slot': 'upper', 'rows': [], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 1, 'slot': 'lower', 'rows': ['a', 'b'], 'error_revision': 2, 'revision': 2}, {'row-error': ['U'], 'slot-error': [], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': 'a', 'invalid-row-count': 2}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'b', 'index': 0, 'slot': 'lower', 'rows': ['b'], 'error_revision': 1, 'revision': 2}, {'row-error': ['L', 'B'], 'slot-error': ['L'], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [], 'first-invalid-row': 'b', 'invalid-row-count': 1}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'b', 'index': 1, 'slot': 'lower', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': ['L', 'B'], 'slot-error': ['L'], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': 'b', 'invalid-row-count': 1})], 2: [({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 0, 'slot': 'lower', 'rows': ['a', 'b'], 'error_revision': 2, 'revision': 2}, {'row-error': ['U'], 'slot-error': [], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': 'a', 'invalid-row-count': 2}), ({'errors': [], 'id': 'a', 'index': 0, 'slot': 'upper', 'rows': ['b'], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'a', 'index': 1, 'slot': 'lower', 'rows': ['b'], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'b', 'index': 0, 'slot': 'lower', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'b', 'index': 1, 'slot': 'lower', 'rows': [], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'gone', 'index': 0, 'slot': 'lower', 'rows': [], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'gone', 'index': 1, 'slot': 'upper', 'rows': ['a', 'b'], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 0, 'slot': 'upper', 'rows': ['a', 'b'], 'error_revision': 2, 'revision': 2}, {'row-error': ['U'], 'slot-error': ['U'], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': 'a', 'invalid-row-count': 2}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 1, 'slot': 'upper', 'rows': ['b'], 'error_revision': 1, 'revision': 2}, {'row-error': ['U'], 'slot-error': ['U'], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [], 'first-invalid-row': 'b', 'invalid-row-count': 1}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'b', 'index': 0, 'slot': 'upper', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': ['L', 'B'], 'slot-error': ['B'], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': 'b', 'invalid-row-count': 1})], 3: [({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 0, 'slot': 'lower', 'rows': ['b'], 'error_revision': 1, 'revision': 2}, {'row-error': ['U'], 'slot-error': [], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [], 'first-invalid-row': 'b', 'invalid-row-count': 1}), ({'errors': [], 'id': 'a', 'index': 1, 'slot': 'lower', 'rows': ['a', 'b'], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'a', 'index': 1, 'slot': 'upper', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'b', 'index': 0, 'slot': 'upper', 'rows': [], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'b', 'index': 1, 'slot': 'upper', 'rows': [], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'gone', 'index': 1, 'slot': 'lower', 'rows': ['a', 'b'], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 0, 'slot': 'lower', 'rows': ['a', 'b'], 'error_revision': 2, 'revision': 2}, {'row-error': ['U'], 'slot-error': [], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': 'a', 'invalid-row-count': 2}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 1, 'slot': 'lower', 'rows': ['b'], 'error_revision': 1, 'revision': 2}, {'row-error': ['U'], 'slot-error': [], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [], 'first-invalid-row': 'b', 'invalid-row-count': 1}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'b', 'index': 0, 'slot': 'lower', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': ['L', 'B'], 'slot-error': ['L'], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': 'b', 'invalid-row-count': 1}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'b', 'index': 1, 'slot': 'lower', 'rows': [], 'error_revision': 1, 'revision': 2}, {'row-error': ['L', 'B'], 'slot-error': ['L'], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0})], 4: [({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 0, 'slot': 'lower', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': ['U'], 'slot-error': [], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': 'b', 'invalid-row-count': 1}), ({'errors': [], 'id': 'a', 'index': 1, 'slot': 'upper', 'rows': ['a', 'b'], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'b', 'index': 0, 'slot': 'lower', 'rows': [], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'b', 'index': 1, 'slot': 'lower', 'rows': [], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'gone', 'index': 0, 'slot': 'upper', 'rows': ['a', 'b'], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'gone', 'index': 1, 'slot': 'upper', 'rows': ['a', 'b'], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 0, 'slot': 'upper', 'rows': ['b'], 'error_revision': 1, 'revision': 2}, {'row-error': ['U'], 'slot-error': ['U'], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [], 'first-invalid-row': 'b', 'invalid-row-count': 1}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 1, 'slot': 'upper', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': ['U'], 'slot-error': ['U'], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': 'b', 'invalid-row-count': 1}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'b', 'index': 0, 'slot': 'upper', 'rows': [], 'error_revision': 1, 'revision': 2}, {'row-error': ['L', 'B'], 'slot-error': ['B'], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'b', 'index': 1, 'slot': 'upper', 'rows': [], 'error_revision': 2, 'revision': 2}, {'row-error': ['L', 'B'], 'slot-error': ['B'], 'removed-row-errors': [], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': None, 'invalid-row-count': 0})], 5: [({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 0, 'slot': 'lower', 'rows': [], 'error_revision': 1, 'revision': 2}, {'row-error': ['U'], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'a', 'index': 1, 'slot': 'upper', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'b', 'index': 0, 'slot': 'upper', 'rows': [], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'gone', 'index': 0, 'slot': 'lower', 'rows': ['a', 'b'], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'gone', 'index': 1, 'slot': 'lower', 'rows': ['a', 'b'], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 0, 'slot': 'lower', 'rows': ['b'], 'error_revision': 1, 'revision': 2}, {'row-error': ['U'], 'slot-error': [], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [], 'first-invalid-row': 'b', 'invalid-row-count': 1}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 1, 'slot': 'lower', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': ['U'], 'slot-error': [], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': 'b', 'invalid-row-count': 1}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'b', 'index': 0, 'slot': 'lower', 'rows': [], 'error_revision': 1, 'revision': 2}, {'row-error': ['L', 'B'], 'slot-error': ['L'], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'b', 'index': 1, 'slot': 'lower', 'rows': [], 'error_revision': 2, 'revision': 2}, {'row-error': ['L', 'B'], 'slot-error': ['L'], 'removed-row-errors': [], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'gone', 'index': 0, 'slot': 'upper', 'rows': ['a', 'b'], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [], 'first-invalid-row': 'a', 'invalid-row-count': 2})]}
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{'first-invalid-row': 'a', 'invalid-row-count': 3, 'removed-row-errors': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'a', 'message': 'U', 'slot': 'upper'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'row-error': ['U'], 'server-error-revision': [], 'slot-error': []}{'first-invalid-row': 'a', 'invalid-row-count': 2, 'removed-row-errors': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'a', 'message': 'U', 'slot': 'upper'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'row-error': ['U'], 'server-error-revision': [], 'slot-error': []}Failed
contract fixture 1{'first-invalid-row': None, 'invalid-row-count': 0, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}{'first-invalid-row': None, 'invalid-row-count': 0, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}Passed
contract fixture 2{'first-invalid-row': None, 'invalid-row-count': 0, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}{'first-invalid-row': None, 'invalid-row-count': 0, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}Passed
contract fixture 3{'first-invalid-row': None, 'invalid-row-count': 0, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}{'first-invalid-row': None, 'invalid-row-count': 0, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}Passed
contract fixture 4{'first-invalid-row': None, 'invalid-row-count': 0, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}{'first-invalid-row': None, 'invalid-row-count': 0, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}Passed
contract fixture 5{'first-invalid-row': None, 'invalid-row-count': 0, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}{'first-invalid-row': None, 'invalid-row-count': 0, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}Passed
contract fixture 6{'first-invalid-row': None, 'invalid-row-count': 0, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}{'first-invalid-row': None, 'invalid-row-count': 0, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}Passed
contract fixture 7{'first-invalid-row': 'a', 'invalid-row-count': 3, 'removed-row-errors': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'a', 'message': 'U', 'slot': 'upper'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'row-error': ['U'], 'server-error-revision': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'a', 'message': 'U', 'slot': 'upper'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'slot-error': []}{'first-invalid-row': 'a', 'invalid-row-count': 2, 'removed-row-errors': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'a', 'message': 'U', 'slot': 'upper'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'row-error': ['U'], 'server-error-revision': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'a', 'message': 'U', 'slot': 'upper'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'slot-error': []}Failed
contract fixture 8{'first-invalid-row': 'b', 'invalid-row-count': 3, 'removed-row-errors': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'row-error': ['L', 'B'], 'server-error-revision': [], 'slot-error': ['L']}{'first-invalid-row': 'b', 'invalid-row-count': 1, 'removed-row-errors': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'row-error': ['L', 'B'], 'server-error-revision': [], 'slot-error': ['L']}Failed
contract fixture 9{'first-invalid-row': 'b', 'invalid-row-count': 3, 'removed-row-errors': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'row-error': ['L', 'B'], 'server-error-revision': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'a', 'message': 'U', 'slot': 'upper'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'slot-error': ['L']}{'first-invalid-row': 'b', 'invalid-row-count': 1, 'removed-row-errors': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'row-error': ['L', 'B'], 'server-error-revision': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'a', 'message': 'U', 'slot': 'upper'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'slot-error': ['L']}Failed

SHA-256 / 97bc0a2a45fbf010b226c58d4c218552cb8570c27268b1256c0b54a060f46ac9

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(d):
    return {'row-error':([e['message'] for e in d['errors'] if e['id']==d['id']]), 'slot-error':([e['message'] for e in d['errors'] if e['id']==d['id'] and e['slot']==d['slot']]), 'removed-row-errors':([e for e in d['errors'] if e['id'] in d['rows']]), 'server-error-revision':(d['errors'] if d['error_revision']==d['revision'] else []), 'first-invalid-row':(next((row for row in d['rows'] if any(e['id']==row for e in d['errors'])),None)), 'invalid-row-count':(len(d['rows']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 0, 'slot': 'lower', 'rows': ['a', 'b'], 'error_revision': 1, 'revision': 2}, {'row-error': ['U'], 'slot-error': [], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [], 'first-invalid-row': 'a', 'invalid-row-count': 2}), ({'errors': [], 'id': 'a', 'index': 0, 'slot': 'lower', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'a', 'index': 0, 'slot': 'upper', 'rows': ['a', 'b'], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'a', 'index': 1, 'slot': 'upper', 'rows': ['b'], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'b', 'index': 0, 'slot': 'upper', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'b', 'index': 1, 'slot': 'upper', 'rows': [], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'gone', 'index': 0, 'slot': 'upper', 'rows': [], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 1, 'slot': 'lower', 'rows': ['a', 'b'], 'error_revision': 2, 'revision': 2}, {'row-error': ['U'], 'slot-error': [], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': 'a', 'invalid-row-count': 2}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'b', 'index': 0, 'slot': 'lower', 'rows': ['b'], 'error_revision': 1, 'revision': 2}, {'row-error': ['L', 'B'], 'slot-error': ['L'], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [], 'first-invalid-row': 'b', 'invalid-row-count': 1}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'b', 'index': 1, 'slot': 'lower', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': ['L', 'B'], 'slot-error': ['L'], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': 'b', 'invalid-row-count': 1})], 2: [({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 0, 'slot': 'lower', 'rows': ['a', 'b'], 'error_revision': 2, 'revision': 2}, {'row-error': ['U'], 'slot-error': [], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': 'a', 'invalid-row-count': 2}), ({'errors': [], 'id': 'a', 'index': 0, 'slot': 'upper', 'rows': ['b'], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'a', 'index': 1, 'slot': 'lower', 'rows': ['b'], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'b', 'index': 0, 'slot': 'lower', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'b', 'index': 1, 'slot': 'lower', 'rows': [], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'gone', 'index': 0, 'slot': 'lower', 'rows': [], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'gone', 'index': 1, 'slot': 'upper', 'rows': ['a', 'b'], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 0, 'slot': 'upper', 'rows': ['a', 'b'], 'error_revision': 2, 'revision': 2}, {'row-error': ['U'], 'slot-error': ['U'], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': 'a', 'invalid-row-count': 2}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 1, 'slot': 'upper', 'rows': ['b'], 'error_revision': 1, 'revision': 2}, {'row-error': ['U'], 'slot-error': ['U'], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [], 'first-invalid-row': 'b', 'invalid-row-count': 1}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'b', 'index': 0, 'slot': 'upper', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': ['L', 'B'], 'slot-error': ['B'], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': 'b', 'invalid-row-count': 1})], 3: [({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 0, 'slot': 'lower', 'rows': ['b'], 'error_revision': 1, 'revision': 2}, {'row-error': ['U'], 'slot-error': [], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [], 'first-invalid-row': 'b', 'invalid-row-count': 1}), ({'errors': [], 'id': 'a', 'index': 1, 'slot': 'lower', 'rows': ['a', 'b'], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'a', 'index': 1, 'slot': 'upper', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'b', 'index': 0, 'slot': 'upper', 'rows': [], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'b', 'index': 1, 'slot': 'upper', 'rows': [], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'gone', 'index': 1, 'slot': 'lower', 'rows': ['a', 'b'], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 0, 'slot': 'lower', 'rows': ['a', 'b'], 'error_revision': 2, 'revision': 2}, {'row-error': ['U'], 'slot-error': [], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': 'a', 'invalid-row-count': 2}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 1, 'slot': 'lower', 'rows': ['b'], 'error_revision': 1, 'revision': 2}, {'row-error': ['U'], 'slot-error': [], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [], 'first-invalid-row': 'b', 'invalid-row-count': 1}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'b', 'index': 0, 'slot': 'lower', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': ['L', 'B'], 'slot-error': ['L'], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': 'b', 'invalid-row-count': 1}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'b', 'index': 1, 'slot': 'lower', 'rows': [], 'error_revision': 1, 'revision': 2}, {'row-error': ['L', 'B'], 'slot-error': ['L'], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0})], 4: [({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 0, 'slot': 'lower', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': ['U'], 'slot-error': [], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': 'b', 'invalid-row-count': 1}), ({'errors': [], 'id': 'a', 'index': 1, 'slot': 'upper', 'rows': ['a', 'b'], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'b', 'index': 0, 'slot': 'lower', 'rows': [], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'b', 'index': 1, 'slot': 'lower', 'rows': [], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'gone', 'index': 0, 'slot': 'upper', 'rows': ['a', 'b'], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'gone', 'index': 1, 'slot': 'upper', 'rows': ['a', 'b'], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 0, 'slot': 'upper', 'rows': ['b'], 'error_revision': 1, 'revision': 2}, {'row-error': ['U'], 'slot-error': ['U'], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [], 'first-invalid-row': 'b', 'invalid-row-count': 1}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 1, 'slot': 'upper', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': ['U'], 'slot-error': ['U'], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': 'b', 'invalid-row-count': 1}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'b', 'index': 0, 'slot': 'upper', 'rows': [], 'error_revision': 1, 'revision': 2}, {'row-error': ['L', 'B'], 'slot-error': ['B'], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'b', 'index': 1, 'slot': 'upper', 'rows': [], 'error_revision': 2, 'revision': 2}, {'row-error': ['L', 'B'], 'slot-error': ['B'], 'removed-row-errors': [], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': None, 'invalid-row-count': 0})], 5: [({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 0, 'slot': 'lower', 'rows': [], 'error_revision': 1, 'revision': 2}, {'row-error': ['U'], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'a', 'index': 1, 'slot': 'upper', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'b', 'index': 0, 'slot': 'upper', 'rows': [], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'gone', 'index': 0, 'slot': 'lower', 'rows': ['a', 'b'], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [], 'id': 'gone', 'index': 1, 'slot': 'lower', 'rows': ['a', 'b'], 'error_revision': 2, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 0, 'slot': 'lower', 'rows': ['b'], 'error_revision': 1, 'revision': 2}, {'row-error': ['U'], 'slot-error': [], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [], 'first-invalid-row': 'b', 'invalid-row-count': 1}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'a', 'index': 1, 'slot': 'lower', 'rows': ['b'], 'error_revision': 2, 'revision': 2}, {'row-error': ['U'], 'slot-error': [], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': 'b', 'invalid-row-count': 1}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'b', 'index': 0, 'slot': 'lower', 'rows': [], 'error_revision': 1, 'revision': 2}, {'row-error': ['L', 'B'], 'slot-error': ['L'], 'removed-row-errors': [], 'server-error-revision': [], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'b', 'index': 1, 'slot': 'lower', 'rows': [], 'error_revision': 2, 'revision': 2}, {'row-error': ['L', 'B'], 'slot-error': ['L'], 'removed-row-errors': [], 'server-error-revision': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'first-invalid-row': None, 'invalid-row-count': 0}), ({'errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'id': 'gone', 'index': 0, 'slot': 'upper', 'rows': ['a', 'b'], 'error_revision': 1, 'revision': 2}, {'row-error': [], 'slot-error': [], 'removed-row-errors': [{'id': 'b', 'slot': 'lower', 'message': 'L'}, {'id': 'a', 'slot': 'upper', 'message': 'U'}, {'id': 'b', 'slot': 'upper', 'message': 'B'}], 'server-error-revision': [], 'first-invalid-row': 'a', 'invalid-row-count': 2})]}
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{'first-invalid-row': 'a', 'invalid-row-count': 2, 'removed-row-errors': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'a', 'message': 'U', 'slot': 'upper'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'row-error': ['U'], 'server-error-revision': [], 'slot-error': []}{'first-invalid-row': 'a', 'invalid-row-count': 2, 'removed-row-errors': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'a', 'message': 'U', 'slot': 'upper'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'row-error': ['U'], 'server-error-revision': [], 'slot-error': []}Passed
contract fixture 1{'first-invalid-row': None, 'invalid-row-count': 1, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}{'first-invalid-row': None, 'invalid-row-count': 0, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}Failed
contract fixture 2{'first-invalid-row': None, 'invalid-row-count': 2, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}{'first-invalid-row': None, 'invalid-row-count': 0, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}Failed
contract fixture 3{'first-invalid-row': None, 'invalid-row-count': 1, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}{'first-invalid-row': None, 'invalid-row-count': 0, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}Failed
contract fixture 4{'first-invalid-row': None, 'invalid-row-count': 1, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}{'first-invalid-row': None, 'invalid-row-count': 0, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}Failed
contract fixture 5{'first-invalid-row': None, 'invalid-row-count': 0, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}{'first-invalid-row': None, 'invalid-row-count': 0, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}Passed
contract fixture 6{'first-invalid-row': None, 'invalid-row-count': 0, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}{'first-invalid-row': None, 'invalid-row-count': 0, 'removed-row-errors': [], 'row-error': [], 'server-error-revision': [], 'slot-error': []}Passed
contract fixture 7{'first-invalid-row': 'a', 'invalid-row-count': 2, 'removed-row-errors': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'a', 'message': 'U', 'slot': 'upper'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'row-error': ['U'], 'server-error-revision': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'a', 'message': 'U', 'slot': 'upper'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'slot-error': []}{'first-invalid-row': 'a', 'invalid-row-count': 2, 'removed-row-errors': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'a', 'message': 'U', 'slot': 'upper'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'row-error': ['U'], 'server-error-revision': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'a', 'message': 'U', 'slot': 'upper'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'slot-error': []}Passed
contract fixture 8{'first-invalid-row': 'b', 'invalid-row-count': 1, 'removed-row-errors': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'row-error': ['L', 'B'], 'server-error-revision': [], 'slot-error': ['L']}{'first-invalid-row': 'b', 'invalid-row-count': 1, 'removed-row-errors': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'row-error': ['L', 'B'], 'server-error-revision': [], 'slot-error': ['L']}Passed
contract fixture 9{'first-invalid-row': 'b', 'invalid-row-count': 1, 'removed-row-errors': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'row-error': ['L', 'B'], 'server-error-revision': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'a', 'message': 'U', 'slot': 'upper'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'slot-error': ['L']}{'first-invalid-row': 'b', 'invalid-row-count': 1, 'removed-row-errors': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'row-error': ['L', 'B'], 'server-error-revision': [{'id': 'b', 'message': 'L', 'slot': 'lower'}, {'id': 'a', 'message': 'U', 'slot': 'upper'}, {'id': 'b', 'message': 'B', 'slot': 'upper'}], 'slot-error': ['L']}Passed

SHA-256 / 2f2f8df431691e5f32dad0efe37ddbe32ef70d9826a4b591cb94edd2db08a700

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

Case digest / 01731706dde138bb7d3c6d43bab3d00e6d20dd73721fe1280b81d3d0f64b8b0b