FA-37621 / Table interactions / Open access

Remote table page response admission: server total · case 01

The table server total result violates the stipulated remote table page response admission contract.

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

ROOT CAUSE

The server total decision uses "out['total']=len(ids)" instead of "out['total']=response['total']".

VERIFIED REPAIR

Apply the complete server total rule: out['total']=response['total'].

Unsuccessful approach: The attempted repair "out['total']=max(state['total'],response['total'])" still loses a required part of the table contract.

Case contract

Admit remote table pages only for the exact request/query/offset. Errors retain displayed rows, duplicate row IDs retain first placement and last payload, successful totals may shrink, loading and old errors clear, and only explicit server deletions prune cross-page selection.

Why this case matters

An offline table UI model isolates remote table page response admission, 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(state, response):
    out=dict(state)
    if response['request']!=state['request']: return out
    if response['query']!=state['query']: return out
    if response['offset']!=state['offset']: return out
    if response.get('error') is not None:
        out.update(loading=False,error=response['error']); return out
    ids=[]; by={}
    for row in response['rows']:
        if row['id'] not in by: ids.append(row['id'])
        by[row['id']]=row
    out['rows']=[by[k] for k in ids]
    out['total']=len(ids)
    out['loading']=False; out['error']=None
    out['has_next']=response['offset']+len(ids)<response['total']
    out['selected']=[k for k in state['selected'] if k not in response.get('deleted',[])]
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
if N == 1:
    check('fresh deduped page', solve({'request':2,'query':'q','offset':2,'rows':[{'id':'old'}],'total':20,'loading':True,'error':'old error','selected':['a','off','gone']}, {'request':2,'query':'q','offset':2,'rows':[{'id':'a','v':1},{'id':'b','v':1},{'id':'a','v':3}],'total':4,'deleted':['gone']}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 1}], 'total': 4, 'loading': False, 'error': None, 'selected': ['a', 'off'], 'has_next': False})
    check('late request', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':1,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old query', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'old','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old offset', solve({'request':2,'query':'q','offset':2,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('error retains page', solve({'request':2,'query':'q','offset':0,'rows':[{'id':'old'}],'total':1,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0,'error':'failed'}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [{'id': 'old'}], 'total': 1, 'loading': False, 'error': 'failed', 'selected': []})
    check('empty final page', solve({'request':2,'query':'q','offset':0,'rows':[],'total':2,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': False, 'error': None, 'selected': [], 'has_next': False})

if N == 2:
    check('fresh deduped page', solve({'request':2,'query':'q','offset':2,'rows':[{'id':'old'}],'total':20,'loading':True,'error':'old error','selected':['a','off','gone']}, {'request':2,'query':'q','offset':2,'rows':[{'id':'a','v':1},{'id':'b','v':2},{'id':'a','v':3}],'total':4,'deleted':['gone']}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 2}], 'total': 4, 'loading': False, 'error': None, 'selected': ['a', 'off'], 'has_next': False})
    check('late request', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':1,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old query', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'old','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old offset', solve({'request':2,'query':'q','offset':2,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('error retains page', solve({'request':2,'query':'q','offset':0,'rows':[{'id':'old'}],'total':1,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0,'error':'failed'}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [{'id': 'old'}], 'total': 1, 'loading': False, 'error': 'failed', 'selected': []})
    check('empty final page', solve({'request':2,'query':'q','offset':0,'rows':[],'total':2,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': False, 'error': None, 'selected': [], 'has_next': False})

if N == 3:
    check('fresh deduped page', solve({'request':2,'query':'q','offset':2,'rows':[{'id':'old'}],'total':20,'loading':True,'error':'old error','selected':['a','off','gone']}, {'request':2,'query':'q','offset':2,'rows':[{'id':'a','v':1},{'id':'b','v':3},{'id':'a','v':3}],'total':4,'deleted':['gone']}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 3}], 'total': 4, 'loading': False, 'error': None, 'selected': ['a', 'off'], 'has_next': False})
    check('late request', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':1,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old query', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'old','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old offset', solve({'request':2,'query':'q','offset':2,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('error retains page', solve({'request':2,'query':'q','offset':0,'rows':[{'id':'old'}],'total':1,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0,'error':'failed'}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [{'id': 'old'}], 'total': 1, 'loading': False, 'error': 'failed', 'selected': []})
    check('empty final page', solve({'request':2,'query':'q','offset':0,'rows':[],'total':2,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': False, 'error': None, 'selected': [], 'has_next': False})

if N == 4:
    check('fresh deduped page', solve({'request':2,'query':'q','offset':2,'rows':[{'id':'old'}],'total':20,'loading':True,'error':'old error','selected':['a','off','gone']}, {'request':2,'query':'q','offset':2,'rows':[{'id':'a','v':1},{'id':'b','v':4},{'id':'a','v':3}],'total':4,'deleted':['gone']}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 4}], 'total': 4, 'loading': False, 'error': None, 'selected': ['a', 'off'], 'has_next': False})
    check('late request', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':1,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old query', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'old','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old offset', solve({'request':2,'query':'q','offset':2,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('error retains page', solve({'request':2,'query':'q','offset':0,'rows':[{'id':'old'}],'total':1,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0,'error':'failed'}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [{'id': 'old'}], 'total': 1, 'loading': False, 'error': 'failed', 'selected': []})
    check('empty final page', solve({'request':2,'query':'q','offset':0,'rows':[],'total':2,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': False, 'error': None, 'selected': [], 'has_next': False})

if N == 5:
    check('fresh deduped page', solve({'request':2,'query':'q','offset':2,'rows':[{'id':'old'}],'total':20,'loading':True,'error':'old error','selected':['a','off','gone']}, {'request':2,'query':'q','offset':2,'rows':[{'id':'a','v':1},{'id':'b','v':5},{'id':'a','v':3}],'total':4,'deleted':['gone']}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 5}], 'total': 4, 'loading': False, 'error': None, 'selected': ['a', 'off'], 'has_next': False})
    check('late request', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':1,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old query', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'old','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old offset', solve({'request':2,'query':'q','offset':2,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('error retains page', solve({'request':2,'query':'q','offset':0,'rows':[{'id':'old'}],'total':1,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0,'error':'failed'}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [{'id': 'old'}], 'total': 1, 'loading': False, 'error': 'failed', 'selected': []})
    check('empty final page', solve({'request':2,'query':'q','offset':0,'rows':[],'total':2,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': False, 'error': None, 'selected': [], 'has_next': False})

print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
fresh deduped page	`{'error': None, 'has_next': False, 'loading': False, 'offset': 2, 'query': 'q', 'request': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 1}], 'selected': ['a', 'off'], 'total': 2}`	`{'error': None, 'has_next': False, 'loading': False, 'offset': 2, 'query': 'q', 'request': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 1}], 'selected': ['a', 'off'], 'total': 4}`	Failed
late request	`{'error': None, 'loading': True, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	`{'error': None, 'loading': True, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	Passed
old query	`{'error': None, 'loading': True, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	`{'error': None, 'loading': True, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	Passed
old offset	`{'error': None, 'loading': True, 'offset': 2, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	`{'error': None, 'loading': True, 'offset': 2, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	Passed
error retains page	`{'error': 'failed', 'loading': False, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [{'id': 'old'}], 'selected': [], 'total': 1}`	`{'error': 'failed', 'loading': False, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [{'id': 'old'}], 'selected': [], 'total': 1}`	Passed
empty final page	`{'error': None, 'has_next': False, 'loading': False, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	`{'error': None, 'has_next': False, 'loading': False, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	Passed

SHA-256 / 606d49cc1a95decd22e016d1f3639f627526d899d7ca9ed674e6bcf50f8f0022

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(state, response):
    out=dict(state)
    if response['request']!=state['request']: return out
    if response['query']!=state['query']: return out
    if response['offset']!=state['offset']: return out
    if response.get('error') is not None:
        out.update(loading=False,error=response['error']); return out
    ids=[]; by={}
    for row in response['rows']:
        if row['id'] not in by: ids.append(row['id'])
        by[row['id']]=row
    out['rows']=[by[k] for k in ids]
    out['total']=max(state['total'],response['total'])
    out['loading']=False; out['error']=None
    out['has_next']=response['offset']+len(ids)<response['total']
    out['selected']=[k for k in state['selected'] if k not in response.get('deleted',[])]
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
if N == 1:
    check('fresh deduped page', solve({'request':2,'query':'q','offset':2,'rows':[{'id':'old'}],'total':20,'loading':True,'error':'old error','selected':['a','off','gone']}, {'request':2,'query':'q','offset':2,'rows':[{'id':'a','v':1},{'id':'b','v':1},{'id':'a','v':3}],'total':4,'deleted':['gone']}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 1}], 'total': 4, 'loading': False, 'error': None, 'selected': ['a', 'off'], 'has_next': False})
    check('late request', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':1,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old query', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'old','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old offset', solve({'request':2,'query':'q','offset':2,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('error retains page', solve({'request':2,'query':'q','offset':0,'rows':[{'id':'old'}],'total':1,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0,'error':'failed'}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [{'id': 'old'}], 'total': 1, 'loading': False, 'error': 'failed', 'selected': []})
    check('empty final page', solve({'request':2,'query':'q','offset':0,'rows':[],'total':2,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': False, 'error': None, 'selected': [], 'has_next': False})

if N == 2:
    check('fresh deduped page', solve({'request':2,'query':'q','offset':2,'rows':[{'id':'old'}],'total':20,'loading':True,'error':'old error','selected':['a','off','gone']}, {'request':2,'query':'q','offset':2,'rows':[{'id':'a','v':1},{'id':'b','v':2},{'id':'a','v':3}],'total':4,'deleted':['gone']}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 2}], 'total': 4, 'loading': False, 'error': None, 'selected': ['a', 'off'], 'has_next': False})
    check('late request', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':1,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old query', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'old','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old offset', solve({'request':2,'query':'q','offset':2,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('error retains page', solve({'request':2,'query':'q','offset':0,'rows':[{'id':'old'}],'total':1,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0,'error':'failed'}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [{'id': 'old'}], 'total': 1, 'loading': False, 'error': 'failed', 'selected': []})
    check('empty final page', solve({'request':2,'query':'q','offset':0,'rows':[],'total':2,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': False, 'error': None, 'selected': [], 'has_next': False})

if N == 3:
    check('fresh deduped page', solve({'request':2,'query':'q','offset':2,'rows':[{'id':'old'}],'total':20,'loading':True,'error':'old error','selected':['a','off','gone']}, {'request':2,'query':'q','offset':2,'rows':[{'id':'a','v':1},{'id':'b','v':3},{'id':'a','v':3}],'total':4,'deleted':['gone']}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 3}], 'total': 4, 'loading': False, 'error': None, 'selected': ['a', 'off'], 'has_next': False})
    check('late request', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':1,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old query', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'old','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old offset', solve({'request':2,'query':'q','offset':2,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('error retains page', solve({'request':2,'query':'q','offset':0,'rows':[{'id':'old'}],'total':1,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0,'error':'failed'}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [{'id': 'old'}], 'total': 1, 'loading': False, 'error': 'failed', 'selected': []})
    check('empty final page', solve({'request':2,'query':'q','offset':0,'rows':[],'total':2,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': False, 'error': None, 'selected': [], 'has_next': False})

if N == 4:
    check('fresh deduped page', solve({'request':2,'query':'q','offset':2,'rows':[{'id':'old'}],'total':20,'loading':True,'error':'old error','selected':['a','off','gone']}, {'request':2,'query':'q','offset':2,'rows':[{'id':'a','v':1},{'id':'b','v':4},{'id':'a','v':3}],'total':4,'deleted':['gone']}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 4}], 'total': 4, 'loading': False, 'error': None, 'selected': ['a', 'off'], 'has_next': False})
    check('late request', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':1,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old query', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'old','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old offset', solve({'request':2,'query':'q','offset':2,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('error retains page', solve({'request':2,'query':'q','offset':0,'rows':[{'id':'old'}],'total':1,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0,'error':'failed'}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [{'id': 'old'}], 'total': 1, 'loading': False, 'error': 'failed', 'selected': []})
    check('empty final page', solve({'request':2,'query':'q','offset':0,'rows':[],'total':2,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': False, 'error': None, 'selected': [], 'has_next': False})

if N == 5:
    check('fresh deduped page', solve({'request':2,'query':'q','offset':2,'rows':[{'id':'old'}],'total':20,'loading':True,'error':'old error','selected':['a','off','gone']}, {'request':2,'query':'q','offset':2,'rows':[{'id':'a','v':1},{'id':'b','v':5},{'id':'a','v':3}],'total':4,'deleted':['gone']}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 5}], 'total': 4, 'loading': False, 'error': None, 'selected': ['a', 'off'], 'has_next': False})
    check('late request', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':1,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old query', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'old','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old offset', solve({'request':2,'query':'q','offset':2,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('error retains page', solve({'request':2,'query':'q','offset':0,'rows':[{'id':'old'}],'total':1,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0,'error':'failed'}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [{'id': 'old'}], 'total': 1, 'loading': False, 'error': 'failed', 'selected': []})
    check('empty final page', solve({'request':2,'query':'q','offset':0,'rows':[],'total':2,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': False, 'error': None, 'selected': [], 'has_next': False})

print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
fresh deduped page	`{'error': None, 'has_next': False, 'loading': False, 'offset': 2, 'query': 'q', 'request': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 1}], 'selected': ['a', 'off'], 'total': 20}`	`{'error': None, 'has_next': False, 'loading': False, 'offset': 2, 'query': 'q', 'request': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 1}], 'selected': ['a', 'off'], 'total': 4}`	Failed
late request	`{'error': None, 'loading': True, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	`{'error': None, 'loading': True, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	Passed
old query	`{'error': None, 'loading': True, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	`{'error': None, 'loading': True, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	Passed
old offset	`{'error': None, 'loading': True, 'offset': 2, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	`{'error': None, 'loading': True, 'offset': 2, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	Passed
error retains page	`{'error': 'failed', 'loading': False, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [{'id': 'old'}], 'selected': [], 'total': 1}`	`{'error': 'failed', 'loading': False, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [{'id': 'old'}], 'selected': [], 'total': 1}`	Passed
empty final page	`{'error': None, 'has_next': False, 'loading': False, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 2}`	`{'error': None, 'has_next': False, 'loading': False, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	Failed

SHA-256 / 71d620c1f1070c36f73e508cc8cee07b237f4ab80841bbbf5912a4a628b73dc2

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(state, response):
    out=dict(state)
    if response['request']!=state['request']: return out
    if response['query']!=state['query']: return out
    if response['offset']!=state['offset']: return out
    if response.get('error') is not None:
        out.update(loading=False,error=response['error']); return out
    ids=[]; by={}
    for row in response['rows']:
        if row['id'] not in by: ids.append(row['id'])
        by[row['id']]=row
    out['rows']=[by[k] for k in ids]
    out['total']=response['total']
    out['loading']=False; out['error']=None
    out['has_next']=response['offset']+len(ids)<response['total']
    out['selected']=[k for k in state['selected'] if k not in response.get('deleted',[])]
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
if N == 1:
    check('fresh deduped page', solve({'request':2,'query':'q','offset':2,'rows':[{'id':'old'}],'total':20,'loading':True,'error':'old error','selected':['a','off','gone']}, {'request':2,'query':'q','offset':2,'rows':[{'id':'a','v':1},{'id':'b','v':1},{'id':'a','v':3}],'total':4,'deleted':['gone']}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 1}], 'total': 4, 'loading': False, 'error': None, 'selected': ['a', 'off'], 'has_next': False})
    check('late request', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':1,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old query', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'old','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old offset', solve({'request':2,'query':'q','offset':2,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('error retains page', solve({'request':2,'query':'q','offset':0,'rows':[{'id':'old'}],'total':1,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0,'error':'failed'}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [{'id': 'old'}], 'total': 1, 'loading': False, 'error': 'failed', 'selected': []})
    check('empty final page', solve({'request':2,'query':'q','offset':0,'rows':[],'total':2,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': False, 'error': None, 'selected': [], 'has_next': False})

if N == 2:
    check('fresh deduped page', solve({'request':2,'query':'q','offset':2,'rows':[{'id':'old'}],'total':20,'loading':True,'error':'old error','selected':['a','off','gone']}, {'request':2,'query':'q','offset':2,'rows':[{'id':'a','v':1},{'id':'b','v':2},{'id':'a','v':3}],'total':4,'deleted':['gone']}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 2}], 'total': 4, 'loading': False, 'error': None, 'selected': ['a', 'off'], 'has_next': False})
    check('late request', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':1,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old query', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'old','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old offset', solve({'request':2,'query':'q','offset':2,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('error retains page', solve({'request':2,'query':'q','offset':0,'rows':[{'id':'old'}],'total':1,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0,'error':'failed'}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [{'id': 'old'}], 'total': 1, 'loading': False, 'error': 'failed', 'selected': []})
    check('empty final page', solve({'request':2,'query':'q','offset':0,'rows':[],'total':2,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': False, 'error': None, 'selected': [], 'has_next': False})

if N == 3:
    check('fresh deduped page', solve({'request':2,'query':'q','offset':2,'rows':[{'id':'old'}],'total':20,'loading':True,'error':'old error','selected':['a','off','gone']}, {'request':2,'query':'q','offset':2,'rows':[{'id':'a','v':1},{'id':'b','v':3},{'id':'a','v':3}],'total':4,'deleted':['gone']}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 3}], 'total': 4, 'loading': False, 'error': None, 'selected': ['a', 'off'], 'has_next': False})
    check('late request', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':1,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old query', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'old','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old offset', solve({'request':2,'query':'q','offset':2,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('error retains page', solve({'request':2,'query':'q','offset':0,'rows':[{'id':'old'}],'total':1,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0,'error':'failed'}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [{'id': 'old'}], 'total': 1, 'loading': False, 'error': 'failed', 'selected': []})
    check('empty final page', solve({'request':2,'query':'q','offset':0,'rows':[],'total':2,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': False, 'error': None, 'selected': [], 'has_next': False})

if N == 4:
    check('fresh deduped page', solve({'request':2,'query':'q','offset':2,'rows':[{'id':'old'}],'total':20,'loading':True,'error':'old error','selected':['a','off','gone']}, {'request':2,'query':'q','offset':2,'rows':[{'id':'a','v':1},{'id':'b','v':4},{'id':'a','v':3}],'total':4,'deleted':['gone']}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 4}], 'total': 4, 'loading': False, 'error': None, 'selected': ['a', 'off'], 'has_next': False})
    check('late request', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':1,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old query', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'old','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old offset', solve({'request':2,'query':'q','offset':2,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('error retains page', solve({'request':2,'query':'q','offset':0,'rows':[{'id':'old'}],'total':1,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0,'error':'failed'}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [{'id': 'old'}], 'total': 1, 'loading': False, 'error': 'failed', 'selected': []})
    check('empty final page', solve({'request':2,'query':'q','offset':0,'rows':[],'total':2,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': False, 'error': None, 'selected': [], 'has_next': False})

if N == 5:
    check('fresh deduped page', solve({'request':2,'query':'q','offset':2,'rows':[{'id':'old'}],'total':20,'loading':True,'error':'old error','selected':['a','off','gone']}, {'request':2,'query':'q','offset':2,'rows':[{'id':'a','v':1},{'id':'b','v':5},{'id':'a','v':3}],'total':4,'deleted':['gone']}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 5}], 'total': 4, 'loading': False, 'error': None, 'selected': ['a', 'off'], 'has_next': False})
    check('late request', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':1,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old query', solve({'request':2,'query':'q','offset':0,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'old','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('old offset', solve({'request':2,'query':'q','offset':2,'rows':[],'total':0,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 2, 'rows': [], 'total': 0, 'loading': True, 'error': None, 'selected': []})
    check('error retains page', solve({'request':2,'query':'q','offset':0,'rows':[{'id':'old'}],'total':1,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0,'error':'failed'}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [{'id': 'old'}], 'total': 1, 'loading': False, 'error': 'failed', 'selected': []})
    check('empty final page', solve({'request':2,'query':'q','offset':0,'rows':[],'total':2,'loading':True,'error':None,'selected':[]}, {'request':2,'query':'q','offset':0,'rows':[],'total':0}), {'request': 2, 'query': 'q', 'offset': 0, 'rows': [], 'total': 0, 'loading': False, 'error': None, 'selected': [], 'has_next': False})

print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
fresh deduped page	`{'error': None, 'has_next': False, 'loading': False, 'offset': 2, 'query': 'q', 'request': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 1}], 'selected': ['a', 'off'], 'total': 4}`	`{'error': None, 'has_next': False, 'loading': False, 'offset': 2, 'query': 'q', 'request': 2, 'rows': [{'id': 'a', 'v': 3}, {'id': 'b', 'v': 1}], 'selected': ['a', 'off'], 'total': 4}`	Passed
late request	`{'error': None, 'loading': True, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	`{'error': None, 'loading': True, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	Passed
old query	`{'error': None, 'loading': True, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	`{'error': None, 'loading': True, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	Passed
old offset	`{'error': None, 'loading': True, 'offset': 2, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	`{'error': None, 'loading': True, 'offset': 2, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	Passed
error retains page	`{'error': 'failed', 'loading': False, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [{'id': 'old'}], 'selected': [], 'total': 1}`	`{'error': 'failed', 'loading': False, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [{'id': 'old'}], 'selected': [], 'total': 1}`	Passed
empty final page	`{'error': None, 'has_next': False, 'loading': False, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	`{'error': None, 'has_next': False, 'loading': False, 'offset': 0, 'query': 'q', 'request': 2, 'rows': [], 'selected': [], 'total': 0}`	Passed

SHA-256 / 2c5461c5d6c7c09935dcae058c668a07a34c4457ebceb4d2c83f8e8f6623f2ce

Verification & scope

Requests are modeled as explicit scalar ownership tokens with integer offsets/totals; actual network scheduling is outside scope. 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:02.930660+00:00.

Case digest / 2b466a9c9d005335bb34db6e4a5edc17fe00bd1d5c1ec26d4783c265fc3a6181