FAILURE MAP
← Case archive

FA-37801 / Table interactions / Open access

Table export projection: selected view intersection · case 01

The table selected view intersection result violates the stipulated table export projection contract.

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

ROOT CAUSE

The selected view intersection decision uses 'ids=[k for k in by if k in selected]' instead of 'ids=[k for k in ids if k in selected]'.

VERIFIED REPAIR

Apply the complete selected view intersection rule: ids=[k for k in ids if k in selected].

Unsuccessful approach: The attempted repair 'ids=list(ids)' still loses a required part of the table contract.

Case contract

Exports distinguish all source rows from current view rows and selected view rows; preserve view/schema order, omit forbidden columns, optionally include hidden columns, distinguish raw/display values with fallback, and disambiguate duplicate human labels in encounter order.

Why this case matters

An offline table UI model isolates table export projection, including adversarial row/column relationships.

1 / The failure

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

N = 1
observations = []
def solve(rows, columns, view_ids, scope, hidden, include_hidden, selected, values):
    by={r['id']:r for r in rows}
    ids=[r['id'] for r in rows] if scope=='all' else [k for k in view_ids if k in by]
    if scope=='selected': ids=[k for k in by if k in selected]
    cols=[c for c in columns if c.get('export',True) and (include_hidden or c['id'] not in hidden)]
    labels=[]; counts={}
    for c in cols:
        label=c['label']; counts[label]=counts.get(label,0)+1
        labels.append(label if counts[label]==1 else label+' ('+str(counts[label])+')')
    records=[]
    for key in ids:
        r=by[key]
        records.append([r.get('_formatted',{}).get(c['id'],r.get(c['id'])) if values=='display' else r.get(c['id']) for c in cols])
    return {'columns':[c['id'] for c in cols],'labels':labels,'records':records,'row_ids':ids,'scope':scope}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
