{"abstract":"Skipping deferred updates changes the order of a later urgent replay.","category":"Client state","checks":6,"contract":"A client render pass applies only eligible priority updates in original order, skips ineligible updates without blocking later urgent work, and retains every skipped update for later replay.","contract_signature":"updates, allowed, initial","evaluation_group":"s3-client-state-render-priority-rebase","failed_approach":"The partial repair still violates at least one explicit regression oracle.","family":"s3-client-state-render-priority-rebase","id":"FA-24771","implementations":{"attempt":{"sha256":"9e46b26bb276fa779f9b6de1aff275011ce06cd330d103884c041cc24f9b405f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(updates, allowed, initial):\n    value=initial; skipped=[]\n    for kind,operation,argument in updates:\n        if kind not in allowed: skipped.append((kind,operation,argument)); break\n        if operation=='set': value=argument\n        else: value+=argument\n    return value,skipped\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('urgent after deferred', solve([('deferred','set',10),('urgent','add',N)],['urgent'],1), (N+1,[('deferred','set',10)]))\ncheck('urgent set after add', solve([('urgent','add',2),('urgent','set',3)],['urgent'],1), (3,[]))\ncheck('all lanes', solve([('deferred','set',10),('urgent','add',N)],['urgent','deferred'],1), (10+N,[]))\ncheck('none allowed', solve([('urgent','add',2),('deferred','set',3)],[],1), (1,[('urgent','add',2),('deferred','set',3)]))\ncheck('no updates', solve([],['urgent'],N), (N,[]))\ncheck('zero replace', solve([('urgent','set',0),('urgent','add',1)],['urgent'],9), (1,[]))\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"d8d0e6df0918f77e2b6c9bf541c3ec8d65e99db30411d05105a7ab6fd47e8ea6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(updates, allowed, initial):\n    value=initial\n    for kind,operation,argument in updates:\n        if operation=='set': value=argument\n        else: value+=argument\n    return value,[]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('urgent after deferred', solve([('deferred','set',10),('urgent','add',N)],['urgent'],1), (N+1,[('deferred','set',10)]))\ncheck('urgent set after add', solve([('urgent','add',2),('urgent','set',3)],['urgent'],1), (3,[]))\ncheck('all lanes', solve([('deferred','set',10),('urgent','add',N)],['urgent','deferred'],1), (10+N,[]))\ncheck('none allowed', solve([('urgent','add',2),('deferred','set',3)],[],1), (1,[('urgent','add',2),('deferred','set',3)]))\ncheck('no updates', solve([],['urgent'],N), (N,[]))\ncheck('zero replace', solve([('urgent','set',0),('urgent','add',1)],['urgent'],9), (1,[]))\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"This models the stated application policy only; 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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-client-state-render-priority-rebase","generated_at":"2026-09-29T14:41:00.575255+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A bounded offline client-state transition with explicit lifecycle inputs.","root_cause":"The faulty implementation violates A client render pass applies only eligible priority updates in original order, skips ineligible updates without blocking later urgent work, and retains every skipped update for later replay.","sha256":"a014846d2b10340508bb6fd4bfdd85d1ccc47484316da1b7c4e32bc19ec25c78","title":"Skipping deferred updates changes the order of a later urgent replay · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":40.001,"exit_code":1,"observations":[{"actual":[1,[["deferred","set",10]]],"check":"urgent after deferred","expected":[2,[["deferred","set",10]]],"passed":false},{"actual":[3,[]],"check":"urgent set after add","expected":[3,[]],"passed":true},{"actual":[11,[]],"check":"all lanes","expected":[11,[]],"passed":true},{"actual":[1,[["urgent","add",2]]],"check":"none allowed","expected":[1,[["urgent","add",2],["deferred","set",3]]],"passed":false},{"actual":[1,[]],"check":"no updates","expected":[1,[]],"passed":true},{"actual":[1,[]],"check":"zero replace","expected":[1,[]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"urgent after deferred\", \"actual\": [1, [[\"deferred\", \"set\", 10]]], \"expected\": [2, [[\"deferred\", \"set\", 10]]], \"passed\": false}, {\"check\": \"urgent set after add\", \"actual\": [3, []], \"expected\": [3, []], \"passed\": true}, {\"check\": \"all lanes\", \"actual\": [11, []], \"expected\": [11, []], \"passed\": true}, {\"check\": \"none allowed\", \"actual\": [1, [[\"urgent\", \"add\", 2]]], \"expected\": [1, [[\"urgent\", \"add\", 2], [\"deferred\", \"set\", 3]]], \"passed\": false}, {\"check\": \"no updates\", \"actual\": [1, []], \"expected\": [1, []], \"passed\": true}, {\"check\": \"zero replace\", \"actual\": [1, []], \"expected\": [1, []], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":45.31,"exit_code":1,"observations":[{"actual":[11,[]],"check":"urgent after deferred","expected":[2,[["deferred","set",10]]],"passed":false},{"actual":[3,[]],"check":"urgent set after add","expected":[3,[]],"passed":true},{"actual":[11,[]],"check":"all lanes","expected":[11,[]],"passed":true},{"actual":[3,[]],"check":"none allowed","expected":[1,[["urgent","add",2],["deferred","set",3]]],"passed":false},{"actual":[1,[]],"check":"no updates","expected":[1,[]],"passed":true},{"actual":[1,[]],"check":"zero replace","expected":[1,[]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"urgent after deferred\", \"actual\": [11, []], \"expected\": [2, [[\"deferred\", \"set\", 10]]], \"passed\": false}, {\"check\": \"urgent set after add\", \"actual\": [3, []], \"expected\": [3, []], \"passed\": true}, {\"check\": \"all lanes\", \"actual\": [11, []], \"expected\": [11, []], \"passed\": true}, {\"check\": \"none allowed\", \"actual\": [3, []], \"expected\": [1, [[\"urgent\", \"add\", 2], [\"deferred\", \"set\", 3]]], \"passed\": false}, {\"check\": \"no updates\", \"actual\": [1, []], \"expected\": [1, []], \"passed\": true}, {\"check\": \"zero replace\", \"actual\": [1, []], \"expected\": [1, []], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}