FA-23661 / Client state / Open access
Unsaved draft restoration: Edited field export · case 01
Edited field export.
ROOT CAUSE
The edited-field-export client decision evaluates `draft` instead of `{k:draft[k] for k in dirty if k in draft and k not in deleted}`.
VERIFIED REPAIR
Apply the modeled edited-field-export rule: `{k:draft[k] for k in dirty if k in draft and k not in deleted}`.
Unsuccessful approach: The partial repair `{k:draft[k] for k in dirty if k in draft}` still violates the explicit fixture contract.
Case contract
A saved draft holds explicit dirty fields and tombstones. Restore untouched server fields, retain local null values, flag dirty fields changed against newer server data, and export only surviving dirty fields. Operation edited-field-export has the six explicit input/output oracles below.
Why this case matters
An offline client lifecycle model that isolates a state-management defect without DOM rendering or network services.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(operation, s):
draft, server, dirty, saved_revision, server_revision, deleted = s
if operation == 'restore-dirty-fields':
return {**server,**{k:v for k,v in draft.items() if k in dirty}}
if operation == 'deletion-overlay':
return {k:v for k,v in draft.items() if k not in deleted}
if operation == 'conflict-fields':
return [k for k in dirty if k in server and draft.get(k)!=server[k]]
if operation == 'server-advance-warning':
return server_revision>saved_revision and bool(dirty)
if operation == 'clean-draft-expiry':
return not dirty and not deleted
if operation == 'restore-added-fields':
return {k:v for k,v in draft.items() if k not in server}
if operation == 'discard-restores-server':
return dict(server)
if operation == 'edited-field-export':
return draft
if operation == 'restoration-review':
return 'review' if dirty and server_revision>saved_revision else 'restore'
if operation == 'known-deletion-list':
return [k for k in deleted if k in server]
raise ValueError('unknown modeled operation')
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('restore-dirty-fields scenario 1', solve('restore-dirty-fields', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':N,'b':3})
check('restore-dirty-fields scenario 2', solve('restore-dirty-fields', ({}, {'a':N},[],2,2,[])), {'a':N})
check('restore-dirty-fields scenario 3', solve('restore-dirty-fields', ({'a':None},{'a':0},['a'],2,1,[])), {'a':None})
check('restore-dirty-fields scenario 4', solve('restore-dirty-fields', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':0,'b':N})
check('restore-dirty-fields scenario 5', solve('restore-dirty-fields', ({'a':N},{},['a'],0,0,[])), {'a':N})
check('restore-dirty-fields scenario 6', solve('restore-dirty-fields', ({'a':N},{'a':N},[],1,1,['x'])), {'a':N})
check('deletion-overlay scenario 1', solve('deletion-overlay', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':N,'b':2})
check('deletion-overlay scenario 2', solve('deletion-overlay', ({}, {'a':N},[],2,2,[])), {})
check('deletion-overlay scenario 3', solve('deletion-overlay', ({'a':None},{'a':0},['a'],2,1,[])), {'a':None})
check('deletion-overlay scenario 4', solve('deletion-overlay', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':0})
check('deletion-overlay scenario 5', solve('deletion-overlay', ({'a':N},{},['a'],0,0,[])), {'a':N})
check('deletion-overlay scenario 6', solve('deletion-overlay', ({'a':N},{'a':N},[],1,1,['x'])), {'a':N})
check('conflict-fields scenario 1', solve('conflict-fields', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), ['a'])
check('conflict-fields scenario 2', solve('conflict-fields', ({}, {'a':N},[],2,2,[])), [])
check('conflict-fields scenario 3', solve('conflict-fields', ({'a':None},{'a':0},['a'],2,1,[])), ['a'])
check('conflict-fields scenario 4', solve('conflict-fields', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), (['a'] if N==2 else ['a','b']))
check('conflict-fields scenario 5', solve('conflict-fields', ({'a':N},{},['a'],0,0,[])), [])
check('conflict-fields scenario 6', solve('conflict-fields', ({'a':N},{'a':N},[],1,1,['x'])), [])
check('server-advance-warning scenario 1', solve('server-advance-warning', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), True)
check('server-advance-warning scenario 2', solve('server-advance-warning', ({}, {'a':N},[],2,2,[])), False)
check('server-advance-warning scenario 3', solve('server-advance-warning', ({'a':None},{'a':0},['a'],2,1,[])), False)
check('server-advance-warning scenario 4', solve('server-advance-warning', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), True)
check('server-advance-warning scenario 5', solve('server-advance-warning', ({'a':N},{},['a'],0,0,[])), False)
check('server-advance-warning scenario 6', solve('server-advance-warning', ({'a':N},{'a':N},[],1,1,['x'])), False)
check('clean-draft-expiry scenario 1', solve('clean-draft-expiry', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), False)
check('clean-draft-expiry scenario 2', solve('clean-draft-expiry', ({}, {'a':N},[],2,2,[])), True)
check('clean-draft-expiry scenario 3', solve('clean-draft-expiry', ({'a':None},{'a':0},['a'],2,1,[])), False)
check('clean-draft-expiry scenario 4', solve('clean-draft-expiry', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), False)
check('clean-draft-expiry scenario 5', solve('clean-draft-expiry', ({'a':N},{},['a'],0,0,[])), False)
check('clean-draft-expiry scenario 6', solve('clean-draft-expiry', ({'a':N},{'a':N},[],1,1,['x'])), False)
check('restore-added-fields scenario 1', solve('restore-added-fields', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {})
check('restore-added-fields scenario 2', solve('restore-added-fields', ({}, {'a':N},[],2,2,[])), {})
check('restore-added-fields scenario 3', solve('restore-added-fields', ({'a':None},{'a':0},['a'],2,1,[])), {})
check('restore-added-fields scenario 4', solve('restore-added-fields', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {})
check('restore-added-fields scenario 5', solve('restore-added-fields', ({'a':N},{},['a'],0,0,[])), {'a':N})
check('restore-added-fields scenario 6', solve('restore-added-fields', ({'a':N},{'a':N},[],1,1,['x'])), {})
check('discard-restores-server scenario 1', solve('discard-restores-server', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':0,'b':3})
check('discard-restores-server scenario 2', solve('discard-restores-server', ({}, {'a':N},[],2,2,[])), {'a':N})
check('discard-restores-server scenario 3', solve('discard-restores-server', ({'a':None},{'a':0},['a'],2,1,[])), {'a':0})
check('discard-restores-server scenario 4', solve('discard-restores-server', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':1,'b':2})
check('discard-restores-server scenario 5', solve('discard-restores-server', ({'a':N},{},['a'],0,0,[])), {})
check('discard-restores-server scenario 6', solve('discard-restores-server', ({'a':N},{'a':N},[],1,1,['x'])), {'a':N})
check('edited-field-export scenario 1', solve('edited-field-export', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':N})
check('edited-field-export scenario 2', solve('edited-field-export', ({}, {'a':N},[],2,2,[])), {})
check('edited-field-export scenario 3', solve('edited-field-export', ({'a':None},{'a':0},['a'],2,1,[])), {'a':None})
check('edited-field-export scenario 4', solve('edited-field-export', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':0})
check('edited-field-export scenario 5', solve('edited-field-export', ({'a':N},{},['a'],0,0,[])), {'a':N})
check('edited-field-export scenario 6', solve('edited-field-export', ({'a':N},{'a':N},[],1,1,['x'])), {})
check('restoration-review scenario 1', solve('restoration-review', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), 'review')
check('restoration-review scenario 2', solve('restoration-review', ({}, {'a':N},[],2,2,[])), 'restore')
check('restoration-review scenario 3', solve('restoration-review', ({'a':None},{'a':0},['a'],2,1,[])), 'restore')
check('restoration-review scenario 4', solve('restoration-review', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), 'review')
check('restoration-review scenario 5', solve('restoration-review', ({'a':N},{},['a'],0,0,[])), 'restore')
check('restoration-review scenario 6', solve('restoration-review', ({'a':N},{'a':N},[],1,1,['x'])), 'restore')
check('known-deletion-list scenario 1', solve('known-deletion-list', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), [])
check('known-deletion-list scenario 2', solve('known-deletion-list', ({}, {'a':N},[],2,2,[])), [])
check('known-deletion-list scenario 3', solve('known-deletion-list', ({'a':None},{'a':0},['a'],2,1,[])), [])
check('known-deletion-list scenario 4', solve('known-deletion-list', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), ['b'])
check('known-deletion-list scenario 5', solve('known-deletion-list', ({'a':N},{},['a'],0,0,[])), [])
check('known-deletion-list scenario 6', solve('known-deletion-list', ({'a':N},{'a':N},[],1,1,['x'])), [])
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 |
|---|---|---|---|
| restore-dirty-fields scenario 1 | {'a': 1, 'b': 3} | {'a': 1, 'b': 3} | Passed |
| restore-dirty-fields scenario 2 | {'a': 1} | {'a': 1} | Passed |
| restore-dirty-fields scenario 3 | {'a': None} | {'a': None} | Passed |
| restore-dirty-fields scenario 4 | {'a': 0, 'b': 1} | {'a': 0, 'b': 1} | Passed |
| restore-dirty-fields scenario 5 | {'a': 1} | {'a': 1} | Passed |
| restore-dirty-fields scenario 6 | {'a': 1} | {'a': 1} | Passed |
| deletion-overlay scenario 1 | {'a': 1, 'b': 2} | {'a': 1, 'b': 2} | Passed |
| deletion-overlay scenario 2 | {} | {} | Passed |
| deletion-overlay scenario 3 | {'a': None} | {'a': None} | Passed |
| deletion-overlay scenario 4 | {'a': 0} | {'a': 0} | Passed |
| deletion-overlay scenario 5 | {'a': 1} | {'a': 1} | Passed |
| deletion-overlay scenario 6 | {'a': 1} | {'a': 1} | Passed |
| conflict-fields scenario 1 | ['a'] | ['a'] | Passed |
| conflict-fields scenario 2 | [] | [] | Passed |
| conflict-fields scenario 3 | ['a'] | ['a'] | Passed |
| conflict-fields scenario 4 | ['a', 'b'] | ['a', 'b'] | Passed |
| conflict-fields scenario 5 | [] | [] | Passed |
| conflict-fields scenario 6 | [] | [] | Passed |
| server-advance-warning scenario 1 | True | True | Passed |
| server-advance-warning scenario 2 | False | False | Passed |
| server-advance-warning scenario 3 | False | False | Passed |
| server-advance-warning scenario 4 | True | True | Passed |
| server-advance-warning scenario 5 | False | False | Passed |
| server-advance-warning scenario 6 | False | False | Passed |
| clean-draft-expiry scenario 1 | False | False | Passed |
| clean-draft-expiry scenario 2 | True | True | Passed |
| clean-draft-expiry scenario 3 | False | False | Passed |
| clean-draft-expiry scenario 4 | False | False | Passed |
| clean-draft-expiry scenario 5 | False | False | Passed |
| clean-draft-expiry scenario 6 | False | False | Passed |
| restore-added-fields scenario 1 | {} | {} | Passed |
| restore-added-fields scenario 2 | {} | {} | Passed |
| restore-added-fields scenario 3 | {} | {} | Passed |
| restore-added-fields scenario 4 | {} | {} | Passed |
| restore-added-fields scenario 5 | {'a': 1} | {'a': 1} | Passed |
| restore-added-fields scenario 6 | {} | {} | Passed |
| discard-restores-server scenario 1 | {'a': 0, 'b': 3} | {'a': 0, 'b': 3} | Passed |
| discard-restores-server scenario 2 | {'a': 1} | {'a': 1} | Passed |
| discard-restores-server scenario 3 | {'a': 0} | {'a': 0} | Passed |
| discard-restores-server scenario 4 | {'a': 1, 'b': 2} | {'a': 1, 'b': 2} | Passed |
| discard-restores-server scenario 5 | {} | {} | Passed |
| discard-restores-server scenario 6 | {'a': 1} | {'a': 1} | Passed |
| edited-field-export scenario 1 | {'a': 1, 'b': 2} | {'a': 1} | Failed |
| edited-field-export scenario 2 | {} | {} | Passed |
| edited-field-export scenario 3 | {'a': None} | {'a': None} | Passed |
| edited-field-export scenario 4 | {'a': 0, 'b': 1} | {'a': 0} | Failed |
| edited-field-export scenario 5 | {'a': 1} | {'a': 1} | Passed |
| edited-field-export scenario 6 | {'a': 1} | {} | Failed |
| restoration-review scenario 1 | review | review | Passed |
| restoration-review scenario 2 | restore | restore | Passed |
| restoration-review scenario 3 | restore | restore | Passed |
| restoration-review scenario 4 | review | review | Passed |
| restoration-review scenario 5 | restore | restore | Passed |
| restoration-review scenario 6 | restore | restore | Passed |
| known-deletion-list scenario 1 | [] | [] | Passed |
| known-deletion-list scenario 2 | [] | [] | Passed |
| known-deletion-list scenario 3 | [] | [] | Passed |
| known-deletion-list scenario 4 | ['b'] | ['b'] | Passed |
| known-deletion-list scenario 5 | [] | [] | Passed |
| known-deletion-list scenario 6 | [] | [] | Passed |
SHA-256 / bf84ee437457f01c749dccf55029284da3fdce0c821c262725a4587786ee2992
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(operation, s):
draft, server, dirty, saved_revision, server_revision, deleted = s
if operation == 'restore-dirty-fields':
return {**server,**{k:v for k,v in draft.items() if k in dirty}}
if operation == 'deletion-overlay':
return {k:v for k,v in draft.items() if k not in deleted}
if operation == 'conflict-fields':
return [k for k in dirty if k in server and draft.get(k)!=server[k]]
if operation == 'server-advance-warning':
return server_revision>saved_revision and bool(dirty)
if operation == 'clean-draft-expiry':
return not dirty and not deleted
if operation == 'restore-added-fields':
return {k:v for k,v in draft.items() if k not in server}
if operation == 'discard-restores-server':
return dict(server)
if operation == 'edited-field-export':
return {k:draft[k] for k in dirty if k in draft}
if operation == 'restoration-review':
return 'review' if dirty and server_revision>saved_revision else 'restore'
if operation == 'known-deletion-list':
return [k for k in deleted if k in server]
raise ValueError('unknown modeled operation')
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('restore-dirty-fields scenario 1', solve('restore-dirty-fields', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':N,'b':3})
check('restore-dirty-fields scenario 2', solve('restore-dirty-fields', ({}, {'a':N},[],2,2,[])), {'a':N})
check('restore-dirty-fields scenario 3', solve('restore-dirty-fields', ({'a':None},{'a':0},['a'],2,1,[])), {'a':None})
check('restore-dirty-fields scenario 4', solve('restore-dirty-fields', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':0,'b':N})
check('restore-dirty-fields scenario 5', solve('restore-dirty-fields', ({'a':N},{},['a'],0,0,[])), {'a':N})
check('restore-dirty-fields scenario 6', solve('restore-dirty-fields', ({'a':N},{'a':N},[],1,1,['x'])), {'a':N})
check('deletion-overlay scenario 1', solve('deletion-overlay', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':N,'b':2})
check('deletion-overlay scenario 2', solve('deletion-overlay', ({}, {'a':N},[],2,2,[])), {})
check('deletion-overlay scenario 3', solve('deletion-overlay', ({'a':None},{'a':0},['a'],2,1,[])), {'a':None})
check('deletion-overlay scenario 4', solve('deletion-overlay', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':0})
check('deletion-overlay scenario 5', solve('deletion-overlay', ({'a':N},{},['a'],0,0,[])), {'a':N})
check('deletion-overlay scenario 6', solve('deletion-overlay', ({'a':N},{'a':N},[],1,1,['x'])), {'a':N})
check('conflict-fields scenario 1', solve('conflict-fields', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), ['a'])
check('conflict-fields scenario 2', solve('conflict-fields', ({}, {'a':N},[],2,2,[])), [])
check('conflict-fields scenario 3', solve('conflict-fields', ({'a':None},{'a':0},['a'],2,1,[])), ['a'])
check('conflict-fields scenario 4', solve('conflict-fields', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), (['a'] if N==2 else ['a','b']))
check('conflict-fields scenario 5', solve('conflict-fields', ({'a':N},{},['a'],0,0,[])), [])
check('conflict-fields scenario 6', solve('conflict-fields', ({'a':N},{'a':N},[],1,1,['x'])), [])
check('server-advance-warning scenario 1', solve('server-advance-warning', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), True)
check('server-advance-warning scenario 2', solve('server-advance-warning', ({}, {'a':N},[],2,2,[])), False)
check('server-advance-warning scenario 3', solve('server-advance-warning', ({'a':None},{'a':0},['a'],2,1,[])), False)
check('server-advance-warning scenario 4', solve('server-advance-warning', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), True)
check('server-advance-warning scenario 5', solve('server-advance-warning', ({'a':N},{},['a'],0,0,[])), False)
check('server-advance-warning scenario 6', solve('server-advance-warning', ({'a':N},{'a':N},[],1,1,['x'])), False)
check('clean-draft-expiry scenario 1', solve('clean-draft-expiry', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), False)
check('clean-draft-expiry scenario 2', solve('clean-draft-expiry', ({}, {'a':N},[],2,2,[])), True)
check('clean-draft-expiry scenario 3', solve('clean-draft-expiry', ({'a':None},{'a':0},['a'],2,1,[])), False)
check('clean-draft-expiry scenario 4', solve('clean-draft-expiry', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), False)
check('clean-draft-expiry scenario 5', solve('clean-draft-expiry', ({'a':N},{},['a'],0,0,[])), False)
check('clean-draft-expiry scenario 6', solve('clean-draft-expiry', ({'a':N},{'a':N},[],1,1,['x'])), False)
check('restore-added-fields scenario 1', solve('restore-added-fields', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {})
check('restore-added-fields scenario 2', solve('restore-added-fields', ({}, {'a':N},[],2,2,[])), {})
check('restore-added-fields scenario 3', solve('restore-added-fields', ({'a':None},{'a':0},['a'],2,1,[])), {})
check('restore-added-fields scenario 4', solve('restore-added-fields', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {})
check('restore-added-fields scenario 5', solve('restore-added-fields', ({'a':N},{},['a'],0,0,[])), {'a':N})
check('restore-added-fields scenario 6', solve('restore-added-fields', ({'a':N},{'a':N},[],1,1,['x'])), {})
check('discard-restores-server scenario 1', solve('discard-restores-server', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':0,'b':3})
check('discard-restores-server scenario 2', solve('discard-restores-server', ({}, {'a':N},[],2,2,[])), {'a':N})
check('discard-restores-server scenario 3', solve('discard-restores-server', ({'a':None},{'a':0},['a'],2,1,[])), {'a':0})
check('discard-restores-server scenario 4', solve('discard-restores-server', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':1,'b':2})
check('discard-restores-server scenario 5', solve('discard-restores-server', ({'a':N},{},['a'],0,0,[])), {})
check('discard-restores-server scenario 6', solve('discard-restores-server', ({'a':N},{'a':N},[],1,1,['x'])), {'a':N})
check('edited-field-export scenario 1', solve('edited-field-export', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':N})
check('edited-field-export scenario 2', solve('edited-field-export', ({}, {'a':N},[],2,2,[])), {})
check('edited-field-export scenario 3', solve('edited-field-export', ({'a':None},{'a':0},['a'],2,1,[])), {'a':None})
check('edited-field-export scenario 4', solve('edited-field-export', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':0})
check('edited-field-export scenario 5', solve('edited-field-export', ({'a':N},{},['a'],0,0,[])), {'a':N})
check('edited-field-export scenario 6', solve('edited-field-export', ({'a':N},{'a':N},[],1,1,['x'])), {})
check('restoration-review scenario 1', solve('restoration-review', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), 'review')
check('restoration-review scenario 2', solve('restoration-review', ({}, {'a':N},[],2,2,[])), 'restore')
check('restoration-review scenario 3', solve('restoration-review', ({'a':None},{'a':0},['a'],2,1,[])), 'restore')
check('restoration-review scenario 4', solve('restoration-review', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), 'review')
check('restoration-review scenario 5', solve('restoration-review', ({'a':N},{},['a'],0,0,[])), 'restore')
check('restoration-review scenario 6', solve('restoration-review', ({'a':N},{'a':N},[],1,1,['x'])), 'restore')
check('known-deletion-list scenario 1', solve('known-deletion-list', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), [])
check('known-deletion-list scenario 2', solve('known-deletion-list', ({}, {'a':N},[],2,2,[])), [])
check('known-deletion-list scenario 3', solve('known-deletion-list', ({'a':None},{'a':0},['a'],2,1,[])), [])
check('known-deletion-list scenario 4', solve('known-deletion-list', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), ['b'])
check('known-deletion-list scenario 5', solve('known-deletion-list', ({'a':N},{},['a'],0,0,[])), [])
check('known-deletion-list scenario 6', solve('known-deletion-list', ({'a':N},{'a':N},[],1,1,['x'])), [])
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 |
|---|---|---|---|
| restore-dirty-fields scenario 1 | {'a': 1, 'b': 3} | {'a': 1, 'b': 3} | Passed |
| restore-dirty-fields scenario 2 | {'a': 1} | {'a': 1} | Passed |
| restore-dirty-fields scenario 3 | {'a': None} | {'a': None} | Passed |
| restore-dirty-fields scenario 4 | {'a': 0, 'b': 1} | {'a': 0, 'b': 1} | Passed |
| restore-dirty-fields scenario 5 | {'a': 1} | {'a': 1} | Passed |
| restore-dirty-fields scenario 6 | {'a': 1} | {'a': 1} | Passed |
| deletion-overlay scenario 1 | {'a': 1, 'b': 2} | {'a': 1, 'b': 2} | Passed |
| deletion-overlay scenario 2 | {} | {} | Passed |
| deletion-overlay scenario 3 | {'a': None} | {'a': None} | Passed |
| deletion-overlay scenario 4 | {'a': 0} | {'a': 0} | Passed |
| deletion-overlay scenario 5 | {'a': 1} | {'a': 1} | Passed |
| deletion-overlay scenario 6 | {'a': 1} | {'a': 1} | Passed |
| conflict-fields scenario 1 | ['a'] | ['a'] | Passed |
| conflict-fields scenario 2 | [] | [] | Passed |
| conflict-fields scenario 3 | ['a'] | ['a'] | Passed |
| conflict-fields scenario 4 | ['a', 'b'] | ['a', 'b'] | Passed |
| conflict-fields scenario 5 | [] | [] | Passed |
| conflict-fields scenario 6 | [] | [] | Passed |
| server-advance-warning scenario 1 | True | True | Passed |
| server-advance-warning scenario 2 | False | False | Passed |
| server-advance-warning scenario 3 | False | False | Passed |
| server-advance-warning scenario 4 | True | True | Passed |
| server-advance-warning scenario 5 | False | False | Passed |
| server-advance-warning scenario 6 | False | False | Passed |
| clean-draft-expiry scenario 1 | False | False | Passed |
| clean-draft-expiry scenario 2 | True | True | Passed |
| clean-draft-expiry scenario 3 | False | False | Passed |
| clean-draft-expiry scenario 4 | False | False | Passed |
| clean-draft-expiry scenario 5 | False | False | Passed |
| clean-draft-expiry scenario 6 | False | False | Passed |
| restore-added-fields scenario 1 | {} | {} | Passed |
| restore-added-fields scenario 2 | {} | {} | Passed |
| restore-added-fields scenario 3 | {} | {} | Passed |
| restore-added-fields scenario 4 | {} | {} | Passed |
| restore-added-fields scenario 5 | {'a': 1} | {'a': 1} | Passed |
| restore-added-fields scenario 6 | {} | {} | Passed |
| discard-restores-server scenario 1 | {'a': 0, 'b': 3} | {'a': 0, 'b': 3} | Passed |
| discard-restores-server scenario 2 | {'a': 1} | {'a': 1} | Passed |
| discard-restores-server scenario 3 | {'a': 0} | {'a': 0} | Passed |
| discard-restores-server scenario 4 | {'a': 1, 'b': 2} | {'a': 1, 'b': 2} | Passed |
| discard-restores-server scenario 5 | {} | {} | Passed |
| discard-restores-server scenario 6 | {'a': 1} | {'a': 1} | Passed |
| edited-field-export scenario 1 | {'a': 1} | {'a': 1} | Passed |
| edited-field-export scenario 2 | {} | {} | Passed |
| edited-field-export scenario 3 | {'a': None} | {'a': None} | Passed |
| edited-field-export scenario 4 | {'a': 0, 'b': 1} | {'a': 0} | Failed |
| edited-field-export scenario 5 | {'a': 1} | {'a': 1} | Passed |
| edited-field-export scenario 6 | {} | {} | Passed |
| restoration-review scenario 1 | review | review | Passed |
| restoration-review scenario 2 | restore | restore | Passed |
| restoration-review scenario 3 | restore | restore | Passed |
| restoration-review scenario 4 | review | review | Passed |
| restoration-review scenario 5 | restore | restore | Passed |
| restoration-review scenario 6 | restore | restore | Passed |
| known-deletion-list scenario 1 | [] | [] | Passed |
| known-deletion-list scenario 2 | [] | [] | Passed |
| known-deletion-list scenario 3 | [] | [] | Passed |
| known-deletion-list scenario 4 | ['b'] | ['b'] | Passed |
| known-deletion-list scenario 5 | [] | [] | Passed |
| known-deletion-list scenario 6 | [] | [] | Passed |
SHA-256 / d5757f1704ec6ee50fab28e7b102561aee7983cb02abf0b7bf4fa618ee9d40a2
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(operation, s):
draft, server, dirty, saved_revision, server_revision, deleted = s
if operation == 'restore-dirty-fields':
return {**server,**{k:v for k,v in draft.items() if k in dirty}}
if operation == 'deletion-overlay':
return {k:v for k,v in draft.items() if k not in deleted}
if operation == 'conflict-fields':
return [k for k in dirty if k in server and draft.get(k)!=server[k]]
if operation == 'server-advance-warning':
return server_revision>saved_revision and bool(dirty)
if operation == 'clean-draft-expiry':
return not dirty and not deleted
if operation == 'restore-added-fields':
return {k:v for k,v in draft.items() if k not in server}
if operation == 'discard-restores-server':
return dict(server)
if operation == 'edited-field-export':
return {k:draft[k] for k in dirty if k in draft and k not in deleted}
if operation == 'restoration-review':
return 'review' if dirty and server_revision>saved_revision else 'restore'
if operation == 'known-deletion-list':
return [k for k in deleted if k in server]
raise ValueError('unknown modeled operation')
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('restore-dirty-fields scenario 1', solve('restore-dirty-fields', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':N,'b':3})
check('restore-dirty-fields scenario 2', solve('restore-dirty-fields', ({}, {'a':N},[],2,2,[])), {'a':N})
check('restore-dirty-fields scenario 3', solve('restore-dirty-fields', ({'a':None},{'a':0},['a'],2,1,[])), {'a':None})
check('restore-dirty-fields scenario 4', solve('restore-dirty-fields', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':0,'b':N})
check('restore-dirty-fields scenario 5', solve('restore-dirty-fields', ({'a':N},{},['a'],0,0,[])), {'a':N})
check('restore-dirty-fields scenario 6', solve('restore-dirty-fields', ({'a':N},{'a':N},[],1,1,['x'])), {'a':N})
check('deletion-overlay scenario 1', solve('deletion-overlay', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':N,'b':2})
check('deletion-overlay scenario 2', solve('deletion-overlay', ({}, {'a':N},[],2,2,[])), {})
check('deletion-overlay scenario 3', solve('deletion-overlay', ({'a':None},{'a':0},['a'],2,1,[])), {'a':None})
check('deletion-overlay scenario 4', solve('deletion-overlay', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':0})
check('deletion-overlay scenario 5', solve('deletion-overlay', ({'a':N},{},['a'],0,0,[])), {'a':N})
check('deletion-overlay scenario 6', solve('deletion-overlay', ({'a':N},{'a':N},[],1,1,['x'])), {'a':N})
check('conflict-fields scenario 1', solve('conflict-fields', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), ['a'])
check('conflict-fields scenario 2', solve('conflict-fields', ({}, {'a':N},[],2,2,[])), [])
check('conflict-fields scenario 3', solve('conflict-fields', ({'a':None},{'a':0},['a'],2,1,[])), ['a'])
check('conflict-fields scenario 4', solve('conflict-fields', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), (['a'] if N==2 else ['a','b']))
check('conflict-fields scenario 5', solve('conflict-fields', ({'a':N},{},['a'],0,0,[])), [])
check('conflict-fields scenario 6', solve('conflict-fields', ({'a':N},{'a':N},[],1,1,['x'])), [])
check('server-advance-warning scenario 1', solve('server-advance-warning', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), True)
check('server-advance-warning scenario 2', solve('server-advance-warning', ({}, {'a':N},[],2,2,[])), False)
check('server-advance-warning scenario 3', solve('server-advance-warning', ({'a':None},{'a':0},['a'],2,1,[])), False)
check('server-advance-warning scenario 4', solve('server-advance-warning', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), True)
check('server-advance-warning scenario 5', solve('server-advance-warning', ({'a':N},{},['a'],0,0,[])), False)
check('server-advance-warning scenario 6', solve('server-advance-warning', ({'a':N},{'a':N},[],1,1,['x'])), False)
check('clean-draft-expiry scenario 1', solve('clean-draft-expiry', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), False)
check('clean-draft-expiry scenario 2', solve('clean-draft-expiry', ({}, {'a':N},[],2,2,[])), True)
check('clean-draft-expiry scenario 3', solve('clean-draft-expiry', ({'a':None},{'a':0},['a'],2,1,[])), False)
check('clean-draft-expiry scenario 4', solve('clean-draft-expiry', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), False)
check('clean-draft-expiry scenario 5', solve('clean-draft-expiry', ({'a':N},{},['a'],0,0,[])), False)
check('clean-draft-expiry scenario 6', solve('clean-draft-expiry', ({'a':N},{'a':N},[],1,1,['x'])), False)
check('restore-added-fields scenario 1', solve('restore-added-fields', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {})
check('restore-added-fields scenario 2', solve('restore-added-fields', ({}, {'a':N},[],2,2,[])), {})
check('restore-added-fields scenario 3', solve('restore-added-fields', ({'a':None},{'a':0},['a'],2,1,[])), {})
check('restore-added-fields scenario 4', solve('restore-added-fields', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {})
check('restore-added-fields scenario 5', solve('restore-added-fields', ({'a':N},{},['a'],0,0,[])), {'a':N})
check('restore-added-fields scenario 6', solve('restore-added-fields', ({'a':N},{'a':N},[],1,1,['x'])), {})
check('discard-restores-server scenario 1', solve('discard-restores-server', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':0,'b':3})
check('discard-restores-server scenario 2', solve('discard-restores-server', ({}, {'a':N},[],2,2,[])), {'a':N})
check('discard-restores-server scenario 3', solve('discard-restores-server', ({'a':None},{'a':0},['a'],2,1,[])), {'a':0})
check('discard-restores-server scenario 4', solve('discard-restores-server', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':1,'b':2})
check('discard-restores-server scenario 5', solve('discard-restores-server', ({'a':N},{},['a'],0,0,[])), {})
check('discard-restores-server scenario 6', solve('discard-restores-server', ({'a':N},{'a':N},[],1,1,['x'])), {'a':N})
check('edited-field-export scenario 1', solve('edited-field-export', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':N})
check('edited-field-export scenario 2', solve('edited-field-export', ({}, {'a':N},[],2,2,[])), {})
check('edited-field-export scenario 3', solve('edited-field-export', ({'a':None},{'a':0},['a'],2,1,[])), {'a':None})
check('edited-field-export scenario 4', solve('edited-field-export', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':0})
check('edited-field-export scenario 5', solve('edited-field-export', ({'a':N},{},['a'],0,0,[])), {'a':N})
check('edited-field-export scenario 6', solve('edited-field-export', ({'a':N},{'a':N},[],1,1,['x'])), {})
check('restoration-review scenario 1', solve('restoration-review', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), 'review')
check('restoration-review scenario 2', solve('restoration-review', ({}, {'a':N},[],2,2,[])), 'restore')
check('restoration-review scenario 3', solve('restoration-review', ({'a':None},{'a':0},['a'],2,1,[])), 'restore')
check('restoration-review scenario 4', solve('restoration-review', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), 'review')
check('restoration-review scenario 5', solve('restoration-review', ({'a':N},{},['a'],0,0,[])), 'restore')
check('restoration-review scenario 6', solve('restoration-review', ({'a':N},{'a':N},[],1,1,['x'])), 'restore')
check('known-deletion-list scenario 1', solve('known-deletion-list', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), [])
check('known-deletion-list scenario 2', solve('known-deletion-list', ({}, {'a':N},[],2,2,[])), [])
check('known-deletion-list scenario 3', solve('known-deletion-list', ({'a':None},{'a':0},['a'],2,1,[])), [])
check('known-deletion-list scenario 4', solve('known-deletion-list', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), ['b'])
check('known-deletion-list scenario 5', solve('known-deletion-list', ({'a':N},{},['a'],0,0,[])), [])
check('known-deletion-list scenario 6', solve('known-deletion-list', ({'a':N},{'a':N},[],1,1,['x'])), [])
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 |
|---|---|---|---|
| restore-dirty-fields scenario 1 | {'a': 1, 'b': 3} | {'a': 1, 'b': 3} | Passed |
| restore-dirty-fields scenario 2 | {'a': 1} | {'a': 1} | Passed |
| restore-dirty-fields scenario 3 | {'a': None} | {'a': None} | Passed |
| restore-dirty-fields scenario 4 | {'a': 0, 'b': 1} | {'a': 0, 'b': 1} | Passed |
| restore-dirty-fields scenario 5 | {'a': 1} | {'a': 1} | Passed |
| restore-dirty-fields scenario 6 | {'a': 1} | {'a': 1} | Passed |
| deletion-overlay scenario 1 | {'a': 1, 'b': 2} | {'a': 1, 'b': 2} | Passed |
| deletion-overlay scenario 2 | {} | {} | Passed |
| deletion-overlay scenario 3 | {'a': None} | {'a': None} | Passed |
| deletion-overlay scenario 4 | {'a': 0} | {'a': 0} | Passed |
| deletion-overlay scenario 5 | {'a': 1} | {'a': 1} | Passed |
| deletion-overlay scenario 6 | {'a': 1} | {'a': 1} | Passed |
| conflict-fields scenario 1 | ['a'] | ['a'] | Passed |
| conflict-fields scenario 2 | [] | [] | Passed |
| conflict-fields scenario 3 | ['a'] | ['a'] | Passed |
| conflict-fields scenario 4 | ['a', 'b'] | ['a', 'b'] | Passed |
| conflict-fields scenario 5 | [] | [] | Passed |
| conflict-fields scenario 6 | [] | [] | Passed |
| server-advance-warning scenario 1 | True | True | Passed |
| server-advance-warning scenario 2 | False | False | Passed |
| server-advance-warning scenario 3 | False | False | Passed |
| server-advance-warning scenario 4 | True | True | Passed |
| server-advance-warning scenario 5 | False | False | Passed |
| server-advance-warning scenario 6 | False | False | Passed |
| clean-draft-expiry scenario 1 | False | False | Passed |
| clean-draft-expiry scenario 2 | True | True | Passed |
| clean-draft-expiry scenario 3 | False | False | Passed |
| clean-draft-expiry scenario 4 | False | False | Passed |
| clean-draft-expiry scenario 5 | False | False | Passed |
| clean-draft-expiry scenario 6 | False | False | Passed |
| restore-added-fields scenario 1 | {} | {} | Passed |
| restore-added-fields scenario 2 | {} | {} | Passed |
| restore-added-fields scenario 3 | {} | {} | Passed |
| restore-added-fields scenario 4 | {} | {} | Passed |
| restore-added-fields scenario 5 | {'a': 1} | {'a': 1} | Passed |
| restore-added-fields scenario 6 | {} | {} | Passed |
| discard-restores-server scenario 1 | {'a': 0, 'b': 3} | {'a': 0, 'b': 3} | Passed |
| discard-restores-server scenario 2 | {'a': 1} | {'a': 1} | Passed |
| discard-restores-server scenario 3 | {'a': 0} | {'a': 0} | Passed |
| discard-restores-server scenario 4 | {'a': 1, 'b': 2} | {'a': 1, 'b': 2} | Passed |
| discard-restores-server scenario 5 | {} | {} | Passed |
| discard-restores-server scenario 6 | {'a': 1} | {'a': 1} | Passed |
| edited-field-export scenario 1 | {'a': 1} | {'a': 1} | Passed |
| edited-field-export scenario 2 | {} | {} | Passed |
| edited-field-export scenario 3 | {'a': None} | {'a': None} | Passed |
| edited-field-export scenario 4 | {'a': 0} | {'a': 0} | Passed |
| edited-field-export scenario 5 | {'a': 1} | {'a': 1} | Passed |
| edited-field-export scenario 6 | {} | {} | Passed |
| restoration-review scenario 1 | review | review | Passed |
| restoration-review scenario 2 | restore | restore | Passed |
| restoration-review scenario 3 | restore | restore | Passed |
| restoration-review scenario 4 | review | review | Passed |
| restoration-review scenario 5 | restore | restore | Passed |
| restoration-review scenario 6 | restore | restore | Passed |
| known-deletion-list scenario 1 | [] | [] | Passed |
| known-deletion-list scenario 2 | [] | [] | Passed |
| known-deletion-list scenario 3 | [] | [] | Passed |
| known-deletion-list scenario 4 | ['b'] | ['b'] | Passed |
| known-deletion-list scenario 5 | [] | [] | Passed |
| known-deletion-list scenario 6 | [] | [] | Passed |
SHA-256 / 4ceab38a6562a1efee8534c6afb104dc925cdf7262053a9c543a3c0bc6031e7e
Verification & scope
Only the explicitly specified operations and finite deterministic records are modeled; no browser or framework 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:40:49.864586+00:00.
Case digest / b46f1087b3c0c38b767dca47139227148571e2ff3891ae0aa0b290662f3872b1