if N == 1:
    check('filtered view display', solve([{'id':'a','z':1,'b':2,'_formatted':{'z':'one'}},{'id':'b','z':3,'b':4},{'id':'c','z':5,'b':6}], [{'id':'z','label':'Value'},{'id':'b','label':'Value'}], ['b','a','gone'], 'view', [], False, [], 'display'), {'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'})
    check('selected on view', solve([{'id':'a','z':1},{'id':'b','z':2},{'id':'c','z':3}], [{'id':'z','label':'Z'}], ['b','a'], 'selected', [], False, ['a','c'], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1]], 'row_ids': ['a'], 'scope': 'selected'})
    check('all records', solve([{'id':'a','z':1},{'id':'b','z':2}], [{'id':'z','label':'Z'}], ['b'], 'all', [], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'})
    check('hidden requested', solve([{'id':'a','z':1,'b':2,'p':3}], [{'id':'z','label':'Z'},{'id':'b','label':'B'},{'id':'p','label':'Private','export':False}], ['a'], 'view', ['b'], True, [], 'raw'), {'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'})
    check('hidden omitted raw', solve([{'id':'a','z':0,'b':2,'_formatted':{'z':'zero'}}], [{'id':'z','label':'Z'},{'id':'b','label':'B'}], ['a'], 'view', ['b'], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'})
    check('no rows', solve([], [{'id':'z','label':'Z'}], [], 'view', [], False, [], 'display'), {'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'})

if N == 2:
    check('filtered view display', solve([{'id':'a','z':2,'b':2,'_formatted':{'z':'one'}},{'id':'b','z':3,'b':4},{'id':'c','z':5,'b':6}], [{'id':'z','label':'Value'},{'id':'b','label':'Value'}], ['b','a','gone'], 'view', [], False, [], 'display'), {'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'})
    check('selected on view', solve([{'id':'a','z':1},{'id':'b','z':2},{'id':'c','z':3}], [{'id':'z','label':'Z'}], ['b','a'], 'selected', [], False, ['a','c'], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1]], 'row_ids': ['a'], 'scope': 'selected'})
    check('all records', solve([{'id':'a','z':1},{'id':'b','z':2}], [{'id':'z','label':'Z'}], ['b'], 'all', [], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'})
    check('hidden requested', solve([{'id':'a','z':1,'b':2,'p':3}], [{'id':'z','label':'Z'},{'id':'b','label':'B'},{'id':'p','label':'Private','export':False}], ['a'], 'view', ['b'], True, [], 'raw'), {'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'})
    check('hidden omitted raw', solve([{'id':'a','z':0,'b':2,'_formatted':{'z':'zero'}}], [{'id':'z','label':'Z'},{'id':'b','label':'B'}], ['a'], 'view', ['b'], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'})
    check('no rows', solve([], [{'id':'z','label':'Z'}], [], 'view', [], False, [], 'display'), {'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'})

if N == 3:
    check('filtered view display', solve([{'id':'a','z':3,'b':2,'_formatted':{'z':'one'}},{'id':'b','z':3,'b':4},{'id':'c','z':5,'b':6}], [{'id':'z','label':'Value'},{'id':'b','label':'Value'}], ['b','a','gone'], 'view', [], False, [], 'display'), {'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'})
    check('selected on view', solve([{'id':'a','z':1},{'id':'b','z':2},{'id':'c','z':3}], [{'id':'z','label':'Z'}], ['b','a'], 'selected', [], False, ['a','c'], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1]], 'row_ids': ['a'], 'scope': 'selected'})
    check('all records', solve([{'id':'a','z':1},{'id':'b','z':2}], [{'id':'z','label':'Z'}], ['b'], 'all', [], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'})
    check('hidden requested', solve([{'id':'a','z':1,'b':2,'p':3}], [{'id':'z','label':'Z'},{'id':'b','label':'B'},{'id':'p','label':'Private','export':False}], ['a'], 'view', ['b'], True, [], 'raw'), {'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'})
    check('hidden omitted raw', solve([{'id':'a','z':0,'b':2,'_formatted':{'z':'zero'}}], [{'id':'z','label':'Z'},{'id':'b','label':'B'}], ['a'], 'view', ['b'], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'})
    check('no rows', solve([], [{'id':'z','label':'Z'}], [], 'view', [], False, [], 'display'), {'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'})

if N == 4:
    check('filtered view display', solve([{'id':'a','z':4,'b':2,'_formatted':{'z':'one'}},{'id':'b','z':3,'b':4},{'id':'c','z':5,'b':6}], [{'id':'z','label':'Value'},{'id':'b','label':'Value'}], ['b','a','gone'], 'view', [], False, [], 'display'), {'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'})
    check('selected on view', solve([{'id':'a','z':1},{'id':'b','z':2},{'id':'c','z':3}], [{'id':'z','label':'Z'}], ['b','a'], 'selected', [], False, ['a','c'], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1]], 'row_ids': ['a'], 'scope': 'selected'})
    check('all records', solve([{'id':'a','z':1},{'id':'b','z':2}], [{'id':'z','label':'Z'}], ['b'], 'all', [], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'})
    check('hidden requested', solve([{'id':'a','z':1,'b':2,'p':3}], [{'id':'z','label':'Z'},{'id':'b','label':'B'},{'id':'p','label':'Private','export':False}], ['a'], 'view', ['b'], True, [], 'raw'), {'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'})
    check('hidden omitted raw', solve([{'id':'a','z':0,'b':2,'_formatted':{'z':'zero'}}], [{'id':'z','label':'Z'},{'id':'b','label':'B'}], ['a'], 'view', ['b'], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'})
    check('no rows', solve([], [{'id':'z','label':'Z'}], [], 'view', [], False, [], 'display'), {'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'})

if N == 5:
    check('filtered view display', solve([{'id':'a','z':5,'b':2,'_formatted':{'z':'one'}},{'id':'b','z':3,'b':4},{'id':'c','z':5,'b':6}], [{'id':'z','label':'Value'},{'id':'b','label':'Value'}], ['b','a','gone'], 'view', [], False, [], 'display'), {'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'})
    check('selected on view', solve([{'id':'a','z':1},{'id':'b','z':2},{'id':'c','z':3}], [{'id':'z','label':'Z'}], ['b','a'], 'selected', [], False, ['a','c'], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1]], 'row_ids': ['a'], 'scope': 'selected'})
    check('all records', solve([{'id':'a','z':1},{'id':'b','z':2}], [{'id':'z','label':'Z'}], ['b'], 'all', [], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'})
    check('hidden requested', solve([{'id':'a','z':1,'b':2,'p':3}], [{'id':'z','label':'Z'},{'id':'b','label':'B'},{'id':'p','label':'Private','export':False}], ['a'], 'view', ['b'], True, [], 'raw'), {'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'})
    check('hidden omitted raw', solve([{'id':'a','z':0,'b':2,'_formatted':{'z':'zero'}}], [{'id':'z','label':'Z'},{'id':'b','label':'B'}], ['a'], 'view', ['b'], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'})
    check('no rows', solve([], [{'id':'z','label':'Z'}], [], 'view', [], False, [], 'display'), {'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'})

check('variant formatted export value', solve([{'id':'r','x':N,'_formatted':{'x':'value'+str(N)}}], [{'id':'x','label':'X'}], ['r'], 'view', [], False, [], 'display'), {'columns':['x'], 'labels':['X'], 'records':[['value'+str(N)]], 'row_ids':['r'], 'scope':'view'})
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
filtered view display{'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'}{'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'}Passed
selected on view{'columns': ['z'], 'labels': ['Z'], 'records': [[1], [3]], 'row_ids': ['a', 'c'], 'scope': 'selected'}{'columns': ['z'], 'labels': ['Z'], 'records': [[1]], 'row_ids': ['a'], 'scope': 'selected'}Failed
all records{'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'}{'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'}Passed
hidden requested{'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'}{'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'}Passed
hidden omitted raw{'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'}{'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'}Passed
no rows{'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'}{'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'}Passed
variant formatted export value{'columns': ['x'], 'labels': ['X'], 'records': [['value1']], 'row_ids': ['r'], 'scope': 'view'}{'columns': ['x'], 'labels': ['X'], 'records': [['value1']], 'row_ids': ['r'], 'scope': 'view'}Passed

SHA-256 / 54376d6173e9c47958910dbaf9a88d7bcebad1c440848f9ef66e092e050418b8

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(rows, columns, view_ids, scope, hidden, include_hidden, selected, values):
    by={r['id']:r for r in rows}
    ids=[r['id'] for r in rows] if scope=='all' else [k for k in view_ids if k in by]
    if scope=='selected': ids=list(ids)
    cols=[c for c in columns if c.get('export',True) and (include_hidden or c['id'] not in hidden)]
    labels=[]; counts={}
    for c in cols:
        label=c['label']; counts[label]=counts.get(label,0)+1
        labels.append(label if counts[label]==1 else label+' ('+str(counts[label])+')')
    records=[]
    for key in ids:
        r=by[key]
        records.append([r.get('_formatted',{}).get(c['id'],r.get(c['id'])) if values=='display' else r.get(c['id']) for c in cols])
    return {'columns':[c['id'] for c in cols],'labels':labels,'records':records,'row_ids':ids,'scope':scope}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
if N == 1:
    check('filtered view display', solve([{'id':'a','z':1,'b':2,'_formatted':{'z':'one'}},{'id':'b','z':3,'b':4},{'id':'c','z':5,'b':6}], [{'id':'z','label':'Value'},{'id':'b','label':'Value'}], ['b','a','gone'], 'view', [], False, [], 'display'), {'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'})
    check('selected on view', solve([{'id':'a','z':1},{'id':'b','z':2},{'id':'c','z':3}], [{'id':'z','label':'Z'}], ['b','a'], 'selected', [], False, ['a','c'], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1]], 'row_ids': ['a'], 'scope': 'selected'})
    check('all records', solve([{'id':'a','z':1},{'id':'b','z':2}], [{'id':'z','label':'Z'}], ['b'], 'all', [], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'})
    check('hidden requested', solve([{'id':'a','z':1,'b':2,'p':3}], [{'id':'z','label':'Z'},{'id':'b','label':'B'},{'id':'p','label':'Private','export':False}], ['a'], 'view', ['b'], True, [], 'raw'), {'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'})
    check('hidden omitted raw', solve([{'id':'a','z':0,'b':2,'_formatted':{'z':'zero'}}], [{'id':'z','label':'Z'},{'id':'b','label':'B'}], ['a'], 'view', ['b'], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'})
    check('no rows', solve([], [{'id':'z','label':'Z'}], [], 'view', [], False, [], 'display'), {'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'})

if N == 2:
    check('filtered view display', solve([{'id':'a','z':2,'b':2,'_formatted':{'z':'one'}},{'id':'b','z':3,'b':4},{'id':'c','z':5,'b':6}], [{'id':'z','label':'Value'},{'id':'b','label':'Value'}], ['b','a','gone'], 'view', [], False, [], 'display'), {'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'})
    check('selected on view', solve([{'id':'a','z':1},{'id':'b','z':2},{'id':'c','z':3}], [{'id':'z','label':'Z'}], ['b','a'], 'selected', [], False, ['a','c'], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1]], 'row_ids': ['a'], 'scope': 'selected'})
    check('all records', solve([{'id':'a','z':1},{'id':'b','z':2}], [{'id':'z','label':'Z'}], ['b'], 'all', [], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'})
    check('hidden requested', solve([{'id':'a','z':1,'b':2,'p':3}], [{'id':'z','label':'Z'},{'id':'b','label':'B'},{'id':'p','label':'Private','export':False}], ['a'], 'view', ['b'], True, [], 'raw'), {'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'})
    check('hidden omitted raw', solve([{'id':'a','z':0,'b':2,'_formatted':{'z':'zero'}}], [{'id':'z','label':'Z'},{'id':'b','label':'B'}], ['a'], 'view', ['b'], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'})
    check('no rows', solve([], [{'id':'z','label':'Z'}], [], 'view', [], False, [], 'display'), {'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'})

if N == 3:
    check('filtered view display', solve([{'id':'a','z':3,'b':2,'_formatted':{'z':'one'}},{'id':'b','z':3,'b':4},{'id':'c','z':5,'b':6}], [{'id':'z','label':'Value'},{'id':'b','label':'Value'}], ['b','a','gone'], 'view', [], False, [], 'display'), {'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'})
    check('selected on view', solve([{'id':'a','z':1},{'id':'b','z':2},{'id':'c','z':3}], [{'id':'z','label':'Z'}], ['b','a'], 'selected', [], False, ['a','c'], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1]], 'row_ids': ['a'], 'scope': 'selected'})
    check('all records', solve([{'id':'a','z':1},{'id':'b','z':2}], [{'id':'z','label':'Z'}], ['b'], 'all', [], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'})
    check('hidden requested', solve([{'id':'a','z':1,'b':2,'p':3}], [{'id':'z','label':'Z'},{'id':'b','label':'B'},{'id':'p','label':'Private','export':False}], ['a'], 'view', ['b'], True, [], 'raw'), {'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'})
    check('hidden omitted raw', solve([{'id':'a','z':0,'b':2,'_formatted':{'z':'zero'}}], [{'id':'z','label':'Z'},{'id':'b','label':'B'}], ['a'], 'view', ['b'], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'})
    check('no rows', solve([], [{'id':'z','label':'Z'}], [], 'view', [], False, [], 'display'), {'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'})

if N == 4:
    check('filtered view display', solve([{'id':'a','z':4,'b':2,'_formatted':{'z':'one'}},{'id':'b','z':3,'b':4},{'id':'c','z':5,'b':6}], [{'id':'z','label':'Value'},{'id':'b','label':'Value'}], ['b','a','gone'], 'view', [], False, [], 'display'), {'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'})
    check('selected on view', solve([{'id':'a','z':1},{'id':'b','z':2},{'id':'c','z':3}], [{'id':'z','label':'Z'}], ['b','a'], 'selected', [], False, ['a','c'], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1]], 'row_ids': ['a'], 'scope': 'selected'})
    check('all records', solve([{'id':'a','z':1},{'id':'b','z':2}], [{'id':'z','label':'Z'}], ['b'], 'all', [], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'})
    check('hidden requested', solve([{'id':'a','z':1,'b':2,'p':3}], [{'id':'z','label':'Z'},{'id':'b','label':'B'},{'id':'p','label':'Private','export':False}], ['a'], 'view', ['b'], True, [], 'raw'), {'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'})
    check('hidden omitted raw', solve([{'id':'a','z':0,'b':2,'_formatted':{'z':'zero'}}], [{'id':'z','label':'Z'},{'id':'b','label':'B'}], ['a'], 'view', ['b'], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'})
    check('no rows', solve([], [{'id':'z','label':'Z'}], [], 'view', [], False, [], 'display'), {'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'})

if N == 5:
    check('filtered view display', solve([{'id':'a','z':5,'b':2,'_formatted':{'z':'one'}},{'id':'b','z':3,'b':4},{'id':'c','z':5,'b':6}], [{'id':'z','label':'Value'},{'id':'b','label':'Value'}], ['b','a','gone'], 'view', [], False, [], 'display'), {'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'})
    check('selected on view', solve([{'id':'a','z':1},{'id':'b','z':2},{'id':'c','z':3}], [{'id':'z','label':'Z'}], ['b','a'], 'selected', [], False, ['a','c'], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1]], 'row_ids': ['a'], 'scope': 'selected'})
    check('all records', solve([{'id':'a','z':1},{'id':'b','z':2}], [{'id':'z','label':'Z'}], ['b'], 'all', [], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'})
    check('hidden requested', solve([{'id':'a','z':1,'b':2,'p':3}], [{'id':'z','label':'Z'},{'id':'b','label':'B'},{'id':'p','label':'Private','export':False}], ['a'], 'view', ['b'], True, [], 'raw'), {'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'})
    check('hidden omitted raw', solve([{'id':'a','z':0,'b':2,'_formatted':{'z':'zero'}}], [{'id':'z','label':'Z'},{'id':'b','label':'B'}], ['a'], 'view', ['b'], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'})
    check('no rows', solve([], [{'id':'z','label':'Z'}], [], 'view', [], False, [], 'display'), {'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'})

check('variant formatted export value', solve([{'id':'r','x':N,'_formatted':{'x':'value'+str(N)}}], [{'id':'x','label':'X'}], ['r'], 'view', [], False, [], 'display'), {'columns':['x'], 'labels':['X'], 'records':[['value'+str(N)]], 'row_ids':['r'], 'scope':'view'})
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
filtered view display{'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'}{'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'}Passed
selected on view{'columns': ['z'], 'labels': ['Z'], 'records': [[2], [1]], 'row_ids': ['b', 'a'], 'scope': 'selected'}{'columns': ['z'], 'labels': ['Z'], 'records': [[1]], 'row_ids': ['a'], 'scope': 'selected'}Failed
all records{'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'}{'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'}Passed
hidden requested{'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'}{'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'}Passed
hidden omitted raw{'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'}{'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'}Passed
no rows{'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'}{'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'}Passed
variant formatted export value{'columns': ['x'], 'labels': ['X'], 'records': [['value1']], 'row_ids': ['r'], 'scope': 'view'}{'columns': ['x'], 'labels': ['X'], 'records': [['value1']], 'row_ids': ['r'], 'scope': 'view'}Passed

SHA-256 / b2b965ae5c4e668cfa111484877dde6bdcf4166222808dddc364fd1d5653d125

3 / The verified repair

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

N = 1
observations = []
def solve(rows, columns, view_ids, scope, hidden, include_hidden, selected, values):
    by={r['id']:r for r in rows}
    ids=[r['id'] for r in rows] if scope=='all' else [k for k in view_ids if k in by]
    if scope=='selected': ids=[k for k in ids if k in selected]
    cols=[c for c in columns if c.get('export',True) and (include_hidden or c['id'] not in hidden)]
    labels=[]; counts={}
    for c in cols:
        label=c['label']; counts[label]=counts.get(label,0)+1
        labels.append(label if counts[label]==1 else label+' ('+str(counts[label])+')')
    records=[]
    for key in ids:
        r=by[key]
        records.append([r.get('_formatted',{}).get(c['id'],r.get(c['id'])) if values=='display' else r.get(c['id']) for c in cols])
    return {'columns':[c['id'] for c in cols],'labels':labels,'records':records,'row_ids':ids,'scope':scope}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
if N == 1:
    check('filtered view display', solve([{'id':'a','z':1,'b':2,'_formatted':{'z':'one'}},{'id':'b','z':3,'b':4},{'id':'c','z':5,'b':6}], [{'id':'z','label':'Value'},{'id':'b','label':'Value'}], ['b','a','gone'], 'view', [], False, [], 'display'), {'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'})
    check('selected on view', solve([{'id':'a','z':1},{'id':'b','z':2},{'id':'c','z':3}], [{'id':'z','label':'Z'}], ['b','a'], 'selected', [], False, ['a','c'], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1]], 'row_ids': ['a'], 'scope': 'selected'})
    check('all records', solve([{'id':'a','z':1},{'id':'b','z':2}], [{'id':'z','label':'Z'}], ['b'], 'all', [], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'})
    check('hidden requested', solve([{'id':'a','z':1,'b':2,'p':3}], [{'id':'z','label':'Z'},{'id':'b','label':'B'},{'id':'p','label':'Private','export':False}], ['a'], 'view', ['b'], True, [], 'raw'), {'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'})
    check('hidden omitted raw', solve([{'id':'a','z':0,'b':2,'_formatted':{'z':'zero'}}], [{'id':'z','label':'Z'},{'id':'b','label':'B'}], ['a'], 'view', ['b'], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'})
    check('no rows', solve([], [{'id':'z','label':'Z'}], [], 'view', [], False, [], 'display'), {'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'})

if N == 2:
    check('filtered view display', solve([{'id':'a','z':2,'b':2,'_formatted':{'z':'one'}},{'id':'b','z':3,'b':4},{'id':'c','z':5,'b':6}], [{'id':'z','label':'Value'},{'id':'b','label':'Value'}], ['b','a','gone'], 'view', [], False, [], 'display'), {'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'})
    check('selected on view', solve([{'id':'a','z':1},{'id':'b','z':2},{'id':'c','z':3}], [{'id':'z','label':'Z'}], ['b','a'], 'selected', [], False, ['a','c'], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1]], 'row_ids': ['a'], 'scope': 'selected'})
    check('all records', solve([{'id':'a','z':1},{'id':'b','z':2}], [{'id':'z','label':'Z'}], ['b'], 'all', [], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'})
    check('hidden requested', solve([{'id':'a','z':1,'b':2,'p':3}], [{'id':'z','label':'Z'},{'id':'b','label':'B'},{'id':'p','label':'Private','export':False}], ['a'], 'view', ['b'], True, [], 'raw'), {'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'})
    check('hidden omitted raw', solve([{'id':'a','z':0,'b':2,'_formatted':{'z':'zero'}}], [{'id':'z','label':'Z'},{'id':'b','label':'B'}], ['a'], 'view', ['b'], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'})
    check('no rows', solve([], [{'id':'z','label':'Z'}], [], 'view', [], False, [], 'display'), {'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'})

if N == 3:
    check('filtered view display', solve([{'id':'a','z':3,'b':2,'_formatted':{'z':'one'}},{'id':'b','z':3,'b':4},{'id':'c','z':5,'b':6}], [{'id':'z','label':'Value'},{'id':'b','label':'Value'}], ['b','a','gone'], 'view', [], False, [], 'display'), {'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'})
    check('selected on view', solve([{'id':'a','z':1},{'id':'b','z':2},{'id':'c','z':3}], [{'id':'z','label':'Z'}], ['b','a'], 'selected', [], False, ['a','c'], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1]], 'row_ids': ['a'], 'scope': 'selected'})
    check('all records', solve([{'id':'a','z':1},{'id':'b','z':2}], [{'id':'z','label':'Z'}], ['b'], 'all', [], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'})
    check('hidden requested', solve([{'id':'a','z':1,'b':2,'p':3}], [{'id':'z','label':'Z'},{'id':'b','label':'B'},{'id':'p','label':'Private','export':False}], ['a'], 'view', ['b'], True, [], 'raw'), {'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'})
    check('hidden omitted raw', solve([{'id':'a','z':0,'b':2,'_formatted':{'z':'zero'}}], [{'id':'z','label':'Z'},{'id':'b','label':'B'}], ['a'], 'view', ['b'], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'})
    check('no rows', solve([], [{'id':'z','label':'Z'}], [], 'view', [], False, [], 'display'), {'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'})

if N == 4:
    check('filtered view display', solve([{'id':'a','z':4,'b':2,'_formatted':{'z':'one'}},{'id':'b','z':3,'b':4},{'id':'c','z':5,'b':6}], [{'id':'z','label':'Value'},{'id':'b','label':'Value'}], ['b','a','gone'], 'view', [], False, [], 'display'), {'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'})
    check('selected on view', solve([{'id':'a','z':1},{'id':'b','z':2},{'id':'c','z':3}], [{'id':'z','label':'Z'}], ['b','a'], 'selected', [], False, ['a','c'], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1]], 'row_ids': ['a'], 'scope': 'selected'})
    check('all records', solve([{'id':'a','z':1},{'id':'b','z':2}], [{'id':'z','label':'Z'}], ['b'], 'all', [], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'})
    check('hidden requested', solve([{'id':'a','z':1,'b':2,'p':3}], [{'id':'z','label':'Z'},{'id':'b','label':'B'},{'id':'p','label':'Private','export':False}], ['a'], 'view', ['b'], True, [], 'raw'), {'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'})
    check('hidden omitted raw', solve([{'id':'a','z':0,'b':2,'_formatted':{'z':'zero'}}], [{'id':'z','label':'Z'},{'id':'b','label':'B'}], ['a'], 'view', ['b'], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'})
    check('no rows', solve([], [{'id':'z','label':'Z'}], [], 'view', [], False, [], 'display'), {'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'})

if N == 5:
    check('filtered view display', solve([{'id':'a','z':5,'b':2,'_formatted':{'z':'one'}},{'id':'b','z':3,'b':4},{'id':'c','z':5,'b':6}], [{'id':'z','label':'Value'},{'id':'b','label':'Value'}], ['b','a','gone'], 'view', [], False, [], 'display'), {'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'})
    check('selected on view', solve([{'id':'a','z':1},{'id':'b','z':2},{'id':'c','z':3}], [{'id':'z','label':'Z'}], ['b','a'], 'selected', [], False, ['a','c'], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1]], 'row_ids': ['a'], 'scope': 'selected'})
    check('all records', solve([{'id':'a','z':1},{'id':'b','z':2}], [{'id':'z','label':'Z'}], ['b'], 'all', [], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'})
    check('hidden requested', solve([{'id':'a','z':1,'b':2,'p':3}], [{'id':'z','label':'Z'},{'id':'b','label':'B'},{'id':'p','label':'Private','export':False}], ['a'], 'view', ['b'], True, [], 'raw'), {'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'})
    check('hidden omitted raw', solve([{'id':'a','z':0,'b':2,'_formatted':{'z':'zero'}}], [{'id':'z','label':'Z'},{'id':'b','label':'B'}], ['a'], 'view', ['b'], False, [], 'raw'), {'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'})
    check('no rows', solve([], [{'id':'z','label':'Z'}], [], 'view', [], False, [], 'display'), {'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'})

check('variant formatted export value', solve([{'id':'r','x':N,'_formatted':{'x':'value'+str(N)}}], [{'id':'x','label':'X'}], ['r'], 'view', [], False, [], 'display'), {'columns':['x'], 'labels':['X'], 'records':[['value'+str(N)]], 'row_ids':['r'], 'scope':'view'})
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
filtered view display{'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'}{'columns': ['z', 'b'], 'labels': ['Value', 'Value (2)'], 'records': [[3, 4], ['one', 2]], 'row_ids': ['b', 'a'], 'scope': 'view'}Passed
selected on view{'columns': ['z'], 'labels': ['Z'], 'records': [[1]], 'row_ids': ['a'], 'scope': 'selected'}{'columns': ['z'], 'labels': ['Z'], 'records': [[1]], 'row_ids': ['a'], 'scope': 'selected'}Passed
all records{'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'}{'columns': ['z'], 'labels': ['Z'], 'records': [[1], [2]], 'row_ids': ['a', 'b'], 'scope': 'all'}Passed
hidden requested{'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'}{'columns': ['z', 'b'], 'labels': ['Z', 'B'], 'records': [[1, 2]], 'row_ids': ['a'], 'scope': 'view'}Passed
hidden omitted raw{'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'}{'columns': ['z'], 'labels': ['Z'], 'records': [[0]], 'row_ids': ['a'], 'scope': 'view'}Passed
no rows{'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'}{'columns': ['z'], 'labels': ['Z'], 'records': [], 'row_ids': [], 'scope': 'view'}Passed
variant formatted export value{'columns': ['x'], 'labels': ['X'], 'records': [['value1']], 'row_ids': ['r'], 'scope': 'view'}{'columns': ['x'], 'labels': ['X'], 'records': [['value1']], 'row_ids': ['r'], 'scope': 'view'}Passed

SHA-256 / 8e6b22ecd0acc764321d4d71788606d34c3904fc2fd18f65ffb5dc78642e369b

Verification & scope

Source row and schema IDs are unique; this models export projection, not an actual CSV/XLSX writer. Deterministic offline table UI model; no browser, DOM, framework, or standards 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:43:04.774473+00:00.

Case digest / b36ca0d20ed46f1671c261337483ba7f90ab41081b7e58aa575ca4e0c5c4eb7f