FA-37631 / Table interactions / Open access

Remote table page response admission: page next boundary · case 01

The table page next boundary result violates the stipulated remote table page response admission contract.

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

ROOT CAUSE

The page next boundary decision uses "len(ids)<response['total']" instead of "response['offset']+len(ids)<response['total']".

VERIFIED REPAIR

Apply the complete page next boundary rule: response['offset']+len(ids)<response['total'].

Unsuccessful approach: The attempted repair "response['offset']+len(ids)<=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']=response['total']
    out['loading']=False; out['error']=None
    out['has_next']=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': True, '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}`	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 / a4ce29e15175f37b422cbcd60d17c39a90bcd517f7cbd9bc491dcc5451e3de49

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']=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': True, '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}`	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': True, '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}`	Failed

SHA-256 / 3c2bba76d82153af1bbd83038d6afe4a8a23228672d7109c7afc0a2dde8e8f6f

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

Case digest / 97280d73f0d3b121b81dcece2f8d29bfc7c8cfe008395d44de8b319969ed49f4